type-unary 0.1.10 → 0.1.11

raw patch · 2 files changed

+7/−10 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• src/TypeUnary/Nat.hs +2/−3
• type-unary.cabal +5/−7

@@ -139,9 +139,8 @@     IsNat --------------------------------------------------------------------} --- | @n@ a vector length.-class {- Typeable n => -} IsNat n where-  nat    :: Nat n+-- | Is @n@ a natural number type?+class IsNat n where nat :: Nat n  instance            IsNat Z     where nat = Zero instance IsNat n => IsNat (S n) where nat = Succ nat

@@ -1,13 +1,13 @@ Name:                type-unary-Version:             0.1.10+Version:             0.1.11 Cabal-Version:       >= 1.2 Synopsis:            -  Type-level and typed unary natural numbers, vectors, inequality proofs+  Type-level and typed unary natural numbers, inequality proofs, vectors Category:            Data Description:-  Type-level and value-typed unary natural numbers, plus length-typed-  vectors, inequality proofs. There are probably many of these-  packages. Perhaps consolidate. This one is extracted from Shady.+  Type-level and value-typed unary natural numbers, inequality proofs,+  and length-typed vectors. There are probably many of these packages.+  Perhaps consolidate. This one is extracted from Shady. Author:              Conal Elliott Maintainer:          conal@conal.net Homepage:            https://github.com/conal/type-unary@@ -27,5 +27,3 @@                        TypeUnary.Vec                           ghc-options:         -Wall----  ghc-prof-options:    -prof -auto-all