Struct Touch 

pub struct Touch {
    pub effect: Effect,
    pub escapes: bool,
}

What a function does to the object one parameter points at.

Fields

effect: Effect

What happens to the bytes.

escapes: bool

Whether the address itself ends up somewhere the caller cannot see, which is what stops the caller reasoning about the object after the call returns.

Implementations

impl Touch

pub fn nothing() -> Self

Never touched and never kept.

pub fn everything() -> Self

Written and kept, which is what an unknown callee does to what it is handed.

pub fn and_then(self, other: Self) -> Self

Both of these happened.

pub fn as_well_as(self, other: Self) -> Self

Both of these are true of the same parameter, so the tighter one is.

Trait Implementations

impl Clone for Touch

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for Touch

impl Debug for Touch

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Touch

fn default() -> Self

Returns the “default value” for a type.

impl Eq for Touch

impl PartialEq for Touch

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Touch