singleton-nats 0.4.6 → 0.4.7

raw patch · 3 files changed

+12/−3 lines, 3 filesdep ~singletons-basePVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: singletons-base

API changes (from Hackage documentation)

- Data.Nat: instance Data.Singletons.Internal.SingI 'Data.Nat.Z

- Data.Nat: instance Data.Singletons.Internal.SingI Data.Nat.NatAbsSym0

- Data.Nat: instance Data.Singletons.Internal.SingI Data.Nat.NatMinusSym0

- Data.Nat: instance Data.Singletons.Internal.SingI Data.Nat.NatMulSym0

- Data.Nat: instance Data.Singletons.Internal.SingI Data.Nat.NatPlusSym0

- Data.Nat: instance Data.Singletons.Internal.SingI Data.Nat.NatSignumSym0

- Data.Nat: instance Data.Singletons.Internal.SingI Data.Nat.SSym0

- Data.Nat: instance Data.Singletons.Internal.SingI d => Data.Singletons.Internal.SingI (Data.Nat.NatMinusSym1 d)

- Data.Nat: instance Data.Singletons.Internal.SingI d => Data.Singletons.Internal.SingI (Data.Nat.NatMulSym1 d)

- Data.Nat: instance Data.Singletons.Internal.SingI d => Data.Singletons.Internal.SingI (Data.Nat.NatPlusSym1 d)

- Data.Nat: instance Data.Singletons.Internal.SingI n => Data.Singletons.Internal.SingI ('Data.Nat.S n)

- Data.Nat: instance Data.Singletons.Internal.SingKind Data.Nat.Nat

- Data.Nat: instance Data.Singletons.Prelude.Eq.PEq Data.Nat.Nat

- Data.Nat: instance Data.Singletons.Prelude.Eq.SEq Data.Nat.Nat => Data.Singletons.Prelude.Eq.SEq Data.Nat.Nat

- Data.Nat: instance Data.Singletons.Prelude.Num.PNum Data.Nat.Nat

- Data.Nat: instance Data.Singletons.Prelude.Num.SNum Data.Nat.Nat

- Data.Nat: instance Data.Singletons.Prelude.Ord.POrd Data.Nat.Nat

- Data.Nat: instance Data.Singletons.Prelude.Ord.SOrd Data.Nat.Nat => Data.Singletons.Prelude.Ord.SOrd Data.Nat.Nat

- Data.Nat: instance Data.Singletons.Prelude.Show.PShow Data.Nat.Nat

- Data.Nat: instance Data.Singletons.Prelude.Show.SShow Data.Nat.Nat => Data.Singletons.Prelude.Show.SShow Data.Nat.Nat

- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.Compare_6989586621679059445Sym1 a6989586621679059450)

- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.NatMinusSym1 a6989586621679056690)

- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.NatMulSym1 a6989586621679056700)

- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.NatPlusSym1 a6989586621679056707)

- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.ShowsPrec_6989586621679058175Sym1 a6989586621679058185)

- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.ShowsPrec_6989586621679058175Sym2 a6989586621679058185 a6989586621679058186)

- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.TFHelper_6989586621679059856Sym1 a6989586621679059865)

- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.TFHelper_6989586621679059871Sym1 a6989586621679059880)

- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.TFHelper_6989586621679059886Sym1 a6989586621679059895)

- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.Abs_6989586621679059900Sym0

- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.Compare_6989586621679059445Sym0

- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.FromInteger_6989586621679059918Sym0

- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.Let6989586621679056695ASym0

- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.Let6989586621679059924Scrutinee_6989586621679053210Sym0

- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.LitSym0

- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.NatAbsSym0

- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.NatMinusSym0

- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.NatMulSym0

- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.NatPlusSym0

- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.NatSignumSym0

- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.SSym0

- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.ShowsPrec_6989586621679058175Sym0

- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.Signum_6989586621679059909Sym0

- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.TFHelper_6989586621679059856Sym0

- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.TFHelper_6989586621679059871Sym0

- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.TFHelper_6989586621679059886Sym0

- Data.Nat: type LitSym1 (a6989586621679102719 :: Nat) = Lit a6989586621679102719 :: Nat

- Data.Nat: type SSym1 (a6989586621679056679 :: Nat) = S a6989586621679056679 :: Nat

- Data.Nat: type ZSym0 = Z :: Nat

+ Data.Nat: instance Data.Eq.Singletons.PEq Data.Nat.Nat

+ Data.Nat: instance Data.Eq.Singletons.SEq Data.Nat.Nat => Data.Eq.Singletons.SEq Data.Nat.Nat

+ Data.Nat: instance Data.Ord.Singletons.POrd Data.Nat.Nat

+ Data.Nat: instance Data.Ord.Singletons.SOrd Data.Nat.Nat => Data.Ord.Singletons.SOrd Data.Nat.Nat

+ Data.Nat: instance Data.Singletons.SingI 'Data.Nat.Z

+ Data.Nat: instance Data.Singletons.SingI Data.Nat.NatAbsSym0

+ Data.Nat: instance Data.Singletons.SingI Data.Nat.NatMinusSym0

+ Data.Nat: instance Data.Singletons.SingI Data.Nat.NatMulSym0

+ Data.Nat: instance Data.Singletons.SingI Data.Nat.NatPlusSym0

+ Data.Nat: instance Data.Singletons.SingI Data.Nat.NatSignumSym0

+ Data.Nat: instance Data.Singletons.SingI Data.Nat.SSym0

+ Data.Nat: instance Data.Singletons.SingI d => Data.Singletons.SingI (Data.Nat.NatMinusSym1 d)

+ Data.Nat: instance Data.Singletons.SingI d => Data.Singletons.SingI (Data.Nat.NatMulSym1 d)

+ Data.Nat: instance Data.Singletons.SingI d => Data.Singletons.SingI (Data.Nat.NatPlusSym1 d)

+ Data.Nat: instance Data.Singletons.SingI n => Data.Singletons.SingI ('Data.Nat.S n)

+ Data.Nat: instance Data.Singletons.SingI1 'Data.Nat.S

+ Data.Nat: instance Data.Singletons.SingI1 Data.Nat.NatMinusSym1

+ Data.Nat: instance Data.Singletons.SingI1 Data.Nat.NatMulSym1

+ Data.Nat: instance Data.Singletons.SingI1 Data.Nat.NatPlusSym1

+ Data.Nat: instance Data.Singletons.SingKind Data.Nat.Nat

+ Data.Nat: instance Data.Singletons.TH.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.Compare_6989586621679059646Sym1 a6989586621679059651)

+ Data.Nat: instance Data.Singletons.TH.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.NatMinusSym1 a6989586621679055818)

+ Data.Nat: instance Data.Singletons.TH.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.NatMulSym1 a6989586621679055828)

+ Data.Nat: instance Data.Singletons.TH.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.NatPlusSym1 a6989586621679055835)

+ Data.Nat: instance Data.Singletons.TH.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.ShowsPrec_6989586621679058513Sym1 a6989586621679058523)

+ Data.Nat: instance Data.Singletons.TH.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.ShowsPrec_6989586621679058513Sym2 a6989586621679058523 a6989586621679058524)

+ Data.Nat: instance Data.Singletons.TH.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.TFHelper_6989586621679056787Sym1 a6989586621679056792)

+ Data.Nat: instance Data.Singletons.TH.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.TFHelper_6989586621679060415Sym1 a6989586621679060424)

+ Data.Nat: instance Data.Singletons.TH.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.TFHelper_6989586621679060430Sym1 a6989586621679060439)

+ Data.Nat: instance Data.Singletons.TH.SuppressUnusedWarnings.SuppressUnusedWarnings (Data.Nat.TFHelper_6989586621679060445Sym1 a6989586621679060454)

+ Data.Nat: instance Data.Singletons.TH.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.Abs_6989586621679060459Sym0

+ Data.Nat: instance Data.Singletons.TH.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.Compare_6989586621679059646Sym0

+ Data.Nat: instance Data.Singletons.TH.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.FromInteger_6989586621679060477Sym0

+ Data.Nat: instance Data.Singletons.TH.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.Let6989586621679055823ASym0

+ Data.Nat: instance Data.Singletons.TH.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.Let6989586621679060483Scrutinee_6989586621679053289Sym0

+ Data.Nat: instance Data.Singletons.TH.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.LitSym0

+ Data.Nat: instance Data.Singletons.TH.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.NatAbsSym0

+ Data.Nat: instance Data.Singletons.TH.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.NatMinusSym0

+ Data.Nat: instance Data.Singletons.TH.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.NatMulSym0

+ Data.Nat: instance Data.Singletons.TH.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.NatPlusSym0

+ Data.Nat: instance Data.Singletons.TH.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.NatSignumSym0

+ Data.Nat: instance Data.Singletons.TH.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.SSym0

+ Data.Nat: instance Data.Singletons.TH.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.ShowsPrec_6989586621679058513Sym0

+ Data.Nat: instance Data.Singletons.TH.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.Signum_6989586621679060468Sym0

+ Data.Nat: instance Data.Singletons.TH.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.TFHelper_6989586621679056787Sym0

+ Data.Nat: instance Data.Singletons.TH.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.TFHelper_6989586621679060415Sym0

+ Data.Nat: instance Data.Singletons.TH.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.TFHelper_6989586621679060430Sym0

+ Data.Nat: instance Data.Singletons.TH.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.TFHelper_6989586621679060445Sym0

+ Data.Nat: instance GHC.Num.Singletons.PNum Data.Nat.Nat

+ Data.Nat: instance GHC.Num.Singletons.SNum Data.Nat.Nat

+ Data.Nat: instance Text.Show.Singletons.PShow Data.Nat.Nat

+ Data.Nat: instance Text.Show.Singletons.SShow Data.Nat.Nat => Text.Show.Singletons.SShow Data.Nat.Nat

- Data.Nat: [LitSym0KindInference] :: SameKind (Apply LitSym0 arg_aoaO) (LitSym1 arg_aoaO) => LitSym0 a6989586621679102719

+ Data.Nat: [LitSym0KindInference] :: SameKind (Apply LitSym0 arg_aqKb) (LitSym1 arg_aqKb) => LitSym0 a6989586621679112600

- Data.Nat: [SS] :: forall (n_ad35 :: Nat). () => Sing n_ad35 -> SNat (S n_ad35 :: Nat)

+ Data.Nat: [SS] :: forall (n_adc3 :: Nat). () => Sing n_adc3 -> SNat (S n_adc3 :: Nat)

- Data.Nat: [SSym0KindInference] :: SameKind (Apply SSym0 arg_acce) (SSym1 arg_acce) => SSym0 a6989586621679056679

+ Data.Nat: [SSym0KindInference] :: SameKind (Apply SSym0 arg_abYa) (SSym1 arg_abYa) => SSym0 a6989586621679055807

- Data.Nat: data LitSym0 a6989586621679102719

+ Data.Nat: data LitSym0 :: (~>) Natural Nat

- Data.Nat: data SSym0 a6989586621679056679

+ Data.Nat: data SSym0 :: (~>) Nat Nat

- Data.Nat: type family Lit n

+ Data.Nat: type family LitSym1 (a6989586621679112600 :: Natural) :: Nat

Files

CHANGELOG.md +3/−0
Data/Nat.hs +6/−0
singleton-nats.cabal +3/−3

CHANGELOG.md view

@@ -1,3 +1,6 @@+# 0.4.7 [2023.10.13]+* Allow building with `singletons-base-3.3`.+ # 0.4.6 [2021.03.12] * Allow building with `singletons-base`.

Data/Nat.hs view

@@ -11,6 +11,10 @@ {-# LANGUAGE StandaloneKindSignatures #-} #endif +#ifndef MIN_VERSION_singletons_base+# define MIN_VERSION_singletons_base(x,y,z) 0+#endif+ module Data.Nat (     Nat(..)   , NatPlus@@ -91,11 +95,13 @@ deriving instance Show (SNat n) #endif +#if !(MIN_VERSION_singletons_base(3,3,0)) instance Eq (SNat n) where   (==) _ _ = True  instance Ord (SNat n) where   compare _ _ = EQ+#endif  {-| Converts a runtime 'Integer' to an existentially wrapped 'Nat'. Returns 'Nothing' if the argument is negative -}

singleton-nats.cabal view

@@ -1,5 +1,5 @@ name:                singleton-nats-version:             0.4.6+version:             0.4.7 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.3, GHC == 8.10.1, GHC == 9.0.1+tested-with:         GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.4, GHC == 8.6.5, GHC == 8.8.4, GHC == 8.10.7, GHC == 9.0.2, GHC == 9.2.8, GHC == 9.4.7, GHC == 9.6.3, GHC == 9.8.1 extra-source-files:  CHANGELOG.md, README.md  source-repository head@@ -34,7 +34,7 @@   if flag(singletons-3-0)     build-depends:       singletons      >= 3.0 && < 3.1,-      singletons-base >= 3.0 && < 3.1+      singletons-base >= 3.0 && < 3.4   else     build-depends:       singletons >= 2.2 && < 2.8