Add | |
1 (Type/Class) | Data.Category.Simplex |
2 (Data Constructor) | Data.Category.Simplex |
AdjArrow | |
1 (Type/Class) | Data.Category.Adjunction |
2 (Data Constructor) | Data.Category.Adjunction |
Adjunction | |
1 (Type/Class) | Data.Category.Adjunction |
2 (Data Constructor) | Data.Category.Adjunction |
adjunctionComonad | Data.Category.Monoidal |
adjunctionInitialProp | Data.Category.Adjunction |
adjunctionMonad | Data.Category.Monoidal |
adjunctionTerminalProp | Data.Category.Adjunction |
Alg | Data.Category.Dialg |
Algebra | Data.Category.Dialg |
Ana | Data.Category.Dialg |
Apply | |
1 (Type/Class) | Data.Category.CartesianClosed |
2 (Data Constructor) | Data.Category.CartesianClosed |
apply | Data.Category.CartesianClosed |
associator | Data.Category.Monoidal |
associatorInv | Data.Category.Monoidal |