« Changelog History


typelits-witnesses v0.1.2.0 Release Notes

  • 🚀 https://github.com/mstksg/typelits-witnesses/releases/tag/v0.1.2.0

    • Added mapNatList' and mapSymbolList' companions to mapNatList and mapSymbolList; they use NatList and SymbolList 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 and sameSymbols, modeled after sameNat and sameSymbol. They provide witnesses to GHC that KnownNats passed in are both the same.