F2T | Data.Category.Boolean |
falseCoproductComonoid | Data.Category.Boolean |
falseCoproductMonoid | Data.Category.Boolean |
falseProductComonoid | Data.Category.Boolean |
Fin | Data.Category.Simplex |
Fix | |
1 (Type/Class) | Data.Category.Fix |
2 (Data Constructor) | Data.Category.Fix |
Fls | |
1 (Data Constructor) | Data.Category.Boolean |
2 (Type/Class) | Data.Category.Boolean |
Forget | |
1 (Type/Class) | Data.Category.Simplex |
2 (Data Constructor) | Data.Category.Simplex |
3 (Type/Class) | Data.Category.Cube |
4 (Data Constructor) | Data.Category.Cube |
ForgetAlg | |
1 (Type/Class) | Data.Category.Dialg |
2 (Data Constructor) | Data.Category.Dialg |
FreeAlg | |
1 (Type/Class) | Data.Category.Dialg |
2 (Data Constructor) | Data.Category.Dialg |
fromYoneda | Data.Category.Yoneda |
Fs | Data.Category.Simplex |
Functor | Data.Category.Functor |
FunctorCompose | |
1 (Type/Class) | Data.Category.NaturalTransformation |
2 (Data Constructor) | Data.Category.NaturalTransformation |
Fz | Data.Category.Simplex |