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 # | |
class PrettyPrint a where Source #
prettyPrint :: a -> String Source #
PrettyPrint String Source # | |
PrettyPrint s => PrettyPrint (PDoc s) Source # | |
PrettyPrint a => PrettyPrint (LambdaExpr a) Source # | |
evalExpr :: Eq n => [n] -> LambdaExpr n -> LambdaExpr n Source #
evalString :: String -> Either ParseError (LambdaExpr String) Source #
parseExpr :: String -> Either ParseError (LambdaExpr String) Source #