Trait Validator 

pub trait Validator<const N: usize, R: ValidatorRet = ()>:
    Sized
    + Clone
    + Debug
    + Send
    + Sync
    + 'static {
    type Context<'ctx>: ValidatorContext;

    // Required methods
    fn validate<'ctx, E: Into<DekeError>, A: SRobotQLike<N, E>>(
        &self,
        q: A,
        ctx: &Self::Context<'ctx>,
    ) -> DekeResult<R>;
    fn validate_motion<'ctx>(
        &self,
        qs: &[SRobotQ<N>],
        ctx: &Self::Context<'ctx>,
    ) -> DekeResult<R>;
}

Required Associated Types

type Context<'ctx>: ValidatorContext

Required Methods

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

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

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl Validator<1> for DynamicJointValidator

type Context<'ctx> = ()

impl Validator<2> for DynamicJointValidator

type Context<'ctx> = ()

impl Validator<3> for DynamicJointValidator

type Context<'ctx> = ()

impl Validator<4> for DynamicJointValidator

type Context<'ctx> = ()

impl Validator<5> for DynamicJointValidator

type Context<'ctx> = ()

impl Validator<6> for DynamicJointValidator

type Context<'ctx> = ()

impl Validator<7> for DynamicJointValidator

type Context<'ctx> = ()

impl Validator<8> for DynamicJointValidator

type Context<'ctx> = ()

impl<const N: usize> Validator<N> for JointValidator<N>

type Context<'ctx> = ()

impl<const N: usize, A> Validator<N> for ValidatorNot<A>

where A: Validator<N>,

type Context<'ctx> = <A as Validator<N>>::Context<'ctx>

impl<const N: usize, A, B> Validator<N> for ValidatorAnd<A, B>

where A: Validator<N>, B: Validator<N>,

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

impl<const N: usize, A, B> Validator<N> for ValidatorOr<A, B>

where A: Validator<N>, B: Validator<N>,

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