Day | |
1 (Type/Class) | Data.Category.Monoidal |
2 (Data Constructor) | Data.Category.Monoidal |
DC | Data.Category.Coproduct |
Diag | |
1 (Type/Class) | Data.Category.Limit |
2 (Data Constructor) | Data.Category.Limit |
DiagF | Data.Category.Limit |
DiagProd | |
1 (Type/Class) | Data.Category.Functor |
2 (Data Constructor) | Data.Category.Functor |
3 (Type/Class) | Data.Category.Enriched.Functor |
4 (Data Constructor) | Data.Category.Enriched.Functor |
Dialg | Data.Category.Dialg |
DialgA | Data.Category.Dialg |
Dialgebra | |
1 (Type/Class) | Data.Category.Dialg |
2 (Data Constructor) | Data.Category.Dialg |
dialgebra | Data.Category.Dialg |
dialgId | Data.Category.Dialg |
Dom | Data.Category.Functor |