Struct nar::syntax::abs::decl::AbsConsInfo

pub struct AbsConsInfo {
    pub source: Loc,
    pub name: Ident,
    pub tele: AbsTele,
    pub data_ix: GI,
}

Fields

source: Loc

name: Ident

tele: AbsTele

data_ix: GI

Corresponding datatype's index.

Methods

impl AbsConsInfo

pub fn new(source: Loc, name: Ident, tele: AbsTele, data_index: GI) -> Self

Trait Implementations

impl Clone for AbsConsInfo

fn clone(&self) -> AbsConsInfo

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for AbsConsInfo

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

Formats the value using the given formatter.

impl Eq for AbsConsInfo

impl PartialEq<AbsConsInfo> for AbsConsInfo

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

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

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

This method tests for !=.

impl StructuralEq for AbsConsInfo

impl StructuralPartialEq for AbsConsInfo

impl ToLoc for AbsConsInfo

fn loc(&self) -> Loc

Access the location information.