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

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

Object Safety§

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.is_ascii() == ret.is_ascii(),
source§

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

ensures
@ == @ + @,
self.is_ascii() == old(self).is_ascii() && other.is_ascii(),
source§

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

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

Implementors§