| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Lang.Lang
Documentation
Constructors
| EInt Int | |
| EBool Bool | |
| EStr String | |
| EChar Char | |
| EVar Var | |
| ELet Var Expr Expr | |
| EOp Expr BinOp Expr | |
| ELam Var Expr | |
| EApp Expr Expr | |
| EIf Expr Expr Expr | |
| EList [Expr] |
Instances
Constructors
| VInt Int | |
| VBool Bool | |
| VStr String | |
| VChar Char | |
| VList [Val] | |
| VClosure Var Expr LocalEnv ValueName |
flattenApp :: Expr -> (Expr, [Expr]) #
unflattenApp :: Expr -> [Expr] -> Expr #
containsApp :: Expr -> Bool #