Safe Haskell	None
Language	Haskell2010

Proarrow.Profunctor.Coyoneda

Documentation

data Coyoneda (p :: j -> k -> Type) (a :: j) (b :: k) where Source Comments #

Constructors

Coyoneda :: forall {j} {k} (a :: j) (c :: j) (d :: k) (b :: k) (p :: j -> k -> Type). (a ~> c) -> (d ~> b) -> p c d -> Coyoneda p a b

Instances details

(CategoryOf j, CategoryOf k) => Profunctor (Coyoneda p :: j -> k -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Coyoneda Methods dimap :: forall (c :: j) (a :: j) (b :: k) (d :: k). (c ~> a) -> (b ~> d) -> Coyoneda p a b -> Coyoneda p c d Source Comments # (\\) :: forall (a :: j) (b :: k) r. ((Ob a, Ob b) => r) -> Coyoneda p a b -> r Source Comments #

coyoneda :: forall j k (a :: j) (b :: k) p. (CategoryOf j, CategoryOf k, Ob a, Ob b) => p a b -> Coyoneda p a b Source Comments #