typelits-witnesses 0.1.3.0 → 0.2.0.0
raw patch · 2 files changed
+2/−2 lines, 2 filesdep ~base
Dependency ranges changed: base
Files
- src/GHC/TypeLits/List.hs +1/−1
- typelits-witnesses.cabal +1/−1
src/GHC/TypeLits/List.hs view
@@ -37,7 +37,7 @@ , SomeNats(..) , NatList(..) , someNatsVal- , someNatsVal'+ , someNatsValPos , reifyNats , reifyNats' , sameNats
typelits-witnesses.cabal view
@@ -1,5 +1,5 @@ name: typelits-witnesses-version: 0.1.3.0+version: 0.2.0.0 synopsis: Existential witnesses, singletons, and classes for operations on GHC TypeLits description: Provides witnesses for 'KnownNat' and 'KnownSymbol' instances for various operations on GHC TypeLits - in