Control.Monad.State.LGBT

Documentation

data LGLT localState globalState m a

Instances

MonadTrans (LGLT localState globalState)

Monad (LGLT localState globalState m)

Functor (LGLT localState globalState m)

Applicative (LGLT localState globalState m)

Alternative (LGLT localState globalState m)

MonadPlus (LGLT localState globalState m)

MonadIO m => MonadIO (LGLT localState globalState m)

Monad m => MonadLogic (LGLT localState globalState m)

Monad m => MonadLGBT (LGLT localState globalState m) localState globalState

data LGCT localState globalState result m a

Local/global state transformer with unlimited continuations MonadCont

Instances

MonadTrans (LGCT localState globalState result)

Monad (LGCT localState globalState result m)

Functor (LGCT localState globalState result m)

Applicative (LGCT localState globalState result m)

MonadIO m => MonadIO (LGCT localState globalState result m)

MonadCont (LGCT localState globalState result m)

class Monad m => MonadLGBT m localState globalState | m -> localState, m -> globalState where

Local/global state transformer class abstracts over details of how global and local state are realized. The separation of local and global state only makes sense when we also allow for some backtracking monad in between, hence the name "Local/global backtracking transformer".

Minimal complete definition

getLocal, getGlobal, putLocal, putGlobal

Methods

getLocal :: m localState

getGlobal :: m globalState

putLocal :: localState -> m ()

putGlobal :: globalState -> m ()

modifyLocal :: (localState -> localState) -> m ()

modifyGlobal :: (globalState -> globalState) -> m ()

Instances

Monad m => MonadLGBT (LGLT localState globalState m) localState globalState

runLGLT :: forall m localState globalState success result. Monad m => LGLT localState globalState m success -> localState -> globalState -> (success -> localState -> globalState -> m result -> m result) -> (globalState -> m result) -> m result

runLGCT :: forall m localState globalState result. Monad m => LGCT localState globalState result m result -> localState -> globalState -> m ((result, localState), globalState)

withGlobal :: Monad m => (globalState -> m globalState) -> LGLT globalState globalState m ()

withLocal :: Monad m => (localState -> m localState) -> LGLT localState globalState m ()

getsLocal :: forall m localState globalState a. MonadLGBT m localState globalState => (localState -> a) -> m a

getsGlobal :: forall m localState globalState a. MonadLGBT m localState globalState => (globalState -> a) -> m a