vector-heterogenous-0.1.2: A type-safe library for vectors whose elements can be of any type, or any type satisfying some constraints

Safe HaskellNone

Data.Vector.Heterogenous.Unsafe

Documentation

newtype UnsafeHVector xs Source

Constructors

UnsafeHVector (Vector UnsafeBox) 

Instances

Show (ShowIndex (UnsafeHVector k a)) => Show (UnsafeHVector k a) 

unhvec :: (UnsafeHVectorWriter a, HLength a) => a -> UnsafeHVector aSource