Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
Instances
Pretty Symbol Source # | |
Defined in Gradual.PrettyPrinting | |
Pretty Expr Source # | |
Defined in Gradual.PrettyPrinting | |
Pretty KVar Source # | |
Defined in Gradual.PrettyPrinting | |
Pretty a => Pretty [a] Source # | |
Defined in Gradual.PrettyPrinting | |
(Pretty a, Pretty b) => Pretty (a, b) Source # | |
Defined in Gradual.PrettyPrinting |
simplifyExpr :: Expr -> Expr Source #