Struct Mapped

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

Combinator that maps the result of an inner combinator with an isomorphism that implements Iso.

Fields

inner: Inner

The inner combinator.

mapper: M

The isomorphism.

Trait Implementations

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

where M: for<'a> Iso<Src<'a> = <Inner as Combinator>::Result<'a>, SrcOwned = <Inner as Combinator>::Owned>, Inner: Combinator, <Inner as Combinator>::Result<'a>: for<'a> From<<M as Iso>::Dst<'a>> + for<'a> View, <M as Iso>::Dst<'a>: for<'a> From<<Inner as Combinator>::Result<'a>> + for<'a> View, <M as View>::V: SpecIso<Src = <<Inner as Combinator>::Owned as View>::V, Dst = <<M as Iso>::DstOwned as View>::V>, <Inner as View>::V: SecureSpecCombinator<SpecResult = <<Inner as Combinator>::Owned as View>::V>, <<Inner as Combinator>::Owned as View>::V: SpecFrom<<<M as Iso>::DstOwned as View>::V>, <<M as Iso>::DstOwned as View>::V: SpecFrom<<<Inner as Combinator>::Owned as View>::V>,

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

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

type Owned = <M as Iso>::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, <Mapped<Inner, M> as Combinator>::Result<'a>), ParseError>

The parsing function.

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

The serialization function.

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

where Inner: SpecCombinator, M: SpecIso<Src = <Inner as SpecCombinator>::SpecResult>, <Inner as SpecCombinator>::SpecResult: SpecFrom<<M as SpecIso>::Dst>, <M as SpecIso>::Dst: SpecFrom<<Inner as SpecCombinator>::SpecResult>,

type SpecResult = <M as SpecIso>::Dst

The view of Combinator::Result.

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

where Inner: View, M: View,

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

impl<U1, U2, M1, M2> DisjointFrom<Mapped<U2, M2>> for Mapped<U1, M1>

where U1: DisjointFrom<U2>, U2: SpecCombinator, M1: SpecIso<Src = <U1 as SpecCombinator>::SpecResult>, M2: SpecIso<Src = <U2 as SpecCombinator>::SpecResult>, <U1 as SpecCombinator>::SpecResult: SpecFrom<<M1 as SpecIso>::Dst>, <U2 as SpecCombinator>::SpecResult: SpecFrom<<M2 as SpecIso>::Dst>, <M1 as SpecIso>::Dst: SpecFrom<<U1 as SpecCombinator>::SpecResult>, <M2 as SpecIso>::Dst: SpecFrom<<U2 as SpecCombinator>::SpecResult>,

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

where Inner: SecureSpecCombinator, M: SpecIso<Src = <Inner as SpecCombinator>::SpecResult>, <Inner as SpecCombinator>::SpecResult: SpecFrom<<M as SpecIso>::Dst>, <M as SpecIso>::Dst: SpecFrom<<Inner as SpecCombinator>::SpecResult>,