Trait sandkiste::types::HasStringMap
source · 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>> { ... }
}
Expand description
Machine
s, which have string-map-like types
Required Methods§
sourcefn new_empty_string_map<'b>(
&'b self
) -> Result<Self::Datum<'b, 'static>, MachineError>
fn new_empty_string_map<'b>( &'b self ) -> Result<Self::Datum<'b, 'static>, MachineError>
Create datum that is an empty string map
Provided Methods§
sourcefn 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>>,
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