packages feed

type-natural 0.2.1.1 → 0.2.1.2

raw patch · 3 files changed

+4/−4 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.Type.Natural: (%-) :: (n :<<= m) ~ True => SNat n -> SNat m -> SNat (n :-: m)
+ Data.Type.Natural: (%-) :: (m :<<= n) ~ True => SNat n -> SNat m -> SNat (n :-: m)
- Data.Type.Natural: (%:*) :: Sing t_a460 -> Sing t_a461 -> Sing (:* t_a460 t_a461)
+ Data.Type.Natural: (%:*) :: Sing t_a462 -> Sing t_a463 -> Sing (:* t_a462 t_a463)
- Data.Type.Natural: (%:+) :: Sing t_a45W -> Sing t_a45X -> Sing (:+ t_a45W t_a45X)
+ Data.Type.Natural: (%:+) :: Sing t_a45Y -> Sing t_a45Z -> Sing (:+ t_a45Y t_a45Z)
- Data.Type.Natural: (%:-) :: Sing t_a45Y -> Sing t_a45Z -> Sing (:- t_a45Y t_a45Z)
+ Data.Type.Natural: (%:-) :: Sing t_a460 -> Sing t_a461 -> Sing (:- t_a460 t_a461)
- Data.Type.Natural: (%:<<=) :: Sing t_a4HB -> Sing t_a4HC -> Sing (:<<= t_a4HB t_a4HC)
+ Data.Type.Natural: (%:<<=) :: Sing t_a4HD -> Sing t_a4HE -> Sing (:<<= t_a4HD t_a4HE)
- Data.Type.Natural: sMax :: Sing t_a3UC -> Sing t_a3UD -> Sing (Max t_a3UC t_a3UD)
+ Data.Type.Natural: sMax :: Sing t_a3UE -> Sing t_a3UF -> Sing (Max t_a3UE t_a3UF)
- Data.Type.Natural: sMin :: Sing t_a3UA -> Sing t_a3UB -> Sing (Min t_a3UA t_a3UB)
+ Data.Type.Natural: sMin :: Sing t_a3UC -> Sing t_a3UD -> Sing (Min t_a3UC t_a3UD)
- Data.Type.Natural: sS :: Sing n_a3Ez -> Sing (S n_a3Ez)
+ Data.Type.Natural: sS :: Sing n_a3EB -> Sing (S n_a3EB)
- Data.Type.Natural: type SNat (a_a3Ey :: Nat) = Sing a_a3Ey
+ Data.Type.Natural: type SNat (a_a3EA :: Nat) = Sing a_a3EA

Files

Data/Type/Natural.hs view
@@ -229,7 +229,7 @@  type LeqTrueInstance a b = Dict ((a :<<= b) ~ True) -(%-) :: (n :<<= m) ~ True => SNat n -> SNat m -> SNat (n :-: m)+(%-) :: (m :<<= n) ~ True => SNat n -> SNat m -> SNat (n :-: m) n   %- SZ    = n SS n %- SS m = n %- m _    %- _    = error "impossible!"
Data/Type/Ordinal.hs view
@@ -83,7 +83,7 @@  unsafeFromInt :: forall n. SingI n => Int -> Ordinal n unsafeFromInt n =-    case promote n of+    case (promote n :: Monomorphic (Sing :: Nat -> *)) of       Monomorphic sn ->         case sS sn %:<<= (sing :: SNat n) of           STrue -> sNatToOrd' (sing :: SNat n) sn
type-natural.cabal view
@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                type-natural-version:             0.2.1.1+version:             0.2.1.2 synopsis:            Type-level natural and proofs of their properties. description:         Type-level natural numbers and proofs of their properties. homepage:            https://github.com/konn/type-natural@@ -30,4 +30,4 @@   if impl(ghc < 7.8)     build-depends:     singletons               == 0.8.*   else-    build-depends:     singletons               >= 0.10    && < 1.1+    build-depends:     singletons               >= 0.10    && < 1.0