Trait TypedVec 

pub trait TypedVec: AnyVec {
    type I: VecIndex;
    type T: VecValue;
}

A vector with statically-known index and value types.

This trait extends AnyVec by providing associated types for the index (I) and value (T) types, enabling type-safe operations at compile time.

Type Parameters

• I: The index type, must implement VecIndex
• T: The value type, must implement VecValue

Required Associated Types

type I: VecIndex

The index type used to address elements in this vector.

type T: VecValue

The value type stored in this vector.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<I, O, S1I, S2T, S1T, Strat> TypedVec for LazyAggVec<I, O, S1I, S2T, S1T, Strat>

where I: VecIndex, O: VecValue, S1I: VecIndex, S2T: VecValue, S1T: VecValue, Strat: 'static,

type I = I

type T = O

impl<I, S, T, Op> TypedVec for LazyDeltaVec<I, S, T, Op>

where I: VecIndex, S: VecValue, T: VecValue, Op: DeltaOp<S, T>,

type I = I

type T = T

impl<I, T, S1I, S1T> TypedVec for LazyVec<I, T, S1I, S1T>

where I: VecIndex, T: VecValue, S1I: VecIndex, S1T: VecValue,

type I = I

type T = T

impl<I, T, S> TypedVec for ReadOnlyCompressedVec<I, T, S>

where I: VecIndex, T: VecValue, S: CompressionStrategy<T>,

type I = I

type T = T

impl<I, T, S> TypedVec for ReadOnlyRawVec<I, T, S>

where I: VecIndex, T: VecValue, S: RawStrategy<T>,

type I = I

type T = T

impl<I, T, S> TypedVec for ReadWriteRawVec<I, T, S>

where I: VecIndex, T: VecValue, S: RawStrategy<T>,

type I = I

type T = T

impl<I, T> TypedVec for BytesVec<I, T>

where I: VecIndex, T: BytesVecValue,

type I = I

type T = T

impl<I, T> TypedVec for LZ4Vec<I, T>

where I: VecIndex, T: LZ4VecValue,

type I = I

type T = T

impl<I, T> TypedVec for PcoVec<I, T>

where I: VecIndex, T: PcoVecValue,

type I = I

type T = T

impl<I, T> TypedVec for ZeroCopyVec<I, T>

where I: VecIndex, T: ZeroCopyVecValue,

type I = I

type T = T

impl<I, T> TypedVec for ZstdVec<I, T>

where I: VecIndex, T: ZstdVecValue,

type I = I

type T = T

impl<V: TypedVec> TypedVec for CachedVec<V>

type I = <V as TypedVec>::I

type T = <V as TypedVec>::T

impl<V> TypedVec for EagerVec<V>

where V: StoredVec,

type I = <V as TypedVec>::I

type T = <V as TypedVec>::T