Struct Unit

pub struct Unit {
    pub head: UnitHead,
    pub body: Option<Loc<Expression>>,
}

Fields

head: UnitHead

body: Option<Loc<Expression>>

The body is an expression for ID assignment purposes, but semantic analysis ensures that it is always a block. If body is None, the entity is extern.

Trait Implementations

impl Clone for Unit

fn clone(&self) -> Unit

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Unit

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

Formats the value using the given formatter.

impl PartialEq for Unit

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl WithLocation for Unit

fn at(self, file_id: usize, span: &impl HasCodespan) -> Loc<Self>

where Self: Sized,

fn at_loc<T>(self, loc: &Loc<T>) -> Loc<Self>

Creates a new Loc from another Loc

fn between( self, file_id: usize, start: &impl HasCodespan, end: &impl HasCodespan, ) -> Loc<Self>

fn between_locs<T, Y>(self, start: &Loc<T>, end: &Loc<Y>) -> Loc<Self>

fn nowhere(self) -> Loc<Self>

where Self: Sized,

impl StructuralPartialEq for Unit