bound-extras 0.0.2 → 0.0.3
raw patch · 3 files changed
+25/−23 lines, 3 filesdep −bifunctorsdep ~basedep ~bounddep ~containersPVP ok
version bump matches the API change (PVP)
Dependencies removed: bifunctors
Dependency ranges changed: base, bound, containers, deepseq, filepath, hashable, pretty, text-short, transformers
API changes (from Hackage documentation)
Files
- CHANGELOG.md +4/−0
- bound-extras.cabal +21/−19
- src/Bound/ScopeT.hs +0/−4
CHANGELOG.md view
@@ -1,3 +1,7 @@+# 0.0.3++- Support GHC-8.6.5...9.10.1+ # 0.0.2 - Add `LiftedModule` allowing to lift into 'ScopeH'.
bound-extras.cabal view
@@ -1,6 +1,6 @@ cabal-version: 2.2 name: bound-extras-version: 0.0.2+version: 0.0.3 synopsis: ScopeH and ScopeT extras for bound category: Language, Compilers, Interpreters description:@@ -28,7 +28,15 @@ homepage: https://github.com/phadej/bound-extras bug-reports: https://github.com/phadej/bound-extras/issues tested-with:- GHC ==8.0.2 || ==8.2.2 || ==8.4.4 || ==8.6.5 || ==8.8.4 || ==8.10.4 || ==9.0.1 || ==9.2.1+ GHC ==8.6.5+ || ==8.8.4+ || ==8.10.7+ || ==9.0.2+ || ==9.2.8+ || ==9.4.8+ || ==9.6.6+ || ==9.8.2+ || ==9.10.1 extra-source-files: CHANGELOG.md@@ -49,16 +57,13 @@ -- GHC boot libraries build-depends:- , base ^>=4.9.1.0 || ^>=4.10.1.0 || ^>=4.11.1.0 || ^>=4.12.0.0 || ^>=4.13.0.0 || ^>=4.14.0.0 || ^>=4.15.0.0 || ^>=4.16.0.0- , deepseq ^>=1.4.2.0- , hashable ^>=1.2.7.0 || ^>=1.3.0.0 || ^>=1.4.0.1- , transformers ^>=0.5.0.0+ , base ^>=4.12.0.0 || ^>=4.13.0.0 || ^>=4.14.0.0 || ^>=4.15.0.0 || ^>=4.16.0.0 || ^>=4.17.0.0 || ^>=4.18.0.0 || ^>=4.19.0.0 || ^>=4.20.0.0+ , deepseq ^>=1.4.4.0 || ^>=1.5.0.0+ , hashable ^>=1.4.7.0 || ^>=1.5.0.0+ , transformers ^>=0.5.6.2 || ^>=0.6.1.0 -- other deps- build-depends: bound ^>=2.0.1-- if !impl(ghc >=8.2)- build-depends: bifunctors ^>=5.5.3+ build-depends: bound ^>=2.0.7 test-suite examples type: exitcode-stdio-1.0@@ -79,14 +84,11 @@ , base , bound , bound-extras- , containers ^>=0.5.7.1 || ^>=0.6.0.1- , filepath ^>=1.4.1.1- , pretty ^>=1.1.3.3- , tasty >=1.1.0.3 && <1.5+ , containers ^>=0.6.0.1 || ^>=0.7+ , filepath ^>=1.4.2.1 || ^>=1.5.2.0+ , pretty ^>=1.1.3.6+ , tasty >=1.1.0.3 && <1.6 , tasty-golden ^>=2.3.2- , text-short ^>=0.1.2- , transformers ^>=0.5.0.0+ , text-short ^>=0.1.6+ , transformers , utf8-string ^>=1.0.1.1-- if !impl(ghc >=8.2)- build-depends: bifunctors
src/Bound/ScopeT.hs view
@@ -3,9 +3,7 @@ {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE RankNTypes #-}-#if __GLASGOW_HASKELL__ >= 805 {-# LANGUAGE QuantifiedConstraints #-}-#endif -- For NFData instance {-# LANGUAGE UndecidableInstances #-} -- | 'ScopeT' scope, which allows substitute 'f' into 't f' to get new 't f'.@@ -81,11 +79,9 @@ ScopeT m >>>>= k = ScopeT $ fmap (fmap (>>= k)) m {-# INLINE (>>>>=) #-} -#if __GLASGOW_HASKELL__ >= 805 -- | @(>>>=) :: ... => 'ScopeT' n t f a -> (a -> f b) -> 'ScopeT' n t f b@ instance (forall f. Functor f => Functor (t f)) => Bound (ScopeT n t) where (>>>=) = (>>>>=)-#endif instance (Monad f, Functor (t f)) => Module (ScopeT b t f) f where (>>==) = (>>>>=)