Enum AbsDecl 

pub enum AbsDecl {
    Data(AbsDataInfo),
    Cons(AbsConsInfo),
    Proj(AbsProjInfo),
    Defn(AbsDefnInfo),
    Clause(AbsClause),
    Codata(AbsCodataInfo),
}

Declaration. Agda.

Variants

Data(AbsDataInfo)

Datatypes.

Cons(AbsConsInfo)

Datatype constructors.

Proj(AbsProjInfo)

Coinductive record projections.

Defn(AbsDefnInfo)

Function signature definition.

Clause(AbsClause)

Pattern matching clause.

Codata(AbsCodataInfo)

Coinductive records.

Implementations

impl AbsDecl

pub fn decl_name(&self) -> &Ident

Trait Implementations

impl Clone for AbsDecl

fn clone(&self) -> AbsDecl

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AbsDecl

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

Formats the value using the given formatter.

impl Eq for AbsDecl

impl PartialEq for AbsDecl

fn eq(&self, other: &AbsDecl) -> 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 StructuralPartialEq for AbsDecl

impl ToLoc for AbsDecl

fn loc(&self) -> Loc

Access the location information.