Struct minitt::ast::GenericCase

pub struct GenericCase<Expression, Value: Clone> {
    pub expression: Expression,
    pub context: TelescopeRc<Value>,
}

Generic definition for three kinds of case trees

Fields

expression: Expression

context: TelescopeRc<Value>

Implementations

impl<Expression, Value: Clone> GenericCase<Expression, Value>

pub fn new(expression: Expression, context: TelescopeRc<Value>) -> Self

impl GenericCase<Either<Value, Expression>, Value>

pub fn reduce_to_value(self) -> Value

Trait Implementations

impl<Expression: Clone, Value: Clone> Clone for GenericCase<Expression, Value>

fn clone(&self) -> GenericCase<Expression, Value>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Expression: Debug, Value: Debug + Clone> Debug for GenericCase<Expression, Value>

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

Formats the value using the given formatter.

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

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

Formats the value using the given formatter.

impl<Expression: Eq, Value: Eq + Clone> Eq for GenericCase<Expression, Value>

impl<Expression: PartialEq, Value: PartialEq + Clone> PartialEq<GenericCase<Expression, Value>> for GenericCase<Expression, Value>

fn eq(&self, other: &GenericCase<Expression, Value>) -> bool

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

fn ne(&self, other: &GenericCase<Expression, Value>) -> bool

This method tests for !=.

impl<Expression, Value: Clone> StructuralEq for GenericCase<Expression, Value>

impl<Expression, Value: Clone> StructuralPartialEq for GenericCase<Expression, Value>