Trait Pred

pub trait Pred: View
where
    Self::V: SpecPred<Input = <Self::InputOwned as View>::V>,
{
    type Input<'a>: View<V = <Self::InputOwned as View>::V>;
    type InputOwned: View;

    // Required method
    fn apply(&self, i: &Self::Input<'_>) -> bool;
}

All predicates to be used in Refined combinator must implement this trait.

Required Associated Types

type Input<'a>: View<V = <Self::InputOwned as View>::V>

The input type of the predicate.

type InputOwned: View

The owned version of the input type.

Required Methods

fn apply(&self, i: &Self::Input<'_>) -> bool

Applies the predicate to the input.

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 Pred for IA5StringPred

type Input<'a> = &'a str

type InputOwned = String

impl Pred for MinimalBigIntPred

type Input<'a> = &'a [u8]

type InputOwned = Vec<u8>

impl Pred for PrintableStringPred

type Input<'a> = &'a str

type InputOwned = String

impl<'a> Pred for TagPred<&'a [u8]>

type Input<'b> = &'b [u8]

type InputOwned = Vec<u8>

impl<T> Pred for TagPred<T>

where T: FromToBytes,

type Input<'a> = T

type InputOwned = T

impl<const N: usize> Pred for TagPred<[u8; N]>

type Input<'b> = &'b [u8]

type InputOwned = Vec<u8>