singleton-nats 0.4.2 → 0.4.3

raw patch · 3 files changed

+12/−4 lines, 3 filesdep ~singletons

Dependency ranges changed: singletons

Files

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

@@ -1,3 +1,6 @@+# 0.4.3 [2019.08.27]+* Allow `singletons-2.6`.+ # 0.4.2 [2018.09.18] * Allow `singletons-2.5`. 

@@ -3,7 +3,7 @@   FlexibleInstances, GADTs, TypeFamilies, TemplateHaskell,   InstanceSigs, TypeOperators, PolyKinds, StandaloneDeriving,   FlexibleContexts, AllowAmbiguousTypes, CPP, OverloadedStrings,-  EmptyCase #-}+  EmptyCase, TypeApplications #-} #if __GLASGOW_HASKELL__ >= 806 {-# LANGUAGE QuantifiedConstraints #-} #endif@@ -21,8 +21,13 @@   , natAbs   , natSignum   , someNatVal+#if MIN_VERSION_singletons(2,6,0)+  , SNat(..)+  , Data.Singletons.Prelude.Sing+#else   , SNat   , Data.Singletons.Prelude.Sing(SS, SZ)+#endif   , Data.Singletons.Prelude.PNum   , Data.Singletons.Prelude.SNum   , SSym0(..)

@@ -1,5 +1,5 @@ name:                singleton-nats-version:             0.4.2+version:             0.4.3 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.3, GHC == 8.6.1+tested-with:         GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.4, GHC == 8.6.5, GHC == 8.8.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.6+    singletons >= 2.2 && < 2.7    default-language:    Haskell2010   ghc-options:         -Wall -Wno-unticked-promoted-constructors