AdjArrow | |
1 (Type/Class) | Data.Category.Adjunction |
2 (Data Constructor) | Data.Category.Adjunction |
AdjCategory | Data.Category.Adjunction |
Adjunction | |
1 (Type/Class) | Data.Category.Adjunction |
2 (Data Constructor) | Data.Category.Adjunction |
adjunctionInitialProp | Data.Category.Adjunction |
adjunctionTerminalProp | Data.Category.Adjunction |
Alg | Data.Category.Dialg |
Algebra | Data.Category.Dialg |
Ana | Data.Category.Dialg |
anaHask | Data.Category.Dialg |
arrowPair | Data.Category.Pair |