Safe Haskell	None
Language	Haskell2010

Proarrow.Promonad.Reader

Documentation

Constructors

Reader
Fields unReader :: (r, a) -> b

Instances details

MonoidalProfunctor (Reader r :: Type -> Type -> Type) Source Comments #
Instance details Defined in Proarrow.Promonad.Reader Methods par0 :: Reader r (Unit :: Type) (Unit :: Type) Source Comments # par :: Reader r x1 x2 -> Reader r y1 y2 -> Reader r (x1 y1) (x2 y2) Source Comments #
Profunctor (Reader r :: Type -> Type -> Type) Source Comments #
Instance details Defined in Proarrow.Promonad.Reader Methods dimap :: (c ~> a) -> (b ~> d) -> Reader r a b -> Reader r c d Source Comments # (\\) :: ((Ob a, Ob b) => r0) -> Reader r a b -> r0 Source Comments #
Promonad (Reader r :: Type -> Type -> Type) Source Comments #
Instance details Defined in Proarrow.Promonad.Reader Methods id :: Ob a => Reader r a a Source Comments # (.) :: Reader r b c -> Reader r a b -> Reader r a c Source Comments #
Monoid m => Procomonad (Reader m :: Type -> Type -> Type) Source Comments #
Instance details Defined in Proarrow.Promonad.Reader Methods extract :: Reader m :~> ((~>) :: CAT Type) Source Comments # duplicate :: Reader m :~> (Reader m :.: Reader m) Source Comments #