Struct Not 

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

English: Exposes fallible specifications and their short-circuiting boolean wrappers.

日本語: 失敗し得る仕様と、短絡評価する論理演算のラッパーを公開します。 English: Exposes fallible specifications and their short-circuiting boolean wrappers.

日本語: 失敗し得る仕様と、短絡評価する論理演算のラッパーを公開します。 English: Exposes fallible specifications and their short-circuiting boolean wrappers.

日本語: 失敗し得る仕様と、短絡評価する論理演算のラッパーを公開します。 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) -> Self

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

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

Trait Implementations

impl<T: ?Sized, S> Specification<T> for Not<S>

where S: Specification<T>,

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, Self::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.