connections-0.1.0: Orders, Galois connections, and lattices.

Signatures

Modules

• Data
  Submodules

  •  Data.Connection
    Submodules

    • Data.Connection.Class
    • Data.Connection.Conn
    • Data.Connection.Double
    • Data.Connection.Float
    • Data.Connection.Int
    • Data.Connection.Property
    • Data.Connection.Ratio
    • Data.Connection.Word
  •  Data.Lattice
    Submodules

    • Data.Lattice.Property
  •  Data.Order
    Submodules

    • Data.Order.Extended
    • Data.Order.Interval
    • Data.Order.Property
    • Data.Order.Syntax