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§

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

source

exec fn from_rust_string(self) -> String

👎Deprecated: from_rust_string is no longer necessary
source

exec fn into_rust_string(self) -> String

👎Deprecated: into_rust_string is no longer necessary
source

exec fn as_rust_string_ref(&self) -> &String

👎Deprecated: as_rust_string_ref is no longer necessary

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@ == 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(),
source§

exec fn from_rust_string(self) -> String

👎Deprecated: from_rust_string is no longer necessary
source§

exec fn into_rust_string(self) -> String

👎Deprecated: into_rust_string is no longer necessary
source§

exec fn as_rust_string_ref(&self) -> &String

👎Deprecated: as_rust_string_ref is no longer necessary

Implementors§