Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Tags: konn/sized

Tags

v1.1.0.2

Toggle v1.1.0.2's commit message
1.1.0.2 - Supports GHC 9.10

v1.1.0.1

Toggle v1.1.0.1's commit message
1.1.0.1 - Supports GHC 9.8

v1.1.0.0

Toggle v1.1.0.0's commit message
1.1.0.0 - GHC 9.6 Support

v1.0.0.2

Toggle v1.0.0.2's commit message
1.0.0.2 - Supports GHC 9.4

v1.0.0.1

Toggle v1.0.0.1's commit message
1.0.0.1 - Minor refactor around test-suite

v1.0.0.0

Toggle v1.0.0.0's commit message
* Drops Peano-numerals

* Obsolete kind-generic classes
* Now all types are kinded with GHC's builtin type-level naturals, and no type parameters for naturals.
* Drops dependency for `singletons` package and their relatives.

v1.0.0.0-rev-3

Toggle v1.0.0.0-rev-3's commit message
Lowered lower bound of ghc-typelits-presburger

v1.0.0.0-rev-2

Toggle v1.0.0.0-rev-2's commit message
Tighten upper bounds

v0.9.0.0

Toggle v0.9.0.0's commit message
* This is transitional change: preparation for future rework of `type…

…-natural`

  - Types and constraints in `Data.Sized.Builtin` is now incompatible with `Data.Sized` and `Data.Sized.Peano`
  - The latter two modules will be removed in future release.
* Removes `NilL` and `NilR`
* Compolete overhaul on `Data.Sized.Builtin`
  - Stop using orders from `Data.Singletons`
  - Types of nested pattern synonyms can now be inferred correctly

v0.8.0.0

Toggle v0.8.0.0's commit message
v 0.8.0.0 - Fixes mis-instantiation of specialised functions