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

Render

Documentation

class Render a where Source #

Methods

render :: a -> Text Source #

Instances

Instances details
Render ALPHA Source # 
Instance details

Defined in Render

Methods

render :: ALPHA -> Text Source #

Render ALPHA' Source # 
Instance details

Defined in Render

Methods

render :: ALPHA' -> Text Source #

Render APP_ARG Source # 
Instance details

Defined in Render

Methods

render :: APP_ARG -> Text Source #

Render APP_ARGS Source # 
Instance details

Defined in Render

Methods

render :: APP_ARGS -> Text Source #

Render APP_ARGUMENT Source # 
Instance details

Defined in Render

Render APP_BINDING Source # 
Instance details

Defined in Render

Render ARROW Source # 
Instance details

Defined in Render

Methods

render :: ARROW -> Text Source #

Render ATTRIBUTE Source # 
Instance details

Defined in Render

Render BELONGING Source # 
Instance details

Defined in Render

Render BINDING Source # 
Instance details

Defined in Render

Methods

render :: BINDING -> Text Source #

Render BINDINGS Source # 
Instance details

Defined in Render

Methods

render :: BINDINGS -> Text Source #

Render BYTES Source # 
Instance details

Defined in Render

Methods

render :: BYTES -> Text Source #

Render COMMA Source # 
Instance details

Defined in Render

Methods

render :: COMMA -> Text Source #

Render COMPARABLE Source # 
Instance details

Defined in Render

Render CONDITION Source # 
Instance details

Defined in Render

Render DASHED_ARROW Source # 
Instance details

Defined in Render

Render DELTA Source # 
Instance details

Defined in Render

Methods

render :: DELTA -> Text Source #

Render DOTS Source # 
Instance details

Defined in Render

Methods

render :: DOTS -> Text Source #

Render EOL Source # 
Instance details

Defined in Render

Methods

render :: EOL -> Text Source #

Render EQUAL Source # 
Instance details

Defined in Render

Methods

render :: EQUAL -> Text Source #

Render EXCLAMATION Source # 
Instance details

Defined in Render

Render EXPRESSION Source # 
Instance details

Defined in Render

Render EXTRA Source # 
Instance details

Defined in Render

Methods

render :: EXTRA -> Text Source #

Render EXTRA_ARG Source # 
Instance details

Defined in Render

Render GLOBAL Source # 
Instance details

Defined in Render

Methods

render :: GLOBAL -> Text Source #

Render LAMBDA Source # 
Instance details

Defined in Render

Methods

render :: LAMBDA -> Text Source #

Render LCB Source # 
Instance details

Defined in Render

Methods

render :: LCB -> Text Source #

Render LOGIC_OPERATOR Source # 
Instance details

Defined in Render

Render LSB Source # 
Instance details

Defined in Render

Methods

render :: LSB -> Text Source #

Render META Source # 
Instance details

Defined in Render

Methods

render :: META -> Text Source #

Render META_HEAD Source # 
Instance details

Defined in Render

Render NUMBER Source # 
Instance details

Defined in Render

Methods

render :: NUMBER -> Text Source #

Render PAIR Source # 
Instance details

Defined in Render

Methods

render :: PAIR -> Text Source #

Render PHI Source # 
Instance details

Defined in Render

Methods

render :: PHI -> Text Source #

Render RCB Source # 
Instance details

Defined in Render

Methods

render :: RCB -> Text Source #

Render RHO Source # 
Instance details

Defined in Render

Methods

render :: RHO -> Text Source #

Render RSB Source # 
Instance details

Defined in Render

Methods

render :: RSB -> Text Source #

Render SET Source # 
Instance details

Defined in Render

Methods

render :: SET -> Text Source #

Render SPACE Source # 
Instance details

Defined in Render

Methods

render :: SPACE -> Text Source #

Render TAB Source # 
Instance details

Defined in Render

Methods

render :: TAB -> Text Source #

Render TERMINATION Source # 
Instance details

Defined in Render

Render VOID Source # 
Instance details

Defined in Render

Methods

render :: VOID -> Text Source #

Render XI Source # 
Instance details

Defined in Render

Methods

render :: XI -> Text Source #

Render Text Source # 
Instance details

Defined in Render

Methods

render :: Text -> Text Source #

Render String Source # 
Instance details

Defined in Render

Methods

render :: String -> Text Source #

Render Char Source # 
Instance details

Defined in Render

Methods

render :: Char -> Text Source #

Render Int Source # 
Instance details

Defined in Render

Methods

render :: Int -> Text Source #

Render [ATTRIBUTE] Source # 
Instance details

Defined in Render

Methods

render :: [ATTRIBUTE] -> Text Source #