Trait VectorEncodingSize 

pub trait VectorEncodingSize<K>: EncodingSize
where
    K: ArraySize,
{
    type EncodedVectorSize: ArraySize;

    // Required methods
    fn flatten(
        polys: Array<EncodedPolynomial<Self>, K>,
    ) -> EncodedVector<Self, K>;
    fn unflatten(
        vec: &EncodedVector<Self, K>,
    ) -> Array<&EncodedPolynomial<Self>, K>;
}

An integer that can describe encoded vectors.

Required Associated Types

type EncodedVectorSize: ArraySize

Size of an encoded vector.

Required Methods

fn flatten(polys: Array<EncodedPolynomial<Self>, K>) -> EncodedVector<Self, K>

Flatten encoded polynomial array into encoded vector.

fn unflatten(vec: &EncodedVector<Self, K>) -> Array<&EncodedPolynomial<Self>, K>

Unflatten encoded vector into encoded polynomial array.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<D, K> VectorEncodingSize<K> for D

where D: EncodingSize, K: ArraySize, D::EncodedPolynomialSize: Mul<K>, Prod<D::EncodedPolynomialSize, K>: ArraySize + Div<K, Output = D::EncodedPolynomialSize> + Rem<K, Output = U0>,

type EncodedVectorSize = <<D as EncodingSize>::EncodedPolynomialSize as Mul<K>>::Output