Enum DeclareState

pub enum DeclareState {
    Empty,
    Declared(usize, Type),
    Declaring(HashMap<usize, Type>),
}

Variants

Empty

Declared(usize, Type)

Declaring(HashMap<usize, Type>)

Implementations

impl DeclareState

pub fn alives<'t, A, T: 't>(&'t self, gidx: GroupIdx, active: A) -> T

where A: FnOnce(&mut dyn Iterator<Item = (Branch, &'t Type)>) -> T,

Trait Implementations

impl Clone for DeclareState

fn clone(&self) -> DeclareState

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for DeclareState

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

Formats the value using the given formatter.

impl From<(usize, Type)> for DeclareState

fn from((v1, v2): (usize, Type)) -> Self

Converts to this type from the input type.

impl From<HashMap<usize, Type>> for DeclareState

fn from(v: HashMap<usize, Type>) -> Self

Converts to this type from the input type.

impl FromIterator<(usize, Type)> for DeclareState

fn from_iter<T: IntoIterator<Item = (usize, Type)>>(iter: T) -> Self

Creates a value from an iterator.

impl FromIterator<Type> for DeclareState

fn from_iter<T: IntoIterator<Item = Type>>(iter: T) -> Self

Creates a value from an iterator.