singleton-nats 0.2.0.0 → 0.3.0.0
raw patch · 2 files changed
+1/−2 lines, 2 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
- Data.Nat: (%:*) :: Sing t_a6Bc -> Sing t_a6Bd -> Sing (Apply (Apply (:*$) t_a6Bc) t_a6Bd)
+ Data.Nat: (%:*) :: Sing t_a6Ir -> Sing t_a6Is -> Sing (Apply (Apply (:*$) t_a6Ir) t_a6Is)
- Data.Nat: (%:+) :: Sing t_a6Ba -> Sing t_a6Bb -> Sing (Apply (Apply (:+$) t_a6Ba) t_a6Bb)
+ Data.Nat: (%:+) :: Sing t_a6Ip -> Sing t_a6Iq -> Sing (Apply (Apply (:+$) t_a6Ip) t_a6Iq)
- Data.Nat: data (:+$$) (l_a6AR :: Nat) (l_a6AQ :: TyFun Nat Nat)
+ Data.Nat: data (:+$$) (l_a6I6 :: Nat) (l_a6I5 :: TyFun Nat Nat)
- Data.Nat: data SSym0 (l_a6AK :: TyFun Nat Nat)
+ Data.Nat: data SSym0 (l_a6HZ :: TyFun Nat Nat)
- Data.Nat: type SNat (z_a6Bo :: Nat) = Sing z_a6Bo
+ Data.Nat: type SNat (z_a6ID :: Nat) = Sing z_a6ID
- Data.Nat: type SSym1 (t_a6AJ :: Nat) = S t_a6AJ
+ Data.Nat: type SSym1 (t_a6HY :: Nat) = S t_a6HY
Files
- Data/Nat.hs +0/−1
- singleton-nats.cabal +1/−1
Data/Nat.hs view
@@ -8,7 +8,6 @@ , natPlus , natMul , SNat- , Data.Singletons.Prelude.Sing(..) , (:*) , (:*$) , (:*$$)
singleton-nats.cabal view
@@ -1,6 +1,6 @@ name: singleton-nats-version: 0.2.0.0+version: 0.3.0.0 synopsis: Unary natural numbers relying on the singletons infrastructure. license: BSD3 license-file: LICENSE