Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
data LambdaExpr name Source #
Var name | |
App (LambdaExpr name) (LambdaExpr name) | |
Abs name (LambdaExpr name) |
Eq name => Eq (LambdaExpr name) Source # | |
Show name => Show (LambdaExpr name) Source # | |
PrettyPrint a => PrettyPrint (LambdaExpr a) Source # | |
pprExpr :: PrettyPrint n => PDoc String -> LambdaExpr n -> PDoc String Source #
pprAbs :: PrettyPrint n => PDoc String -> n -> LambdaExpr n -> PDoc String Source #
pprApp :: PrettyPrint n => PDoc String -> LambdaExpr n -> LambdaExpr n -> PDoc String Source #
uncurry :: n -> LambdaExpr n -> ([n], LambdaExpr n) Source #