[−][src]Enum minitt::ast::Pattern
Patt
in Mini-TT.
Variants
Pair(Box<Pattern>, Box<Pattern>)
Pair pattern. This sounds like trivial and useless, but we can achieve mutual recursion by using this pattern.
Unit
Unit pattern, used for introducing anonymous definitions.
Var(String)
Variable name pattern, the most typical pattern.
Methods
impl Pattern
[src]
pub fn contains(&self, name: &str) -> bool
[src]
inPat
in Mini-TT.
pub fn project(&self, name: &str, val: Value) -> Result<Value, String>
[src]
patProj
in Mini-TT.
Trait Implementations
impl Clone for Pattern
[src]
fn clone(&self) -> Pattern
[src]
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more
impl PartialEq<Pattern> for Pattern
[src]
impl PartialOrd<Pattern> for Pattern
[src]
fn partial_cmp(&self, other: &Pattern) -> Option<Ordering>
[src]
fn lt(&self, other: &Pattern) -> bool
[src]
fn le(&self, other: &Pattern) -> bool
[src]
fn gt(&self, other: &Pattern) -> bool
[src]
fn ge(&self, other: &Pattern) -> bool
[src]
impl Eq for Pattern
[src]
impl Ord for Pattern
[src]
fn cmp(&self, other: &Pattern) -> Ordering
[src]
fn max(self, other: Self) -> Self
1.21.0[src]
Compares and returns the maximum of two values. Read more
fn min(self, other: Self) -> Self
1.21.0[src]
Compares and returns the minimum of two values. Read more
impl Display for Pattern
[src]
impl Debug for Pattern
[src]
Auto Trait Implementations
Blanket Implementations
impl<T> ToString for T where
T: Display + ?Sized,
[src]
T: Display + ?Sized,
impl<T> From for T
[src]
impl<T, U> Into for T where
U: From<T>,
[src]
U: From<T>,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
impl<T, U> TryFrom for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T> Borrow for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> BorrowMut for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T, U> TryInto for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,