Struct TryMap

pub struct TryMap<Inner, M> {
    pub inner: Inner,
    pub mapper: M,
}

Combinator that maps the result of an inner combinator with a faillible conversion that implements TryFromInto.

Fields

inner: Inner

The inner combinator.

mapper: M

The faillible conversion.

Trait Implementations

impl<Inner, M> Combinator for TryMap<Inner, M>

where M: for<'a> TryFromInto<Src<'a> = <Inner as Combinator>::Result<'a>, SrcOwned = <Inner as Combinator>::Owned>, Inner: Combinator, <Inner as Combinator>::Result<'a>: for<'a> TryFrom<<M as TryFromInto>::Dst<'a>> + for<'a> View, <M as TryFromInto>::Dst<'a>: for<'a> TryFrom<<Inner as Combinator>::Result<'a>> + for<'a> View, <M as View>::V: SpecTryFromInto<Src = <<Inner as Combinator>::Owned as View>::V, Dst = <<M as TryFromInto>::DstOwned as View>::V>, <Inner as View>::V: SecureSpecCombinator<SpecResult = <<Inner as Combinator>::Owned as View>::V>, <<Inner as Combinator>::Owned as View>::V: SpecTryFrom<<<M as TryFromInto>::DstOwned as View>::V>, <<M as TryFromInto>::DstOwned as View>::V: SpecTryFrom<<<Inner as Combinator>::Owned as View>::V>,

type Result<'a> = <M as TryFromInto>::Dst<'a>

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

type Owned = <M as TryFromInto>::DstOwned

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, <TryMap<Inner, M> as Combinator>::Result<'a>), ParseError>

The parsing function.

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

The serialization function.

impl<Inner, M> SpecCombinator for TryMap<Inner, M>

where Inner: SpecCombinator, M: SpecTryFromInto<Src = <Inner as SpecCombinator>::SpecResult>, <Inner as SpecCombinator>::SpecResult: SpecTryFrom<<M as SpecTryFromInto>::Dst>, <M as SpecTryFromInto>::Dst: SpecTryFrom<<Inner as SpecCombinator>::SpecResult>,

type SpecResult = <M as SpecTryFromInto>::Dst

The view of Combinator::Result.

impl<Inner, M> View for TryMap<Inner, M>

where Inner: View, M: View,

type V = TryMap<<Inner as View>::V, <M as View>::V>

impl<Inner, M> SecureSpecCombinator for TryMap<Inner, M>

where Inner: SecureSpecCombinator, M: SpecTryFromInto<Src = <Inner as SpecCombinator>::SpecResult>, <Inner as SpecCombinator>::SpecResult: SpecTryFrom<<M as SpecTryFromInto>::Dst>, <M as SpecTryFromInto>::Dst: SpecTryFrom<<Inner as SpecCombinator>::SpecResult>,