WeigtedColimit | Data.Category.Enriched |
WeigtedLimit | Data.Category.Enriched |
Wrap | |
1 (Type/Class) | Data.Category.NaturalTransformation |
2 (Data Constructor) | Data.Category.NaturalTransformation |
3 (Type/Class) | Data.Category.Fix |
4 (Data Constructor) | Data.Category.Fix |
WrapTensor | Data.Category.Fix |