connections-0.0.3: Partial orders, Galois connections, and lattices.

Signatures

Modules

• Data
  Submodules

  •  Data.Connection
    Submodules

    • Data.Connection.Float
    • Data.Connection.Int
    • Data.Connection.Property
    • Data.Connection.Ratio
    • Data.Connection.Round
    • Data.Connection.Word
  • Data.Float
  •  Data.Prd
    Submodules

    • Data.Prd.Nan
    • Data.Prd.Property
  • Semigroup
    Submodules

    • Data.Semigroup.Join
    • Data.Semigroup.Meet
  •  Data.Semilattice
    Submodules

    • Data.Semilattice.MaxMin
    • Data.Semilattice.N5
    • Data.Semilattice.Property
    • Data.Semilattice.Top
• Numeric
  Submodules

  • Numeric.Prelude