[−][src]Enum minitt::ast::Pattern
Patt
in Mini-TT.
Variants
Pair(Box<Self>, Box<Self>)
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 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 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
fn clamp(self, min: Self, max: Self) -> Self
[src]
🔬 This is a nightly-only experimental API. (
clamp
)Returns max if self is greater than max, and min if self is less than min. Otherwise this will return self. Panics if min > max. Read more
impl Eq for Pattern
[src]
impl Display for Pattern
[src]
impl Debug for Pattern
[src]
Auto Trait Implementations
Blanket Implementations
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> From for T
[src]
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>,