Trait StringExecFns 

pub trait StringExecFns: Sized {
    // Required methods
    fn from_str<'a>(s: &'a str) -> String;
    fn append<'a, 'b>(&'a mut self, other: &'b str);
    fn concat<'b>(self, other: &'b str) -> String;
}

Required Methods

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

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

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".

Implementations on Foreign Types

impl StringExecFns for String

Available on crate feature alloc and non-verus_verify_core only.

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

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

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

Implementors