rings-0.0.1: basic algebra

Index

<<Data.Group
><Data.Semiring
absData.Ring
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
commutative_addition_onData.Semiring.Property
commutative_multiplication_onData.Semiring.Property
crossData.Semiring
cross1Data.Semiring
distributive_cross1_onData.Semiring.Property
distributive_cross_onData.Semiring.Property
distributive_finite1_onData.Semiring.Property
distributive_finite_onData.Semiring.Property
distributive_onData.Semiring.Property
foldNonunitalData.Semiring
foldPresemiringData.Semiring
foldUnitalData.Semiring
fromBooleanData.Semiring
fromBooleanDefData.Semiring
getProdData.Semiring
GroupData.Group
homomorphism_booleanData.Semiring.Property
negateData.Group
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
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
unitData.Semiring
^Data.Semiring