Safe Haskell	None
Language	Haskell2010

Data.Crjdt.Eval

Documentation

newtype Eval a Source #

Constructors

Eval
Fields runEval :: ExceptT EvalError (State Context) a

Instances

Monad Eval Source #
Methods (>>=) :: Eval a -> (a -> Eval b) -> Eval b # (>>) :: Eval a -> Eval b -> Eval b # return :: a -> Eval a # fail :: String -> Eval a #
Functor Eval Source #
Methods fmap :: (a -> b) -> Eval a -> Eval b # (<$) :: a -> Eval b -> Eval a #
MonadFix Eval Source #
Methods mfix :: (a -> Eval a) -> Eval a #
Applicative Eval Source #
Methods pure :: a -> Eval a # (<>) :: Eval (a -> b) -> Eval a -> Eval b # (>) :: Eval a -> Eval b -> Eval b # (<*) :: Eval a -> Eval b -> Eval a #
MonadError EvalError Eval Source #
Methods throwError :: EvalError -> Eval a # catchError :: Eval a -> (EvalError -> Eval a) -> Eval a #
MonadState Context Eval Source #
Methods get :: Eval Context # put :: Context -> Eval () # state :: (Context -> (a, Context)) -> Eval a #

Constructors

GetOnHead
UndefinedVariable Var

Instances

Eq EvalError Source #
Methods (==) :: EvalError -> EvalError -> Bool # (/=) :: EvalError -> EvalError -> Bool #
Show EvalError Source #
Methods showsPrec :: Int -> EvalError -> ShowS # show :: EvalError -> String # showList :: [EvalError] -> ShowS #
Exception EvalError Source #
Methods toException :: EvalError -> SomeException # fromException :: SomeException -> Maybe EvalError # displayException :: EvalError -> String #
MonadError EvalError Eval Source #
Methods throwError :: EvalError -> Eval a # catchError :: Eval a -> (EvalError -> Eval a) -> Eval a #

execute :: Ctx m => Command a -> m a Source #

eval :: Ctx m => Expr -> m Result Source #