Safe Haskell	None
Language	Haskell2010

Data.Profunctor.State

Documentation

newtype StateT s p a b Source #

Constructors

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

Instances details

Profunctor p => ProfunctorState' s (StateT s p) Source #
Instance details Defined in Data.Profunctor.State Methods get' :: StateT s p (a, s) b -> StateT s p a b Source # put' :: StateT s p a (b, s) -> StateT s p a b Source #
(Category p, Profunctor p) => ProfunctorState s (StateT s p) Source #
Instance details Defined in Data.Profunctor.State Methods get :: StateT s p a (a, s) Source # put :: StateT s p (a, s) a Source # state :: StateT s p (a, s) (b, s) -> StateT s p a b Source #
Category p => Category (StateT s p :: Type -> Type -> Type) Source #
Instance details 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) Source #
Instance details 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 #