pub struct Default<T, C1, C2>(pub T, pub C1, pub C2);Expand description
Default(a, C1, C2) is similar to Optional(C1, C2) except that if C1 is not matched, a is used in place Conversely, if C1 exists, the value cannot be a.
Used for ASN.1 default fields
Tuple Fields§
§0: T§1: C1§2: C2Trait Implementations§
Source§impl<C1, C2> Combinator for Default<C1::Owned, C1, C2>where
C1: Combinator,
C2: Combinator,
C1::Owned: PolyfillClone,
for<'a> C1::Result<'a>: PolyfillEq + From<C1::Owned>,
C1::V: SecureSpecCombinator<SpecResult = <C1::Owned as View>::V>,
C2::V: SecureSpecCombinator<SpecResult = <C2::Owned as View>::V> + DisjointFrom<C1::V>,
impl<C1, C2> Combinator for Default<C1::Owned, C1, C2>where
C1: Combinator,
C2: Combinator,
C1::Owned: PolyfillClone,
for<'a> C1::Result<'a>: PolyfillEq + From<C1::Owned>,
C1::V: SecureSpecCombinator<SpecResult = <C1::Owned as View>::V>,
C2::V: SecureSpecCombinator<SpecResult = <C2::Owned as View>::V> + DisjointFrom<C1::V>,
Source§type Result<'a> = PairValue<<C1 as Combinator>::Result<'a>, <C2 as Combinator>::Result<'a>>
type Result<'a> = PairValue<<C1 as Combinator>::Result<'a>, <C2 as Combinator>::Result<'a>>
The result type of parsing and the input type of serialization.
Source§type Owned = PairValue<<C1 as Combinator>::Owned, <C2 as Combinator>::Owned>
type Owned = PairValue<<C1 as Combinator>::Owned, <C2 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§impl<C1, C2> SpecCombinator for Default<C1::SpecResult, C1, C2>
impl<C1, C2> SpecCombinator for Default<C1::SpecResult, C1, C2>
Source§type SpecResult = PairValue<<C1 as SpecCombinator>::SpecResult, <C2 as SpecCombinator>::SpecResult>
type SpecResult = PairValue<<C1 as SpecCombinator>::SpecResult, <C2 as SpecCombinator>::SpecResult>
The view of
Combinator::Result.impl<T1, T2, T3> DisjointFrom<T1> for Default<T2::SpecResult, T2, T3>where
T1: SecureSpecCombinator,
T2: SecureSpecCombinator + DisjointFrom<T1>,
T3: SecureSpecCombinator + DisjointFrom<T1> + DisjointFrom<T2>,
impl<C1, C2> SecureSpecCombinator for Default<C1::SpecResult, C1, C2>
Auto Trait Implementations§
impl<T, C1, C2> Freeze for Default<T, C1, C2>
impl<T, C1, C2> RefUnwindSafe for Default<T, C1, C2>
impl<T, C1, C2> Send for Default<T, C1, C2>
impl<T, C1, C2> Sync for Default<T, C1, C2>
impl<T, C1, C2> Unpin for Default<T, C1, C2>
impl<T, C1, C2> UnwindSafe for Default<T, C1, C2>
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.