phino-0.0.0: Command-Line Manipulator of 𝜑-Calculus Expressions
Safe HaskellSafe-Inferred
LanguageHaskell2010

Encoding

Documentation

toASCII :: ToASCII a => a -> a Source #

data Encoding Source #

Constructors

ASCII 
UNICODE 

Instances

Instances details
Show Encoding Source # 
Instance details

Defined in Encoding

Eq Encoding Source # 
Instance details

Defined in Encoding

class ToASCII a Source #

Minimal complete definition

toASCII

Instances

Instances details
ToASCII ALPHA Source # 
Instance details

Defined in Encoding

Methods

toASCII :: ALPHA -> ALPHA Source #

ToASCII APP_ARG Source # 
Instance details

Defined in Encoding

ToASCII APP_ARGS Source # 
Instance details

Defined in Encoding

ToASCII APP_ARGUMENT Source # 
Instance details

Defined in Encoding

ToASCII APP_BINDING Source # 
Instance details

Defined in Encoding

ToASCII ATTRIBUTE Source # 
Instance details

Defined in Encoding

ToASCII BINDING Source # 
Instance details

Defined in Encoding

ToASCII BINDINGS Source # 
Instance details

Defined in Encoding

ToASCII BYTES Source # 
Instance details

Defined in Encoding

Methods

toASCII :: BYTES -> BYTES Source #

ToASCII COMPARABLE Source # 
Instance details

Defined in Encoding

ToASCII CONDITION Source # 
Instance details

Defined in Encoding

ToASCII EXPRESSION Source # 
Instance details

Defined in Encoding

ToASCII EXTRA Source # 
Instance details

Defined in Encoding

Methods

toASCII :: EXTRA -> EXTRA Source #

ToASCII EXTRA_ARG Source # 
Instance details

Defined in Encoding

ToASCII NUMBER Source # 
Instance details

Defined in Encoding

ToASCII PAIR Source # 
Instance details

Defined in Encoding

Methods

toASCII :: PAIR -> PAIR Source #

ToASCII SET Source # 
Instance details

Defined in Encoding

Methods

toASCII :: SET -> SET Source #