Struct minitt::ast::GenericCaseTree

pub struct GenericCaseTree<ValueExpression, ValueInScope: Clone> {
    pub branches: Box<GenericBranch<ValueExpression>>,
    pub environment: Box<TelescopeRc<ValueInScope>>,
}

Generic definition for three kinds of case trees

Fields

branches: Box<GenericBranch<ValueExpression>>

environment: Box<TelescopeRc<ValueInScope>>

Methods

impl<Expr, Value: Clone> GenericCaseTree<Expr, Value>

pub fn new(
    branches: Box<GenericBranch<Expr>>,
    environment: Box<TelescopeRc<Value>>
) -> Self

pub fn boxing(
    branches: GenericBranch<Expr>,
    environment: TelescopeRc<Value>
) -> Self

pub fn destruct(self) -> (GenericBranch<Expr>, TelescopeRc<Value>)

Trait Implementations

impl<ValueExpression: Eq, ValueInScope: Eq + Clone> Eq for GenericCaseTree<ValueExpression, ValueInScope>

impl<ValueExpression: PartialEq, ValueInScope: PartialEq + Clone> PartialEq<GenericCaseTree<ValueExpression, ValueInScope>> for GenericCaseTree<ValueExpression, ValueInScope>

fn eq(&self, other: &GenericCaseTree<ValueExpression, ValueInScope>) -> bool

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

fn ne(&self, other: &GenericCaseTree<ValueExpression, ValueInScope>) -> bool

This method tests for !=.

impl<ValueExpression: Clone, ValueInScope: Clone + Clone> Clone for GenericCaseTree<ValueExpression, ValueInScope>

fn clone(&self) -> GenericCaseTree<ValueExpression, ValueInScope>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Expr: Display, Value: Clone + Display> Display for GenericCaseTree<Expr, Value>

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

Formats the value using the given formatter.

impl<ValueExpression: Debug, ValueInScope: Debug + Clone> Debug for GenericCaseTree<ValueExpression, ValueInScope>

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

Formats the value using the given formatter.