Enum minitt::syntax::GenericTelescope

pub enum GenericTelescope<Value: Clone> {
    Nil,
    UpDec(Rc<Self>, Declaration),
    UpVar(Rc<Self>, Pattern, Value),
}

Generic definition for two kinds of telescopes.
Value can be specialized with Value or NormalExpression.

Implementing Eq because of NormalExpression

Variants

NilUpDec(Rc<Self>, Declaration)UpVar(Rc<Self>, Pattern, Value)

Trait Implementations

impl<Value: PartialEq + Clone> PartialEq<GenericTelescope<Value>> for GenericTelescope<Value>

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

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

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

This method tests for !=.

impl<Value: Clone + Clone> Clone for GenericTelescope<Value>

fn clone(&self) -> GenericTelescope<Value>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Value: Eq + Clone> Eq for GenericTelescope<Value>

impl Display for GenericTelescope<NormalExpression>

Actually it's for NeutralTelescope

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

Formats the value using the given formatter.

impl<Value: Debug + Clone> Debug for GenericTelescope<Value>

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

Formats the value using the given formatter.