Trait mem_query::record::FromExternalRecord

pub trait FromExternalRecord<'a>: Sized {
    type Cols: Header;
    fn from_ext_rec_raw(rec: impl ExternalRecord<'a, Cols = Self::Cols>) -> Self;

    fn from_ext_rec<H>(rec: impl ExternalRecord<'a, Cols = H>) -> Self
    where
        H: Header,
        Self::Cols: ProjectFrom<H>,
    { ... }
}

Associated Types

type Cols: Header

Required methods

fn from_ext_rec_raw(rec: impl ExternalRecord<'a, Cols = Self::Cols>) -> Self

Provided methods

fn from_ext_rec<H>(rec: impl ExternalRecord<'a, Cols = H>) -> Self where
    H: Header,
    Self::Cols: ProjectFrom<H>, 

Implementations on Foreign Types

impl<'a> FromExternalRecord<'a> for ()

type Cols = HNil

fn from_ext_rec_raw(_: impl ExternalRecord<'a, Cols = Self::Cols>) -> Self

impl<'a, R: FromExternalRecord<'a>> FromExternalRecord<'a> for (R,)

type Cols = R::Cols

fn from_ext_rec_raw(r: impl ExternalRecord<'a, Cols = Self::Cols>) -> Self

impl<'a, A, B, H> FromExternalRecord<'a> for (A, B) where
    A: FromExternalRecord<'a>,
    B: FromExternalRecord<'a>,
    HCons<Union, HCons<Quote<A::Cols>, HCons<Quote<B::Cols>, HNil>>>: Eval<Result = H>,
    H: Header, 

type Cols = H

fn from_ext_rec_raw(r: impl ExternalRecord<'a, Cols = H>) -> Self

impl<'a, A, B, C, HH: Header> FromExternalRecord<'a> for (A, B, C) where
    (A, (B, C)): FromExternalRecord<'a, Cols = HH>, 

type Cols = HH

fn from_ext_rec_raw(r: impl ExternalRecord<'a, Cols = HH>) -> Self

impl<'a> FromExternalRecord<'a> for HNil

type Cols = HNil

fn from_ext_rec_raw(_: impl ExternalRecord<'a, Cols = Self::Cols>) -> Self

impl<'a, H, T> FromExternalRecord<'a> for HCons<H, T> where
    H: FromExternalRecord<'a>,
    H: ColProxy,
    T: FromExternalRecord<'a>,
    HCons<H::For, T::Cols>: Header, 

type Cols = HCons<H::For, T::Cols>

fn from_ext_rec_raw(rec: impl ExternalRecord<'a, Cols = Self::Cols>) -> Self

Implementors

impl<'a, Cols: Header> FromExternalRecord<'a> for ErasedExtRecord<'a, Cols>

type Cols = Cols

fn from_ext_rec_raw(r: impl ExternalRecord<'a, Cols = Cols>) -> Self