posable 1.0.0.0 → 1.0.0.1
raw patch · 7 files changed
+25/−22 lines, 7 filesdep ~basedep ~generics-sopdep ~ghc-typelits-knownnatPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: base, generics-sop, ghc-typelits-knownnat, tasty, tasty-quickcheck, template-haskell
API changes (from Hackage documentation)
Files
- CHANGELOG.md +10/−1
- examples/Examples.hs +0/−1
- posable.cabal +10/−10
- src/Generics/POSable/Instances.hs +3/−3
- src/Generics/POSable/POSable.hs +2/−3
- src/Generics/POSable/TH.hs +0/−3
- test/Main.hs +0/−1
CHANGELOG.md view
@@ -8,6 +8,14 @@ ## [unreleased] +## [1.0.0.1] - 2022-06-16++### Changed++- Stack configuration files have been created for Stackage LTS version with GHC 8.6 up to 9.2+- Dependency version requirements have been widened to allow the versions from these Stackage sets.+- In order to support GHC 9.2, `Nat` is now imported from `GHC.Typelits` instead of `GHC.Base`+ ## [1.0.0.0] - 2022-06-08 This is the initial release of the library.@@ -19,5 +27,6 @@ - A usage example (in examples/Examples.hs) - Instances of POSable for data types in the Prelude (Bool, Maybe, Either, Ord, tuples up to length 16) -[unreleased]: https://github.com/Riscky/posable/compare/v1.0.0.0...HEAD+[unreleased]: https://github.com/Riscky/posable/compare/v1.0.0.1...HEAD+[1.0.0.1]: https://github.com/Riscky/posable/compare/v1.0.0.0...v1.0.0.1 [1.0.0.0]: https://github.com/Riscky/posable/compare/c81f50a2b...v1.0.0.0
examples/Examples.hs view
@@ -8,7 +8,6 @@ {-# OPTIONS_GHC -fplugin GHC.TypeLits.KnownNat.Solver #-} -- Larger types need more iterations {-# OPTIONS_GHC -fconstraint-solver-iterations=11 #-}-{-# OPTIONS_GHC -ddump-splices #-} -- | Contains an example for deriving POSable for some datatype module Examples () where
posable.cabal view
@@ -20,7 +20,7 @@ -- PVP summary: +-+------- breaking API changes -- | | +----- non-breaking API additions -- | | | +--- code changes with no API change-version: 1.0.0.0+version: 1.0.0.1 tested-with: GHC >= 8.10 license: BSD-3-Clause@@ -40,7 +40,7 @@ source-repository head type: git- location: https://github.com/well-typed/generics-sop+ location: https://github.com/Riscky/posable library -- Modules included in this executable, other than Main.@@ -55,11 +55,11 @@ -- other-extensions: -- Other library packages from which modules are imported.- build-depends: base >= 4.15.0 && < 4.16- , finite-typelits >= 0.1.4 && < 0.2- , generics-sop >= 0.5.1 && < 0.6- , template-haskell >= 2.17.0 && < 2.18- , ghc-typelits-knownnat >= 0.7.6 && < 0.8,+ build-depends: base >= 4.12.0 && < 4.17+ , finite-typelits >= 0.1.4 && < 0.2+ , generics-sop >= 0.4.0 && < 0.6+ , template-haskell >= 2.13.0 && < 2.19+ , ghc-typelits-knownnat >= 0.6 && < 0.8 -- Directories containing source files. hs-source-dirs: src@@ -89,8 +89,8 @@ , base , ghc-typelits-knownnat , template-haskell- , tasty >= 1.4 && < 1.5- , tasty-hunit >= 0.10 && < 0.11- , tasty-quickcheck >= 0.10.2 && < 0.11+ , tasty >= 1.2 && < 1.5+ , tasty-hunit >= 0.10 && < 0.11+ , tasty-quickcheck >= 0.10.1 && < 0.11 default-language: Haskell2010
src/Generics/POSable/Instances.hs view
@@ -8,8 +8,8 @@ -- This is needed to derive POSable for tuples of size more then 4 {-# OPTIONS_GHC -fconstraint-solver-iterations=16 #-} --- | This module contains instances of `POSable` for all Haskell prelude data types--- as well as fixed size integers from Data.Int (`Int8`, `Int16`, `Int32` and `Int64`)+-- | This module contains instances of `POSable` for all non-recursive prelude+-- data types, like tuples, `Either` and `Maybe` module Generics.POSable.Instances (POSable) where import Generics.POSable.POSable@@ -17,7 +17,7 @@ import Language.Haskell.TH -------------------------------------------------------------------------- Instances for common nonrecursive Haskell datatypes+-- Instances for non-recursive prelude data types deriving instance POSable Bool deriving instance POSable x => POSable (Maybe x) deriving instance (POSable l, POSable r) => POSable (Either l r)
src/Generics/POSable/POSable.hs view
@@ -27,9 +27,8 @@ import qualified Generics.SOP as SOP -import GHC.Base (Nat)-import GHC.TypeLits (KnownNat, natVal, type (*),- type (+))+import GHC.TypeLits (KnownNat, Nat, natVal,+ type (*), type (+)) import Data.Finite.Internal
src/Generics/POSable/TH.hs view
@@ -1,9 +1,6 @@ {-# LANGUAGE TemplateHaskell #-} {-# LANGUAGE TypeApplications #-} --{-# OPTIONS_GHC -ddump-splices #-}- module Generics.POSable.TH (mkPOSableGround) where import Generics.POSable.POSable
test/Main.hs view
@@ -5,7 +5,6 @@ {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} -{-# OPTIONS_GHC -ddump-splices #-} {-# OPTIONS_GHC -fplugin GHC.TypeLits.KnownNat.Solver #-} {-# OPTIONS_GHC -fconstraint-solver-iterations=26 #-}