Language.Egison.RState

This module defines runtime state.

Documentation

data RState

Constructors

RState

Fields

• indexCounter :: Int
• exprOps :: [Op]
• patternOps :: [Op]

Instances

MonadRuntime EvalM

Defined in Language.Egison.Data

Methods

fresh :: EvalM String

Monad m => MonadRuntime (RuntimeT m)

Defined in Language.Egison.RState

Methods

fresh :: RuntimeT m String

type RuntimeT m = ReaderT EgisonOpts (StateT RState m)

type RuntimeM = RuntimeT IO

class (Applicative m, Monad m) => MonadRuntime m where

Methods

fresh :: m String

Instances

MonadRuntime EvalM

Defined in Language.Egison.Data

Methods

fresh :: EvalM String

Monad m => MonadRuntime (RuntimeT m)

Defined in Language.Egison.RState

Methods

fresh :: RuntimeT m String

runRuntimeT :: Monad m => EgisonOpts -> RuntimeT m a -> m (a, RState)

evalRuntimeT :: Monad m => EgisonOpts -> RuntimeT m a -> m a