a370169 · typeable/refined-containers

git.iko.soy/typeable/refined-containers

GHC 9.10

commita370169c3484a582d18a7a4398e6658a4d0543dc authormniip <mniip@mniip.com> dateMon 18 Nov 2024, 03:28 (2 years ago) parent9fc69c9

5 files changed+25−6

compare with main

unifiedsplit

.github/workflows/ci.yaml+3−1 refined-containers.cabal+4−2 src/Data/HashSet/Refined.hs+6−1 src/Data/IntSet/Refined.hs+6−1 src/Data/Set/Refined.hs+6−1

.github/workflows/ci.yaml+3−1

@@ -24,7 +24,9 @@ jobs:

2424 - "9.0.2"

2525 - "9.2.8"

2626 - "9.4.8"

27− - "9.6.3"

27+ - "9.6.6"

28+ - "9.8.2"

29+ - "9.10.1"

2830 fail-fast: false

2931 name: Build on Linux, GHC ${{ matrix.ghc_version }}

3032 runs-on: ${{ matrix.platform }}

refined-containers.cabal+4−2

@@ -27,7 +27,9 @@ version: 0.1.0.1

2727build-type: Simple

2828

2929tested-with:

30− , GHC == 9.6.3

30+ , GHC == 9.10.1

31+ , GHC == 9.8.2

32+ , GHC == 9.6.6

3133 , GHC == 9.4.8

3234 , GHC == 9.2.8

3335 , GHC == 9.0.2

@@ -40,7 +42,7 @@ source-repository head

4042

4143library

4244 build-depends:

43− , base >= 4.12 && < 4.20

45+ , base >= 4.12 && < 4.21

4446 , adjunctions >= 4.4 && < 4.5

4547 , constraints >= 0.11 && < 0.15

4648 , containers >= 0.5.7 && < 0.8

src/Data/HashSet/Refined.hs+6−1

@@ -102,7 +102,12 @@ import Data.Type.Coercion

102102import Data.Type.Equality ((:~:)(..))

103103import Data.Typeable (Typeable)

104104import GHC.Exts (Proxy#, proxy#)

105−import Prelude hiding (filter, foldl, foldMap, foldr, map, null)

105+import Prelude hiding

106+ ( filter, foldl, foldMap, foldr, map, null

107+#if MIN_VERSION_base(4, 20, 0)

108+ , foldl'

109+#endif

110+ )

106111import Refined

107112import Refined.Unsafe

108113import Unsafe.Coerce

src/Data/IntSet/Refined.hs+6−1

@@ -103,7 +103,12 @@ import Data.Traversable

103103import Data.Type.Coercion

104104import Data.Type.Equality ((:~:)(..))

105105import GHC.Exts (Proxy#, proxy#)

106−import Prelude hiding (filter, foldl, foldMap, foldr, map, null)

106+import Prelude hiding

107+ ( filter, foldl, foldMap, foldr, map, null

108+#if MIN_VERSION_base(4, 20, 0)

109+ , foldl'

110+#endif

111+ )

107112import Refined

108113import Refined.Unsafe

109114import Unsafe.Coerce

src/Data/Set/Refined.hs+6−1

@@ -117,7 +117,12 @@ import Data.Type.Coercion

117117import Data.Type.Equality ((:~:)(..))

118118import Data.Typeable (Typeable)

119119import GHC.Exts (Proxy#, proxy#)

120−import Prelude hiding (filter, foldl, foldMap, foldr, map, null)

120+import Prelude hiding

121+ ( filter, foldl, foldMap, foldr, map, null

122+#if MIN_VERSION_base(4, 20, 0)

123+ , foldl'

124+#endif

125+ )

121126import Refined

122127import Refined.Unsafe

123128import Unsafe.Coerce