cabal-version: 2.4 name: constraints category: Constraints version: 0.14.2 license: BSD-2-Clause license-file: LICENSE author: Edward A. Kmett maintainer: Edward A. Kmett stability: experimental homepage: http://github.com/ekmett/constraints/ bug-reports: http://github.com/ekmett/constraints/issues copyright: Copyright (C) 2011-2021 Edward A. Kmett synopsis: Constraint manipulation description: 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. build-type: Simple tested-with: GHC == 9.8.1 GHC == 9.6.3 GHC == 9.4.7 GHC == 9.2.8 GHC == 9.0.2 GHC == 8.10.7 GHC == 8.8.4 GHC == 8.6.5 extra-source-files: README.markdown , CHANGELOG.markdown source-repository head type: git location: https://github.com/ekmett/constraints.git library hs-source-dirs: src default-language: Haskell2010 other-extensions: FunctionalDependencies, ScopedTypeVariables, StandaloneDeriving, FlexibleInstances, FlexibleContexts, ConstraintKinds, KindSignatures, TypeOperators, Rank2Types, GADTs build-depends: , base >= 4.12 && < 5 , binary >= 0.7.1 && < 0.9 , boring >= 0.2 && < 0.3 , deepseq >= 1.3 && < 1.6 , ghc-prim , hashable >= 1.2 && < 1.5 , mtl >= 2.2 && < 2.4 , transformers >= 0.5 && < 0.7 if !impl(ghc >= 9.0) build-depends: integer-gmp exposed-modules: Data.Constraint Data.Constraint.Deferrable Data.Constraint.Forall Data.Constraint.Lifting Data.Constraint.Nat Data.Constraint.Symbol Data.Constraint.Unsafe if impl(ghc >= 9.2) exposed-modules: Data.Constraint.Char ghc-options: -Wall -Wno-star-is-type test-suite spec type: exitcode-stdio-1.0 default-language: Haskell2010 hs-source-dirs: tests main-is: Spec.hs other-modules: GH55Spec GH117Spec ghc-options: -Wall -threaded -rtsopts build-tool-depends: hspec-discover:hspec-discover >= 2 build-depends: , base , constraints , hspec >= 2