A wrapper to make length-parametrized data-type from functorial data-types.
Changes
Changelog
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.