Safe Haskell | None |
---|---|
Language | Haskell2010 |
Proarrow.Category.Bicategory.CategoryAsBi
Documentation
data PLAINK k (i :: k) (j :: k) Source Comments #
Constructors
PLAIN |
Instances
CategoryOf k => Bicategory (PLAINK k :: k -> k -> Type) Source Comments # | |
Defined in Proarrow.Category.Bicategory.CategoryAsBi Methods o :: forall {k1 :: k} (i :: k) (j :: k) (a :: PLAINK k i j) (b :: PLAINK k i j) (c :: PLAINK k j k1) (d :: PLAINK k j k1). (a ~> b) -> (c ~> d) -> O a c ~> O b d Source Comments # (\\\) :: forall (i :: k) (j :: k) (ps :: PLAINK k i j) (qs :: PLAINK k i j) r. ((Ob0 (PLAINK k) i, Ob0 (PLAINK k) j, Ob ps, Ob qs) => r) -> (ps ~> qs) -> r Source Comments # leftUnitor :: forall (i :: k) (j :: k) (a :: PLAINK k i j). Obj a -> O (I :: PLAINK k i i) a ~> a Source Comments # leftUnitorInv :: forall (i :: k) (j :: k) (a :: PLAINK k i j). Obj a -> a ~> O (I :: PLAINK k i i) a Source Comments # rightUnitor :: forall (i :: k) (j :: k) (a :: PLAINK k i j). Obj a -> O a (I :: PLAINK k j j) ~> a Source Comments # rightUnitorInv :: forall (i :: k) (j :: k) (a :: PLAINK k i j). Obj a -> a ~> O a (I :: PLAINK k j j) Source Comments # associator :: forall {j1 :: k} {k1 :: k} (i :: k) (j2 :: k) (a :: PLAINK k i j2) (b :: PLAINK k j2 j1) (c :: PLAINK k j1 k1). Obj a -> Obj b -> Obj c -> O (O a b) c ~> O a (O b c) Source Comments # associatorInv :: forall {j1 :: k} {k1 :: k} (i :: k) (j2 :: k) (a :: PLAINK k i j2) (b :: PLAINK k j2 j1) (c :: PLAINK k j1 k1). Obj a -> Obj b -> Obj c -> O a (O b c) ~> O (O a b) c Source Comments # | |
(CategoryOf k, Ob i, Ob j) => CategoryOf (PLAINK k i j) Source Comments # | |
Defined in Proarrow.Category.Bicategory.CategoryAsBi | |
(CategoryOf k, Ob i, Ob j) => Promonad (Category :: PLAINK k i j -> PLAINK k i j -> Type) Source Comments # | |
(CategoryOf k, Ob i, Ob j) => Profunctor (Category :: PLAINK k i j -> PLAINK k i j -> Type) Source Comments # | |
Defined in Proarrow.Category.Bicategory.CategoryAsBi | |
type Ob0 (PLAINK k2 :: k2 -> k2 -> Type) (a :: k1) Source Comments # | |
Defined in Proarrow.Category.Bicategory.CategoryAsBi | |
type I Source Comments # | |
Defined in Proarrow.Category.Bicategory.CategoryAsBi | |
type O ('PLAIN :: PLAINK k i j) ('PLAIN :: PLAINK k j k1) Source Comments # | |
type (~>) Source Comments # | |
type Ob (a :: PLAINK k i j) Source Comments # | |
data Category (as :: PLAINK k i j) (bs :: PLAINK k i j) where Source Comments #
Constructors
Id :: forall {k} (i :: k) (j :: k). (Ob i, Ob j) => Maybe (i ~> j) -> Category ('PLAIN :: PLAINK k i j) ('PLAIN :: PLAINK k i j) |