Struct Not 

pub struct Not<S> { /* private fields */ }

English:
Negation that evaluates its inner rule once, flips Ok(bool), and propagates Err unchanged.

日本語:
内側の規則を一度評価し、Ok(bool) を反転し、Err は変更せず伝播する否定です。

Implementations

impl<S> Not<S>

pub fn new(inner: S) -> Not<S>

English:
Wraps inner by value without evaluating or validating it.

日本語:
評価や検証をせず、inner を値として包みます。

Trait Implementations

impl<T, S> Specification<T> for Not<S>

where S: Specification<T>, T: ?Sized,

type Error = <S as Specification<T>>::Error

English:
Evaluation failure, distinct from a successfully evaluated false result.

fn is_satisfied_by( &self, candidate: &T, ) -> Result<bool, <Not<S> as Specification<T>>::Error>

English:
Returns whether candidate satisfies the rule or why evaluation failed. The candidate remains borrowed; side effects and panic conditions depend on the rule.

fn and<S>(self, other: S) -> And<Self, S>

where S: Specification<T, Error = Self::Error>,

English:
Consumes both rules to form And, evaluating other only if this rule returns Ok(true). Both must share an error type. Construction evaluates neither rule.

fn or<S>(self, other: S) -> Or<Self, S>

where S: Specification<T, Error = Self::Error>,

English:
Consumes both rules to form Or, evaluating other only if this rule returns Ok(false). An error from this rule is returned without consulting other.

fn not(self) -> Not<Self>

English:
Consumes this rule to form Not, which flips successful booleans and preserves errors.