Struct InvariantFormCandidates 

pub struct InvariantFormCandidates { /* private fields */ }

Invariant search result that preserves both matching candidates and explicit failure evidence.

Implementations

impl InvariantFormCandidates

pub fn iter(&self) -> impl Iterator<Item = &InvariantFormCandidate>

Returns the matching candidates in stable search order.

pub fn as_slice(&self) -> &[InvariantFormCandidate]

Returns the matching candidates as a slice.

pub fn unsatisfied(&self) -> Option<&UnsatisfiedInvariantRequest>

Returns explicit unsatisfied evidence when no candidate matched.

Trait Implementations

impl Clone for InvariantFormCandidates

fn clone(&self) -> InvariantFormCandidates

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InvariantFormCandidates

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

Formats the value using the given formatter.

impl Eq for InvariantFormCandidates

impl PartialEq for InvariantFormCandidates

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for InvariantFormCandidates