Safe Haskell	None
Language	Haskell2010

Proarrow.Profunctor.Yoneda

Synopsis

data Yoneda (p :: j -> k -> Type) (a :: j) (b :: k) where
- Yoneda :: forall {j} {k} (a :: j) (b :: k) (p :: j -> k -> Type). (Ob a, Ob b) => {..} -> Yoneda p a b
yoneda :: forall j k (p :: PRO j k). (CategoryOf j, CategoryOf k) => Yoneda p :~> p
data Yo (a :: k) (b :: k1) (c :: k) (d :: k1) = Yo (c ~> a) (b ~> d)

Documentation

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

Constructors

Yoneda
Fields :: forall {j} {k} (a :: j) (b :: k) (p :: j -> k -> Type). (Ob a, Ob b) => { getYoneda :: Yo a b :~> p } -> Yoneda p a b

Instances details

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

data Yo (a :: k) (b :: k1) (c :: k) (d :: k1) Source Comments #

Yoneda embedding

Constructors

Yo (c ~> a) (b ~> d)

Instances details

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