data-category-0.8.1: Category theory

Index - W

WeigtedColimitData.Category.Enriched
WeigtedLimitData.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
WrapTensorData.Category.Fix