connections-0.0.2.2: Partial orders, lattices, & Galois connections.

Signatures

Modules

• Data
  Submodules

  •  Data.Connection
    Submodules

    • Data.Connection.Float
    • Data.Connection.Int
    • Data.Connection.Property
    • Data.Connection.Word
    • Data.Connection.Yoneda
  • Data.Float
  •  Data.Prd
    Submodules

    • Data.Prd.Lattice
    • Data.Prd.Nan
    • Data.Prd.Property