Struct AndThen

pub struct AndThen<Prev, Next>(pub Prev, pub Next);

Combinator that monadically chains two combinators.

Tuple Fields

0: Prev

1: Next

Trait Implementations

impl<Next> Combinator for AndThen<Bytes, Next>

where Next: Combinator, <Next as View>::V: SecureSpecCombinator<SpecResult = <<Next as Combinator>::Owned as View>::V>,

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

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

type Owned = <Next 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, <AndThen<Bytes, Next> as Combinator>::Result<'a>), ParseError>

The parsing function.

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

The serialization function.

impl<Next> SpecCombinator for AndThen<Bytes, Next>

where Next: SpecCombinator,

type SpecResult = <Next as SpecCombinator>::SpecResult

The view of Combinator::Result.

impl<Prev, Next> View for AndThen<Prev, Next>

where Prev: View, Next: View,

type V = AndThen<<Prev as View>::V, <Next as View>::V>

impl<Next> SecureSpecCombinator for AndThen<Bytes, Next>

where Next: SecureSpecCombinator,