Trait tfhe_versionable::VersionizeSlice

pub trait VersionizeSlice: Sized {
    type VersionedSlice<'vers>: Serialize
       where Self: 'vers;

    // Required method
    fn versionize_slice(slice: &[Self]) -> Self::VersionedSlice<'_>;
}

This trait is used as a proxy to be more felxible when deriving Versionize for Vec.

This way, we can chose to skip versioning Vec if T is a native types but still versionize in a loop if T is a custom type. This is used as a workaround for feature(specialization) and to bypass the orphan rule.

Required Associated Types

type VersionedSlice<'vers>: Serialize where Self: 'vers

Required Methods

fn versionize_slice(slice: &[Self]) -> Self::VersionedSlice<'_>

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<T: Versionize, U: Versionize> VersionizeSlice for (T, U)

type VersionedSlice<'vers> = Vec<(<T as Versionize>::Versioned<'vers>, <U as Versionize>::Versioned<'vers>)> where T: 'vers, U: 'vers

fn versionize_slice(slice: &[Self]) -> Self::VersionedSlice<'_>

impl<T: Versionize, U: Versionize, V: Versionize> VersionizeSlice for (T, U, V)

type VersionedSlice<'vers> = Vec<(<T as Versionize>::Versioned<'vers>, <U as Versionize>::Versioned<'vers>, <V as Versionize>::Versioned<'vers>)> where T: 'vers, U: 'vers, V: 'vers

fn versionize_slice(slice: &[Self]) -> Self::VersionedSlice<'_>

Implementors

impl<T: NotVersioned + Serialize + DeserializeOwned + Clone> VersionizeSlice for T

type VersionedSlice<'vers> = &'vers [T] where T: 'vers