Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Interpreter to evaluate a term as a host-term.
Type Eval
Interpreter's data.
Instances
Monad Eval Source # | |
Functor Eval Source # | |
Applicative Eval Source # | |
Sym_Lambda Eval Source # | |
Defined in Language.Symantic.Compiling.Term |