Trait sandkiste::types::HasStringMap

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

    // Provided method
    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