packages feed

Cabal revisions of constraints-0.14.2

Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.

revision 1
-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 <ekmett@gmail.com>-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+cabal-version: 2.4
+name:          constraints
+category:      Constraints
+version:       0.14.2
+x-revision: 1
+license:       BSD-2-Clause
+license-file:  LICENSE
+author:        Edward A. Kmett
+maintainer:    Edward A. Kmett <ekmett@gmail.com>
+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.6
+    , 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