Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
class PrettyPrint a where Source #
prettyPrint :: a -> String Source #
PrettyPrint String Source # | |
PrettyPrint s => PrettyPrint (PDoc s) Source # | |
PrettyPrint n => PrettyPrint (Ty n) Source # | |
PrettyPrint a => PrettyPrint (LambdaExpr a) Source # | |
(PrettyPrint n, PrettyPrint t) => PrettyPrint (SystemFExpr n t) Source # | |
data SystemFExpr name ty Source #
Var name | |
App (SystemFExpr name ty) (SystemFExpr name ty) | |
Abs name (Ty ty) (SystemFExpr name ty) | |
TyAbs ty (SystemFExpr name ty) | |
TyApp (SystemFExpr name ty) (Ty ty) |
(Eq ty, Eq name) => Eq (SystemFExpr name ty) Source # | |
(Show ty, Show name) => Show (SystemFExpr name ty) Source # | |
(PrettyPrint n, PrettyPrint t) => PrettyPrint (SystemFExpr n t) Source # | |
evalString :: String -> Either ParseError (SystemFExpr String String) Source #
parseExpr :: String -> Either ParseError (SystemFExpr String String) Source #