Enum erg_compiler::ty::free::FreeKind

pub enum FreeKind<T> {
    Linked(T),
    UndoableLinked {
        t: T,
        previous: Box<FreeKind<T>>,
    },
    Unbound {
        id: Id,
        lev: Level,
        constraint: Constraint,
    },
    NamedUnbound {
        name: Str,
        lev: Level,
        constraint: Constraint,
    },
}

Variants

Linked(T)

UndoableLinked

Fields

t: T

previous: Box<FreeKind<T>>

Unbound

Fields

id: Id

lev: Level

constraint: Constraint

NamedUnbound

Fields

name: Str

lev: Level

constraint: Constraint

Implementations

impl<T> FreeKind<T>

pub const fn unbound(id: Id, lev: Level, constraint: Constraint) -> Self

pub fn new_unbound(lev: Level, constraint: Constraint) -> Self

pub const fn named_unbound(name: Str, lev: Level, constraint: Constraint) -> Self

pub const fn linked(&self) -> Option<&T>

pub fn linked_mut(&mut self) -> Option<&mut T>

Trait Implementations

impl<T: Clone> Clone for FreeKind<T>

fn clone(&self) -> FreeKind<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for FreeKind<T>

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

Formats the value using the given formatter.

impl<T: LimitedDisplay> Display for FreeKind<T>

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

Formats the value using the given formatter.

impl<T: Hash> Hash for FreeKind<T>

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<T: LimitedDisplay> LimitedDisplay for FreeKind<T>

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

impl<T: PartialEq> PartialEq<FreeKind<T>> for FreeKind<T>

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl<T: Eq> Eq for FreeKind<T>

impl<T> StructuralEq for FreeKind<T>