TypeNat 0.5.0.0 → 0.5.0.1
raw patch · 1 files changed
+7/−3 lines, 1 filesdep ~basePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base
API changes (from Hackage documentation)
+ Data.TypeNat.Nat: type family StrongLTE (n :: Nat) (m :: Nat) :: Constraint
- Data.TypeNat.Fin: ix1 :: Fin (S n)
+ Data.TypeNat.Fin: ix1 :: forall (n :: Nat). Fin ('S n)
- Data.TypeNat.Fin: ix10 :: Fin (S (S (S (S (S (S (S (S (S (S n))))))))))
+ Data.TypeNat.Fin: ix10 :: forall (n :: Nat). Fin ('S ('S ('S ('S ('S ('S ('S ('S ('S ('S n))))))))))
- Data.TypeNat.Fin: ix2 :: Fin (S (S n))
+ Data.TypeNat.Fin: ix2 :: forall (n :: Nat). Fin ('S ('S n))
- Data.TypeNat.Fin: ix3 :: Fin (S (S (S n)))
+ Data.TypeNat.Fin: ix3 :: forall (n :: Nat). Fin ('S ('S ('S n)))
- Data.TypeNat.Fin: ix4 :: Fin (S (S (S (S n))))
+ Data.TypeNat.Fin: ix4 :: forall (n :: Nat). Fin ('S ('S ('S ('S n))))
- Data.TypeNat.Fin: ix5 :: Fin (S (S (S (S (S n)))))
+ Data.TypeNat.Fin: ix5 :: forall (n :: Nat). Fin ('S ('S ('S ('S ('S n)))))
- Data.TypeNat.Fin: ix6 :: Fin (S (S (S (S (S (S n))))))
+ Data.TypeNat.Fin: ix6 :: forall (n :: Nat). Fin ('S ('S ('S ('S ('S ('S n))))))
- Data.TypeNat.Fin: ix7 :: Fin (S (S (S (S (S (S (S n)))))))
+ Data.TypeNat.Fin: ix7 :: forall (n :: Nat). Fin ('S ('S ('S ('S ('S ('S ('S n)))))))
- Data.TypeNat.Fin: ix8 :: Fin (S (S (S (S (S (S (S (S n))))))))
+ Data.TypeNat.Fin: ix8 :: forall (n :: Nat). Fin ('S ('S ('S ('S ('S ('S ('S ('S n))))))))
- Data.TypeNat.Fin: ix9 :: Fin (S (S (S (S (S (S (S (S (S n)))))))))
+ Data.TypeNat.Fin: ix9 :: forall (n :: Nat). Fin ('S ('S ('S ('S ('S ('S ('S ('S ('S n)))))))))
Files
- TypeNat.cabal +7/−3
TypeNat.cabal view
@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/ name: TypeNat-version: 0.5.0.0+version: 0.5.0.1 synopsis: Some Nat-indexed types for GHC -- description: homepage: https://github.com/avieth/TypeNat@@ -10,11 +10,15 @@ license-file: LICENSE author: Alexander Vieth maintainer: aovieth@gmail.com--- copyright: +copyright: MIT category: Data build-type: Simple cabal-version: >=1.10 +source-repository head+ type: git+ location: http://github.com/avieth/TypeNat.git+ library exposed-modules: Data.TypeNat.Fin, Data.TypeNat.Nat, Data.TypeNat.Vect -- other-modules: @@ -31,6 +35,6 @@ , TypeFamilies , KindSignatures - build-depends: base >=4.7 && < 4.11+ build-depends: base >=4.7 && < 5 -- hs-source-dirs: default-language: Haskell2010