Safe Haskell	None
Language	GHC2024

Proarrow.Profunctor.Product

Documentation

data ((p :: j +-> k) :*: (q :: j +-> k)) (a :: k) (b :: j) where Source Comments #

Constructors

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

Instances

Instances details

(Strong m p, Strong m q) => Strong m (p :*: q :: d -> c -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Product Methods act :: forall (a :: m) (b :: m) (x :: d) (y :: c). (a ~> b) -> (p :: q) x y -> (p :: q) (Act a x) (Act b y) Source Comments #
(ThinProfunctor p, ThinProfunctor q) => ThinProfunctor (p :*: q :: k -> j -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Product Methods arr :: forall (a :: k) (b :: j). (Ob a, Ob b, HasArrow (p :: q) a b) => (p :: q) a b Source Comments # withArr :: forall (a :: k) (b :: j) r. (p :: q) a b -> (HasArrow (p :: q) a b => r) -> r Source Comments #
(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 :: k -> j -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Product Methods dimap :: forall (c :: k) (a :: k) (b :: j) (d :: j). (c ~> a) -> (b ~> d) -> (p :: q) a b -> (p :: q) c d Source Comments # (\\) :: forall (a :: k) (b :: j) r. ((Ob a, Ob b) => r) -> (p :*: q) a b -> r Source Comments #
(HasBinaryCoproducts j, Corepresentable p, Corepresentable q) => Corepresentable (p :*: q :: k -> j -> Type) Source Comments #
Instance details Defined in Proarrow.Object.BinaryCoproduct Methods coindex :: forall (a :: k) (b :: j). (p :: q) a b -> ((p :: q) %% a) ~> b Source Comments # cotabulate :: forall (a :: k) (b :: j). Ob a => (((p :: q) %% a) ~> b) -> (p :: q) a b Source Comments # corepMap :: forall (a :: k) (b :: k). (a ~> b) -> ((p :: q) %% a) ~> ((p :: q) %% b) Source Comments #
(HasBinaryProducts k, Representable p, Representable q) => Representable (p :*: q :: k -> j -> Type) Source Comments #
Instance details Defined in Proarrow.Object.BinaryProduct Methods index :: forall (a :: k) (b :: j). (p :: q) a b -> a ~> ((p :: q) % b) Source Comments # tabulate :: forall (b :: j) (a :: k). Ob b => (a ~> ((p :: q) % b)) -> (p :: q) a b Source Comments # repMap :: forall (a :: j) (b :: j). (a ~> b) -> ((p :: q) % a) ~> ((p :: q) % b) Source Comments #
(DaggerProfunctor p, DaggerProfunctor q) => DaggerProfunctor (p :*: q :: k -> k -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Product Methods dagger :: forall (a :: k) (b :: k). (p :: q) a b -> (p :: q) b a Source Comments #
(HasBinaryCoproducts k, Cotraversable p, Cotraversable q) => Cotraversable (p :*: q :: k -> k -> Type) Source Comments #
Instance details Defined in Proarrow.Category.Monoidal.Distributive Methods cotraverse :: forall (p0 :: k +-> k). (DistributiveProfunctor p0, Strong k p0, SelfAction k) => (p0 :.: (p :: q)) :~> ((p :: q) :.: p0) Source Comments #
(Cartesian k, Traversable p, Traversable q) => Traversable (p :*: q :: k -> k -> Type) Source Comments #
Instance details Defined in Proarrow.Category.Monoidal.Distributive Methods traverse :: forall (p0 :: k +-> k). (DistributiveProfunctor p0, Strong k p0, SelfAction k) => ((p :: q) :.: p0) :~> (p0 :.: (p :: q)) Source Comments #
type (p :*: q :: k -> j -> Type) %% (a :: k) Source Comments #
Instance details Defined in Proarrow.Object.BinaryCoproduct type (p :*: q :: k -> j -> Type) %% (a :: k) = (p %% a) \|\| (q %% a)
type (p :*: q :: k -> j -> Type) % (a :: j) Source Comments #
Instance details Defined in Proarrow.Object.BinaryProduct type (p :*: q :: k -> j -> Type) % (a :: j) = (p % a) && (q % a)
type HasArrow (p :*: q :: k -> j -> Type) (a :: k) (b :: j) Source Comments #
Instance details Defined in Proarrow.Profunctor.Product type HasArrow (p :*: q :: k -> j -> Type) (a :: k) (b :: j) = (HasArrow p a b, HasArrow q a b)

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