Struct erg_compiler::hir::Decl

pub struct Decl {
    pub sig: Signature,
    pub t: Type,
}

represents a declaration of a variable necessary for type field declaration

Fields

sig: Signature

t: Type

Implementations

impl Decl

pub const fn spec_t(&self) -> &Type

pub const fn is_sub(&self) -> bool

Trait Implementations

impl Clone for Decl

fn clone(&self) -> Decl

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Decl

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

Formats the value using the given formatter.

impl Display for Decl

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

Formats the value using the given formatter.

impl HasType for Decl

fn ref_t(&self) -> &Type

fn ref_mut_t(&mut self) -> &mut Type

fn signature_t(&self) -> Option<&Type>

fn signature_mut_t(&mut self) -> Option<&mut Type>

fn t(&self) -> Type

fn inner_ts(&self) -> Vec<Type, Global>

fn lhs_t(&self) -> &Type

fn rhs_t(&self) -> &Type

impl Locational for Decl

fn loc(&self) -> Location

fn ln_begin(&self) -> Option<usize>

fn ln_end(&self) -> Option<usize>

fn col_begin(&self) -> Option<usize>

fn col_end(&self) -> Option<usize>

impl NestedDisplay for Decl

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