Index - P
| P | |
| 1 (Data Constructor) | OAlg.Data.Symbol |
| 2 (Data Constructor) | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| Parallel | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| Parameter | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| Params | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| PartiallyOrdered | OAlg.Structure.PartiallyOrdered.Definition, OAlg.Structure.PartiallyOrdered |
| Path | |
| 1 (Type/Class) | OAlg.Category.Path |
| 2 (Type/Class) | OAlg.Structure.Oriented.Path, OAlg.Structure.Oriented |
| 3 (Data Constructor) | OAlg.Structure.Oriented.Path, OAlg.Structure.Oriented |
| PathCo | |
| 1 (Type/Class) | OAlg.Data.HomCo |
| 2 (Data Constructor) | OAlg.Data.HomCo |
| PathSMorphism | OAlg.Category.SDuality |
| Percent | |
| 1 (Type/Class) | OAlg.Control.Verbose |
| 2 (Data Constructor) | OAlg.Control.Verbose |
| PermutableSequence | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| Permutation | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| PermutationForm | |
| 1 (Type/Class) | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| 2 (Data Constructor) | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| Permute | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| permute | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| permuteBy | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| permuteByN | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| permuteFT | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| Perspective | OAlg.Limes.Perspective, OAlg.Limes.Cone.Core, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| plbPrdEql2 | OAlg.Limes.PullbacksAndPushouts |
| pmap | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| pmapf | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| pmf | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| pmt | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| pmtSign | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| Pnt | |
| 1 (Type/Class) | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| 2 (Data Constructor) | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| Point | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| PosInf | OAlg.Data.Ord, OAlg.Prelude |
| power | OAlg.Structure.Exponential |
| prdCone | OAlg.Limes.ProductsAndSums |
| prdConeOrnt | OAlg.Limes.ProductsAndSums |
| prdDiagram | OAlg.Limes.ProductsAndSums |
| prdMapTotal | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| pred | OAlg.Data.Number, OAlg.Prelude |
| Pretty | OAlg.Control.Verbose |
| prFactor | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| prFactors | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| prfDepth | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| prfFactors | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| prfFromOp | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| prfInverse | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| prfLength | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| prfMapTotal | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| prfopl | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| prfopl' | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| prfopr | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| prfopr' | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| prfReduce | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| prfReduceWith | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| prfReductionWith | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| prFromOp | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| prfwrd | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| primes | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| prj | OAlg.Data.Canonical |
| prLength | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| ProbablyEmpty | OAlg.Data.X, OAlg.Prelude |
| ProbablyInvalid | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| ProbablyValid | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| Product | |
| 1 (Type/Class) | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| 2 (Type/Class) | OAlg.Limes.ProductsAndSums |
| ProductCone | OAlg.Limes.ProductsAndSums |
| ProductConic | OAlg.Limes.ProductsAndSums |
| ProductDiagram | OAlg.Limes.ProductsAndSums |
| ProductDiagrammatic | OAlg.Limes.ProductsAndSums |
| productDim | OAlg.Entity.Matrix.Dim, OAlg.Entity.Matrix |
| ProductForm | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| ProductG | OAlg.Limes.ProductsAndSums |
| productOrnt | OAlg.Limes.ProductsAndSums |
| Products | OAlg.Limes.ProductsAndSums |
| products | OAlg.Limes.ProductsAndSums |
| products0 | OAlg.Limes.ProductsAndSums |
| products1 | OAlg.Limes.ProductsAndSums |
| products2 | OAlg.Limes.ProductsAndSums |
| ProductsG | OAlg.Limes.ProductsAndSums |
| productsOrnt | OAlg.Limes.ProductsAndSums |
| ProductSymbol | |
| 1 (Type/Class) | OAlg.Entity.Product.ProductSymbol, OAlg.Entity.Sequence.CSequence, OAlg.Entity.Product, OAlg.Entity.Sequence |
| 2 (Data Constructor) | OAlg.Entity.Product.ProductSymbol, OAlg.Entity.Sequence.CSequence, OAlg.Entity.Product, OAlg.Entity.Sequence |
| productSymbol | OAlg.Entity.Product.ProductSymbol, OAlg.Entity.Sequence.CSequence, OAlg.Entity.Product, OAlg.Entity.Sequence |
| Projectible | OAlg.Data.Canonical |
| Projective | OAlg.Limes.Perspective, OAlg.Limes.Cone.Core, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| Proxy | |
| 1 (Type/Class) | OAlg.Data.Proxy |
| 2 (Data Constructor) | OAlg.Data.Proxy |
| Proxy2 | |
| 1 (Type/Class) | OAlg.Data.Proxy |
| 2 (Data Constructor) | OAlg.Data.Proxy |
| Proxy3 | |
| 1 (Type/Class) | OAlg.Data.Proxy |
| 2 (Data Constructor) | OAlg.Data.Proxy |
| Prp | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| prpAbl | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| prpAbl1 | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| prpAbl2 | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| prpAbl3 | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| prpAbl3_1 | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| prpAbl3_2 | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| prpAbl4 | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| prpAbl5 | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| prpAdd | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| prpAdd0 | OAlg.Entity.Natural |
| prpAdd1 | |
| 1 (Function) | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| 2 (Function) | OAlg.Entity.Natural |
| prpAdd2 | |
| 1 (Function) | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| 2 (Function) | OAlg.Entity.Natural |
| prpAdd2_1 | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| prpAdd2_2 | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| prpAdd3 | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| prpAdd4 | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| prpAdd5 | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| prpAdd6 | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| prpAddAssoc | OAlg.Entity.Natural |
| prpAddComm | OAlg.Entity.Natural |
| prpAddNtrlL | OAlg.Entity.Natural |
| prpAddNtrlR | OAlg.Entity.Natural |
| prpAdjunction | OAlg.Adjunction.Definition, OAlg.Adjunction |
| prpAdjunctionLeft | OAlg.Adjunction.Definition, OAlg.Adjunction |
| prpAdjunctionRight | OAlg.Adjunction.Definition, OAlg.Adjunction |
| prpAlg | OAlg.Structure.Algebraic.Proposition, OAlg.Structure.Algebraic |
| prpAlg1 | OAlg.Structure.Algebraic.Proposition, OAlg.Structure.Algebraic |
| prpAnd0 | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpAndAssoc | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpAndOr | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpAnds | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpAndTrue | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpBool | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpBoolTautologies | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpCatch | OAlg.Data.Statement.Proposition, OAlg.Data.Statement, OAlg.Prelude |
| prpCategory | OAlg.Category.Proposition, OAlg.Prelude |
| prpCategory1 | OAlg.Category.Proposition, OAlg.Prelude |
| prpCategory2 | OAlg.Category.Proposition, OAlg.Prelude |
| prpCategoryDisjunctive | OAlg.Data.Variant, OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| prpCategoryDualisable | OAlg.Data.Variant, OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| prpCayleyan2 | OAlg.Category.Proposition, OAlg.Prelude |
| prpCheckFalse | OAlg.Data.Statement.Proposition, OAlg.Data.Statement, OAlg.Prelude |
| prpCheckTrue | OAlg.Data.Statement.Proposition, OAlg.Data.Statement, OAlg.Prelude |
| prpConsecutiveZeroFree | OAlg.Limes.Exact.Free |
| prpDeviationOrntSymbol | OAlg.Limes.Exact.Deviation |
| prpDiagram | OAlg.Entity.Diagram.Proposition, OAlg.Entity.Diagram |
| prpDiagramOrntSymbol | OAlg.Entity.Diagram.Proposition, OAlg.Entity.Diagram |
| prpDst | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| prpDst1 | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| prpDst2 | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| prpDst3 | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| prpDst4 | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| prpDstrL | OAlg.Entity.Natural |
| prpDstrR | OAlg.Entity.Natural |
| prpDualisableAdditiveAdd1 | OAlg.Hom.Additive, OAlg.Hom |
| prpDualisableAdditiveAdd2 | OAlg.Hom.Additive, OAlg.Hom |
| prpDualisableFibredOrientedRt | OAlg.Hom.FibredOriented |
| prpDualisableFibredOrientedStk | OAlg.Hom.FibredOriented |
| prpDualisableG | OAlg.Category.Dualisable |
| prpDualisableMultiplicativeMlt | OAlg.Hom.Multiplicative, OAlg.Hom |
| prpDualisableMultiplicativeOne | OAlg.Hom.Multiplicative, OAlg.Hom |
| prpDualisableOriented | OAlg.Hom.Oriented.Proposition, OAlg.Hom.Oriented, OAlg.Hom |
| prpDualisableVectorial | OAlg.Hom.Vectorial, OAlg.Hom |
| prpEqlAny | OAlg.Entity.Natural |
| prpEqlAny' | OAlg.Entity.Natural |
| prpEqualExt | OAlg.Data.EqualExtensional, OAlg.Prelude |
| prpEqvlAnd | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpErasable | OAlg.Structure.PartiallyOrdered.Proposition, OAlg.Structure.PartiallyOrdered |
| prpFbr | OAlg.Structure.Fibred.Proposition, OAlg.Structure.Fibred |
| prpFbrOrt | OAlg.Structure.FibredOriented |
| prpFSequence | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| prpFSequenceSpan | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| prpFunctorial | OAlg.Category.Proposition, OAlg.Prelude |
| prpFunctorial1 | OAlg.Category.Proposition, OAlg.Prelude |
| prpFunctorial2 | OAlg.Category.Proposition, OAlg.Prelude |
| prpFunctorialG | OAlg.Category.Proposition, OAlg.Prelude |
| prpFunctorialGType | OAlg.Category.Proposition, OAlg.Prelude |
| prpFunctorialHomCo | OAlg.Data.HomCo |
| prpHomAdd1 | OAlg.Hom.Additive, OAlg.Hom |
| prpHomAdd2 | OAlg.Hom.Additive, OAlg.Hom |
| prpHomAdditive | OAlg.Hom.Additive, OAlg.Hom |
| prpHomCoMatrixOp | OAlg.Entity.Matrix.Proposition, OAlg.Entity.Matrix |
| prpHomDisjMultiplicative | OAlg.Hom.Multiplicative, OAlg.Hom |
| prpHomDisjOp | OAlg.Hom.Proposition |
| prpHomDisjOpAdd | OAlg.Hom.Additive, OAlg.Hom |
| prpHomDisjOpFbr | OAlg.Hom.Fibred, OAlg.Hom |
| prpHomDisjOpFbrOrt | OAlg.Hom.FibredOriented |
| prpHomDisjOpMlt | OAlg.Hom.Multiplicative, OAlg.Hom |
| prpHomDisjOpOrt | OAlg.Hom.Oriented.Proposition, OAlg.Hom.Oriented, OAlg.Hom |
| prpHomDisjOpVecZ | OAlg.Hom.Vectorial, OAlg.Hom |
| prpHomFbr | OAlg.Hom.Fibred, OAlg.Hom |
| prpHomFbrOrt | OAlg.Hom.FibredOriented |
| prpHomFbrOrtDisj | OAlg.Hom.FibredOriented |
| prpHomFibred | OAlg.Hom.Fibred, OAlg.Hom |
| prpHomMltSliceAdjunction | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| prpHomMultiplicative | OAlg.Hom.Multiplicative, OAlg.Hom |
| prpHomMultiplicativeDisjunctive | OAlg.Hom.Multiplicative, OAlg.Hom |
| prpHomOriented | OAlg.Hom.Oriented.Proposition, OAlg.Hom.Oriented, OAlg.Hom |
| prpHomOrientedDisjunctive | OAlg.Hom.Oriented.Proposition, OAlg.Hom.Oriented, OAlg.Hom |
| prpHomOrientedSlicedFree | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| prpHomOrtSliceAdjunction | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| prpHomSlicedOriented | OAlg.Entity.Slice.Sliced, OAlg.Entity.Slice |
| prpHomVectorial | OAlg.Hom.Vectorial, OAlg.Hom |
| prpImplCurry | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpImplFalseEverything | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpImplRefl | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpImplTransitive | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpIsCokernel | OAlg.Limes.KernelsAndCokernels |
| prpIsKernel | OAlg.Limes.KernelsAndCokernels |
| prpLattice | OAlg.Structure.Lattice.Proposition, OAlg.Structure.Lattice |
| prpLatticeBool | OAlg.Structure.Lattice.Proposition, OAlg.Structure.Lattice |
| prpLatticeConjunction | OAlg.Structure.Lattice.Proposition, OAlg.Structure.Lattice |
| prpLatticeDisjunction | OAlg.Structure.Lattice.Proposition, OAlg.Structure.Lattice |
| prpLazy | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpLazyAnd | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpLazyImpl | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpLazyOr | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpLimes | OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition |
| prpLimesFactorExist | OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition |
| prpLimesFactorUnique | OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition |
| prpLimitsG | OAlg.Limes.Limits.Proposition, OAlg.Limes.Limits |
| prpLimitsOrntSymbol | OAlg.Limes.Proposition |
| prpMatrix | OAlg.Entity.Matrix.Proposition, OAlg.Entity.Matrix |
| prpMatrixZ | OAlg.Entity.Matrix.Proposition, OAlg.Entity.Matrix |
| prpMlt | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| prpMlt1 | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| prpMlt2 | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| prpMlt2_1 | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| prpMlt2_2 | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| prpMlt3 | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| prpMlt4 | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| prpMlt5 | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| prpMltAssoc | OAlg.Entity.Natural |
| prpMltComm | OAlg.Entity.Natural |
| prpMltNtrlL | OAlg.Entity.Natural |
| prpMltNtrlR | OAlg.Entity.Natural |
| prpMltProductNOrntSymbol | OAlg.Entity.Product.Proposition, OAlg.Entity.Product |
| prpMltProductZOrntSymbol | OAlg.Entity.Product.Proposition, OAlg.Entity.Product |
| prpNaturalDiagrammatic | OAlg.Entity.Diagram.Diagrammatic, OAlg.Entity.Diagram |
| prpNaturalTransformable | OAlg.Category.NaturalTransformable |
| prpNotNot | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpOAlgBase | OAlg.Proposition |
| prpOprPermutation | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| prpOr0 | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpOrAnd | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpOrAssoc | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpOrs | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpOrt | OAlg.Structure.Oriented.Proposition, OAlg.Structure.Oriented |
| prpOrt0 | OAlg.Structure.Oriented.Proposition, OAlg.Structure.Oriented |
| prpOrt1 | OAlg.Structure.Oriented.Proposition, OAlg.Structure.Oriented |
| prpOrtProductNOrntSymbol | OAlg.Entity.Product.Proposition, OAlg.Entity.Product |
| prpOrtProductZOrntSymbol | OAlg.Entity.Product.Proposition, OAlg.Entity.Product |
| prpPermutableSequence | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| prpPermutation | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| prpPrjHom | OAlg.Data.Statement.Proposition, OAlg.Data.Statement, OAlg.Prelude |
| prpProduct | OAlg.Entity.Product.Proposition, OAlg.Entity.Product |
| prpPSequence | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| prpPTreeFilter | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| prpRepMatrix | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
| prpRepMatrixZ | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
| prpSetUnion | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| prpSomePartiallyOrdered | OAlg.Structure.PartiallyOrdered.Proposition, OAlg.Structure.PartiallyOrdered |
| prpStatement | OAlg.Data.Statement.Proposition, OAlg.Data.Statement, OAlg.Prelude |
| prpStatementTautologies | OAlg.Data.Statement.Proposition, OAlg.Data.Statement, OAlg.Prelude |
| prpStructure | OAlg.Structure.Proposition |
| prpStructureN | OAlg.Structure.Proposition |
| prpStructureOS | OAlg.Structure.Proposition |
| prpStructureQ | OAlg.Structure.Proposition |
| prpStructureZ | OAlg.Structure.Proposition |
| prpSuccInjective | OAlg.Entity.Natural |
| prpTautologies | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpTerminalAndInitialPoint | OAlg.Limes.TerminalAndInitialPoint |
| prpValidTautologies | OAlg.Data.Statement.Proposition, OAlg.Data.Statement, OAlg.Prelude |
| prpVarianceG | OAlg.Limes.Exact.Deviation |
| prpVarianceGHom | OAlg.Limes.Exact.Deviation |
| prpVec | OAlg.Structure.Vectorial.Proposition, OAlg.Structure.Vectorial |
| prpVec1 | OAlg.Structure.Vectorial.Proposition, OAlg.Structure.Vectorial |
| prpVec2 | OAlg.Structure.Vectorial.Proposition, OAlg.Structure.Vectorial |
| prpVec3 | OAlg.Structure.Vectorial.Proposition, OAlg.Structure.Vectorial |
| prpVec4 | OAlg.Structure.Vectorial.Proposition, OAlg.Structure.Vectorial |
| prpVec5 | OAlg.Structure.Vectorial.Proposition, OAlg.Structure.Vectorial |
| prpVec6 | OAlg.Structure.Vectorial.Proposition, OAlg.Structure.Vectorial |
| prpVec7 | OAlg.Structure.Vectorial.Proposition, OAlg.Structure.Vectorial |
| prwrd | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| PSequence | |
| 1 (Type/Class) | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| 2 (Data Constructor) | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psequence | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| pshSumCoeql2 | OAlg.Limes.PullbacksAndPushouts |
| psqAppend | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psqCompose | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psqEmpty | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psqFilter | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psqFromTree | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psqHead | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psqInterlace | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psqIsEmpty | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psqMap | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psqMapShift | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psqMapWithIndex | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psqShear | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psqSpan | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psqSplitWhile | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psqSwap | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psqTail | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psqTree | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psqxs | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psyFactor | OAlg.Entity.Product.ProductSymbol, OAlg.Entity.Sequence.CSequence, OAlg.Entity.Product, OAlg.Entity.Sequence |
| psyJoin | OAlg.Entity.Product.ProductSymbol, OAlg.Entity.Sequence.CSequence, OAlg.Entity.Product, OAlg.Entity.Sequence |
| psyLength | OAlg.Entity.Product.ProductSymbol, OAlg.Entity.Sequence.CSequence, OAlg.Entity.Product, OAlg.Entity.Sequence |
| psyMap | OAlg.Entity.Product.ProductSymbol, OAlg.Entity.Sequence.CSequence, OAlg.Entity.Product, OAlg.Entity.Sequence |
| psyShow | OAlg.Entity.Product.ProductSymbol, OAlg.Entity.Sequence.CSequence, OAlg.Entity.Product, OAlg.Entity.Sequence |
| psywrd | OAlg.Entity.Product.ProductSymbol, OAlg.Entity.Sequence.CSequence, OAlg.Entity.Product, OAlg.Entity.Sequence |
| psyxs | OAlg.Entity.Product.ProductSymbol, OAlg.Entity.Sequence.CSequence, OAlg.Entity.Product, OAlg.Entity.Sequence |
| pthFoldr | OAlg.Category.Path |
| pthLength | |
| 1 (Function) | OAlg.Category.Path |
| 2 (Function) | OAlg.Structure.Oriented.Path, OAlg.Structure.Oriented |
| pthMlt | OAlg.Structure.Oriented.Path, OAlg.Structure.Oriented |
| pthOne | OAlg.Structure.Oriented.Path, OAlg.Structure.Oriented |
| PTree | |
| 1 (Type/Class) | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| 2 (Data Constructor) | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| ptrEmpty | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| ptrFilter | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| ptrFilterWithIndex | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| ptrMap | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| ptrMapShift | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| ptrMapWithIndex | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| ptrMax | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| ptrMin | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| ptrSpan | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| ptrx | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| ptrxs | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| Pullback | OAlg.Limes.PullbacksAndPushouts |
| PullbackCone | OAlg.Limes.PullbacksAndPushouts |
| PullbackConic | OAlg.Limes.PullbacksAndPushouts |
| PullbackDiagram | OAlg.Limes.PullbacksAndPushouts |
| PullbackDiagrammatic | OAlg.Limes.PullbacksAndPushouts |
| PullbackG | OAlg.Limes.PullbacksAndPushouts |
| Pullbacks | OAlg.Limes.PullbacksAndPushouts |
| pullbacks | OAlg.Limes.PullbacksAndPushouts |
| pullbacks0 | OAlg.Limes.PullbacksAndPushouts |
| pullbacks1 | OAlg.Limes.PullbacksAndPushouts |
| PullbacksG | OAlg.Limes.PullbacksAndPushouts |
| pullbacksOrnt | OAlg.Limes.PullbacksAndPushouts |
| Pushout | OAlg.Limes.PullbacksAndPushouts |
| PushoutCone | OAlg.Limes.PullbacksAndPushouts |
| PushoutConic | OAlg.Limes.PullbacksAndPushouts |
| PushoutDiagram | OAlg.Limes.PullbacksAndPushouts |
| PushoutDiagrammatic | OAlg.Limes.PullbacksAndPushouts |
| PushoutG | OAlg.Limes.PullbacksAndPushouts |
| Pushouts | OAlg.Limes.PullbacksAndPushouts |
| pushouts | OAlg.Limes.PullbacksAndPushouts |
| pushouts' | OAlg.Limes.PullbacksAndPushouts |
| PushoutsG | OAlg.Limes.PullbacksAndPushouts |
| pushoutsOrnt | OAlg.Limes.PullbacksAndPushouts |
| putDistribution | OAlg.Data.X, OAlg.Prelude |
| putDistribution' | OAlg.Data.X, OAlg.Prelude |
| putDistributionIO | OAlg.Data.X, OAlg.Prelude |
| putDstr | OAlg.Data.X, OAlg.Prelude |
| putStatistic | OAlg.Data.Statistics |
| putStatisticW | OAlg.Data.Statistics |
| putStrLn | OAlg.Prelude |