Trait xylem::Xylem

pub trait Xylem<S: Schema + ?Sized>: Sized + 'static {
    type From: Sized;
    type Args: Default;
    fn convert_impl(
        from: Self::From, 
        context: &mut <S as Schema>::Context, 
        args: &Self::Args
    ) -> Result<Self, <S as Schema>::Error>;

    fn convert(
        from: Self::From, 
        context: &mut <S as Schema>::Context, 
        args: &Self::Args
    ) -> Result<Self, <S as Schema>::Error> { ... }
}

Implementors of this trait have a special conversion rule under the schema Schema.

Associated Types

type From: Sized

The type to convert from.

type Args: Default

The args provided in the field.

The type must be a struct that implements Default, allowing the macro to instantiate it in the following format:

Args {
   key1: value1,
   key2: value2,
   ..Default::default()
}

where the macro has the field attribute #[xylem(key1 = value1, key2 = value2)].

Required methods

fn convert_impl(
    from: Self::From,
    context: &mut <S as Schema>::Context,
    args: &Self::Args
) -> Result<Self, <S as Schema>::Error>

The implementation of the conversion.

Provided methods

fn convert(
    from: Self::From,
    context: &mut <S as Schema>::Context,
    args: &Self::Args
) -> Result<Self, <S as Schema>::Error>

Converts the From type to the Self type, registering the scope with the context. Do not override this method.

Implementations on Foreign Types

impl<S: BoxSchemaExt, T: Xylem<S>> Xylem<S> for Box<T>

type From = Box<T::From>

type Args = <T as Xylem<S>>::Args

fn convert_impl(
    from: Self::From,
    context: &mut S::Context,
    args: &Self::Args
) -> Result<Self, S::Error>

impl<S: RcSchemaExt, T: Xylem<S>> Xylem<S> for Rc<T>

type From = Box<T::From>

type Args = <T as Xylem<S>>::Args

fn convert_impl(
    from: Self::From,
    context: &mut S::Context,
    args: &Self::Args
) -> Result<Self, S::Error>

impl<S: ArcSchemaExt, T: Xylem<S>> Xylem<S> for Arc<T>

type From = Box<T::From>

type Args = <T as Xylem<S>>::Args

fn convert_impl(
    from: Self::From,
    context: &mut S::Context,
    args: &Self::Args
) -> Result<Self, S::Error>

impl<S: OptionSchemaExt, T: Xylem<S>> Xylem<S> for Option<T>

type From = Option<T::From>

type Args = <T as Xylem<S>>::Args

fn convert_impl(
    from: Self::From,
    context: &mut S::Context,
    args: &Self::Args
) -> Result<Self, S::Error>

impl<S: VecSchemaExt, T: Xylem<S>> Xylem<S> for Vec<T>

type From = Vec<T::From>

type Args = <T as Xylem<S>>::Args

fn convert_impl(
    from: Self::From,
    context: &mut S::Context,
    args: &Self::Args
) -> Result<Self, S::Error>

impl<S: HashMapSchemaExt, K: Xylem<S>, V: Xylem<S>> Xylem<S> for HashMap<K, V> where
    K: Eq + Hash,
    K::From: Eq + Hash,
    <V as Xylem<S>>::Args: Default, 

type From = HashMap<K::From, V::From>

type Args = <V as Xylem<S>>::Args

fn convert_impl(
    from: Self::From,
    context: &mut S::Context,
    args: &Self::Args
) -> Result<Self, S::Error>

impl<S: BTreeMapSchemaExt, K: Xylem<S>, V: Xylem<S>> Xylem<S> for BTreeMap<K, V> where
    K: Eq + Ord,
    K::From: Eq + Ord,
    <V as Xylem<S>>::Args: Default, 

type From = BTreeMap<K::From, V::From>

type Args = <V as Xylem<S>>::Args

fn convert_impl(
    from: Self::From,
    context: &mut S::Context,
    args: &Self::Args
) -> Result<Self, S::Error>

impl<S> Xylem<S> for () where
    S: Schema, 

The unit type is used as the dummy type for the root scope.

type From = ()

type Args = NoArgs

fn convert_impl(
    _: Self::From,
    _: &mut <S as Schema>::Context,
    _: &Self::Args
) -> Result<Self, <S as Schema>::Error>

Implementors

impl<S: Schema, X: Identifiable<S>> Xylem<S> for Id<S, X>

type From = String

type Args = IdArgs

impl<S: Schema, X: Identifiable<S>> Xylem<S> for IdString<S, X>

type From = ()

type Args = NoArgs