packages feed

type-natural 0.0.2.0 → 0.0.2.1

raw patch · 2 files changed

+2/−2 lines, 2 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

+ Data.Type.Natural: LeqInstance :: LeqInstance n m
- Data.Type.Natural: (%:*) :: Sing t_a3ZM -> forall (t_a3ZN :: Nat). Sing t_a3ZN -> Sing (:* t_a3ZM t_a3ZN)
+ Data.Type.Natural: (%:*) :: Sing t_a3ZC -> forall (t_a3ZD :: Nat). Sing t_a3ZD -> Sing (:* t_a3ZC t_a3ZD)
- Data.Type.Natural: (%:+) :: Sing t_a3ZI -> forall (t_a3ZJ :: Nat). Sing t_a3ZJ -> Sing (:+ t_a3ZI t_a3ZJ)
+ Data.Type.Natural: (%:+) :: Sing t_a3Zy -> forall (t_a3Zz :: Nat). Sing t_a3Zz -> Sing (:+ t_a3Zy t_a3Zz)
- Data.Type.Natural: (%:-) :: Sing t_a3ZK -> forall (t_a3ZL :: Nat). Sing t_a3ZL -> Sing (:- t_a3ZK t_a3ZL)
+ Data.Type.Natural: (%:-) :: Sing t_a3ZA -> forall (t_a3ZB :: Nat). Sing t_a3ZB -> Sing (:- t_a3ZA t_a3ZB)
- Data.Type.Natural: (%:<<=) :: Sing t_a4BD -> forall (t_a4BE :: Nat). Sing t_a4BE -> Sing (:<<= t_a4BD t_a4BE)
+ Data.Type.Natural: (%:<<=) :: Sing t_a4Bt -> forall (t_a4Bu :: Nat). Sing t_a4Bu -> Sing (:<<= t_a4Bt t_a4Bu)
- Data.Type.Natural: sMax :: Sing t_a3Of -> forall (t_a3Og :: Nat). Sing t_a3Og -> Sing (Max t_a3Of t_a3Og)
+ Data.Type.Natural: sMax :: Sing t_a3O5 -> forall (t_a3O6 :: Nat). Sing t_a3O6 -> Sing (Max t_a3O5 t_a3O6)
- Data.Type.Natural: sMin :: Sing t_a3Od -> forall (t_a3Oe :: Nat). Sing t_a3Oe -> Sing (Min t_a3Od t_a3Oe)
+ Data.Type.Natural: sMin :: Sing t_a3O3 -> forall (t_a3O4 :: Nat). Sing t_a3O4 -> Sing (Min t_a3O3 t_a3O4)
- Data.Type.Natural: sS :: Sing n_a3xz -> Sing (S n_a3xz)
+ Data.Type.Natural: sS :: Sing n_a3xp -> Sing (S n_a3xp)
- Data.Type.Natural: type SNat (a_a3xy :: Nat) = Sing a_a3xy
+ Data.Type.Natural: type SNat (a_a3xo :: Nat) = Sing a_a3xo

Files

Data/Type/Natural.hs view
@@ -17,7 +17,7 @@                     , (:+:), (:+), (%+), (%:+), (:*:), (:*), (%:*), (%*)                     , (:-:), (:-), (%:-), (%-)                     -- ** Type-level predicate & judgements-                    , Leq(..), (:<=), (:<<=), (%:<<=), LeqInstance, leqRefl, leqSucc+                    , Leq(..), (:<=), (:<<=), (%:<<=), LeqInstance(..), leqRefl, leqSucc                     , boolToPropLeq, boolToClassLeq, propToClassLeq                     , LeqTrueInstance(..), propToBoolLeq                     -- * Conversion functions
type-natural.cabal view
@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                type-natural-version:             0.0.2.0+version:             0.0.2.1 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