[−][src]Enum minitt::syntax::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 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 Eq 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 PartialEq<Pattern> for Pattern
[src]
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 Display for Pattern
[src]
impl Debug for Pattern
[src]
Auto Trait Implementations
Blanket Implementations
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> ToString for T where
T: Display + ?Sized,
[src]
T: Display + ?Sized,
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> 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>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,