Index
| $# | Numeric.Map.Linear |
| $* | Numeric.Functional.Linear |
| $@ | Numeric.Map.Linear |
| * | Numeric.Semigroup.Multiplicative, Numeric.Multiplication, Numeric.Semigroup, Numeric.Monoid, Numeric.Group |
| *. | Numeric.Module.Class, Numeric.Module, Numeric.Functional.Linear |
| + | Numeric.Semigroup.Additive, Numeric.Semigroup, Numeric.Monoid, Numeric.Group, Numeric.Addition |
| - | Numeric.Group.Additive, Numeric.Group, Numeric.Addition, Numeric.Rng |
| .* | Numeric.Module.Class, Numeric.Module, Numeric.Functional.Linear |
| / | Numeric.Group.Multiplicative, Numeric.Multiplication, Numeric.Group |
| /~ | Numeric.Order.Class, Numeric.Order |
| < | Numeric.Order.Class, Numeric.Order |
| <~ | Numeric.Order.Class, Numeric.Order |
| > | Numeric.Order.Class, Numeric.Order |
| >~ | Numeric.Order.Class, Numeric.Order |
| Abelian | Numeric.Addition.Abelian, Numeric.Semigroup, Numeric.Monoid, Numeric.Group, Numeric.Addition |
| Additive | Numeric.Semigroup.Additive, Numeric.Semigroup, Numeric.Monoid, Numeric.Group, Numeric.Addition |
| AdditiveGroup | Numeric.Group.Additive, Numeric.Group, Numeric.Addition, Numeric.Rng |
| AdditiveMonoid | Numeric.Monoid.Additive, Numeric.Monoid, Numeric.Group, Numeric.Addition |
| AdditiveOrder | Numeric.Order.Additive, Numeric.Semigroup, Numeric.Monoid, Numeric.Order, Numeric.Group |
| adjoint | Numeric.Multiplication.Involutive, Numeric.Multiplication, Numeric.Semigroup, Numeric.Monoid, Numeric.Group |
| adjointCommutative | Numeric.Multiplication.Involutive, Numeric.Multiplication, Numeric.Semigroup, Numeric.Monoid, Numeric.Group |
| Antilinear | |
| 1 (Type/Class) | Numeric.Functional.Antilinear |
| 2 (Data Constructor) | Numeric.Functional.Antilinear |
| antipode | Numeric.Algebra.Free.Hopf, Numeric.Algebra.Free |
| antipodeMap | Numeric.Map.Linear |
| appAntilinear | Numeric.Functional.Antilinear |
| appEnd | Numeric.Ring.Endomorphism, Numeric.Ring |
| arrMap | Numeric.Map.Linear |
| augmentCovector | Numeric.Functional.Linear |
| augmentMap | Numeric.Map.Linear |
| Band | Numeric.Band.Class, Numeric.Band, Numeric.Semigroup, Numeric.Monoid, Numeric.Group |
| char | Numeric.Rig.Characteristic, Numeric.Rig |
| Characteristic | Numeric.Rig.Characteristic, Numeric.Rig |
| charInt | Numeric.Rig.Characteristic, Numeric.Rig |
| charWord | Numeric.Rig.Characteristic, Numeric.Rig |
| cojoin | Numeric.Algebra.Free.Class, Numeric.Algebra.Free |
| cojoinMap | Numeric.Map.Linear |
| Commutative | Numeric.Multiplication.Commutative, Numeric.Multiplication, Numeric.Semigroup, Numeric.Monoid, Numeric.Group |
| comparable | Numeric.Order.Class, Numeric.Order |
| convolveMap | Numeric.Map.Linear |
| counit | Numeric.Algebra.Free.Unital, Numeric.Algebra.Free |
| counitCovector | Numeric.Functional.Linear |
| counitMap | Numeric.Map.Linear |
| Covector | Numeric.Functional.Linear |
| DecidableAssociates | Numeric.Decidable.Associates |
| DecidableUnits | Numeric.Decidable.Units |
| DecidableZero | Numeric.Decidable.Zero |
| embedCovector | Numeric.Functional.Linear |
| embedMap | Numeric.Map.Linear |
| End | |
| 1 (Type/Class) | Numeric.Ring.Endomorphism, Numeric.Ring |
| 2 (Data Constructor) | Numeric.Ring.Endomorphism, Numeric.Ring |
| Exp | |
| 1 (Type/Class) | Numeric.Exp |
| 2 (Data Constructor) | Numeric.Exp |
| Factorable | Numeric.Multiplication.Factorable, Numeric.Multiplication |
| factorWith | Numeric.Multiplication.Factorable, Numeric.Multiplication |
| FreeAlgebra | Numeric.Algebra.Free.Class, Numeric.Algebra.Free |
| FreeCoalgebra | Numeric.Algebra.Free.Class, Numeric.Algebra.Free |
| FreeCounitalCoalgebra | Numeric.Algebra.Free.Unital, Numeric.Algebra.Free |
| FreeUnitalAlgebra | Numeric.Algebra.Free.Unital, Numeric.Algebra.Free |
| frobenius | Numeric.Rig.Characteristic, Numeric.Rig |
| fromEnd | Numeric.Ring.Endomorphism, Numeric.Ring |
| fromInteger | Numeric.Ring.Class, Numeric.Ring |
| fromIntegral | Numeric.Ring.Class, Numeric.Ring |
| fromNatural | Numeric.Rig.Class, Numeric.Rig |
| fromNaturalNum | Numeric.Rig.Class, Numeric.Rig |
| fromWhole | Numeric.Rig.Class, Numeric.Rig |
| Hopf | Numeric.Algebra.Free.Hopf, Numeric.Algebra.Free |
| Idempotent | Numeric.Addition.Idempotent, Numeric.Semigroup, Numeric.Monoid, Numeric.Group, Numeric.Addition |
| IntegralSemiring | Numeric.Semiring.Integral, Numeric.Semiring, Numeric.Rng |
| Involutive | Numeric.Semiring.Involutive, Numeric.Semiring, Numeric.Rng |
| InvolutiveMultiplication | Numeric.Multiplication.Involutive, Numeric.Multiplication, Numeric.Semigroup, Numeric.Monoid, Numeric.Group |
| isAssociate | Numeric.Decidable.Associates |
| isAssociateIntegral | Numeric.Decidable.Associates |
| isAssociateWhole | Numeric.Decidable.Associates |
| isUnit | Numeric.Decidable.Units |
| isZero | Numeric.Decidable.Zero |
| join | Numeric.Algebra.Free.Class, Numeric.Algebra.Free |
| joinMap | Numeric.Map.Linear |
| LeftModule | Numeric.Module.Class, Numeric.Module |
| liftRngHom | Numeric.Ring.Rng, Numeric.Ring |
| Linear | |
| 1 (Type/Class) | Numeric.Functional.Linear |
| 2 (Data Constructor) | Numeric.Functional.Linear |
| Log | |
| 1 (Type/Class) | Numeric.Log |
| 2 (Data Constructor) | Numeric.Log |
| Map | |
| 1 (Type/Class) | Numeric.Map.Linear |
| 2 (Data Constructor) | Numeric.Map.Linear |
| memoMap | Numeric.Map.Linear |
| Multiplicative | Numeric.Semigroup.Multiplicative, Numeric.Multiplication, Numeric.Semigroup, Numeric.Monoid, Numeric.Group |
| MultiplicativeGroup | Numeric.Group.Multiplicative, Numeric.Multiplication, Numeric.Group |
| Natural | |
| 1 (Type/Class) | Numeric.Natural.Internal, Numeric.Natural |
| 2 (Data Constructor) | Numeric.Natural.Internal |
| negate | Numeric.Group.Additive, Numeric.Group, Numeric.Addition, Numeric.Rng |
| one | Numeric.Monoid.Multiplicative, Numeric.Multiplication, Numeric.Monoid, Numeric.Group |
| Opposite | |
| 1 (Type/Class) | Numeric.Ring.Opposite, Numeric.Ring |
| 2 (Data Constructor) | Numeric.Ring.Opposite, Numeric.Ring |
| Order | Numeric.Order.Class, Numeric.Order |
| order | Numeric.Order.Class, Numeric.Order |
| OrderedRig | Numeric.Rig.Ordered, Numeric.Order, Numeric.Rig |
| orderOrd | Numeric.Order.Class, Numeric.Order |
| Partitionable | Numeric.Addition.Partitionable, Numeric.Addition |
| partitionWith | Numeric.Addition.Partitionable, Numeric.Addition |
| pow | Numeric.Monoid.Multiplicative, Numeric.Multiplication, Numeric.Monoid, Numeric.Group |
| pow1p | Numeric.Semigroup.Multiplicative, Numeric.Multiplication, Numeric.Semigroup, Numeric.Monoid, Numeric.Group |
| pow1pBand | Numeric.Band.Class, Numeric.Band, Numeric.Semigroup, Numeric.Monoid, Numeric.Group |
| pow1pIntegral | Numeric.Semigroup.Multiplicative, Numeric.Multiplication, Numeric.Semigroup, Numeric.Monoid, Numeric.Group |
| powBand | Numeric.Band.Class, Numeric.Band, Numeric.Semigroup, Numeric.Monoid, Numeric.Group |
| product | Numeric.Monoid.Multiplicative, Numeric.Multiplication, Numeric.Monoid, Numeric.Group |
| product1 | Numeric.Semigroup.Multiplicative, Numeric.Multiplication, Numeric.Semigroup, Numeric.Monoid, Numeric.Group |
| productWith | Numeric.Monoid.Multiplicative, Numeric.Multiplication, Numeric.Monoid, Numeric.Group |
| productWith1 | Numeric.Semigroup.Multiplicative, Numeric.Multiplication, Numeric.Semigroup, Numeric.Monoid, Numeric.Group |
| recip | Numeric.Group.Multiplicative, Numeric.Multiplication, Numeric.Group |
| recipUnit | Numeric.Decidable.Units |
| recipUnitIntegral | Numeric.Decidable.Units |
| recipUnitWhole | Numeric.Decidable.Units |
| Rect | |
| 1 (Type/Class) | Numeric.Band.Rectangular, Numeric.Band, Numeric.Semigroup, Numeric.Monoid, Numeric.Group |
| 2 (Data Constructor) | Numeric.Band.Rectangular, Numeric.Band, Numeric.Semigroup, Numeric.Monoid, Numeric.Group |
| replicate | Numeric.Monoid.Additive, Numeric.Monoid, Numeric.Group, Numeric.Addition |
| replicate1p | Numeric.Semigroup.Additive, Numeric.Semigroup, Numeric.Monoid, Numeric.Group, Numeric.Addition |
| replicate1pIdempotent | Numeric.Addition.Idempotent, Numeric.Semigroup, Numeric.Monoid, Numeric.Group, Numeric.Addition |
| replicateIdempotent | Numeric.Addition.Idempotent, Numeric.Semigroup, Numeric.Monoid, Numeric.Group, Numeric.Addition |
| Rig | Numeric.Rig.Class, Numeric.Rig |
| RightModule | Numeric.Module.Class, Numeric.Module |
| Ring | Numeric.Ring.Class, Numeric.Ring |
| Rng | Numeric.Rng.Class, Numeric.Rng |
| RngRing | |
| 1 (Type/Class) | Numeric.Ring.Rng, Numeric.Ring |
| 2 (Data Constructor) | Numeric.Ring.Rng, Numeric.Ring |
| rngRingHom | Numeric.Ring.Rng, Numeric.Ring |
| runExp | Numeric.Exp |
| runLog | Numeric.Log |
| runNatural | Numeric.Natural.Internal |
| runOpposite | Numeric.Ring.Opposite, Numeric.Ring |
| runZeroRng | Numeric.Rng.Zero, Numeric.Rng |
| Semiring | Numeric.Semiring.Class, Numeric.Semiring, Numeric.Rng |
| subtract | Numeric.Group.Additive, Numeric.Group, Numeric.Addition, Numeric.Rng |
| sum | Numeric.Monoid.Additive, Numeric.Monoid, Numeric.Group, Numeric.Addition |
| sum1 | Numeric.Semigroup.Additive, Numeric.Semigroup, Numeric.Monoid, Numeric.Group, Numeric.Addition |
| sumWith | Numeric.Monoid.Additive, Numeric.Monoid, Numeric.Group, Numeric.Addition |
| sumWith1 | Numeric.Semigroup.Additive, Numeric.Semigroup, Numeric.Monoid, Numeric.Group, Numeric.Addition |
| times | Numeric.Group.Additive, Numeric.Group, Numeric.Addition, Numeric.Rng |
| toEnd | Numeric.Ring.Endomorphism, Numeric.Ring |
| toNatural | Numeric.Natural.Internal, Numeric.Natural |
| unit | Numeric.Algebra.Free.Unital, Numeric.Algebra.Free |
| Unital | Numeric.Monoid.Multiplicative, Numeric.Multiplication, Numeric.Monoid, Numeric.Group |
| unitMap | Numeric.Map.Linear |
| unitVector | Numeric.Functional.Linear |
| unsafePred | Numeric.Natural.Internal |
| Vector | Numeric.Functional.Linear |
| Whole | Numeric.Natural.Internal, Numeric.Natural |
| zero | Numeric.Monoid.Additive, Numeric.Monoid, Numeric.Group, Numeric.Addition |
| ZeroRng | |
| 1 (Type/Class) | Numeric.Rng.Zero, Numeric.Rng |
| 2 (Data Constructor) | Numeric.Rng.Zero, Numeric.Rng |
| \\ | Numeric.Group.Multiplicative, Numeric.Multiplication, Numeric.Group |
| ^ | Numeric.Group.Multiplicative, Numeric.Multiplication, Numeric.Group |
| ^? | Numeric.Decidable.Units |
| ~~ | Numeric.Order.Class, Numeric.Order |