Modulelinear-base-0.4.0Haskell2010

Control.Functor.Linear.Internal.State

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

A (strict) linear state monad transformer.

Instances6MonadTrans, Monad, Functor, Applicative

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

typetype State s = StateT s Identity

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

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

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

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

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

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

replace s will replace the current state with the new given state, and return the old state.

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

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

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

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

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

Use with care! This consumes the final state, so might be costly at runtime.

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

Use with care! This consumes the final state, so might be costly at runtime.

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

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

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

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

Orphan instances

1 instance