Struct TermInfo 

pub struct TermInfo {
    pub arity: Arity,
    pub flow: TypeFlow,
}

Combined arity and type flow information for an expression.

Fields

arity: Arity

How many times this expression matches (one vs many).

flow: TypeFlow

What data flows through this expression.

Implementations

impl TermInfo

pub fn new(arity: Arity, flow: TypeFlow) -> Self

pub fn void() -> Self

pub fn node() -> Self

pub fn scalar(arity: Arity, type_id: TypeId) -> Self

pub fn bubble(arity: Arity, struct_type_id: TypeId) -> Self

Trait Implementations

impl Clone for TermInfo

fn clone(&self) -> TermInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TermInfo

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

Formats the value using the given formatter.