Modulelinear-base-0.8.1

Control.Functor.Linear.Internal.State

valueevalState :: Consumable s => State s a %1 -> s %1 -> a

valueevalStateT :: (Functor m, Consumable s) => StateT s m a %1 -> s %1 -> m a

valueexecState :: State s () %1 -> s %1 -> s

valueexecStateT :: Functor m => StateT s m () %1 -> s %1 -> m s

valueget :: (Applicative m, Dupable s) => StateT s m s

valuegets :: (Applicative m, Dupable s) => (s %1 -> a) %1 -> StateT s m a

valuemapState :: ((a, s) %1 -> (b, s)) %1 -> State s a %1 -> State s b

valuemapStateT :: (m (a, s) %1 -> n (b, s)) %1 -> StateT s m a %1 -> StateT s n b

valuemodify :: Applicative m => (s %1 -> s) %1 -> StateT s m ()

valueput :: (Applicative m, Consumable s) => s %1 -> StateT s m ()

valuereplace :: Applicative m => s %1 -> StateT s m s

valuerunState :: State s a %1 -> s %1 -> (a, s)

valuerunStateT :: StateT s m a %1 -> s %1 -> m (a, s)

valuestate :: Applicative m => (s %1 -> (a, s)) %1 -> StateT s m a

valuewithState :: (s %1 -> s) %1 -> State s a %1 -> State s a

valuewithStateT :: (s %1 -> s) %1 -> StateT s m a %1 -> StateT s m a

typetype State s = StateT s Identity

newtypenewtype StateT s (m :: Type -> Type) a

Instances7MonadTrans, Monad, Functor, Applicative, MonadIO, …

MonadTrans (StateT s)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.State
Monad m => Applicative (StateT s m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.State
Functor m => Functor (StateT s m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.State
Monad m => Monad (StateT s m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.State
Functor m => Functor (StateT s m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.State
Monad m => Applicative (StateT s m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.State
MonadIO m => MonadIO (StateT s m)Defined in linear-base-0.8.1 · Control.Monad.IO.Class.Linear

Orphan instances

1 instance