Struct AbsClause

pub struct AbsClause {
    pub source: Loc,
    pub name: Ident,
    pub patterns: Vec<AbsCopat>,
    pub definition: GI,
    pub body: Abs,
}

Clause information in abstract syntax. Agda.

Fields

source: Loc

name: Ident

Name of the function we’re adding clause to.

patterns: Vec<AbsCopat>

Lhs.

definition: GI

Index of the type signature definition.

body: Abs

Rhs.

Implementations

impl AbsClause

pub fn new( source: Loc, name: Ident, patterns: Vec<AbsCopat>, definition: GI, body: Abs, ) -> Self

Trait Implementations

impl Clone for AbsClause

fn clone(&self) -> AbsClause

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AbsClause

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

Formats the value using the given formatter.

impl PartialEq for AbsClause

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

fn loc(&self) -> Loc

Access the location information.

impl Eq for AbsClause

impl StructuralPartialEq for AbsClause