Diag | |
1 (Data Constructor) | Data.Category.Limit |
2 (Type/Class) | Data.Category.Limit |
DiagF | Data.Category.Limit |
DiagProd | |
1 (Data Constructor) | Data.Category.Functor |
2 (Type/Class) | Data.Category.Functor |
Dialg | Data.Category.Dialg |
DialgA | Data.Category.Dialg |
Dialgebra | |
1 (Data Constructor) | Data.Category.Dialg |
2 (Type/Class) | Data.Category.Dialg |
dialgebra | Data.Category.Dialg |
dialgId | Data.Category.Dialg |
Discrete | Data.Category.Discrete |
DiscreteDiagram | Data.Category.Discrete |
Dom | Data.Category.Functor |