Changelog for typelits-witnesses-0.2.2.0
Version 0.2.2.0
https://github.com/mstksg/typelits-witnesses/releases/tag/v0.2.2.0
- Removed redundant
KnownNats
andKnownSymbols
constraints forsameNats
andsameSymbols
.
Version 0.2.1.0
https://github.com/mstksg/typelits-witnesses/releases/tag/v0.2.1.0
- Added "eliminators", a staple of dependently typed programming, for
NatList
andSymbolList
.
Version 0.2.0.0
https://github.com/mstksg/typelits-witnesses/releases/tag/v0.2.0.0
-
Breaking: Changed the name of
someNatsVal'
tosomeNatsValPos
, to break away from the "just add'
" anti-pattern and to make the function name a bit more meaningful. -
Added
reifyNats'
, a "safe" version ofreifyNats
. Ideally,reifyNats
should be the safe one, but its connection toreifyNat
from the reflection package is very strong and worth preserving, I think.
Version 0.1.2.0
https://github.com/mstksg/typelits-witnesses/releases/tag/v0.1.2.0
-
Added
mapNatList'
andmapSymbolList'
companions tomapNatList
andmapSymbolList
; they useNatList
andSymbolList
instead of Rank-2 types, so they can work better with function composition with(.)
and other things that Rank-2 types would have trouble with. -
Added
sameNats
andsameSymbols
, modeled aftersameNat
andsameSymbol
. They provide witnesses to GHC thatKnownNat
s passed in are both the same.
Version 0.1.1.0
https://github.com/mstksg/typelits-witnesses/releases/tag/v0.1.1.0
- Added strict fields to
NatList
,SomeNats
,SymbolList
, andSomeSymbols
. It really doesn't make any sense for them to be lazy.
Version 0.1.0.1
https://github.com/mstksg/typelits-witnesses/releases/tag/v0.1.0.1
- Added README to the cabal package as an extra source file, for viewing on Hackage.
Version 0.1.0.0
https://github.com/mstksg/typelits-witnesses/releases/tag/v0.1.0.0
- Initial version.