Documentation
runLazyEvalMonad :: s -> LazyEvalMonad s a -> aSource
gets :: (s -> a) -> LazyEvalMonad s aSource
modify :: (s -> s) -> LazyEvalMonad s a -> LazyEvalMonad s aSource
runEvaluator :: EvaluationState -> EvaluationMonad a -> aSource
addScopeAndBind :: [(Name, Value)] -> EvaluationMonad a -> EvaluationMonad aSource
addScopeAndBindM :: EvaluationMonad [(Name, Value)] -> EvaluationMonad a -> EvaluationMonad aSource
throwError :: ErrorMessage -> aSource