Struct nar::syntax::abs::AbsCodataInfo

pub struct AbsCodataInfo {
    pub source: Loc,
    pub self_ref: Option<Ident>,
    pub name: Ident,
    pub fields: Vec<GI>,
    pub level: Level,
    pub tele: AbsTele,
}

Fields

source: Loc

self_ref: Option<Ident>

name: Ident

fields: Vec<GI>

level: Level

tele: AbsTele

Methods

impl AbsCodataInfo

pub fn new(
    source: Loc,
    name: Ident,
    me: Option<Ident>,
    level: Level,
    tele: AbsTele,
    fields: Vec<GI>
) -> Self

Trait Implementations

impl Clone for AbsCodataInfo

fn clone(&self) -> AbsCodataInfo

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for AbsCodataInfo

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

Formats the value using the given formatter.

impl Eq for AbsCodataInfo

impl PartialEq<AbsCodataInfo> for AbsCodataInfo

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

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

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

This method tests for !=.

impl StructuralEq for AbsCodataInfo

impl StructuralPartialEq for AbsCodataInfo

impl ToLoc for AbsCodataInfo

fn loc(&self) -> Loc

Access the location information.