constraints 0.11.1 → 0.11.2

raw patch · 4 files changed

+19/−20 lines, 4 filesdep +type-equalityPVP ok

version bump matches the API change (PVP)

Dependencies added: type-equality

API changes (from Hackage documentation)

Files

CHANGELOG.markdown +6/−0
constraints.cabal +3/−2
src/Data/Constraint.hs +9/−4
src/Data/Constraint/Deferrable.hs +1/−14

CHANGELOG.markdown view

@@ -1,3 +1,9 @@+0.11.2 [2019.09.06]+-------------------+* Depend on the `type-equality` compatibility library so that `(:~~:)` may be+  used when compiling this library with GHC 8.0. This avoids having to redefine+  `(:~~:)` directly in the internals of `constraints` itself.+ 0.11.1 [2019.08.27] ------------------- * Make `Data.Constraint.Deferrable.UnsatisfiedConstraint` a newtype.

constraints.cabal view

@@ -1,6 +1,6 @@ name:          constraints category:      Constraints-version:       0.11.1+version:       0.11.2 license:       BSD2 cabal-version: >= 1.10 license-file:  LICENSE@@ -56,7 +56,8 @@     mtl >= 2.1.2 && < 2.3,     semigroups >= 0.17 && < 0.20,     transformers >= 0.3.0.0 && < 0.6,-    transformers-compat >= 0.5 && < 1+    transformers-compat >= 0.5 && < 1,+    type-equality >= 1 && < 2    exposed-modules:     Data.Constraint

src/Data/Constraint.hs view

@@ -105,8 +105,11 @@ #endif import Data.Coerce (Coercible) import Data.Type.Coercion(Coercion(..))-#if MIN_VERSION_base(4,10,0)+#if MIN_VERSION_base(4,9,0) import Data.Type.Equality (type (~~))+import qualified Data.Type.Equality.Hetero as Hetero+#endif+#if MIN_VERSION_base(4,10,0) import Type.Reflection (TypeRep, typeRepKind, withTypeable) #endif @@ -170,10 +173,12 @@ instance HasDict (a ~ b) (a :~: b) where   evidence Refl = Dict -#if MIN_VERSION_base(4,10,0)-instance HasDict (a ~~ b) (a :~~: b) where-  evidence HRefl = Dict+#if MIN_VERSION_base(4,9,0)+instance HasDict (a ~~ b) (a Hetero.:~~: b) where+  evidence Hetero.HRefl = Dict+#endif +#if MIN_VERSION_base(4,10,0) instance HasDict (Typeable k, Typeable a) (TypeRep (a :: k)) where   evidence tr = withTypeable tr $ withTypeable (typeRepKind tr) Dict #endif

src/Data/Constraint/Deferrable.hs view

@@ -49,10 +49,7 @@  #if __GLASGOW_HASKELL__ >= 800 import GHC.Types (type (~~))-#endif--#if __GLASGOW_HASKELL__ >= 801-import Data.Type.Equality ((:~~:)(HRefl))+import Data.Type.Equality.Hetero ((:~~:)(HRefl)) #endif  newtype UnsatisfiedConstraint = UnsatisfiedConstraint String@@ -84,16 +81,6 @@ -- Only available on GHC 8.0 or later. deferEither_ :: forall p r. Deferrable p => (p => r) -> Either String r deferEither_ r = deferEither @p Proxy r-#endif--#if __GLASGOW_HASKELL__ >= 800 && __GLASGOW_HASKELL__ < 801--- | Kind heterogeneous propositional equality. Like '(:~:)', @a :~~: b@ is--- inhabited by a terminating value if and only if @a@ is the same type as @b@.------ Only available on GHC 8.0 or later.-data (a :: i) :~~: (b :: j) where-  HRefl :: a :~~: a-    deriving Typeable #endif  showTypeRep :: Typeable t => Proxy t -> String