Safe Haskell	None
Language	Haskell2010

Proarrow.Profunctor.Coyoneda

Contents

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 #
Functor (Coyoneda :: (j -> k -> Type) -> j -> k -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Coyoneda Methods map :: forall (a :: j -> k -> Type) (b :: j -> k -> Type). (a ~> b) -> Coyoneda a ~> Coyoneda b 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 #

Orphan instances

Instance details

Associated Types

type Free (Profunctor :: PRO j k -> Constraint)
Instance details Defined in Proarrow.Profunctor.Coyoneda type Free (Profunctor :: PRO j k -> Constraint) = Star (Coyoneda :: (j -> k -> Type) -> j -> k -> Type)

Methods

lift' :: forall (a :: PRO j k) (b :: PRO j k). (a ~> b) -> Free (Profunctor :: PRO j k -> Constraint) a b Source Comments #

retract' :: forall (b :: PRO j k) (a :: PRO j k). Profunctor b => Free (Profunctor :: PRO j k -> Constraint) a b -> a ~> b Source Comments #