Struct ValidatorNot 

pub struct ValidatorNot<A>(pub A);

Tuple Fields

0: A

Implementations

impl<A> ValidatorNot<A>

pub fn new<const N: usize, F: FKScalar>(a: A) -> Self

where A: Validator<N, (), F>,

Construct a NOT combinator after a compile-time assertion that A implements Validator<N, (), F>. Not is restricted to the unit return type because inverting a scalar score isn’t well-defined.

Trait Implementations

impl<A: Clone> Clone for ValidatorNot<A>

fn clone(&self) -> ValidatorNot<A>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<A: Debug> Debug for ValidatorNot<A>

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

Formats the value using the given formatter.

impl<const N: usize, F: FKScalar, A> Validator<N, (), F> for ValidatorNot<A>

where A: Validator<N, (), F>,

Not is only meaningful for R = () (a pass/fail validator). For scalar-returning validators the inversion of the return value isn’t well-defined, so the impl is restricted to the unit case.

type Context<'ctx> = <A as Validator<N, (), F>>::Context<'ctx>

fn validate<'ctx, E: Into<DekeError>, Q: SRobotQLike<N, E, F>>( &self, q: Q, ctx: &Self::Context<'ctx>, ) -> DekeResult<()>

fn validate_motion<'ctx>( &self, qs: &[SRobotQ<N, F>], ctx: &Self::Context<'ctx>, ) -> DekeResult<()>