Struct Depend

pub struct Depend<Fst, Snd, F>
where
    Fst: Combinator,
    Snd: Combinator,
    Fst::V: SecureSpecCombinator<SpecResult = <Fst::Owned as View>::V>,
    Snd::V: SecureSpecCombinator<SpecResult = <Snd::Owned as View>::V>,
    F: for<'a> Fn(Fst::Result<'a>) -> Snd,
{
    pub fst: Fst,
    pub snd: F,
    pub spec_snd: Ghost<FnSpec<(<Fst::Owned as View>::V,), Snd::V>>,
}

Combinator that sequentially applies two combinators, where the second combinator depends on the result of the first one.

Fields

fst: Fst

combinators that contain dependencies

snd: F

closure that captures dependencies and maps them to the dependent combinators

spec_snd: Ghost<FnSpec<(<Fst::Owned as View>::V,), Snd::V>>

spec closure for well-formedness

Trait Implementations

impl<Fst, Snd, F> Combinator for Depend<Fst, Snd, F>

where Fst: Combinator, Snd: Combinator, Fst::V: SecureSpecCombinator<SpecResult = <Fst::Owned as View>::V>, Snd::V: SecureSpecCombinator<SpecResult = <Snd::Owned as View>::V>, F: for<'a> Fn(Fst::Result<'a>) -> Snd, for<'a> Fst::Result<'a>: Copy,

type Result<'a> = (<Fst as Combinator>::Result<'a>, <Snd as Combinator>::Result<'a>)

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

type Owned = (<Fst as Combinator>::Owned, <Snd 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, Self::Result<'a>), ParseError>

The parsing function.

fn serialize( &self, v: Self::Result<'_>, data: &mut Vec<u8>, pos: usize, ) -> Result<usize, SerializeError>

The serialization function.

impl<Fst, Snd, F> View for Depend<Fst, Snd, F>

where Fst: Combinator, Snd: Combinator, Fst::V: SecureSpecCombinator<SpecResult = <Fst::Owned as View>::V>, Snd::V: SecureSpecCombinator<SpecResult = <Snd::Owned as View>::V>, F: for<'a> Fn(Fst::Result<'a>) -> Snd,

type V = SpecDepend<<Fst as View>::V, <Snd as View>::V>