Struct Refined

pub struct Refined<Inner, P> {
    pub inner: Inner,
    pub predicate: P,
}

Combinator that refines the result of an inner combinator with a predicate that implements Pred.

Fields

inner: Inner

The inner combinator.

predicate: P

The predicate.

Trait Implementations

impl<Inner, P> Combinator for Refined<Inner, P>

where P: for<'a> Pred<Input<'a> = <Inner as Combinator>::Result<'a>, InputOwned = <Inner as Combinator>::Owned>, Inner: Combinator, <P as View>::V: SpecPred<Input = <<Inner as Combinator>::Owned as View>::V>, <Inner as View>::V: SecureSpecCombinator<SpecResult = <<Inner as Combinator>::Owned as View>::V>,

type Result<'a> = <Inner as Combinator>::Result<'a>

The result type of parsing and the input type of serialization.

type Owned = <Inner as Combinator>::Owned

The owned parsed type. This is currently a hack to avoid lifetime bindings in SpecCombinator::SpecResult , but it can be useful if we want to have functions that return owned values (e.g. Vec<T>).

fn length(&self) -> Option<usize>

The length of the output buffer, if known. This can be used to optimize serialization by pre-allocating the buffer.

fn parse<'a>( &self, s: &'a [u8], ) -> Result<(usize, <Refined<Inner, P> as Combinator>::Result<'a>), ParseError>

The parsing function.

fn serialize( &self, v: <Refined<Inner, P> as Combinator>::Result<'_>, data: &mut Vec<u8>, pos: usize, ) -> Result<usize, SerializeError>

The serialization function.

impl<Inner, P> SpecCombinator for Refined<Inner, P>

where Inner: SpecCombinator, P: SpecPred<Input = <Inner as SpecCombinator>::SpecResult>,

type SpecResult = <Inner as SpecCombinator>::SpecResult

The view of Combinator::Result.

impl<Inner, P> View for Refined<Inner, P>

where Inner: View, P: View,

type V = Refined<<Inner as View>::V, <P as View>::V>

impl DisjointFrom<Refined<Bytes, TagPred<Seq<u8>>>> for Refined<Bytes, TagPred<Seq<u8>>>

impl<const N: usize> DisjointFrom<Refined<BytesN<N>, TagPred<Seq<u8>>>> for Refined<BytesN<N>, TagPred<Seq<u8>>>

impl DisjointFrom<Refined<U16, TagPred<u16>>> for Refined<U16, TagPred<u16>>

impl DisjointFrom<Refined<U32, TagPred<u32>>> for Refined<U32, TagPred<u32>>

impl DisjointFrom<Refined<U64, TagPred<u64>>> for Refined<U64, TagPred<u64>>

impl DisjointFrom<Refined<U8, TagPred<u8>>> for Refined<U8, TagPred<u8>>

impl<Inner, P> SecureSpecCombinator for Refined<Inner, P>

where Inner: SecureSpecCombinator, P: SpecPred<Input = <Inner as SpecCombinator>::SpecResult>,