Trait concrete_core::specification::engines::CleartextVectorRetrievalEngine

pub trait CleartextVectorRetrievalEngine<CleartextVector, Value>: AbstractEnginewhere
    CleartextVector: CleartextVectorEntity,{
    fn retrieve_cleartext_vector(
        &mut self,
        cleartext: &CleartextVector
    ) -> Result<Vec<Value>, CleartextVectorRetrievalError<Self::EngineError>>;
    unsafe fn retrieve_cleartext_vector_unchecked(
        &mut self,
        cleartext: &CleartextVector
    ) -> Vec<Value>;
}

A trait for engines retrieving arbitrary values from cleartext vectors.

Semantics

This pure operation generates a vec of arbitrary values from the input cleartext vector. By arbitrary here, we mean that Value can be any type that suits the backend implementor (an integer, a struct wrapping integers, a struct wrapping foreign data or any other thing).

Formal Definition

Required Methods

fn retrieve_cleartext_vector(
    &mut self,
    cleartext: &CleartextVector
) -> Result<Vec<Value>, CleartextVectorRetrievalError<Self::EngineError>>

Retrieves arbitrary values from a cleartext vector.

unsafe fn retrieve_cleartext_vector_unchecked(
    &mut self,
    cleartext: &CleartextVector
) -> Vec<Value>

Unsafely retrieves arbitrary values from a cleartext vector.

Safety

For the general safety concerns regarding this operation, refer to the different variants of CleartextVectorRetrievalError. For safety concerns specific to an engine, refer to the implementer safety section.

Implementors

impl CleartextVectorRetrievalEngine<CleartextVector32, u32> for DefaultEngine

Description:

Implementation of CleartextVectorRetrievalEngine for DefaultEngine that operates on 64 bits integers.

impl CleartextVectorRetrievalEngine<CleartextVector64, u64> for DefaultEngine

Description:

Implementation of CleartextVectorRetrievalEngine for DefaultEngine that operates on 32 bits integers.

impl CleartextVectorRetrievalEngine<CleartextVectorF64, f64> for DefaultEngine

Description:

Implementation of CleartextVectorRetrievalEngine for DefaultEngine that operates on 64 bits floating point numbers.