Documentation

type Obj (a :: k) = a ~> a Source Comments #

pattern Obj :: forall k (a :: k). CategoryOf k => Ob a => Obj a Source Comments #

pattern Objs :: forall k (a :: k) (b :: k). CategoryOf k => (Ob a, Ob b) => a ~> b Source Comments #

obj :: forall {k} (a :: k). (CategoryOf k, Ob a) => Obj a Source Comments #

src :: forall {k1} {k2} (a :: k2) (b :: k1) p. Profunctor p => p a b -> Obj a Source Comments #

tgt :: forall {k1} {k2} (a :: k2) (b :: k1) p. Profunctor p => p a b -> Obj b Source Comments #

class (Ob a, CategoryOf k) => Ob' (a :: k) Source Comments #

type VacuusOb k = forall (a :: k). Ob' a Source Comments #