Data.Vector.HFixed.HVec

Heterogeneous vector parametric in its elements

Generic heterogeneous vector

data HVec xs

Generic heterogeneous vector

Instances

ArityC Eq xs => Eq (HVec xs)

(ArityC Ord xs, Eq (HVec xs)) => Ord (HVec xs)

ArityC Show xs => Show (HVec xs)

ArityC Monoid xs => Monoid (HVec xs)

ArityC NFData xs => NFData (HVec xs)

Arity xs => HVector (HVec xs)

type Elems (HVec xs) = xs

Mutable heterogeneous vector

data MutableHVec s xs

Generic mutable heterogeneous vector.

newMutableHVec :: forall m xs. (PrimMonad m, Arity xs) => m (MutableHVec (PrimState m) xs)

Create new uninitialized heterogeneous vector.

unsafeFreezeHVec :: PrimMonad m => MutableHVec (PrimState m) xs -> m (HVec xs)

Convert mutable vector to immutable one. Mutable vector must not be modified after that.

Indices

readMutableHVec :: (PrimMonad m, Index n xs, Arity xs) => MutableHVec (PrimState m) xs -> n -> m (ValueAt n xs)

Read value at statically known index.

writeMutableHVec :: (PrimMonad m, Index n xs, Arity xs) => MutableHVec (PrimState m) xs -> n -> ValueAt n xs -> m ()

Write value at statically known index

modifyMutableHVec :: (PrimMonad m, Index n xs, Arity xs) => MutableHVec (PrimState m) xs -> n -> (ValueAt n xs -> ValueAt n xs) -> m ()

Apply function to value at statically known index.

modifyMutableHVec' :: (PrimMonad m, Index n xs, Arity xs) => MutableHVec (PrimState m) xs -> n -> (ValueAt n xs -> ValueAt n xs) -> m ()

Strictly apply function to value at statically known index.