[][src]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: Expressioncontext: TelescopeRc<Value>

Methods

impl<Expression, Value: Clone> GenericCase<Expression, Value>[src]

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

impl GenericCase<Either<Value, Expression>, Value>[src]

pub fn reduce_to_value(self) -> Value[src]

Trait Implementations

impl<Expression: Clone, Value: Clone + Clone> Clone for GenericCase<Expression, Value>[src]

default fn clone_from(&mut self, source: &Self)
1.0.0
[src]

Performs copy-assignment from source. Read more

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

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

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

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

Auto Trait Implementations

impl<Expression, Value> !Send for GenericCase<Expression, Value>

impl<Expression, Value> !Sync for GenericCase<Expression, Value>

Blanket Implementations

impl<T, U> Into for T where
    U: From<T>, 
[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

impl<T> ToString for T where
    T: Display + ?Sized
[src]

impl<T> From for T[src]

impl<T, U> TryFrom for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T> Borrow for T where
    T: ?Sized
[src]

impl<T> BorrowMut for T where
    T: ?Sized
[src]

impl<T, U> TryInto for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<T> Any for T where
    T: 'static + ?Sized
[src]