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

Pretty

Documentation

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 #

prettyBinding :: Binding -> 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 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 #