fixed-vector-hetero

Library for working with product types generically

http://github.org/Shimuuar/fixed-vector-hetero

Version on this page:0.6.2.0
LTS Haskell 23.27:0.6.2.0
Stackage Nightly 2025-07-12:0.7.0.0
Latest on Hackage:0.7.0.0

See all snapshotsfixed-vector-hetero appears in

BSD-3-Clause licensed and maintainedbyAleksey Khudyakov
This version can be pinned in stack with:fixed-vector-hetero-0.6.2.0@sha256:23a848ed0b158a15d6327080a8a70bbae06b93ce80ff7a39277a4063513673ee,1877

Library allow to work with arbitrary product types in genericmanner. They could be constructed, destucted, converted providedthey are product of identical types.

Changes

Changes in 0.6.2.0

  • GHC 9.10 compatibility

Changes in 0.6.1.1

  • doctests are marked as non-buildable on GHC9.0 & 9.2

Changes in 0.6.1.0

  • foldMap,foldMapF,foldMapNatF is added

  • GHC 9.0.1 compatibility

Changes in 0.6.0.0

  • Type classTyLookup andtyLookup &tyLookupF added for lookup up fieldby its type.

  • :&&: type class for composing constraints added

  • Data.Vector.HFixed.fold removed since it was completely unusable

  • index andset fromData.Vector.HFixed use GHC’s Nats for indexing

  • Documentation improvements and doctests test suite

Changes in 0.5.0.0

  • GHC8.4 compatibility release. Semigroup instance is added for HVec

  • ClassesArity,ArityC, andHVectorF are now polykinded

Changes in 0.4.0.0

  • Major rework of API.Fun andTFun are unified.Fun ~ TFun Identity.Type classArityC now contain special variants ofaccum andarity instead of building data structure containing all necessary dictionaries.

  • Monad constraints now relaxed toApplicative where appropriate

  • Most functions now have 3 variants: typeclass-based forHVector,typeclass-based forHVectorF and ones that use natural transformations forHVectorF. Some have been renamed to get consistent naming.

  • Support for GHC 7.10 is dropped

  • HVecF definition is moved toData.Vector.HFixed.HVec

Changes in 0.3.1.2

  • Fix build for GHC 8.2

Changes in 0.3.1.0

  • Fix build for GHC 8.0

Changes in 0.3.1.0

  • replicateF added

  • type signature of zipMonoF generalized

Changes in 0.3.0.0

  • HVector instances up to 32-element tuples

  • asCVec function added

  • ContVec reexported from Data.Vector.HFixed

Changes in 0.2.0.0

  • Type changing lenses added

  • zipMonoF added

  • types of monomorphize and monomorphizeF corrected