Data.Profunctor.State

Documentation

newtype StateT s p a b

Constructors

StateT (p (a, s) (b, s))

Instances

Profunctor p => ProfunctorState' s (StateT s p)

Defined in Data.Profunctor.State

Methods

get' :: StateT s p (a, s) b -> StateT s p a b

put' :: StateT s p a (b, s) -> StateT s p a b

(Category p, Profunctor p) => ProfunctorState s (StateT s p)

Defined in Data.Profunctor.State

Methods

get :: StateT s p a (a, s)

put :: StateT s p (a, s) a

state :: StateT s p (a, s) (b, s) -> StateT s p a b

Category p => Category (StateT s p :: Type -> Type -> Type)

Defined in Data.Profunctor.State

Methods

id :: forall (a :: k). StateT s p a a

(.) :: forall (b :: k) (c :: k) (a :: k). StateT s p b c -> StateT s p a b -> StateT s p a c

Profunctor p => Profunctor (StateT s p)

Defined in Data.Profunctor.State

Methods

dimap :: (a -> b) -> (c -> d) -> StateT s p b c -> StateT s p a d

lmap :: (a -> b) -> StateT s p b c -> StateT s p a c

rmap :: (b -> c) -> StateT s p a b -> StateT s p a c

(#.) :: forall a b c q. Coercible c b => q b c -> StateT s p a b -> StateT s p a c

(.#) :: forall a b c q. Coercible b a => StateT s p b c -> q a b -> StateT s p a c