singleton-nats 0.4.3 → 0.4.4
raw patch · 3 files changed
+9/−3 lines, 3 filesdep ~singletonsPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: singletons
API changes (from Hackage documentation)
- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.Compare_6989586621679084746Sym1 a6989586621679084744)
- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.NatMinusSym1 a6989586621679080428)
- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.NatMulSym1 a6989586621679080442)
- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.NatPlusSym1 a6989586621679080435)
- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.ShowsPrec_6989586621679083047Sym1 a6989586621679083044)
- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.ShowsPrec_6989586621679083047Sym2 a6989586621679083045 a6989586621679083044)
- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.TFHelper_6989586621679085332Sym1 a6989586621679085330)
- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.TFHelper_6989586621679085348Sym1 a6989586621679085346)
- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.TFHelper_6989586621679085364Sym1 a6989586621679085362)
- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.Abs_6989586621679085374Sym0
- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.Compare_6989586621679084746Sym0
- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.FromInteger_6989586621679085395Sym0
- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.Let6989586621679085389Scrutinee_6989586621679073701Sym0
- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.ShowsPrec_6989586621679083047Sym0
- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.Signum_6989586621679085383Sym0
- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.TFHelper_6989586621679085332Sym0
- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.TFHelper_6989586621679085348Sym0
- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.TFHelper_6989586621679085364Sym0
+ Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.Compare_6989586621679085285Sym1 a6989586621679085283)
+ Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.NatMinusSym1 a6989586621679080967)
+ Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.NatMulSym1 a6989586621679080981)
+ Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.NatPlusSym1 a6989586621679080974)
+ Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.ShowsPrec_6989586621679083586Sym1 a6989586621679083583)
+ Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.ShowsPrec_6989586621679083586Sym2 a6989586621679083584 a6989586621679083583)
+ Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.TFHelper_6989586621679085871Sym1 a6989586621679085869)
+ Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.TFHelper_6989586621679085887Sym1 a6989586621679085885)
+ Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.TFHelper_6989586621679085903Sym1 a6989586621679085901)
+ Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.Abs_6989586621679085913Sym0
+ Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.Compare_6989586621679085285Sym0
+ Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.FromInteger_6989586621679085934Sym0
+ Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.Let6989586621679085928Scrutinee_6989586621679073772Sym0
+ Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.ShowsPrec_6989586621679083586Sym0
+ Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.Signum_6989586621679085922Sym0
+ Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.TFHelper_6989586621679085871Sym0
+ Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.TFHelper_6989586621679085887Sym0
+ Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.TFHelper_6989586621679085903Sym0
- Data.Nat: [LitSym0KindInference] :: forall n6989586621679094455 arg_axAV. SameKind (Apply LitSym0 arg_axAV) (LitSym1 arg_axAV) => LitSym0 n6989586621679094455
+ Data.Nat: [LitSym0KindInference] :: forall n6989586621679094994 arg_axJL. SameKind (Apply LitSym0 arg_axJL) (LitSym1 arg_axJL) => LitSym0 n6989586621679094994
- Data.Nat: [SSym0KindInference] :: forall t6989586621679080421 arg_ainc. SameKind (Apply SSym0 arg_ainc) (SSym1 arg_ainc) => SSym0 t6989586621679080421
+ Data.Nat: [SSym0KindInference] :: forall t6989586621679080960 arg_aivT. SameKind (Apply SSym0 arg_aivT) (SSym1 arg_aivT) => SSym0 t6989586621679080960
- Data.Nat: type LitSym1 (n6989586621679094455 :: Nat) = Lit n6989586621679094455
+ Data.Nat: type LitSym1 (n6989586621679094994 :: Nat) = Lit n6989586621679094994
- Data.Nat: type SSym1 (t6989586621679080421 :: Nat) = S t6989586621679080421
+ Data.Nat: type SSym1 (t6989586621679080960 :: Nat) = S t6989586621679080960
Files
- CHANGELOG.md +3/−0
- Data/Nat.hs +3/−0
- singleton-nats.cabal +3/−3
CHANGELOG.md view
@@ -1,3 +1,6 @@+# 0.4.4 [2020.03.25]+* Allow `singletons-2.7`.+ # 0.4.3 [2019.08.27] * Allow `singletons-2.6`.
Data/Nat.hs view
@@ -7,6 +7,9 @@ #if __GLASGOW_HASKELL__ >= 806 {-# LANGUAGE QuantifiedConstraints #-} #endif+#if __GLASGOW_HASKELL__ >= 810+{-# LANGUAGE StandaloneKindSignatures #-}+#endif module Data.Nat ( Nat(..)
singleton-nats.cabal view
@@ -1,5 +1,5 @@ name: singleton-nats-version: 0.4.3+version: 0.4.4 synopsis: Unary natural numbers relying on the singletons infrastructure. description: Unary natural number relying on the <https://hackage.haskell.org/package/singletons singletons> infrastructure. More information about the general usage of singletons can be found on the <https://github.com/goldfirere/singletons singletons github> page. category: Data, Dependent Types@@ -13,7 +13,7 @@ build-type: Simple cabal-version: >=1.10-tested-with: GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.4, GHC == 8.6.5, GHC == 8.8.1+tested-with: GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.4, GHC == 8.6.5, GHC == 8.8.3, GHC == 8.10.1 extra-source-files: CHANGELOG.md, README.md source-repository head@@ -26,7 +26,7 @@ build-depends: base >=4.8.1.0 && <5,- singletons >= 2.2 && < 2.7+ singletons >= 2.2 && < 2.8 default-language: Haskell2010 ghc-options: -Wall -Wno-unticked-promoted-constructors