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.

Implementations on Foreign Types

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

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

type Value = Field

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

Implementors

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

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

type Value = Value

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

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

type Value = Value

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

type Value = Context

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

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

type Value = ValueB