Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
- data LambdaExpr name
- = Var name
- | App (LambdaExpr name) (LambdaExpr name)
- | Abs name (LambdaExpr name)
- data ParseError :: *
- class PrettyPrint a where
- evalExpr :: Eq n => [n] -> LambdaExpr n -> LambdaExpr n
- evalString :: String -> Either ParseError (LambdaExpr String)
- parseExpr :: String -> Either ParseError (LambdaExpr String)
- uniques :: [String]
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 # | |
data ParseError :: * #
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 # | |
evalExpr :: Eq n => [n] -> LambdaExpr n -> LambdaExpr n Source #
evalString :: String -> Either ParseError (LambdaExpr String) Source #
parseExpr :: String -> Either ParseError (LambdaExpr String) Source #