liquidhaskell-0.8.2.4: Liquid Types for Haskell
Gradual.PrettyPrinting
class Pretty a where Source #
Minimal complete definition
pretty
Methods
pretty :: a -> String Source #
Instances
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 #