Struct xpct::core::Matcher

pub struct Matcher<'a, In, PosOut, NegOut = PosOut> { /* private fields */ }

A matcher.

This type is a matcher that can be used to make assertions. You can create a matcher from any type which implements Match or TransformMatch.

Implementations

impl<'a, Actual> Matcher<'a, Actual, Actual>

pub fn new<M, Fmt>(matcher: M, format: Fmt) -> Selfwhere M: Match<Actual> + 'a, Fmt: MatcherFormat<Pos = M::Fail, Neg = M::Fail> + 'a, Actual: 'a,

Create a new Matcher from a type that implements Match and a formatter.

pub fn neg<M, Fmt>(matcher: M, format: Fmt) -> Selfwhere M: Match<Actual> + 'a, Fmt: MatcherFormat<Pos = M::Fail, Neg = M::Fail> + 'a, Actual: 'a,

Same as new, but negates the matcher.

If you want to create a negated version of a matcher, such as a counterpart of equal called not_equal, you can use this method to do so.

impl<'a, In, PosOut, NegOut> Matcher<'a, In, PosOut, NegOut>

pub fn transform<M, Fmt>(matcher: M, format: Fmt) -> Selfwhere M: TransformMatch<In = In, PosOut = PosOut, NegOut = NegOut> + 'a, Fmt: MatcherFormat<Pos = M::PosFail, Neg = M::NegFail> + 'a,

Create a new Matcher from a type that implements TransformMatch and a formatter.

pub fn transform_neg<M, Fmt>(matcher: M, format: Fmt) -> Selfwhere M: TransformMatch<In = In, PosOut = NegOut, NegOut = PosOut> + 'a, Fmt: MatcherFormat<Pos = M::NegFail, Neg = M::PosFail> + 'a,

Same as transform, but negates the matcher.

See neg.

pub fn wrapped<Fmt>(self, format: Fmt) -> Selfwhere In: 'a, PosOut: 'a, NegOut: 'a, Fmt: MatcherFormat<Pos = FormattedFailure, Neg = FormattedFailure> + 'a,

Wrap this matcher with a new formatter.

pub fn into_box(self) -> BoxTransformMatch<'a, In, PosOut, NegOut>

Convert this matcher into a BoxTransformMatch.

Trait Implementations

impl<'a, In, PosOut, NegOut> Debug for Matcher<'a, In, PosOut, NegOut>

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

Formats the value using the given formatter.

impl<'a, In, PosOut, NegOut> DynTransformMatch for Matcher<'a, In, PosOut, NegOut>

type In = In

Same as TransformMatch::In.

type PosOut = PosOut

Same as TransformMatch::PosOut.

type NegOut = NegOut

Same as TransformMatch::NegOut.

fn match_pos( self: Box<Self>, actual: Self::In ) -> Result<MatchOutcome<Self::PosOut, FormattedFailure>>

An object-safe version of TransformMatch::match_pos.

fn match_neg( self: Box<Self>, actual: Self::In ) -> Result<MatchOutcome<Self::NegOut, FormattedFailure>>

An object-safe version of TransformMatch::match_neg.