data-category-0.4: Restricted categories

Index - E

eilenbergMooreAdjData.Category.Dialg
EMAdjF 
1 (Data Constructor)Data.Category.Dialg
2 (Type/Class)Data.Category.Dialg
EMAdjG 
1 (Data Constructor)Data.Category.Dialg
2 (Type/Class)Data.Category.Dialg
EndoData.Category.NaturalTransformation
EndoHask 
1 (Data Constructor)Data.Category.Functor
2 (Type/Class)Data.Category.Functor
ExpFunctor 
1 (Data Constructor)Data.Category.CartesianClosed
2 (Type/Class)Data.Category.CartesianClosed
ExponentialData.Category.CartesianClosed
ExponentialWith 
1 (Data Constructor)Data.Category.CartesianClosed
2 (Type/Class)Data.Category.CartesianClosed