Safe Haskell	None
Language	GHC2024

Proarrow.Category.Instance.Product

Contents

Orphan instances

Documentation

type family Fst (a1 :: (a, b)) :: a where ... Source Comments #

Equations

Fst ('(a2, b2) :: (a1, b1)) = a2

type family Snd (a1 :: (a, b)) :: b where ... Source Comments #

Equations

Snd ('(a2, b2) :: (a1, b1)) = b2

data ((c :: j1 +-> k1) :**: (d :: j2 +-> k2)) (a :: (k1, k2)) (b :: (j1, j2)) where Source Comments #

Constructors

(:**:)
Fields :: forall {j1} {k1} {j2} {k2} (c :: j1 +-> k1) (a1 :: k1) (b1 :: j1) (d :: j2 +-> k2) (a2 :: k2) (b2 :: j2). { fstK :: c a1 b1 , sndK :: d a2 b2 } -> (c :**: d) '(a1, a2) '(b1, b2)

Instances

Instances details

(Strong m p, Strong m' q) => Strong (m, m') (p :**: q :: (k1, k2) -> (j1, j2) -> Type) Source Comments #
Instance details Defined in Proarrow.Category.Monoidal.Action Methods act :: forall (a :: (m, m')) (b :: (m, m')) (x :: (k1, k2)) (y :: (j1, j2)). (a ~> b) -> (p :: q) x y -> (p :: q) (Act a x) (Act b y) Source Comments #
(ThinProfunctor p, ThinProfunctor q) => ThinProfunctor (p :**: q :: (k1, k2) -> (j1, j2) -> Type) Source Comments #
Instance details Defined in Proarrow.Category.Instance.Product Methods arr :: forall (a :: (k1, k2)) (b :: (j1, j2)). (Ob a, Ob b, HasArrow (p :: q) a b) => (p :: q) a b Source Comments # withArr :: forall (a :: (k1, k2)) (b :: (j1, j2)) r. (p :: q) a b -> (HasArrow (p :: q) a b => r) -> r Source Comments #
(MonoidalProfunctor p, MonoidalProfunctor q) => MonoidalProfunctor (p :**: q :: (k1, k2) -> (j1, j2) -> Type) Source Comments #
Instance details Defined in Proarrow.Category.Monoidal Methods par0 :: (p :: q) (Unit :: (k1, k2)) (Unit :: (j1, j2)) Source Comments # par :: forall (x1 :: (k1, k2)) (x2 :: (j1, j2)) (y1 :: (k1, k2)) (y2 :: (j1, j2)). (p :: q) x1 x2 -> (p :: q) y1 y2 -> (p :: q) (x1 y1) (x2 y2) Source Comments #
(Profunctor p, Profunctor q) => Profunctor (p :**: q :: (k1, k2) -> (j1, j2) -> Type) Source Comments #
Instance details Defined in Proarrow.Category.Instance.Product Methods dimap :: forall (c :: (k1, k2)) (a :: (k1, k2)) (b :: (j1, j2)) (d :: (j1, j2)). (c ~> a) -> (b ~> d) -> (p :: q) a b -> (p :: q) c d Source Comments # (\\) :: forall (a :: (k1, k2)) (b :: (j1, j2)) r. ((Ob a, Ob b) => r) -> (p :**: q) a b -> r Source Comments #
(Representable p, Representable q) => Representable (p :**: q :: (k1, k2) -> (j1, j2) -> Type) Source Comments #
Instance details Defined in Proarrow.Category.Instance.Product Methods index :: forall (a :: (k1, k2)) (b :: (j1, j2)). (p :: q) a b -> a ~> ((p :: q) % b) Source Comments # tabulate :: forall (b :: (j1, j2)) (a :: (k1, k2)). Ob b => (a ~> ((p :: q) % b)) -> (p :: q) a b Source Comments # repMap :: forall (a :: (j1, j2)) (b :: (j1, j2)). (a ~> b) -> ((p :: q) % a) ~> ((p :: q) % b) Source Comments #
(DaggerProfunctor p, DaggerProfunctor q) => DaggerProfunctor (p :**: q :: (j1, j2) -> (j1, j2) -> Type) Source Comments #
Instance details Defined in Proarrow.Category.Instance.Product Methods dagger :: forall (a :: (j1, j2)) (b :: (j1, j2)). (p :: q) a b -> (p :: q) b a Source Comments #
(Promonad p, Promonad q) => Promonad (p :**: q :: (j1, j2) -> (j1, j2) -> Type) Source Comments #	The product promonad of promonads `p` and `q`.
Instance details Defined in Proarrow.Category.Instance.Product Methods id :: forall (a :: (j1, j2)). Ob a => (p :: q) a a Source Comments # (.) :: forall (b :: (j1, j2)) (c :: (j1, j2)) (a :: (j1, j2)). (p :: q) b c -> (p :: q) a b -> (p :: q) a c Source Comments #
type (p :**: q :: (k1, k2) -> (j1, j2) -> Type) % ('(a, b) :: (j1, j2)) Source Comments #
Instance details Defined in Proarrow.Category.Instance.Product type (p :**: q :: (k1, k2) -> (j1, j2) -> Type) % ('(a, b) :: (j1, j2)) = '(p % a, q % b)
type HasArrow (p :**: q :: (k1, k2) -> (j1, j2) -> Type) ('(a1, a2) :: (k1, k2)) ('(b1, b2) :: (j1, j2)) Source Comments #
Instance details Defined in Proarrow.Category.Instance.Product type HasArrow (p :**: q :: (k1, k2) -> (j1, j2) -> Type) ('(a1, a2) :: (k1, k2)) ('(b1, b2) :: (j1, j2)) = (HasArrow p a1 b1, HasArrow q a2 b2)

Orphan instances

(CategoryOf k1, CategoryOf k2) => CategoryOf (k1, k2) Source Comments #

The product of two categories.

Instance details

Associated Types

type (~>)
Instance details Defined in Proarrow.Category.Instance.Product type (~>) = ((~>) :: CAT k1) :**: ((~>) :: CAT k2)