Pair | Data.Category.Discrete |
Peano | Data.Category.Peano |
PeanoA | Data.Category.Peano |
peanoId | Data.Category.Peano |
PeanoO | |
1 (Data Constructor) | Data.Category.Peano |
2 (Type/Class) | Data.Category.Peano |
peanoO | Data.Category.Peano |
Postcompose | |
1 (Data Constructor) | Data.Category.NaturalTransformation |
2 (Type/Class) | Data.Category.NaturalTransformation |
Precompose | |
1 (Data Constructor) | Data.Category.NaturalTransformation |
2 (Type/Class) | Data.Category.NaturalTransformation |
preludeMonad | Data.Category.Monoidal |
preludeMonoid | Data.Category.Monoidal |
Presheaves | Data.Category.Presheaf |
primRec | |
1 (Function) | Data.Category.Dialg |
2 (Function) | Data.Category.Peano |
ProductFunctor | |
1 (Data Constructor) | Data.Category.Limit |
2 (Type/Class) | Data.Category.Limit |
Proj1 | |
1 (Data Constructor) | Data.Category.Functor |
2 (Type/Class) | Data.Category.Functor |
proj1 | Data.Category.Limit |
Proj2 | |
1 (Data Constructor) | Data.Category.Functor |
2 (Type/Class) | Data.Category.Functor |
proj2 | Data.Category.Limit |
PShExponential | Data.Category.Presheaf |
pshExponential | Data.Category.Presheaf |