| License | MIT |
|---|---|
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Language.Egison.EvalState
Description
This module defines the state during the evaluation.
Documentation
Constructors
| EvalState | |
Fields
| |
class (Applicative m, Monad m) => MonadEval m where Source #
Methods
pushFuncName :: Var -> m () Source #
topFuncName :: m Var Source #
popFuncName :: m () Source #
getFuncNameStack :: m [Var] Source #
Instances
| MonadEval m => MonadEval (ExceptT e m) Source # | |
Defined in Language.Egison.EvalState Methods pushFuncName :: Var -> ExceptT e m () Source # topFuncName :: ExceptT e m Var Source # popFuncName :: ExceptT e m () Source # getFuncNameStack :: ExceptT e m [Var] Source # | |
| Monad m => MonadEval (StateT EvalState m) Source # | |
Defined in Language.Egison.EvalState | |