Trait mz_compute::render::errors::MaybeValidatingRow

pub(super) trait MaybeValidatingRow<T, E>:
    ExchangeData
    + Columnation
    + Hash {
    // Required methods
    fn ok(t: T) -> Self;
    fn into_error() -> Option<fn(_: E) -> Self>;
}

Used to make possibly-validating code generic: think of this as a kind of MaybeResult, specialized for use in compute. Validation code will only run when the error constructor is Some.

Required Methods

fn ok(t: T) -> Self

fn into_error() -> Option<fn(_: E) -> Self>

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<E> MaybeValidatingRow<(), E> for ()

fn ok(t: ()) -> Self

fn into_error() -> Option<fn(_: E) -> Self>

impl<E> MaybeValidatingRow<Row, E> for Row

fn ok(t: Row) -> Self

fn into_error() -> Option<fn(_: E) -> Self>

impl<E, R> MaybeValidatingRow<Vec<R>, E> for Vec<R>

where R: ExchangeData + Columnation + Hash,

fn ok(t: Vec<R>) -> Self

fn into_error() -> Option<fn(_: E) -> Self>

impl<T, E> MaybeValidatingRow<T, E> for Result<T, E>

where T: ExchangeData + Columnation + Hash, E: ExchangeData + Columnation + Hash,

fn ok(row: T) -> Self

fn into_error() -> Option<fn(_: E) -> Self>

Implementors