Control.Monad.State.LGBT

Documentation

data LGBT localState globalState m a

LGBT monad is sandwiching state with eager BacktrackT transformer.

Instances

MonadTrans (LGBT localState globalState)

Monad m => Monad (LGBT localState globalState m)

Functor (LGBT localState globalState m)

Applicative (LGBT localState globalState m)

Applicative m => Alternative (LGBT localState globalState m)

MonadPlus m => MonadPlus (LGBT localState globalState m)

MonadIO m => MonadIO (LGBT localState globalState m)

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

data LGLT localState globalState m a

LGBT monad is sandwiching state with fair LogicT transformer.

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

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

runLGBT :: forall m localState globalState result. Monad m => LGBT localState globalState m result -> localState -> globalState -> m (Either String (result, localState), globalState)

runLGLT :: forall m result success localState globalState. 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 :: forall t m localState globalState. (Monad m, MonadTrans t, MonadLGBT (t m) localState globalState) => (globalState -> m globalState) -> t m ()

withLocal :: forall t m localState globalState. (Monad m, MonadTrans t, MonadLGBT (t m) localState globalState) => (localState -> m localState) -> t 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