Enum OwnershipRole 

pub enum OwnershipRole {
    GiveObject,
    GiveRecipient,
    ShowObject,
    ShowRecipient,
    LetBinding,
    SetTarget,
    ZoneLocal,
}

Semantic role of a variable in LOGOS ownership semantics.

Variants

GiveObject

The object being moved in “Give X to Y”

GiveRecipient

The recipient in “Give X to Y”

ShowObject

The object being borrowed in “Show X to Y”

ShowRecipient

The recipient in “Show X to Y”

LetBinding

A Let-bound variable

SetTarget

Target of a Set statement

ZoneLocal

Variable allocated inside a Zone

Trait Implementations

impl Clone for OwnershipRole

fn clone(&self) -> OwnershipRole

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OwnershipRole

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

Formats the value using the given formatter.

impl PartialEq for OwnershipRole

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for OwnershipRole

impl Eq for OwnershipRole

impl StructuralPartialEq for OwnershipRole