pub struct Preceded<Fst, Snd>(pub Fst, pub Snd);Expand description
Combinator that sequentially applies two combinators and returns the result of the second one.
Tuple Fields§
§0: Fst§1: SndTrait Implementations§
Source§impl<Fst, Snd> Combinator for Preceded<Fst, Snd>where
Snd: Combinator,
<Fst as View>::V: SecureSpecCombinator<SpecResult = ()>,
Fst: for<'a> Combinator<Result<'a> = (), Owned = ()>,
<Snd as View>::V: SecureSpecCombinator<SpecResult = <<Snd as Combinator>::Owned as View>::V>,
impl<Fst, Snd> Combinator for Preceded<Fst, Snd>where
Snd: Combinator,
<Fst as View>::V: SecureSpecCombinator<SpecResult = ()>,
Fst: for<'a> Combinator<Result<'a> = (), Owned = ()>,
<Snd as View>::V: SecureSpecCombinator<SpecResult = <<Snd as Combinator>::Owned as View>::V>,
Source§type Result<'a> = <Snd as Combinator>::Result<'a>
type Result<'a> = <Snd as Combinator>::Result<'a>
The result type of parsing and the input type of serialization.
Source§type Owned = <Snd as Combinator>::Owned
type 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>).Source§fn length(&self) -> Option<usize>
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.
Source§fn parse<'a>(
&self,
s: &'a [u8],
) -> Result<(usize, <Preceded<Fst, Snd> as Combinator>::Result<'a>), ParseError>
fn parse<'a>( &self, s: &'a [u8], ) -> Result<(usize, <Preceded<Fst, Snd> as Combinator>::Result<'a>), ParseError>
The parsing function.
Source§impl<Fst, Snd> SpecCombinator for Preceded<Fst, Snd>
impl<Fst, Snd> SpecCombinator for Preceded<Fst, Snd>
Source§type SpecResult = <Snd as SpecCombinator>::SpecResult
type SpecResult = <Snd as SpecCombinator>::SpecResult
The view of
Combinator::Result.Source§impl<Fst, Snd> View for Preceded<Fst, Snd>where
Snd: Combinator,
<Fst as View>::V: SecureSpecCombinator<SpecResult = ()>,
Fst: for<'a> Combinator<Result<'a> = (), Owned = ()>,
<Snd as View>::V: SecureSpecCombinator<SpecResult = <<Snd as Combinator>::Owned as View>::V>,
impl<Fst, Snd> View for Preceded<Fst, Snd>where
Snd: Combinator,
<Fst as View>::V: SecureSpecCombinator<SpecResult = ()>,
Fst: for<'a> Combinator<Result<'a> = (), Owned = ()>,
<Snd as View>::V: SecureSpecCombinator<SpecResult = <<Snd as Combinator>::Owned as View>::V>,
impl<U1, U2, V1, V2> DisjointFrom<Preceded<U2, V2>> for Preceded<U1, V1>where
U1: DisjointFrom<U2, SpecResult = ()> + SecureSpecCombinator,
U2: SecureSpecCombinator<SpecResult = ()>,
V1: SpecCombinator,
V2: SpecCombinator,
impl<Fst, Snd> SecureSpecCombinator for Preceded<Fst, Snd>
Auto Trait Implementations§
impl<Fst, Snd> Freeze for Preceded<Fst, Snd>
impl<Fst, Snd> RefUnwindSafe for Preceded<Fst, Snd>where
Fst: RefUnwindSafe,
Snd: RefUnwindSafe,
impl<Fst, Snd> Send for Preceded<Fst, Snd>
impl<Fst, Snd> Sync for Preceded<Fst, Snd>
impl<Fst, Snd> Unpin for Preceded<Fst, Snd>
impl<Fst, Snd> UnwindSafe for Preceded<Fst, Snd>where
Fst: UnwindSafe,
Snd: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> From<T> for Twhere
T: View,
<T as View>::V: SpecFrom<<T as View>::V>,
impl<T> From<T> for Twhere
T: View,
<T as View>::V: SpecFrom<<T as View>::V>,
Source§fn ex_from(t: T) -> T
fn ex_from(t: T) -> T
Vest equivalent of
std::convert::From::from.Source§impl<T, U> Into<U> for T
impl<T, U> Into<U> for T
Source§fn ex_into(self) -> U
fn ex_into(self) -> U
Vest equivalent of
std::convert::Into::into.Source§impl<T, U> SpecTryInto<U> for Twhere
U: SpecTryFrom<T>,
impl<T, U> SpecTryInto<U> for Twhere
U: SpecTryFrom<T>,
Source§type Error = <U as SpecTryFrom<T>>::Error
type Error = <U as SpecTryFrom<T>>::Error
The type returned in the event of a conversion error.