egison-4.2.1: Programming language with non-linear pattern-matching against non-free data
LicenseMIT
Safe HaskellNone
LanguageGHC2021

Language.Egison.RState

Description

This module defines runtime state.

Documentation

data RState Source #

Constructors

RState 

Fields

Instances

Instances details
MonadRuntime EvalM Source # 
Instance details

Defined in Language.Egison.Data

Methods

fresh :: EvalM String Source #

Monad m => MonadRuntime (RuntimeT m) Source # 
Instance details

Defined in Language.Egison.RState

Methods

fresh :: RuntimeT m String Source #

type RuntimeT (m :: Type -> Type) = ReaderT EgisonOpts (StateT RState m) Source #

type RuntimeM = RuntimeT IO Source #

class (Applicative m, Monad m) => MonadRuntime (m :: Type -> Type) where Source #

Methods

fresh :: m String Source #

Instances

Instances details
MonadRuntime EvalM Source # 
Instance details

Defined in Language.Egison.Data

Methods

fresh :: EvalM String Source #

Monad m => MonadRuntime (RuntimeT m) Source # 
Instance details

Defined in Language.Egison.RState

Methods

fresh :: RuntimeT m String Source #

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

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