Trait FieldGetter 

pub trait FieldGetter<Context, Tag> {
    type Value;

    // Required method
    fn get_field(context: &Context, _tag: PhantomData<Tag>) -> &Self::Value;
}

Required Associated Types

type Value

Required Methods

fn get_field(context: &Context, _tag: PhantomData<Tag>) -> &Self::Value

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<Context, OutTag, Tag, Value> FieldGetter<Context, OutTag> for UseFieldRef<Tag, Value>

where Context: HasField<Tag>, <Context as HasField<Tag>>::Value: AsRef<Value> + 'static,

type Value = Value

impl<Context, OutTag, Tag, Value> FieldGetter<Context, OutTag> for UseField<Tag>

where Context: HasField<Tag, Value = Value>,

type Value = Value

impl<Context, Tag> FieldGetter<Context, Tag> for ChainGetters<ε>

type Value = Context

impl<Context, Tag, Field> FieldGetter<Context, Tag> for UseContext

where Context: HasField<Tag, Value = Field>,

type Value = Field

impl<Context, Tag, Getter, RestGetters, ValueA, ValueB> FieldGetter<Context, Tag> for ChainGetters<π<Getter, RestGetters>>

where Getter: FieldMapper<Context, Tag, Value = ValueA>, ChainGetters<RestGetters>: FieldGetter<ValueA, Tag, Value = ValueB>,

type Value = ValueB