vector-heterogenous-0.0.1: A type-safe library for vectors whose elements can be of any type, or any type satisfying some constraints
Data.Vector.Heterogenous
Description
Heterogenous vectors. For more info on heterogenous collections, see http://www.haskell.org/haskellwiki/Heterogenous_collections
Synopsis
newtype HVector box xs Source
Constructors
Fields
Instances
vec :: (HLength (HList xs), Downcast (HList xs) box) => (a -> box) -> HList xs -> HVector box (xs :: [*])Source
creates an HVector from an HList. For example:
module Data.Vector.Heterogenous.HList
module Data.Vector.Heterogenous.Unsafe