Struct creusot_contracts::std::str::pattern::CharPredicateSearcher

pub struct CharPredicateSearcher<'a, F>(/* private fields */)
where
    F: FnMut(char) -> bool;

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

Associated type for <F as Pattern>::Searcher<'a>.

Trait Implementations

impl<'a, F> Clone for CharPredicateSearcher<'a, F>

where F: Clone + FnMut(char) -> bool,

fn clone(&self) -> CharPredicateSearcher<'a, F>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F> Debug for CharPredicateSearcher<'_, F>

where F: FnMut(char) -> bool,

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

Formats the value using the given formatter.

impl<'a, F> ReverseSearcher<'a> for CharPredicateSearcher<'a, F>

where F: FnMut(char) -> bool,

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, F> Searcher<'a> for CharPredicateSearcher<'a, F>

where F: FnMut(char) -> bool,

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, F> DoubleEndedSearcher<'a> for CharPredicateSearcher<'a, F>

where F: FnMut(char) -> bool,