FMonad.State.Day

Documentation

newtype StateT s mm x a

Constructors

StateT

Fields

• runStateT :: forall r. s (a -> r) -> mm (Day s x) r

Instances

(FFunctor mm, Functor s) => FFunctor (StateT s mm)

Defined in FMonad.State.Day

Methods

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

(Functor s, FMonad mm) => FMonad (StateT s mm)

Defined in FMonad.State.Day

Methods

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

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

Functor s => Functor (StateT s mm x)

Defined in FMonad.State.Day

Methods

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

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

flift :: (Functor s, FStrong mm, Functor x) => mm x ~> StateT s mm x

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

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

toInner :: (Functor x, FFunctor mm) => StateT ((->) s1) mm x ~> StateT s1 mm x

fromInner :: (Functor x, FFunctor mm) => StateT s1 mm x ~> StateT ((->) s1) mm x

type State s = StateT s IdentityT

state :: FMonad mm => (forall r. s (a -> r) -> Day s x r) -> StateT s mm x a

state_ :: (Functor s, FMonad mm) => (forall b. s b -> (s b, x a)) -> StateT s mm x a

get :: (Comonoid s, FMonad mm) => StateT s mm s ()

put :: (Comonad s, FMonad mm) => s a -> StateT s mm Identity a

runState :: State s x a -> s (a -> r) -> Day s x r