Postcompose | |
1 (Type/Class) | Data.Category.NaturalTransformation |
2 (Data Constructor) | Data.Category.NaturalTransformation |
Precompose | |
1 (Type/Class) | Data.Category.NaturalTransformation |
2 (Data Constructor) | Data.Category.NaturalTransformation |
Presheaves | Data.Category.Presheaf |
PrimRec | |
1 (Type/Class) | Data.Category.NNO |
2 (Data Constructor) | Data.Category.NNO |
primRec | |
1 (Function) | Data.Category.Dialg |
2 (Function) | Data.Category.NNO |
ProductFunctor | |
1 (Type/Class) | Data.Category.Limit |
2 (Data Constructor) | Data.Category.Limit |
Proj1 | |
1 (Type/Class) | Data.Category.Functor |
2 (Data Constructor) | Data.Category.Functor |
proj1 | Data.Category.Limit |
Proj2 | |
1 (Type/Class) | Data.Category.Functor |
2 (Data Constructor) | Data.Category.Functor |
proj2 | Data.Category.Limit |
PShExponential | Data.Category.Presheaf |
pshExponential | Data.Category.Presheaf |