type-unary 0.2.21 → 0.3.0

raw patch · 2 files changed

+4/−4 lines, 2 filesdep ~base

Dependency ranges changed: base

Files

• src/TypeUnary/Nat.hs +3/−3
• type-unary.cabal +1/−1

@@ -39,9 +39,9 @@  -- #include "Typeable.h" -import Control.Applicative ((<$>))+-- import Control.Applicative ((<$>)) import Data.Maybe (isJust)-import Data.Typeable (Typeable)+-- import Data.Typeable (Typeable)  import Data.Constraint (Dict(..)) @@ -307,7 +307,7 @@ --------------------------------------------------------------------}  -- | Is @n@ a natural number type?-class Typeable n => IsNat n where nat :: Nat n+class IsNat n where nat :: Nat n  instance            IsNat Z     where nat = Zero instance IsNat n => IsNat (S n) where nat = Succ nat

@@ -1,5 +1,5 @@ Name:                type-unary-Version:             0.2.21+Version:             0.3.0 Cabal-Version:       >= 1.6 Synopsis:               Type-level and typed unary natural numbers, inequality proofs, vectors