Gradual.PrettyPrinting

Documentation

class Pretty a where

Minimal complete definition

pretty

Methods

pretty :: a -> String

Instances

Pretty KVar

Methods

pretty :: KVar -> String

Pretty Expr

Methods

pretty :: Expr -> String

Pretty Symbol

Methods

pretty :: Symbol -> String

Pretty a => Pretty [a]

Methods

pretty :: [a] -> String

(Pretty a, Pretty b) => Pretty (a, b)

Methods

pretty :: (a, b) -> String

simplifyExpr :: Expr -> Expr