Safe Haskell	None
Language	Haskell2010

Proarrow.Profunctor.Wrapped

Documentation

newtype Wrapped (p :: k -> k1 -> Type) (a :: k) (b :: k1) Source Comments #

Constructors

Wrapped
Fields unWrapped :: p a b

Instances

Instances details

MonoidalProfunctor p => MonoidalProfunctor (Wrapped p :: k -> j -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Wrapped Methods par0 :: Wrapped p (Unit :: k) (Unit :: j) Source Comments # par :: forall (x1 :: k) (x2 :: j) (y1 :: k) (y2 :: j). Wrapped p x1 x2 -> Wrapped p y1 y2 -> Wrapped p (x1 y1) (x2 y2) Source Comments #
Profunctor p => Profunctor (Wrapped p :: j -> k -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Wrapped Methods dimap :: forall (c :: j) (a :: j) (b :: k) (d :: k). (c ~> a) -> (b ~> d) -> Wrapped p a b -> Wrapped p c d Source Comments # (\\) :: forall (a :: j) (b :: k) r. ((Ob a, Ob b) => r) -> Wrapped p a b -> r Source Comments #
DaggerProfunctor p => DaggerProfunctor (Wrapped p :: j -> j -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Wrapped Methods dagger :: forall (a :: j) (b :: j). Wrapped p a b -> Wrapped p b a Source Comments #
Promonad p => Promonad (Wrapped p :: k -> k -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Wrapped Methods id :: forall (a :: k). Ob a => Wrapped p a a Source Comments # (.) :: forall (b :: k) (c :: k) (a :: k). Wrapped p b c -> Wrapped p a b -> Wrapped p a c Source Comments #
(Comonoid c, Monoid m, MonoidalProfunctor p) => Monoid (Wrapped p c m :: Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Wrapped Methods mempty :: (Unit :: Type) ~> Wrapped p c m Source Comments # mappend :: (Wrapped p c m ** Wrapped p c m) ~> Wrapped p c m Source Comments #
MonoidalProfunctor p => Monoid (Wrapped p :: k2 -> k1 -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Wrapped Methods mempty :: (Unit :: k2 -> k1 -> Type) ~> Wrapped p Source Comments # mappend :: (Wrapped p ** Wrapped p) ~> Wrapped p Source Comments #