2.0.0.0 [2025.07.10] ------------------ * 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. * In `ArityPeano` type class methods `reverseF` and `gunfoldF` are replaced with more general `accumPeano` and `reducePeano`. * `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. * `Data.Vector.Fixed.Cont.arity` dropped. * Type of `D.V.F.Cont.withFun` generalized. * Type class `VectorN` dropped. Use `QuantifiedConstraints` instead. * Show instance now has form `[...]` instead of `fromList [...]`. * `ViaFixed` newtype wrapper for deriving instances is added. `StorableViaFixed` is removed. * `Data.Vector.Fixed.Storable.unsafeWith` ensures that pointer won't get GC'd while function runs. * `Data.Vector.Fixed.sequenceA` is deprecated in favor of `sequence`. * `foldl'` and `ifoldl'` functions added. * Implement `sum` as in terms of `foldl'`. 1.2.3.0 [2023-10-31] -------------------- * Pattern `V1` added * `COMPLETE` pragmas added for patterns `V1`,`V2`,`V3`,`V4` 1.2.2.1 [2022-12-29] -------------------- * Newtype `StorableViaFixed` for deriving `Storable` instances added. 1.2.1.1 [2022-12-26] -------------------- * Fixed bug in `any` (#18) 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. 1.2.0.0 [2018-09-02] -------------------- * `Show` instance for data type now respect precedence. 1.1.0.0 [2018-03-11] -------------------- * GHC8.4 compatibility release. Semigroup instances added and semigroup dependency added for GHC7.10 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. 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`. 0.8.1.0 [2015-08-27] -------------------- * `find` function 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. 0.7.0.3 [2015-01-03] -------------------- * GHC 7.10 support 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` 0.6.4.0 [2014-04-15] -------------------- * Isomorphism between Peano numbers and Nat added. (GHC >= 7.8) 0.6.3.1 [2014-03-12] -------------------- * Documentation fixes. 0.6.3.0 [2014-02-22] -------------------- * Left scans 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) 0.6.1.1 [2014-02-04] -------------------- * GHC 7.8 support 0.6.1.0 [2014-01-24] -------------------- * `distribute` `collect` and their monadic variants added. 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. 0.5.1.0 [2013-08-06] -------------------- * Zero-element vector `Empty'`is 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. 0.4.4.0 [2013-06-13] -------------------- * Functor and Applicative instances are added to Id. 0.4.3.0 [2013-05-18] -------------------- * Typeable instance for S and Z added. 0.4.2.0 [2013-05-01] -------------------- * 1-tuple `Only` added. * `fromList'` and fromListM added. * apply functions from Arity type class generalized. 0.4.1.0 [2013-04-29] -------------------- * `cons` function added. * Getter for `Fun` data type 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 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. 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. 0.1.2 [2013-01-26] ------------------ * imap, imapM, ifoldl, ifoldM, zipWithM, izipWithM functions are added. * VectorN type class added. 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.