Struct nar::syntax::abs::decl::AbsDataInfo

pub struct AbsDataInfo {
    pub source: Loc,
    pub name: Ident,
    pub level: Level,
    pub tele: AbsTele,
    pub conses: Vec<GI>,
}

Fields

source: Loc

name: Ident

level: Level

tele: AbsTele

conses: Vec<GI>

Methods

impl AbsDataInfo

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

Trait Implementations

impl Clone for AbsDataInfo

fn clone(&self) -> AbsDataInfo

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for AbsDataInfo

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

Formats the value using the given formatter.

impl Eq for AbsDataInfo

impl PartialEq<AbsDataInfo> for AbsDataInfo

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

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

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

This method tests for !=.

impl StructuralEq for AbsDataInfo

impl StructuralPartialEq for AbsDataInfo

impl ToLoc for AbsDataInfo

fn loc(&self) -> Loc

Access the location information.