Documentation

type Obj (a :: k) = a ~> a 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 => Ob' (a :: k) Source Comments #

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