Skip to main content

Pattern

Enum Pattern 

Source
pub enum Pattern {
    MatchValue(PatternMatchValue),
    MatchSingleton(PatternMatchSingleton),
    MatchSequence(PatternMatchSequence),
    MatchMapping(PatternMatchMapping),
    MatchClass(PatternMatchClass),
    MatchStar(PatternMatchStar),
    MatchAs(PatternMatchAs),
    MatchOr(PatternMatchOr),
}
Expand description

See also pattern

Variants§

Implementations§

Source§

impl Pattern

Source

pub const fn is_match_value(&self) -> bool

Source

pub fn match_value(self) -> Option<PatternMatchValue>

Source

pub fn expect_match_value(self) -> PatternMatchValue

Source

pub fn as_match_value_mut(&mut self) -> Option<&mut PatternMatchValue>

Source

pub fn as_match_value(&self) -> Option<&PatternMatchValue>

Source

pub const fn is_match_singleton(&self) -> bool

Source

pub fn match_singleton(self) -> Option<PatternMatchSingleton>

Source

pub fn expect_match_singleton(self) -> PatternMatchSingleton

Source

pub fn as_match_singleton_mut(&mut self) -> Option<&mut PatternMatchSingleton>

Source

pub fn as_match_singleton(&self) -> Option<&PatternMatchSingleton>

Source

pub const fn is_match_sequence(&self) -> bool

Source

pub fn match_sequence(self) -> Option<PatternMatchSequence>

Source

pub fn expect_match_sequence(self) -> PatternMatchSequence

Source

pub fn as_match_sequence_mut(&mut self) -> Option<&mut PatternMatchSequence>

Source

pub fn as_match_sequence(&self) -> Option<&PatternMatchSequence>

Source

pub const fn is_match_mapping(&self) -> bool

Source

pub fn match_mapping(self) -> Option<PatternMatchMapping>

Source

pub fn expect_match_mapping(self) -> PatternMatchMapping

Source

pub fn as_match_mapping_mut(&mut self) -> Option<&mut PatternMatchMapping>

Source

pub fn as_match_mapping(&self) -> Option<&PatternMatchMapping>

Source

pub const fn is_match_class(&self) -> bool

Source

pub fn match_class(self) -> Option<PatternMatchClass>

Source

pub fn expect_match_class(self) -> PatternMatchClass

Source

pub fn as_match_class_mut(&mut self) -> Option<&mut PatternMatchClass>

Source

pub fn as_match_class(&self) -> Option<&PatternMatchClass>

Source

pub const fn is_match_star(&self) -> bool

Source

pub fn match_star(self) -> Option<PatternMatchStar>

Source

pub fn expect_match_star(self) -> PatternMatchStar

Source

pub fn as_match_star_mut(&mut self) -> Option<&mut PatternMatchStar>

Source

pub fn as_match_star(&self) -> Option<&PatternMatchStar>

Source

pub const fn is_match_as(&self) -> bool

Source

pub fn match_as(self) -> Option<PatternMatchAs>

Source

pub fn expect_match_as(self) -> PatternMatchAs

Source

pub fn as_match_as_mut(&mut self) -> Option<&mut PatternMatchAs>

Source

pub fn as_match_as(&self) -> Option<&PatternMatchAs>

Source

pub const fn is_match_or(&self) -> bool

Source

pub fn match_or(self) -> Option<PatternMatchOr>

Source

pub fn expect_match_or(self) -> PatternMatchOr

Source

pub fn as_match_or_mut(&mut self) -> Option<&mut PatternMatchOr>

Source

pub fn as_match_or(&self) -> Option<&PatternMatchOr>

Source§

impl Pattern

Source

pub fn is_irrefutable(&self) -> bool

Checks if the Pattern is an irrefutable pattern.

Source

pub fn irrefutable_pattern(&self) -> Option<IrrefutablePattern>

Return Some(IrrefutablePattern) if self is irrefutable or None otherwise.

Source

pub fn is_wildcard(&self) -> bool

Checks if the Pattern is a wildcard pattern.

The following are wildcard patterns:

match subject:
    case _ as x: ...
    case _ | _: ...
    case _: ...

Trait Implementations§

Source§

impl Clone for Pattern

Source§

fn clone(&self) -> Pattern

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for Pattern

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter. Read more
Source§

impl<'a> From<&'a Pattern> for AnyNodeRef<'a>

Source§

fn from(node: &'a Pattern) -> AnyNodeRef<'a>

Converts to this type from the input type.
Source§

impl<'a> From<&'a Pattern> for AnyRootNodeRef<'a>

Source§

fn from(node: &'a Pattern) -> AnyRootNodeRef<'a>

Converts to this type from the input type.
Source§

impl<'a> From<&'a Pattern> for ComparablePattern<'a>

Source§

fn from(pattern: &'a Pattern) -> ComparablePattern<'a>

Converts to this type from the input type.
Source§

impl<'a> From<&'a Pattern> for PatternRef<'a>

Source§

fn from(node: &'a Pattern) -> PatternRef<'a>

Converts to this type from the input type.
Source§

impl From<PatternMatchAs> for Pattern

Source§

fn from(node: PatternMatchAs) -> Pattern

Converts to this type from the input type.
Source§

impl From<PatternMatchClass> for Pattern

Source§

fn from(node: PatternMatchClass) -> Pattern

Converts to this type from the input type.
Source§

impl From<PatternMatchMapping> for Pattern

Source§

fn from(node: PatternMatchMapping) -> Pattern

Converts to this type from the input type.
Source§

impl From<PatternMatchOr> for Pattern

Source§

fn from(node: PatternMatchOr) -> Pattern

Converts to this type from the input type.
Source§

impl From<PatternMatchSequence> for Pattern

Source§

fn from(node: PatternMatchSequence) -> Pattern

Converts to this type from the input type.
Source§

impl From<PatternMatchSingleton> for Pattern

Source§

fn from(node: PatternMatchSingleton) -> Pattern

Converts to this type from the input type.
Source§

impl From<PatternMatchStar> for Pattern

Source§

fn from(node: PatternMatchStar) -> Pattern

Converts to this type from the input type.
Source§

impl From<PatternMatchValue> for Pattern

Source§

fn from(node: PatternMatchValue) -> Pattern

Converts to this type from the input type.
Source§

impl GetSize for Pattern

Source§

fn get_heap_size(&self) -> usize

Determines how many bytes this object occupies inside the heap. Read more
Source§

fn get_heap_size_with_tracker<TRACKER>( &self, tracker: TRACKER, ) -> (usize, TRACKER)
where TRACKER: GetSizeTracker,

Determines how many bytes this object occupies inside the heap while using a tracker. Read more
Source§

fn get_stack_size() -> usize

Determines how may bytes this object occupies inside the stack. Read more
Source§

fn get_size(&self) -> usize

Determines the total size of the object. Read more
Source§

fn get_size_with_tracker<T>(&self, tracker: T) -> (usize, T)
where T: GetSizeTracker,

Determines the total size of the object while using a tracker. Read more
Source§

impl HasNodeIndex for Pattern

Source§

fn node_index(&self) -> &AtomicNodeIndex

Returns the AtomicNodeIndex for this node.
Source§

impl PartialEq for Pattern

Source§

fn eq(&self, other: &Pattern) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl Ranged for Pattern

Source§

fn range(&self) -> TextRange

The range of this item in the source text.
Source§

fn start(&self) -> TextSize

The start offset of this item in the source text.
Source§

fn end(&self) -> TextSize

The end offset of this item in the source text.
Source§

impl<'a> TryFrom<AnyRootNodeRef<'a>> for &'a Pattern

Source§

type Error = ()

The type returned in the event of a conversion error.
Source§

fn try_from(node: AnyRootNodeRef<'a>) -> Result<&'a Pattern, ()>

Performs the conversion.
Source§

impl StructuralPartialEq for Pattern

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

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

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

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

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

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

Source§

fn exact_from(value: T) -> U

Source§

impl<T, U> ExactInto<U> for T
where U: ExactFrom<T>,

Source§

fn exact_into(self) -> U

Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

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

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<T, U> OverflowingInto<U> for T
where U: OverflowingFrom<T>,

Source§

impl<T, U> RoundingInto<U> for T
where U: RoundingFrom<T>,

Source§

impl<T, U> SaturatingInto<U> for T
where U: SaturatingFrom<T>,

Source§

impl<T> ToDebugString for T
where T: Debug,

Source§

fn to_debug_string(&self) -> String

Returns the String produced by Ts Debug implementation.

§Examples
use malachite_base::strings::ToDebugString;

assert_eq!([1, 2, 3].to_debug_string(), "[1, 2, 3]");
assert_eq!(
    [vec![2, 3], vec![], vec![4]].to_debug_string(),
    "[[2, 3], [], [4]]"
);
assert_eq!(Some(5).to_debug_string(), "Some(5)");
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

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

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

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

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<T, U> WrappingInto<U> for T
where U: WrappingFrom<T>,

Source§

fn wrapping_into(self) -> U

Source§

impl<T> PyThreadingConstraint for T