ghc-constraints
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.

BSD-2-Clause

cloud_download Downloads

Please select a product to see the available package versions:
Loading...
Loading package downloads...