Struct creusot_contracts::std::str::pattern::CharArrayRefSearcher

pub struct CharArrayRefSearcher<'a, 'b, 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, 'b, const N: usize> Clone for CharArrayRefSearcher<'a, 'b, N>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

Formats the value using the given formatter.

impl<'a, 'b, const N: usize> ReverseSearcher<'a> for CharArrayRefSearcher<'a, 'b, 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, 'b, const N: usize> Searcher<'a> for CharArrayRefSearcher<'a, 'b, 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, 'b, const N: usize> DoubleEndedSearcher<'a> for CharArrayRefSearcher<'a, 'b, N>