constraints 0.13.3 → 0.13.4

raw patch · 3 files changed

+10/−1 lines, 3 filesdep ~basedep ~deepseqPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: base, deepseq

API changes (from Hackage documentation)

Files

• CHANGELOG.markdown +5/−0
• constraints.cabal +1/−1
• src/Data/Constraint/Lifting.hs +4/−0

@@ -1,3 +1,8 @@+0.13.4 [2022.05.19]+-------------------+* Correct the CPP introduced in `constraints-0.13.3` such that it works when+  building with `mtl-2.3.*` or later combined with `transformers < 0.6`.+ 0.13.3 [2022.01.31] ------------------- * Allow building with `transformers-0.6.*` and `mtl-2.3.*`.

@@ -1,6 +1,6 @@ name:          constraints category:      Constraints-version:       0.13.3+version:       0.13.4 license:       BSD2 cabal-version: >= 1.10 license-file:  LICENSE

@@ -399,10 +399,12 @@ instance (Eq e, Eq1 m) => Lifting Eq (ErrorT e m) where lifting = Sub Dict instance (Ord e, Ord1 m) => Lifting Ord (ErrorT e m) where lifting = Sub Dict instance (Read e, Read1 m) => Lifting Read (ErrorT e m) where lifting = Sub Dict+# if !(MIN_VERSION_mtl(2,3,0)) instance Error e => Lifting MonadCont (ErrorT e) where lifting = Sub Dict instance Error e => Lifting (MonadRWS r w s) (ErrorT e) where lifting = Sub Dict instance Error e => Lifting (MonadReader r) (ErrorT e) where lifting = Sub Dict instance Error e => Lifting (MonadState s) (ErrorT e) where lifting = Sub Dict+# endif  instance Lifting Functor ListT where lifting = Sub Dict instance Lifting Applicative ListT where lifting = Sub Dict@@ -421,10 +423,12 @@ instance Read1 m => Lifting Read (ListT m) where lifting = Sub Dict instance Ord1 m => Lifting Ord (ListT m) where lifting = Sub Dict instance Eq1 m => Lifting Eq (ListT m) where lifting = Sub Dict+# if !(MIN_VERSION_mtl(2,3,0)) instance Lifting MonadCont ListT where lifting = Sub Dict instance Lifting (MonadError e) ListT where lifting = Sub Dict instance Lifting (MonadReader r) ListT where lifting = Sub Dict instance Lifting (MonadState s) ListT where lifting = Sub Dict+# endif #endif  class Lifting2 p f where