finite-typelits 0.2.0.0 → 0.2.0.1
raw patch · 2 files changed
+8/−5 lines, 2 filesdep ~basedep ~template-haskellPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: base, template-haskell
API changes (from Hackage documentation)
Files
- finite-typelits.cabal +4/−4
- src/Data/Finite/Integral.hs +4/−1
finite-typelits.cabal view
@@ -1,5 +1,5 @@ name: finite-typelits-version: 0.2.0.0+version: 0.2.0.1 synopsis: A type inhabited by finitely many values, indexed by type-level naturals description: A type inhabited by finitely many values, indexed by type-level naturals. homepage: https://github.com/mniip/finite-typelits@@ -16,10 +16,10 @@ , Data.Finite.Integral , Data.Finite.Internal , Data.Finite.Internal.Integral- build-depends: base >= 4.7 && < 4.20+ build-depends: base >= 4.7 && < 4.21 , deepseq >= 1.3 && < 1.6 , tagged >= 0.8 && < 0.9- , template-haskell >= 2.9 && < 2.22+ , template-haskell >= 2.9 && < 2.23 hs-source-dirs: src default-language: Haskell2010 ghc-options: -Wall@@ -28,7 +28,7 @@ type: exitcode-stdio-1.0 main-is: test/Main.hs build-depends: finite-typelits- , base >= 4.9 && < 4.20+ , base >= 4.9 && < 4.21 , deepseq >= 1.3 && < 1.6 , QuickCheck >= 2.12 && < 2.15 default-language: Haskell2010
src/Data/Finite/Integral.hs view
@@ -8,6 +8,7 @@ -- Portability : portable -------------------------------------------------------------------------------- {-# LANGUAGE ConstraintKinds #-}+{-# LANGUAGE CPP #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE ExplicitForAll #-} {-# LANGUAGE FlexibleContexts #-}@@ -37,7 +38,9 @@ where import Data.Coerce-import Data.List+#if __GLASGOW_HASKELL__ < 910+import Data.List (foldl')+#endif import Data.Proxy import Data.Void import GHC.TypeLits