Struct creusot_contracts::std::str::pattern::CharArraySearcher

pub struct CharArraySearcher<'a, const N: usize>(/* private fields */);

🔬This is a nightly-only experimental API. (pattern)

Associated type for <[char; N] as Pattern>::Searcher<'a>.

Trait Implementations

impl<'a, const N: usize> Clone for CharArraySearcher<'a, N>

fn clone(&self) -> CharArraySearcher<'a, N>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a, const N: usize> Debug for CharArraySearcher<'a, N>

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

Formats the value using the given formatter.

impl<'a, const N: usize> ReverseSearcher<'a> for CharArraySearcher<'a, N>

fn next_back(&mut self) -> SearchStep

🔬This is a nightly-only experimental API. (pattern)

Performs the next search step starting from the back.

fn next_match_back(&mut self) -> Option<(usize, usize)>

🔬This is a nightly-only experimental API. (pattern)

Finds the next Match result. See next_back().

fn next_reject_back(&mut self) -> Option<(usize, usize)>

🔬This is a nightly-only experimental API. (pattern)

Finds the next Reject result. See next_back().

impl<'a, const N: usize> Searcher<'a> for CharArraySearcher<'a, N>

fn haystack(&self) -> &'a str

🔬This is a nightly-only experimental API. (pattern)

Getter for the underlying string to be searched in

fn next(&mut self) -> SearchStep

🔬This is a nightly-only experimental API. (pattern)

Performs the next search step starting from the front.

fn next_match(&mut self) -> Option<(usize, usize)>

🔬This is a nightly-only experimental API. (pattern)

Finds the next Match result. See next().

fn next_reject(&mut self) -> Option<(usize, usize)>

🔬This is a nightly-only experimental API. (pattern)

Finds the next Reject result. See next() and next_match().

impl<'a, const N: usize> DoubleEndedSearcher<'a> for CharArraySearcher<'a, N>