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)

Methods

(==) :: HVec xs -> HVec xs -> Bool

(/=) :: HVec xs -> HVec xs -> Bool

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

Methods

compare :: HVec xs -> HVec xs -> Ordering

(<) :: HVec xs -> HVec xs -> Bool

(<=) :: HVec xs -> HVec xs -> Bool

(>) :: HVec xs -> HVec xs -> Bool

(>=) :: HVec xs -> HVec xs -> Bool

max :: HVec xs -> HVec xs -> HVec xs

min :: HVec xs -> HVec xs -> HVec xs

ArityC Show xs => Show (HVec xs)

Methods

showsPrec :: Int -> HVec xs -> ShowS

show :: HVec xs -> String

showList :: [HVec xs] -> ShowS

ArityC Monoid xs => Monoid (HVec xs)

Methods

mempty :: HVec xs

mappend :: HVec xs -> HVec xs -> HVec xs

mconcat :: [HVec xs] -> HVec xs

ArityC NFData xs => NFData (HVec xs)

Methods

rnf :: HVec xs -> ()

Arity xs => HVector (HVec xs)

Associated Types

type Elems (HVec xs) :: [*]

Methods

construct :: Fun (Elems (HVec xs)) (HVec xs)

inspect :: HVec xs -> Fun (Elems (HVec xs)) a -> a

type Elems (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.