Safe Haskell	None
Language	Haskell2010

Proarrow.Profunctor.Product

Documentation

data ((p :: PRO j k) :*: (q :: PRO j k)) (a :: j) (b :: k) where Source Comments #

Constructors

(:*:)
Fields :: forall {j} {k} (p :: PRO j k) (a :: j) (b :: k) (q :: PRO j k). { fstP :: p a b , sndP :: q a b } -> (p :*: q) a b

Instances details

(MonoidalProfunctor p, MonoidalProfunctor q) => MonoidalProfunctor (p :*: q :: k -> j -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Product Methods par0 :: (p :: q) (Unit :: k) (Unit :: j) Source Comments # par :: forall (x1 :: k) (x2 :: j) (y1 :: k) (y2 :: j). (p :: q) x1 x2 -> (p :: q) y1 y2 -> (p :: q) (x1 y1) (x2 y2) Source Comments #
(Profunctor p, Profunctor q) => Profunctor (p :*: q :: j -> k -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Product Methods dimap :: forall (c :: j) (a :: j) (b :: k) (d :: k). (c ~> a) -> (b ~> d) -> (p :: q) a b -> (p :: q) c d Source Comments # (\\) :: forall (a :: j) (b :: k) r. ((Ob a, Ob b) => r) -> (p :*: q) a b -> r Source Comments #
(DaggerProfunctor p, DaggerProfunctor q) => DaggerProfunctor (p :*: q :: j -> j -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Product Methods dagger :: forall (a :: j) (b :: j). (p :: q) a b -> (p :: q) b a Source Comments #

prod :: forall {j} {k} (r :: j -> k -> Type) (p :: j -> k -> Type) (q :: j -> k -> Type). (r :~> p) -> (r :~> q) -> r :~> (p :*: q) Source Comments #