sized

Sized sequence data-types

Version on this page:1.1.0.0
LTS Haskell 22.36:1.1.0.2
Stackage Nightly 2024-10-03:1.1.0.2
Latest on Hackage:1.1.0.2

See all snapshots sized appears in

BSD-3-Clause licensed by Hiromi ISHII
Maintained by konn.jinro_at_gmail.com
This version can be pinned in stack with:sized-1.1.0.0@sha256:526ce54bb1e4567986803f212892bd1d5d2f6ea2264141723b6d86ac2f970025,1801

Module documentation for 1.1.0.0

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.