vstd::string

Trait 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;
}

Required Methods§

Source

exec fn from_str<'a>(s: &'a str) -> String

Source

exec fn append<'a, 'b>(&'a mut self, other: &'b str)

Source

exec fn concat<'b>(self, other: &'b str) -> String

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§

Source§

impl StringExecFns for String

Source§

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)

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

ensures
ret@ == self@ + other@,
ret.is_ascii() == self.is_ascii() && other.is_ascii(),

Implementors§