diff --git a/CHANGELOG.md b/CHANGELOG.md --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,12 +1,22 @@ -0.2.1.0 -======= +Version 0.2.2.0 +=============== + + + +* Removed redundant `KnownNats` and `KnownSymbols` constraints for `sameNats` + and `sameSymbols`. + +Version 0.2.1.0 +=============== + * Added "eliminators", a staple of dependently typed programming, for `NatList` and `SymbolList`. -0.2.0.0 -======= +Version 0.2.0.0 +=============== + * **Breaking**: Changed the name of `someNatsVal'` to `someNatsValPos`, to @@ -17,8 +27,9 @@ `reifyNats` should be the safe one, but its connection to `reifyNat` from the *reflection* package is very strong and worth preserving, I think. -0.1.2.0 -======= +Version 0.1.2.0 +=============== + * Added `mapNatList'` and `mapSymbolList'` companions to `mapNatList` and @@ -30,21 +41,25 @@ `sameSymbol`. They provide witnesses to GHC that `KnownNat`s passed in are both the same. -======= +Version 0.1.1.0 +=============== + * Added strict fields to `NatList`, `SomeNats`, `SymbolList`, and `SomeSymbols`. It really doesn't make any sense for them to be lazy. -0.1.0.1 -======= +Version 0.1.0.1 +=============== + * Added README to the cabal package as an extra source file, for viewing on Hackage. -0.1.0.0 -======= +Version 0.1.0.0 +=============== + * Initial version. diff --git a/src/GHC/TypeLits/List.hs b/src/GHC/TypeLits/List.hs --- a/src/GHC/TypeLits/List.hs +++ b/src/GHC/TypeLits/List.hs @@ -259,8 +259,7 @@ -- Nothing -> -- in this branch, they aren't -- @ sameNats - :: (KnownNats ns, KnownNats ms) - => NatList ns + :: NatList ns -> NatList ms -> Maybe (ns :~: ms) sameNats = \case @@ -435,8 +434,7 @@ -- Nothing -> -- in this branch, they aren't -- @ sameSymbols - :: (KnownSymbols ns, KnownSymbols ms) - => SymbolList ns + :: SymbolList ns -> SymbolList ms -> Maybe (ns :~: ms) sameSymbols = \case diff --git a/typelits-witnesses.cabal b/typelits-witnesses.cabal --- a/typelits-witnesses.cabal +++ b/typelits-witnesses.cabal @@ -1,5 +1,5 @@ name: typelits-witnesses -version: 0.2.1.0 +version: 0.2.2.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