Struct And 

pub struct And<L, R> { /* private fields */ }

English:
Conjunction that evaluates the right rule only after the left returns Ok(true). A left Ok(false) or error is returned immediately; a right result is forwarded unchanged.

日本語:
左が Ok(true) を返した場合のみ右を評価する論理積です。 左の Ok(false) やエラーは直ちに返し、右を評価した場合はその結果を変更せず返します。

Implementations

impl<L, R> And<L, R>

pub fn new(left: L, right: R) -> And<L, R>

English:
Stores left and right without evaluation; evaluation requires compatible specification impls.

日本語:
評価せずに left と right を保持します。評価には互換な仕様の実装が必要です。

Trait Implementations

impl<T, L, R> Specification<T> for And<L, R>

where L: Specification<T>, R: Specification<T, Error = <L as Specification<T>>::Error>, T: ?Sized,

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

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

fn is_satisfied_by( &self, candidate: &T, ) -> Result<bool, <And<L, R> 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.