Safe Haskell	None
Language	Haskell98

Gradual.PrettyPrinting

Documentation

class Pretty a where #

Methods

Instances details

Pretty Symbol #
Instance details Defined in Gradual.PrettyPrinting Methods pretty :: Symbol -> String #
Pretty Expr #
Instance details Defined in Gradual.PrettyPrinting Methods pretty :: Expr -> String #
Pretty KVar #
Instance details Defined in Gradual.PrettyPrinting Methods pretty :: KVar -> String #
Pretty a => Pretty [a] #
Instance details Defined in Gradual.PrettyPrinting Methods pretty :: [a] -> String #
(Pretty a, Pretty b) => Pretty (a, b) #
Instance details Defined in Gradual.PrettyPrinting Methods pretty :: (a, b) -> String #

simplifyExpr :: Expr -> Expr #