Enum FrameHoleKind 

pub enum FrameHoleKind {
    Ref,
    Term,
    Choice,
    Path,
    Number,
    Prose,
}

Hole kind for a typed BRIDGE frame slot.

Variants

Ref

A reference to another packet part or external object.

Term

A symbolic term.

Choice

A closed choice token.

Path

A structured path.

Number

A numeric value.

Prose

Prose data that must be rendered through a fence.

Implementations

impl FrameHoleKind

pub fn shape_expr(self) -> Expr

Shape descriptor for values accepted by this hole kind.

Trait Implementations

impl Clone for FrameHoleKind

fn clone(&self) -> FrameHoleKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for FrameHoleKind

impl Debug for FrameHoleKind

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

Formats the value using the given formatter.

impl Eq for FrameHoleKind

impl PartialEq for FrameHoleKind

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for FrameHoleKind