Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
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 # | |
prettyPrint' :: PrettyPrint n => SystemFExpr n n -> String Source #
pprExpr :: (PrettyPrint n, PrettyPrint t) => PDoc String -> SystemFExpr n t -> PDoc String Source #
pprApp :: (PrettyPrint n, PrettyPrint t) => PDoc String -> SystemFExpr n t -> SystemFExpr n t -> PDoc String Source #
pprTApp :: (PrettyPrint n, PrettyPrint t) => PDoc String -> SystemFExpr n t -> Ty t -> PDoc String Source #
pprAbs :: (PrettyPrint n, PrettyPrint t) => PDoc String -> n -> Ty t -> SystemFExpr n t -> PDoc String Source #
pprTAbs :: (PrettyPrint n, PrettyPrint t) => PDoc String -> t -> SystemFExpr n t -> PDoc String Source #
uncurryAbs :: n -> Ty t -> SystemFExpr n t -> ([(n, Ty t)], SystemFExpr n t) Source #
uncurryTAbs :: t -> SystemFExpr n t -> ([t], SystemFExpr n t) Source #