pub struct OrdChoice<Fst, Snd>(pub Fst, pub Snd);Expand description
Combinator that tries the Fst combinator and if it fails, tries the Snd combinator.
Tuple Fields§
§0: Fst§1: SndTrait Implementations§
Source§impl<Fst, Snd> Combinator for OrdChoice<Fst, Snd>where
Fst: Combinator,
Snd: Combinator,
<Fst as View>::V: SecureSpecCombinator<SpecResult = <<Fst as Combinator>::Owned as View>::V>,
<Snd as View>::V: SecureSpecCombinator<SpecResult = <<Snd as Combinator>::Owned as View>::V> + DisjointFrom<<Fst as View>::V>,
impl<Fst, Snd> Combinator for OrdChoice<Fst, Snd>where
Fst: Combinator,
Snd: Combinator,
<Fst as View>::V: SecureSpecCombinator<SpecResult = <<Fst as Combinator>::Owned as View>::V>,
<Snd as View>::V: SecureSpecCombinator<SpecResult = <<Snd as Combinator>::Owned as View>::V> + DisjointFrom<<Fst as View>::V>,
Source§type Result<'a> = Either<<Fst as Combinator>::Result<'a>, <Snd as Combinator>::Result<'a>>
type Result<'a> = Either<<Fst as Combinator>::Result<'a>, <Snd as Combinator>::Result<'a>>
The result type of parsing and the input type of serialization.
Source§type Owned = Either<<Fst as Combinator>::Owned, <Snd as Combinator>::Owned>
type Owned = Either<<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>).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, <OrdChoice<Fst, Snd> as Combinator>::Result<'a>), ParseError>
fn parse<'a>( &self, s: &'a [u8], ) -> Result<(usize, <OrdChoice<Fst, Snd> as Combinator>::Result<'a>), ParseError>
The parsing function.
Source§impl<Fst, Snd> SpecCombinator for OrdChoice<Fst, Snd>
impl<Fst, Snd> SpecCombinator for OrdChoice<Fst, Snd>
Source§type SpecResult = Either<<Fst as SpecCombinator>::SpecResult, <Snd as SpecCombinator>::SpecResult>
type SpecResult = Either<<Fst as SpecCombinator>::SpecResult, <Snd as SpecCombinator>::SpecResult>
The view of
Combinator::Result.impl<S1, S2, S3> DisjointFrom<S3> for OrdChoice<S1, S2>where
S1: SpecCombinator + DisjointFrom<S3>,
S2: SpecCombinator + DisjointFrom<S1> + DisjointFrom<S3>,
S3: SpecCombinator,
impl<Fst, Snd> SecureSpecCombinator for OrdChoice<Fst, Snd>
Auto Trait Implementations§
impl<Fst, Snd> Freeze for OrdChoice<Fst, Snd>
impl<Fst, Snd> RefUnwindSafe for OrdChoice<Fst, Snd>where
Fst: RefUnwindSafe,
Snd: RefUnwindSafe,
impl<Fst, Snd> Send for OrdChoice<Fst, Snd>
impl<Fst, Snd> Sync for OrdChoice<Fst, Snd>
impl<Fst, Snd> Unpin for OrdChoice<Fst, Snd>
impl<Fst, Snd> UnwindSafe for OrdChoice<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.