fixed-vector-hetero

Library for working with product types generically

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

LTS Haskell 20.25:	0.6.1.1
Stackage Nightly 2023-06-10:	0.6.1.1
Latest on Hackage:	0.6.1.1

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

Module documentation for 0.6.1.1

Data
- Data.Vector
  - Data.Vector.HFixed

Depends on 4 packages(full list with versions):

base, deepseq, fixed-vector, primitive

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