Top.Monad.StateFix

Documentation

type StateFix s = StateFixT s Identity

data StateFixT s m a

Constructors

Fix

Fields

unFix :: StateT (s (StateFixT s m)) m a

Instances

MonadWriter w m => MonadWriter w (StateFixT s m)

MonadTrans (StateFixT s)

Monad m => MonadState (s (StateFixT s m)) (StateFixT s m)

Monad m => Monad (StateFixT s m)

(Monad m, Embedded ClassBasic (s (StateFixT s m)) (t (StateFixT s m)), HasBasic (SelectFix t (StateFixT s m)) info) => HasBasic (StateFixT s m) info

(Monad m, Embedded ClassSubst (s (StateFixT s m)) t, HasSubst (Select t (StateFixT s m)) info) => HasSubst (StateFixT s m) info

(Monad m, Embedded ClassQual (s (StateFixT s m)) t, HasQual (Select t (StateFixT s m)) info) => HasQual (StateFixT s m) info

(Monad m, Embedded ClassTI (s (StateFixT s m)) t, HasTI (Select t (StateFixT s m)) info) => HasTI (StateFixT s m) info

(Monad m, Embedded ClassSubst (s (StateFixT s m)) t, HasTG (Select t (StateFixT s m)) info) => HasTG (StateFixT s m) info

runStateFixT :: StateFixT s m a -> s (StateFixT s m) -> m (a, s (StateFixT s m))

evalStateFixT :: Monad m => StateFixT s m a -> s (StateFixT s m) -> m a

execStateFixT :: Monad m => StateFixT s m a -> s (StateFixT s m) -> m (s (StateFixT s m))

runStateFix :: StateFix s a -> s (StateFix s) -> (a, s (StateFix s))

evalStateFix :: StateFix s a -> s (StateFix s) -> a

execStateFix :: StateFix s a -> s (StateFix s) -> s (StateFix s)

module Control.Monad.State