Safe Haskell	None
Language	Haskell2010

Proarrow.Promonad.Writer

Documentation

Constructors

Writer
Fields unWriter :: a -> (m, b)

Instances details

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