Data.Crjdt.Eval

Documentation

newtype Eval a

Constructors

Eval

Fields

• runEval :: ExceptT EvalError (State Context) a

Instances

Monad Eval

Methods

(>>=) :: Eval a -> (a -> Eval b) -> Eval b

(>>) :: Eval a -> Eval b -> Eval b

return :: a -> Eval a

fail :: String -> Eval a

Functor Eval

Methods

fmap :: (a -> b) -> Eval a -> Eval b

(<$) :: a -> Eval b -> Eval a

MonadFix Eval

Methods

mfix :: (a -> Eval a) -> Eval a

Applicative Eval

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

Methods

throwError :: EvalError -> Eval a

catchError :: Eval a -> (EvalError -> Eval a) -> Eval a

MonadState Context Eval

Methods

get :: Eval Context

put :: Context -> Eval ()

state :: (Context -> (a, Context)) -> Eval a

data EvalError

Constructors

GetOnHead

UndefinedVariable Var

Instances

Eq EvalError

Methods

(==) :: EvalError -> EvalError -> Bool

(/=) :: EvalError -> EvalError -> Bool

Show EvalError

Methods

showsPrec :: Int -> EvalError -> ShowS

show :: EvalError -> String

showList :: [EvalError] -> ShowS

Exception EvalError

Methods

toException :: EvalError -> SomeException

fromException :: SomeException -> Maybe EvalError

displayException :: EvalError -> String

MonadError EvalError Eval

Methods

throwError :: EvalError -> Eval a

catchError :: Eval a -> (EvalError -> Eval a) -> Eval a

addReceivedOps :: MonadState Context m => Seq Operation -> m ()

run :: ReplicaId -> Eval a -> (Either EvalError a, Context)

evalEval :: ReplicaId -> Expr -> Either EvalError Cursor

execEval :: ReplicaId -> Eval a -> Context

addVariable :: Ctx m => Var -> Cursor -> m ()

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

eval :: Ctx m => Expr -> m Cursor