Gradual.PrettyPrinting
class Pretty a where Source #
Methods
pretty :: a -> String Source #
Defined in Gradual.PrettyPrinting
pretty :: KVar -> String Source #
pretty :: Expr -> String Source #
pretty :: Symbol -> String Source #
pretty :: [a] -> String Source #
pretty :: (a, b) -> String Source #
simplifyExpr :: Expr -> Expr Source #