Struct 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 duplicate 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 PartialEq for Declaration

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

impl StructuralPartialEq for Declaration