| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Language.Lambda.SystemF.Eval
Synopsis
- evalExpr :: (Pretty name, Ord name) => SystemFExpr name -> Typecheck name (SystemFExpr name)
- subGlobals :: Ord name => SystemFExpr name -> Typecheck name (SystemFExpr name)
- betaReduce :: (Ord name, Pretty name) => SystemFExpr name -> SystemFExpr name -> Typecheck name (SystemFExpr name)
- alphaConvert :: (Ord name, Pretty name) => [name] -> SystemFExpr name -> Typecheck name (SystemFExpr name)
- etaConvert :: Ord name => SystemFExpr name -> SystemFExpr name
- freeVarsOf :: (Ord name, Pretty name) => SystemFExpr name -> [name]
Documentation
evalExpr :: (Pretty name, Ord name) => SystemFExpr name -> Typecheck name (SystemFExpr name) Source #
Evaluates an expression
subGlobals :: Ord name => SystemFExpr name -> Typecheck name (SystemFExpr name) Source #
betaReduce :: (Ord name, Pretty name) => SystemFExpr name -> SystemFExpr name -> Typecheck name (SystemFExpr name) Source #
alphaConvert :: (Ord name, Pretty name) => [name] -> SystemFExpr name -> Typecheck name (SystemFExpr name) Source #
etaConvert :: Ord name => SystemFExpr name -> SystemFExpr name Source #
freeVarsOf :: (Ord name, Pretty name) => SystemFExpr name -> [name] Source #