Trait vstd::string::StringExecFns
source · pub trait StringExecFns: Sized {
// Required methods
exec fn from_str<'a>(s: &'a str) -> String;
exec fn append<'a, 'b>(&'a mut self, other: &'b str);
exec fn concat<'b>(self, other: &'b str) -> String;
exec fn from_rust_string(self) -> String;
exec fn into_rust_string(self) -> String;
exec fn as_rust_string_ref(&self) -> &String;
}
Required Methods§
Object Safety§
This trait is not object safe.
Implementations on Foreign Types§
source§impl StringExecFns for String
impl StringExecFns for String
source§exec fn from_str<'a>(s: &'a str) -> ret : String
exec fn from_str<'a>(s: &'a str) -> ret : String
ensures
s@ == ret@,
s.is_ascii() == ret.is_ascii(),
source§exec fn append<'a, 'b>(&'a mut self, other: &'b str)
exec fn append<'a, 'b>(&'a mut self, other: &'b str)
ensures
self@ == old(self)@ + other@,
self.is_ascii() == old(self).is_ascii() && other.is_ascii(),
source§exec fn concat<'b>(self, other: &'b str) -> ret : String
exec fn concat<'b>(self, other: &'b str) -> ret : String
ensures
ret@ == self@ + other@,
ret.is_ascii() == self.is_ascii() && other.is_ascii(),