[][src]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


branches: Box<GenericBranch<ValueExpression>>environment: Box<TelescopeRc<ValueInScope>>


impl<Expr, Value: Clone> GenericCaseTree<Expr, Value>[src]

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>)[src]

Trait Implementations

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

impl<ValueExpression: Clone, ValueInScope: Clone + Clone> Clone for GenericCaseTree<ValueExpression, ValueInScope>[src]

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

Performs copy-assignment from source. Read more

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

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

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

Auto Trait Implementations

impl<ValueExpression, ValueInScope> !Send for GenericCaseTree<ValueExpression, ValueInScope>

impl<ValueExpression, ValueInScope> !Sync for GenericCaseTree<ValueExpression, ValueInScope>

Blanket Implementations

impl<T, U> Into for T where
    U: From<T>, 

impl<T> ToOwned for T where
    T: Clone

type Owned = T

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

impl<T> From for T[src]

impl<T, U> TryFrom for T where
    U: Into<T>, 

type Error = Infallible

The type returned in the event of a conversion error.

impl<T> Borrow for T where
    T: ?Sized

impl<T> BorrowMut for T where
    T: ?Sized

impl<T, U> TryInto for T where
    U: TryFrom<T>, 

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