Trait VectorEncodingSize 

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

    // Required methods
    fn flatten(
        polys: Array<Array<u8, <Self as EncodingSize>::EncodedPolynomialSize>, K>,
    ) -> Array<u8, <Self as VectorEncodingSize<K>>::EncodedVectorSize>;
    fn unflatten(
        vec: &Array<u8, <Self as VectorEncodingSize<K>>::EncodedVectorSize>,
    ) -> Array<&Array<u8, <Self as EncodingSize>::EncodedPolynomialSize>, K>;
}

An integer that can describe encoded vectors.

Required Associated Types

type EncodedVectorSize: ArraySize

Required Methods

fn flatten( polys: Array<Array<u8, <Self as EncodingSize>::EncodedPolynomialSize>, K>, ) -> Array<u8, <Self as VectorEncodingSize<K>>::EncodedVectorSize>

fn unflatten( vec: &Array<u8, <Self as VectorEncodingSize<K>>::EncodedVectorSize>, ) -> Array<&Array<u8, <Self as EncodingSize>::EncodedPolynomialSize>, K>

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