rings-0.0.2.1: Rings, semirings, and dioids.

Index

<<Data.Group, Data.Ring
<>Data.Ring
><Data.Semiring, Data.Ring
absData.Ring
absorbative_additionData.Dioid.Property
absorbative_addition'Data.Dioid.Property
absorbative_multiplicationData.Dioid.Property
absorbative_multiplication'Data.Dioid.Property
annihilative_additionData.Dioid.Property
annihilative_addition'Data.Dioid.Property
annihilative_multiplication_onData.Semiring.Property
associative_addition_onData.Semiring.Property
associative_multiplication_onData.Semiring.Property
cancellative_addition_onData.Semiring.Property
cancellative_multiplication_onData.Semiring.Property
codistributiveData.Dioid.Property
commutative_addition_onData.Semiring.Property
commutative_multiplication_onData.Semiring.Property
crossData.Semiring
cross1Data.Semiring
DioidData.Dioid
distributive_cross1_onData.Semiring.Property
distributive_cross_onData.Semiring.Property
distributive_finite1_onData.Semiring.Property
distributive_finite_onData.Semiring.Property
distributive_onData.Semiring.Property
fromBooleanData.Semiring
fromBooleanDefData.Semiring
getProdData.Semiring
GroupData.Group
homomorphism_booleanData.Semiring.Property
idempotent_additionData.Dioid.Property
idempotent_starData.Dioid.Property
KleeneData.Semiring
kleene_affineData.Dioid.Property
kleene_paffineData.Dioid.Property
kleene_pstableData.Dioid.Property
kleene_stableData.Dioid.Property
negateData.Group, Data.Ring
neutral_addition_onData.Semiring.Property
neutral_addition_on'Data.Semiring.Property
neutral_multiplication_onData.Semiring.Property
neutral_multiplication_on'Data.Semiring.Property
nonunital_onData.Semiring.Property
ordered_annihilative_sunitData.Dioid.Property
ordered_idempotent_additionData.Dioid.Property
ordered_monotone_additionData.Dioid.Property
ordered_monotone_multiplicationData.Dioid.Property
ordered_monotone_zeroData.Dioid.Property
ordered_positive_additionData.Dioid.Property
ordered_positive_multiplicationData.Dioid.Property
ordered_preorderedData.Dioid.Property
plusData.Semiring
powersData.Semiring
Prod 
1 (Type/Class)Data.Semiring
2 (Data Constructor)Data.Semiring
productData.Semiring
product1Data.Semiring
replicateData.Semiring
replicate'Data.Semiring
RingData.Ring
SemiringData.Semiring
signumData.Ring
starData.Semiring
sunitData.Semiring
TopologicalData.Dioid
^Data.Semiring