# Changelog

## 1.1.0.1

* Supports GHC 9.8
* Drops Support for GHC <9

## 1.1.0.0

* Supports GHC 9.6
* Migrates to recent toolchains

## 1.0.0.1

* Minor refactoring of test-suite to support inspection-testiong 0.5

## 1.0.0.0

* 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.

## 0.9.0.0

* 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

## 0.8.0.0

* Makes `sLength` using `KnownNat` instance to get O(1) always.
* Introduces `Nil` pattern and deprecates `NilL` and `NilR`.
* Previously, in sepcialised modules for `Builtin` and `Peano`,
  `elemIndex`, `elemIndices` and their Ordinal version were misimplemented;
  they are now correctly uses their counterparts in `Data.Sized`.
* Adds documentation for specialised modules.

## 0.7.0.0

* Stop using `ListLike` package and switched to [`subcategories`] package for the abstraction of sequential types.
* Complete overhaul on type signatures.
* Both `Data.Sized.Builtin` and `Data.Sized.Peano` exports specialised functions instead of reexporting functions from `Data.Sized`.