diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index a6e9700..7cf26fd 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -23,13 +23,14 @@ jobs: matrix: include: # Linux - - { cabal: "3.12", os: ubuntu-latest, ghc: "8.10.7" } - - { cabal: "3.12", os: ubuntu-latest, ghc: "9.0.1" } - - { cabal: "3.12", os: ubuntu-latest, ghc: "9.2.8" } - - { cabal: "3.12", os: ubuntu-latest, ghc: "9.4.8" } - - { cabal: "3.12", os: ubuntu-latest, ghc: "9.6.6" } - - { cabal: "3.12", os: ubuntu-latest, ghc: "9.8.2" } - - { cabal: "3.12", os: ubuntu-latest, ghc: "9.10.1" } + - { cabal: "3.14", os: ubuntu-latest, ghc: "8.10.7" } + - { cabal: "3.14", os: ubuntu-latest, ghc: "9.0.1" } + - { cabal: "3.14", os: ubuntu-latest, ghc: "9.2.8" } + - { cabal: "3.14", os: ubuntu-latest, ghc: "9.4.8" } + - { cabal: "3.14", os: ubuntu-latest, ghc: "9.6.7" } + - { cabal: "3.14", os: ubuntu-latest, ghc: "9.8.2" } + - { cabal: "3.14", os: ubuntu-latest, ghc: "9.10.2" } + - { cabal: "3.14", os: ubuntu-latest, ghc: "9.12.2" } fail-fast: false steps: diff --git a/fixed-vector-QC/ChangeLog.md b/fixed-vector-QC/ChangeLog.md index e69de29..c3e65a4 100644 --- a/fixed-vector-QC/ChangeLog.md +++ b/fixed-vector-QC/ChangeLog.md @@ -0,0 +1,3 @@ +2.0.0.0 +------- +* Initial release diff --git a/fixed-vector-aeson/ChangeLog.md b/fixed-vector-aeson/ChangeLog.md index e69de29..c3e65a4 100644 --- a/fixed-vector-aeson/ChangeLog.md +++ b/fixed-vector-aeson/ChangeLog.md @@ -0,0 +1,3 @@ +2.0.0.0 +------- +* Initial release diff --git a/fixed-vector-binary/ChangeLog.md b/fixed-vector-binary/ChangeLog.md index 295c8ce..bda8f77 100644 --- a/fixed-vector-binary/ChangeLog.md +++ b/fixed-vector-binary/ChangeLog.md @@ -1,14 +1,15 @@ -Changes in 1.0.0.2 +1.0.0.2 +------- +* GHC 8.6+ compatibility for tests as well - * GHC 8.6+ compatibility for tests as well +1.0.0.1 +------- +* GHC 8.6 compatibility -Changes in 1.0.0.1 +1.0.0.0 +------- +* Compatibility with fixed-vector-1.0 - * GHC 8.6 compatibility - -Changes in 1.0.0.0 - - * Compatibility with fixed-vector-1.0 -Changes in 0.6.0.0 - - * Initial release +0.6.0.0 +------- +* Initial release diff --git a/fixed-vector-cborg/ChangeLog.md b/fixed-vector-cborg/ChangeLog.md index 89a0dab..bda8f77 100644 --- a/fixed-vector-cborg/ChangeLog.md +++ b/fixed-vector-cborg/ChangeLog.md @@ -1,15 +1,15 @@ -Changes in 1.0.0.2 +1.0.0.2 +------- +* GHC 8.6+ compatibility for tests as well - * GHC 8.6+ compatibility for tests as well +1.0.0.1 +------- +* GHC 8.6 compatibility -Changes in 1.0.0.1 +1.0.0.0 +------- +* Compatibility with fixed-vector-1.0 - * GHC 8.6 compatibility - -Changes in 1.0.0.0 - - * Compatibility with fixed-vector-1.0 - -Changes in 0.6.0.0 - - * Initial release +0.6.0.0 +------- +* Initial release diff --git a/fixed-vector-cereal/ChangeLog.md b/fixed-vector-cereal/ChangeLog.md index 89a0dab..bda8f77 100644 --- a/fixed-vector-cereal/ChangeLog.md +++ b/fixed-vector-cereal/ChangeLog.md @@ -1,15 +1,15 @@ -Changes in 1.0.0.2 +1.0.0.2 +------- +* GHC 8.6+ compatibility for tests as well - * GHC 8.6+ compatibility for tests as well +1.0.0.1 +------- +* GHC 8.6 compatibility -Changes in 1.0.0.1 +1.0.0.0 +------- +* Compatibility with fixed-vector-1.0 - * GHC 8.6 compatibility - -Changes in 1.0.0.0 - - * Compatibility with fixed-vector-1.0 - -Changes in 0.6.0.0 - - * Initial release +0.6.0.0 +------- +* Initial release diff --git a/fixed-vector/ChangeLog.md b/fixed-vector/ChangeLog.md index 5c522e2..847662f 100644 --- a/fixed-vector/ChangeLog.md +++ b/fixed-vector/ChangeLog.md @@ -1,274 +1,235 @@ -Changes in 1.3.0.0 +2.0.0.0 [2025.07.10] +------------------ +* Type family `Dim` returns Peano numbers instead of standard type level + naturals. - * Type family `Dim` returns Peano numbers instead of standard type level - naturals. + - `Index` type class restored and all indexing operation are performed in + - `Arity` simplified + - `CVecPeano` dropped and `ContVec` is parameterized using Peano numbers. - - `Index` type class restored and all indexing operation are performed in +* In `ArityPeano` type class methods `reverseF` and `gunfoldF` are replaced + with more general `accumPeano` and `reducePeano`. - - `Arity` simplified +* `Unbox` vector are fully reworked. All uses of data types with `Unbox` + instances which are defined in the library except `Bool` should work without + changes. - - `CVecPeano` dropped and `ContVec` is parameterized using Peano numbers. +* `Data.Vector.Fixed.Cont.arity` dropped. - * In `ArityPeano` type class methods `reverseF` and `gunfoldF` are replaced - with more general `accumPeano` and `reducePeano`. +* Type of `D.V.F.Cont.withFun` generalized. - * `Unbox` vector are fully reworked. All uses of data types with `Unbox` - instances which are defined in the library except `Bool` should work without - changes. +* Type class `VectorN` dropped. Use `QuantifiedConstraints` instead. - * `Data.Vector.Fixed.Cont.arity` dropped +* Show instance now has form `[...]` instead of `fromList [...]`. - * Type of `D.V.F.Cont.withFun` generalized +* `ViaFixed` newtype wrapper for deriving instances is + added. `StorableViaFixed` is removed. - * Type class `VectorN` dropped. Use QuantifiedConstraints instead +* `Data.Vector.Fixed.Storable.unsafeWith` ensures that pointer won't + get GC'd while function runs. - * Show instance now has form `[...]` instead of `fromList [...]` +* `Data.Vector.Fixed.sequenceA` is deprecated in favor of `sequence`. - * `ViaFixed` newtype wrapper for deriving instances is - added. `StorableViaFixed` is removed +* `foldl'` and `ifoldl'` functions added. - * `Data.Vector.Fixed.Storable.unsafeWith` ensures that pointer won't - get GC'd while function runs +* Implement `sum` as in terms of `foldl'`. - * `Data.Vector.Fixed.sequenceA` is deprecated in favor of `sequence` - * `foldl'` and `ifoldl'` functions added. +1.2.3.0 [2023-10-31] +-------------------- +* Pattern `V1` added +* `COMPLETE` pragmas added for patterns `V1`,`V2`,`V3`,`V4` - * Implement `sum` as in terms of `foldl'`. +1.2.2.1 [2022-12-29] +-------------------- +* Newtype `StorableViaFixed` for deriving `Storable` instances added. -Changes in 1.2.3.0 - * Pattern `V1` added +1.2.1.1 [2022-12-26] +-------------------- +* Fixed bug in `any` (#18) - * `COMPLETE` pragmas added for patterns `V1`,`V2`,`V3`,`V4` +1.2.1.0 [2021-11-13] +-------------------- +* Support for GHC7.10 dropped. +* Pattern synonyms `V2`,`V3`,`V4` added. +* `replicate{,M}` and `generate{,M}` added. +* Functions `mk6`, `mk7`, `mk8` added. -Changes in 1.2.2.1 - * Newtype `StorableViaFixed` for deriving `Storable` instances added. +1.2.0.0 [2018-09-02] +-------------------- +* `Show` instance for data type now respect precedence. -Changes in 1.2.1.1 +1.1.0.0 [2018-03-11] +-------------------- +* GHC8.4 compatibility release. Semigroup instances added and + semigroup dependency added for GHC7.10 - * Fixed bug in `any` (#18) +1.0.0.0 [2017-11-06] +-------------------- +* Vector length now expressed as GHC's type level literals. Underlying + implementation still uses Peano numbers to perform induction. This doesn't + change user facing API much. Notably `FlexibleInstances` and + `GADTs`/`TypeFamiles` are now required to write `Arity` constraint. +* `Monad` constraint is relaxed to `Applicative` where applicable. Duplicate + functions are removed (`sequence` & `sequenceA` → `sequence`, etc) +* Module `Data.Vector.Fixed.Monomorphic` is dropped. +* Construction of N-ary vectors reworked. `Make` type class is gone. +* Boxed arrays now use SmallArrays internally. +* `overlaps` is removed from API for mutable vectors. +* `Data.Vector.Fixed.defaultRnf` is added. +* `Data.Vector.Fixed.Mutable.lengthI` is dropped. -Changes in 1.2.1.0 - * Support for GHC7.10 dropped. +0.9.0.0 [2016-09-14] +-------------------- +* Simplification of `Arity` type class. This change shouldn't affect client + code. +* Support for GHC < 7.8 is droppped. +* Fixed bug in `any`. - * Pattern synonyms `V2`,`V3`,`V4` added. - * `replicate{,M}` and `generate{,M}` added. +0.8.1.0 [2015-08-27] +-------------------- +* `find` function added. - * Functions `mk6`, `mk7`, `mk8` added. +0.8.0.0 [2015-04-06] +-------------------- +* NFData instances for all data type. +* Storable instances for all data types and default implementation of + Storable's methods added. +* {i,}zipWith3 and {i,}zipWithM_ added. -Changes in 1.2.0.0 - * `Show` instance for data type now respect precedence. +0.7.0.3 [2015-01-03] +-------------------- +* GHC 7.10 support -Changes in 1.1.0.0 - * GHC8.4 compatibility release. Semigroup instances added and - semigroup dependency added for GHC7.10 +0.7.0.0 [2014-08-15] +-------------------- +* Type level addition for unary numbers added +* `concat` function added +* More consistent naming for functions for working with `Fun` -Changes in 1.0.0.0 - * Vector length now expressed as GHC's type level literals. Underlying - implementation still uses Peano numbers to perform induction. This doesn't - change user facing API much. Notably `FlexibleInstances` and - `GADTs`/`TypeFamiles` are now required to write `Arity` constraint. +0.6.4.0 [2014-04-15] +-------------------- +* Isomorphism between Peano numbers and Nat added. (GHC >= 7.8) - * `Monad` constraint is relaxed to `Applicative` where applicable. Duplicate - functions are removed (`sequence` & `sequenceA` → `sequence`, etc) - * Module `Data.Vector.Fixed.Monomorphic` is dropped. +0.6.3.1 [2014-03-12] +-------------------- +* Documentation fixes. - * Construction of N-ary vectors reworked. `Make` type class is gone. - * Boxed arrays now use SmallArrays internally. +0.6.3.0 [2014-02-22] +-------------------- +* Left scans added. - * `overlaps` is removed from API for mutable vectors. - * `Data.Vector.Fixed.defaultRnf` is added. +0.6.2.0 [2014-02-07] +-------------------- +* `Vec1` type synonym for boxed/unboxed/etc. vectors added. +* Vector instance for Data.Typeable.Proxy (GHC >= 7.8) - * `Data.Vector.Fixed.Mutable.lengthI` is dropped. -Changes in 0.9.0.0 +0.6.1.1 [2014-02-04] +-------------------- +* GHC 7.8 support - * Simplification of `Arity` type class. This change shouldn't affect client - code. - * Support for GHC < 7.8 is droppped. +0.6.1.0 [2014-01-24] +-------------------- +* `distribute` `collect` and their monadic variants added. - * Fixed bug in `any`. +0.6.0.0 [2013-11-17] +-------------------- +* Data instance for all array-based vectors added. +* Storable instance added for `Storable.Vec`. +* Monoid instances added for all vectors. -Changes in 0.8.1.0 +0.5.1.0 [2013-08-06] +-------------------- +* Zero-element vector `Empty'`is added. - * `find` function added. +0.5.0.0 [2013-08-02] +-------------------- +* `ContVec` now behaves like normal vector. `Arity` type class is + reworked. `Id` data type is removed. +* Construction of vector reworked. +* `reverse`, `snoc`, `consV`, `fold` and `foldMap` are added. +* Type changing maps and zips are added. +* Vector indexing with type level numbers is added. +* Twan van Laarhoven's lens added. (`element` and `elementTy`) +* Ord instances added to vector data types defined in the library. -Changes in 0.8.0.0 - * NFData instances for all data type. +0.4.4.0 [2013-06-13] +-------------------- +* Functor and Applicative instances are added to Id. - * Storable instances for all data types and default implementation of - Storable's methods added. - * {i,}zipWith3 and {i,}zipWithM_ added. +0.4.3.0 [2013-05-18] +-------------------- +* Typeable instance for S and Z added. -Changes in 0.7.0.3 +0.4.2.0 [2013-05-01] +-------------------- +* 1-tuple `Only` added. +* `fromList'` and fromListM added. +* apply functions from Arity type class generalized. - * GHC 7.10 support +0.4.1.0 [2013-04-29] +-------------------- +* `cons` function added. +* Getter for `Fun` data type added. -Changes in 0.7.0.0 - * Type level addition for unary numbers added +0.4.0.0 [2013-04-04] +-------------------- +* Wrapper for monomorphics vectors is added. +* `VecList` is reimplemented as GADT and constructors are exported. +* Constructor of `ContVecT` is exported +* Empty `ContVecT` is implemented as `empty`. +* Typeable, Foldable and Traversable instances are added where + appropriate - * `concat` function added - * More consistent naming for functions for working with `Fun` +0.3.0.0 [2013-03-06] +-------------------- +* Vector type class definition is moved to the D.V.F.Cont module. +* Indexing function restored. +* `unfoldr` added. -Changes in 0.6.4.0 +0.2.0.0 [2013-02-10] +-------------------- +* Continuation-based vector added. +* Right fold added. +* tailWith, convertContinuation, and ! from + Data.Vector.Fixed removed. +* Vector instance for tuples added. - * Isomorphism between Peano numbers and Nat added. (GHC >= 7.8) +0.1.2 [2013-01-26] +------------------ +* imap, imapM, ifoldl, ifoldM, zipWithM, izipWithM + functions are added. +* VectorN type class added. -Changes in 0.6.3.1 - * Documentation fixes. - - -Changes in 0.6.3.0 - - * Left scans added. - - -Changes in 0.6.2.0 - - * `Vec1` type synonym for boxed/unboxed/etc. vectors added. - - * Vector instance for Data.Typeable.Proxy (GHC >= 7.8) - - -Changes in 0.6.1.1 - - * GHC 7.8 support - - -Changes in 0.6.1.0 - - * `distribute` `collect` and their monadic variants added. - - -Changes in 0.6.0.0 - - * Data instance for all array-based vectors added. - - * Storable instance added for `Storable.Vec`. - - * Monoid instances added for all vectors. - - -Changes in 0.5.1.0 - - * Zero-element vector `Empty'`is added. - - -Changes in 0.5.0.0 - - * `ContVec` now behaves like normal vector. `Arity` type class is - reworked. `Id' data type is removed. - - * Construction of vector reworked. - - * `reverse`, `snoc`, `consV`, `fold` and `foldMap` are added. - - * Type changing maps and zips are added. - - * Vector indexing with type level numbers is added. - - * Twan van Laarhoven's lens added. (`element` and `elementTy`) - - * Ord instances added to vector data types defined in the library. - - -Changes in 0.4.4.0 - - * Functor and Applicative instances are added to Id. - - -Changes in 0.4.3.0 - - * Typeable instance for S and Z added. - - -Changes in 0.4.2.0 - - * 1-tuple `Only` added. - - * `fromList'` and fromListM added. - - * apply functions from Arity type class generalized. - - -Changes in 0.4.1.0 - - * `cons` function added. - - * Getter for `Fun` data type added. - - -Changes in 0.4.0.0 - - * Wrapper for monomorphics vectors is added. - - * `VecList` is reimplemented as GADT and constructors are exported. - - * Constructor of `ContVecT` is exported - - * Empty `ContVecT` is implemented as `empty`. - - * Typeable, Foldable and Traversable instances are added where - appropriate - - -Changes in 0.3.0.0 - - * Vector type class definition is moved to the D.V.F.Cont module. - - * Indexing function restored. - - * `unfoldr` added. - - -Changes in 0.2.0.0 - - * Continuation-based vector added. - - * Right fold added. - - * tailWith, convertContinuation, and ! from - Data.Vector.Fixed removed. - - * Vector instance for tuples added. - - -Changes in 0.1.2 - - * imap, imapM, ifoldl, ifoldM, zipWithM, izipWithM - functions are added. - - * VectorN type class added. - - -Changes in 0.1.1 - - * foldM and tailWith added. Type synonyms for numbers up to 6 are - added. Fun is reexported from Data.Vector.Fixed. +0.1.1 [2012-11-29] +------------------ +* foldM and tailWith added. Type synonyms for numbers up to 6 are + added. Fun is reexported from Data.Vector.Fixed.