connections-0.0.1: Partial orders, Galois connections, ordered semirings, & residuated lattices.

Index - A

abs'Data.Connection.Float, Data.Float
absorbative_additionData.Dioid.Property
absorbative_addition'Data.Dioid.Property
absorbative_multiplicationData.Dioid.Property
absorbative_multiplication'Data.Dioid.Property
aNanData.Float
annihilative_additionData.Dioid.Property
annihilative_addition'Data.Dioid.Property
annihilative_multiplicationData.Dioid.Property
antisymmetricData.Prd.Property
associative_additionData.Dioid.Property
associative_multiplicationData.Dioid.Property
asymmetricData.Prd.Property