constraints 0.14 → 0.14.1
raw patch · 4 files changed
+7/−4 lines, 4 filesdep −type-equalityPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependencies removed: type-equality
API changes (from Hackage documentation)
- Data.Constraint: data Constraint
+ Data.Constraint: type Constraint = CONSTRAINT LiftedRep
+ Data.Constraint.Unsafe: unsafeSChar :: Char -> SChar c
+ Data.Constraint.Unsafe: unsafeSNat :: Natural -> SNat n
+ Data.Constraint.Unsafe: unsafeSSymbol :: String -> SSymbol s
- Data.Constraint.Deferrable: data (a :: k) :~: (b :: k)
+ Data.Constraint.Deferrable: data () => (a :: k) :~: (b :: k)
Files
- CHANGELOG.markdown +4/−0
- constraints.cabal +1/−2
- src/Data/Constraint.hs +1/−1
- src/Data/Constraint/Deferrable.hs +1/−1
CHANGELOG.markdown view
@@ -1,3 +1,7 @@+0.14.1 [2024.04.29]+-------------------+* Remove an unused dependency on the `type-equality` library.+ 0.14 [2023.10.11] ----------------- * Drop support for GHCs older than 8.6.
constraints.cabal view
@@ -1,7 +1,7 @@ cabal-version: 2.4 name: constraints category: Constraints-version: 0.14+version: 0.14.1 license: BSD-2-Clause license-file: LICENSE author: Edward A. Kmett@@ -60,7 +60,6 @@ , hashable >= 1.2 && < 1.5 , mtl >= 2.2 && < 2.4 , transformers >= 0.5 && < 0.7- , type-equality >= 1 && < 2 exposed-modules: Data.Constraint
src/Data/Constraint.hs view
@@ -88,7 +88,7 @@ import Data.Coerce (Coercible) import Data.Type.Coercion(Coercion(..)) import Data.Type.Equality (type (~~))-import qualified Data.Type.Equality.Hetero as Hetero+import qualified Data.Type.Equality as Hetero import Type.Reflection (TypeRep, typeRepKind, withTypeable) import Data.Boring (Boring (..))
src/Data/Constraint/Deferrable.hs view
@@ -34,7 +34,7 @@ import Data.Type.Equality ((:~:)(Refl)) import GHC.Types (type (~~))-import Data.Type.Equality.Hetero ((:~~:)(HRefl))+import Data.Type.Equality ((:~~:)(HRefl)) newtype UnsatisfiedConstraint = UnsatisfiedConstraint String deriving (Typeable, Show)