phino-0.0.0.19: Command-Line Manipulator of 𝜑-Calculus Expressions
Safe HaskellNone
LanguageHaskell2010

Pretty

Documentation

prettyExpression :: Expression -> String Source #

prettyExpression' :: Expression -> String Source #

prettyProgram :: Program -> String Source #

prettyProgram' :: Program -> PrintMode -> String Source #

prettyAttribute :: Attribute -> String Source #

prettySubsts :: [Subst] -> String Source #

prettySubsts' :: [Subst] -> PrintMode -> String Source #

prettySubst :: Subst -> String Source #

prettyBinding :: Binding -> String Source #

prettyBytes :: Bytes -> String Source #

prettyExtraArg :: ExtraArgument -> String Source #

data PrintMode Source #

Constructors

SWEET 
SALTY 

Instances

Instances details
Show PrintMode Source # 
Instance details

Defined in Pretty

Methods

showsPrec :: Int -> PrintMode -> ShowS #

show :: PrintMode -> String #

showList :: [PrintMode] -> ShowS #

Eq PrintMode Source # 
Instance details

Defined in Pretty

Methods

(==) :: PrintMode -> PrintMode -> Bool #

(/=) :: PrintMode -> PrintMode -> Bool #

Orphan instances

Pretty Attribute Source # 
Instance details

Methods

pretty :: Attribute -> Doc ann #

prettyList :: [Attribute] -> Doc ann #

Pretty Bytes Source # 
Instance details

Methods

pretty :: Bytes -> Doc ann #

prettyList :: [Bytes] -> Doc ann #

Pretty MetaValue Source # 
Instance details

Methods

pretty :: MetaValue -> Doc ann #

prettyList :: [MetaValue] -> Doc ann #

Pretty Subst Source # 
Instance details

Methods

pretty :: Subst -> Doc ann #

prettyList :: [Subst] -> Doc ann #

Pretty Tail Source # 
Instance details

Methods

pretty :: Tail -> Doc ann #

prettyList :: [Tail] -> Doc ann #

Pretty ExtraArgument Source # 
Instance details

Methods

pretty :: ExtraArgument -> Doc ann #

prettyList :: [ExtraArgument] -> Doc ann #