Safe Haskell | None |
---|
Heterogenous vectors. For more info on heterogenous collections, see http://www.haskell.org/haskellwiki/Heterogenous_collections
- newtype HVector box xs = HVector {}
- vec :: (HLength (HList xs), Downcast (HList xs) box) => (a -> box) -> HList xs -> HVector box (xs :: [*])
- class (Downcast (HList xs) box, HLength (HList xs), HListBuilder (Indexer (HVector box xs)) (HList xs)) => ValidHVector box xs
- toHList :: HListBuilder (Indexer (HVector box xs)) ys => HVector box xs -> ys
- module Data.Vector.Heterogenous.HList
- module Data.Vector.Heterogenous.Unsafe