P | Data.Category.Cube |
Postcompose | Data.Category.NaturalTransformation |
postcompose | Data.Category.NaturalTransformation |
postcomposeAdj | Data.Category.Adjunction |
Precompose | Data.Category.NaturalTransformation |
precompose | Data.Category.NaturalTransformation |
precomposeAdj | Data.Category.Adjunction |
Presheaves | Data.Category.NaturalTransformation |
PrimRec | |
1 (Type/Class) | Data.Category.NNO |
2 (Data Constructor) | Data.Category.NNO |
primRec | |
1 (Function) | Data.Category.Dialg |
2 (Function) | Data.Category.NNO |
prodAdj | Data.Category.Limit |
productComonoid | Data.Category.Monoidal |
ProductFunctor | |
1 (Type/Class) | Data.Category.Limit |
2 (Data Constructor) | Data.Category.Limit |
Profunctors | Data.Category.NaturalTransformation |
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.CartesianClosed |
pshExponential | Data.Category.CartesianClosed |