Trait sandkiste::types::HasStringMap

pub trait HasStringMap<'a>: Machine<'a> {
    fn new_empty_string_map<'b>(
        &'b self
    ) -> Result<Self::Datum<'b, 'static>, MachineError>;

    fn new_string_map<'b, 'c, 'd, I>(
        &'b self,
        entries: I
    ) -> Result<Self::Datum<'b, 'static>, MachineError>
    where
        I: IntoIterator<Item = (&'d str, Self::Datum<'b, 'c>)>,
        for<'e> <Self as Machine<'a>>::Datum<'b, 'static>: MaybeStringMap<Value<'e> = <Self as Machine<'a>>::Datum<'b, 'e>>,
    { ... }
}

Machines, which have string-map-like types

Required Methods

fn new_empty_string_map<'b>(
    &'b self
) -> Result<Self::Datum<'b, 'static>, MachineError>

Create datum that is an empty string map

Provided Methods

fn new_string_map<'b, 'c, 'd, I>(
    &'b self,
    entries: I
) -> Result<Self::Datum<'b, 'static>, MachineError>where
    I: IntoIterator<Item = (&'d str, Self::Datum<'b, 'c>)>,
    for<'e> <Self as Machine<'a>>::Datum<'b, 'static>: MaybeStringMap<Value<'e> = <Self as Machine<'a>>::Datum<'b, 'e>>,

Create datum that is a string map

Implementors