FMonad.State.Simple.Outer

Documentation

newtype StateT s0 mm x a

Constructors

StateT

Fields

• runStateT :: s0 -> mm (EnvT s0 x) a

Instances

FFunctor mm => FFunctor (StateT s0 mm)

Defined in FMonad.State.Simple.Outer

Methods

ffmap :: forall (g :: Type -> Type) (h :: Type -> Type) x. (Functor g, Functor h) => (g ~> h) -> StateT s0 mm g x -> StateT s0 mm h x

FMonad mm => FMonad (StateT s0 mm)

Defined in FMonad.State.Simple.Outer

Methods

fpure :: forall (g :: Type -> Type). Functor g => g ~> StateT s0 mm g

fbind :: forall (g :: Type -> Type) (h :: Type -> Type) a. (Functor g, Functor h) => (g ~> StateT s0 mm h) -> StateT s0 mm g a -> StateT s0 mm h a

(FFunctor mm, Functor x) => Functor (StateT s0 mm x)

Defined in FMonad.State.Simple.Outer

Methods

fmap :: (a -> b) -> StateT s0 mm x a -> StateT s0 mm x b

(<$) :: a -> StateT s0 mm x b -> StateT s0 mm x a

flift :: (FFunctor mm, Functor x) => mm x ~> StateT s0 mm x

fromAdjointT :: AdjointT (EnvT s0) (ReaderT s0) mm x ~> StateT s0 mm x

toAdjointT :: StateT s0 mm x ~> AdjointT (EnvT s0) (ReaderT s0) mm x

type State s0 = StateT s0 IdentityT

state :: forall s0 x mm a. (FMonad mm, Functor x) => (s0 -> (x a, s0)) -> StateT s0 mm x a

runState :: forall s0 x a. State s0 x a -> s0 -> (x a, s0)