Struct ClaimBuilder 

pub struct ClaimBuilder<'a, T> { /* private fields */ }

Per-claim builder for scalar values. Produced by Verdict::claim (and the typed claim_<field> accessors generated by #[derive(Claim)]). Chain a comparator (at_least, at_most, lt, gt, between, eq, ne, is_finite, near) to record the outcome.

Implementations

impl<'a, T> ClaimBuilder<'a, T>

pub fn kind(self, kind: DetailKind) -> Self

Override the DetailKind used on failure. Defaults to DetailKind::Other; tests with a structural category set it here so downstream kind-based filters route the failure correctly.

pub fn because(self, reason: &'a str) -> Self

Attach a human-readable rationale appended to the failure message as (reason). No effect on the pass path. Use to record why the bound matters so a regression two months later carries original intent in its diagnostic.

impl<'a, T> ClaimBuilder<'a, T>

where T: PartialEq + Display,

pub fn eq(self, expected: T) -> &'a mut Verdict

Pass when value == expected; fail with <name>: expected <expected>, was <value> otherwise.

NaN gotcha (only relevant for T = f64): IEEE 754 says NaN == NaN is false. Use is_finite or claim! on value.is_nan() instead.

pub fn ne(self, forbidden: T) -> &'a mut Verdict

Pass when value != forbidden; fail with <name>: expected != <forbidden>, was <value> otherwise.

impl<'a, T> ClaimBuilder<'a, T>

where T: PartialOrd + Display,

pub fn at_least(self, floor: T) -> &'a mut Verdict

Pass when value >= floor; fail with <name>: expected at least <floor>, was <value> otherwise.

pub fn at_most(self, ceiling: T) -> &'a mut Verdict

Pass when value <= ceiling; fail with <name>: expected at most <ceiling>, was <value> otherwise.

pub fn lt(self, ceiling: T) -> &'a mut Verdict

Pass when value < ceiling; fail otherwise.

pub fn gt(self, floor: T) -> &'a mut Verdict

Pass when value > floor; fail otherwise.

pub fn between(self, lo: T, hi: T) -> &'a mut Verdict

Pass when lo <= value <= hi (inclusive on both ends). Fails with caller-error message when lo > hi.

impl<'a> ClaimBuilder<'a, f64>

pub fn is_finite(self) -> &'a mut Verdict

Pass when the value is finite (neither NaN nor ±Infinity).

pub fn near(self, target: f64, tolerance: f64) -> &'a mut Verdict

Pass when (value - target).abs() <= tolerance. value == target short-circuits as a pass before the subtraction so ±inf == ±inf reads as a match. Negative tolerance is a caller bug — the failure message names it.