Trait Pred 

pub trait Pred<T: DeepView>: SpecPred<T::V> {
    // Required method
    exec fn test(&self, value: &T) -> ok : bool;
}

Executable counterpart of crate::core::spec::SpecPred.

The executable method takes &T so callers can validate parsed values without moving them.

Required Methods

exec fn test(&self, value: &T) -> ok : bool

ensures

ok == self.apply(value.deep_view()),

Implementations on Foreign Types

impl<T, P> Pred<T> for &P

where T: DeepView, P: Pred<T>,

exec fn test(&self, value: &T) -> ok : bool

Implementors

impl Pred<PrintableStringOwned> for NumericStringChars

Available on crate feature alloc only.

impl<'a> Pred<PrintableString<'a>> for NumericStringChars

impl<'a, T: DeepView, const HAS_MIN: bool, const MIN: usize, const HAS_MAX: bool, const MAX: usize> Pred<&'a [T]> for Size<HAS_MIN, MIN, HAS_MAX, MAX>

impl<'a, const HAS_MIN: bool, const MIN: i64, const HAS_MAX: bool, const MAX: i64> Pred<Integer<'a>> for IntegerRange<HAS_MIN, MIN, HAS_MAX, MAX>

impl<'a, const HAS_MIN: bool, const MIN: usize, const HAS_MAX: bool, const MAX: usize> Pred<&'a str> for Size<HAS_MIN, MIN, HAS_MAX, MAX>

impl<'a, const HAS_MIN: bool, const MIN: usize, const HAS_MAX: bool, const MAX: usize> Pred<Ia5String<'a>> for Size<HAS_MIN, MIN, HAS_MAX, MAX>

impl<'a, const HAS_MIN: bool, const MIN: usize, const HAS_MAX: bool, const MAX: usize> Pred<PrintableString<'a>> for Size<HAS_MIN, MIN, HAS_MAX, MAX>

impl<'a, const HAS_MIN: bool, const MIN: usize, const HAS_MAX: bool, const MAX: usize> Pred<TeletexString<'a>> for Size<HAS_MIN, MIN, HAS_MAX, MAX>

impl<T, Exec, Spec> Pred<T> for FnPred<T, Exec, Spec>

where T: DeepView, Exec: Fn(&T) -> bool, Spec: SpecPred<T::V>,

impl<T: DeepView, L: Pred<T>, R: Pred<T>> Pred<T> for ConstraintAnd<L, R>

impl<T: DeepView, L: Pred<T>, R: Pred<T>> Pred<T> for ConstraintOr<L, R>

impl<T: DeepView, P: Pred<T>> Pred<T> for ConstraintNot<P>

impl<T: DeepView, const HAS_MIN: bool, const MIN: usize, const HAS_MAX: bool, const MAX: usize> Pred<Vec<T>> for Size<HAS_MIN, MIN, HAS_MAX, MAX>

Available on crate feature alloc only.

impl<const HAS_MIN: bool, const MIN: i64, const HAS_MAX: bool, const MAX: i64> Pred<i8> for IntegerRange<HAS_MIN, MIN, HAS_MAX, MAX>

impl<const HAS_MIN: bool, const MIN: i64, const HAS_MAX: bool, const MAX: i64> Pred<i16> for IntegerRange<HAS_MIN, MIN, HAS_MAX, MAX>

impl<const HAS_MIN: bool, const MIN: usize, const HAS_MAX: bool, const MAX: usize> Pred<BmpString> for Size<HAS_MIN, MIN, HAS_MAX, MAX>

Available on crate feature alloc only.

impl<const HAS_MIN: bool, const MIN: usize, const HAS_MAX: bool, const MAX: usize> Pred<Ia5StringOwned> for Size<HAS_MIN, MIN, HAS_MAX, MAX>

Available on crate feature alloc only.

impl<const HAS_MIN: bool, const MIN: usize, const HAS_MAX: bool, const MAX: usize> Pred<PrintableStringOwned> for Size<HAS_MIN, MIN, HAS_MAX, MAX>

Available on crate feature alloc only.

impl<const HAS_MIN: bool, const MIN: usize, const HAS_MAX: bool, const MAX: usize> Pred<TeletexStringOwned> for Size<HAS_MIN, MIN, HAS_MAX, MAX>

Available on crate feature alloc only.

impl<const HAS_MIN: bool, const MIN: usize, const HAS_MAX: bool, const MAX: usize> Pred<String> for Size<HAS_MIN, MIN, HAS_MAX, MAX>

Available on crate feature alloc only.