constraints-0.13.3: Constraint manipulation

# constraints-0.13.3: Constraint manipulation

GHC 7.4 gave us the ability to talk about `ConstraintKinds`. They stopped crashing the compiler in GHC 7.6.

This package provides a vocabulary for working with them.

Signatures

Modules

- Data
  Submodules
  - Data.Constraint
    Submodules
    - Data.Constraint.Deferrable
    - Data.Constraint.Forall
    - Data.Constraint.Lifting
    - Data.Constraint.Nat
    - Data.Constraint.Symbol
    - Data.Constraint.Unsafe