Struct minitt::ast::Declaration

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

Decl in Mini-TT. $D ::= p:A=M\ |\ \textsf{rec}\ p:A=M$

It's supposed to be an enum because it can be rec or non-rec, but for coding convenience I've made it a struct with a bool member (is_recursive) to indicate whether it's recursive.

Fields

pattern: Pattern

$p$ in syntax.

prefix_parameters: Vec<Typed>

This is an extension -- declarations can be prefixed with some parameters.

signature: Expression

$A$ in syntax.

body: Expression

$M$ in syntax.

is_recursive: bool

Whether the $\textsf{rec}$ is present.

Implementations

impl Declaration

pub fn new(
    pattern: Pattern,
    prefix_parameters: Vec<Typed>,
    signature: Expression,
    body: Expression,
    is_recursive: bool
) -> 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 Debug for Declaration

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

Formats the value using the given formatter.

impl Display for Declaration

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

Formats the value using the given formatter.

impl Eq for Declaration

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 StructuralEq for Declaration

impl StructuralPartialEq for Declaration