constraints

Constraint manipulation

Modules

8 modules

Data.Constraint26ConstraintKinds made type classes into types of a new kind, Constraint. Eq :: * -> Constraint
Data.Constraint.Char4Utilities for working with KnownChar constraints. This module is only available on GHC 9.2 or later.
Data.Constraint.Deferrable6The idea for this trick comes from Dimitrios Vytiniotis.
Data.Constraint.Forall11This module uses a trick to provide quantification over constraints.
Data.Constraint.Lifting2
Data.Constraint.Nat100Utilities for working with KnownNat constraints. This module is only available on GHC 8.0 or later.
Data.Constraint.Symbol23Utilities for working with KnownSymbol constraints.
Data.Constraint.Unsafe8Unsafe utilities used throughout constraints. As the names suggest, these

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.

7 packages