fixed-vector-hetero

Library for working with product types generically

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

Version on this page:0.6.1.1
LTS Haskell 23.0:0.6.2.0
Stackage Nightly 2024-12-09:0.6.2.0
Latest on Hackage:0.6.2.0

See all snapshots fixed-vector-hetero appears in

BSD-3-Clause licensed and maintained by Aleksey Khudyakov
This version can be pinned in stack with:fixed-vector-hetero-0.6.1.1@sha256:9b3a05fac4fff2a9f451eb00fe2e952a1ab1bf7344234541bf3225ec3b3c4546,1914

Library allow to work with arbitrary product types in generic manner. They could be constructed, destucted, converted provided they are product of identical types.

Changes

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 class TyLookup and tyLookup & tyLookupF added for lookup up field by its type.

  • :&&: type class for composing constraints added

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

  • index and set from Data.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

  • Classes Arity, ArityC, and HVectorF are now polykinded

Changes in 0.4.0.0

  • Major rework of API. Fun and TFun are unified. Fun ~ TFun Identity. Type class ArityC now contain special variants of accum and arity instead of building data structure containing all necessary dictionaries.

  • Monad constraints now relaxed to Applicative where appropriate

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

  • Support for GHC 7.10 is dropped

  • HVecF definition is moved to Data.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