a370169 · typeable/refined-containers

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

compare with main

unifiedsplit

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

24 - "9.0.2"

25 - "9.2.8"

26 - "9.4.8"

27− - "9.6.3"

27+ - "9.6.6"

28+ - "9.8.2"

29+ - "9.10.1"

28 fail-fast: false

30 fail-fast: false

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

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

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

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

refined-containers.cabal+4−2

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

27build-type: Simple

28

29tested-with:

30− , GHC == 9.6.3

30+ , GHC == 9.10.1

31+ , GHC == 9.8.2

32+ , GHC == 9.6.6

31 , GHC == 9.4.8

33 , GHC == 9.4.8

32 , GHC == 9.2.8

34 , GHC == 9.2.8

33 , GHC == 9.0.2

35 , GHC == 9.0.2

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

40

42

41library

43library

42 build-depends:

44 build-depends:

43− , base >= 4.12 && < 4.20

45+ , base >= 4.12 && < 4.21

44 , adjunctions >= 4.4 && < 4.5

46 , adjunctions >= 4.4 && < 4.5

45 , constraints >= 0.11 && < 0.15

47 , constraints >= 0.11 && < 0.15

46 , containers >= 0.5.7 && < 0.8

48 , containers >= 0.5.7 && < 0.8

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

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

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

103import Data.Typeable (Typeable)

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

105+import Prelude hiding

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

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

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

108+ , foldl'

109+#endif

110+ )

106import Refined

111import Refined

107import Refined.Unsafe

112import Refined.Unsafe

108import Unsafe.Coerce

113import Unsafe.Coerce

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

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

103import Data.Type.Coercion

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

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

106+import Prelude hiding

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

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

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

109+ , foldl'

110+#endif

111+ )

107import Refined

112import Refined

108import Refined.Unsafe

113import Refined.Unsafe

109import Unsafe.Coerce

114import Unsafe.Coerce

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

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

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

118import Data.Typeable (Typeable)

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

120+import Prelude hiding

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

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

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

123+ , foldl'

124+#endif

125+ )

121import Refined

126import Refined

122import Refined.Unsafe

127import Refined.Unsafe

123import Unsafe.Coerce

128import Unsafe.Coerce