Struct minitt::ast::Declaration

pub struct Declaration {
    pub pattern: Pattern,
    pub prefix_parameters: Vec<Typed>,
    pub signature: Expression,
    pub body: Expression,
    pub declaration_type: DeclarationType,
}

Decl in Mini-TT.

Fields

pattern: Pattern

prefix_parameters: Vec<Typed>

signature: Expression

body: Expression

declaration_type: DeclarationType

Methods

impl Declaration

pub fn new(
    pattern: Pattern,
    prefix_parameters: Vec<Typed>,
    signature: Expression,
    body: Expression,
    declaration_type: DeclarationType
) -> Self

Constructor

pub fn simple(
    pattern: Pattern,
    prefix_parameters: Vec<Typed>,
    signature: Expression,
    body: Expression
) -> Self

Non-recursive declarations

pub fn recursive(
    pattern: Pattern,
    prefix_parameters: Vec<Typed>,
    signature: Expression,
    body: Expression
) -> Self

Recursive declarations

Trait Implementations

impl Clone for Declaration

fn clone(&self) -> Declaration

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialEq<Declaration> for Declaration

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

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

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

This method tests for !=.

impl Eq for Declaration

impl Display for Declaration

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

Formats the value using the given formatter.

impl Debug for Declaration

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

Formats the value using the given formatter.