Enum TypeFlow 

pub enum TypeFlow {
    Void,
    Scalar(TypeId),
    Bubble(TypeId),
}

Data flow through an expression.

Variants

Void

Transparent, produces nothing.

Scalar(TypeId)

Opaque single value that doesn’t bubble (scope boundary).

Bubble(TypeId)

Struct type whose fields bubble to parent scope.

Implementations

impl TypeFlow

pub fn is_void(&self) -> bool

pub fn is_scalar(&self) -> bool

pub fn is_bubble(&self) -> bool

pub fn type_id(&self) -> Option<TypeId>

Trait Implementations

impl Clone for TypeFlow

fn clone(&self) -> TypeFlow

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeFlow

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

Formats the value using the given formatter.