Trait SpecCombinator

pub trait SpecCombinator {
    type SpecResult;
}

Specification for parser and serializer Combinators. All Vest combinators must implement this trait.

Required Associated Types

type SpecResult

The view of Combinator::Result.

Implementations on Foreign Types

impl<C: SpecCombinator> SpecCombinator for &C

type SpecResult = <C as SpecCombinator>::SpecResult

impl<Fst: SecureSpecCombinator, Snd: SpecCombinator> SpecCombinator for (Fst, Snd)

type SpecResult = (<Fst as SpecCombinator>::SpecResult, <Snd as SpecCombinator>::SpecResult)

Implementors

impl SpecCombinator for Bytes

type SpecResult = Seq<u8>

impl SpecCombinator for Fail

type SpecResult = ()

impl SpecCombinator for Tail

type SpecResult = Seq<u8>

impl SpecCombinator for U8

type SpecResult = u8

impl SpecCombinator for U16

type SpecResult = u16

impl SpecCombinator for U32

type SpecResult = u32

impl SpecCombinator for U64

type SpecResult = u64

impl<C: SpecCombinator + SecureSpecCombinator> SpecCombinator for Repeat<C>

type SpecResult = Seq<<C as SpecCombinator>::SpecResult>

impl<Fst, Snd> SpecCombinator for OrdChoice<Fst, Snd>

where Fst: SpecCombinator, Snd: SpecCombinator + DisjointFrom<Fst>,

type SpecResult = Either<<Fst as SpecCombinator>::SpecResult, <Snd as SpecCombinator>::SpecResult>

impl<Fst, Snd> SpecCombinator for SpecDepend<Fst, Snd>

where Fst: SecureSpecCombinator, Snd: SpecCombinator,

type SpecResult = (<Fst as SpecCombinator>::SpecResult, <Snd as SpecCombinator>::SpecResult)

impl<Fst: SecureSpecCombinator<SpecResult = ()>, Snd: SpecCombinator> SpecCombinator for Preceded<Fst, Snd>

type SpecResult = <Snd as SpecCombinator>::SpecResult

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

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

type SpecResult = <M as SpecIso>::Dst

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

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

type SpecResult = <M as SpecTryFromInto>::Dst

impl<Inner, P> SpecCombinator for Refined<Inner, P>

where Inner: SpecCombinator, P: SpecPred<Input = Inner::SpecResult>,

type SpecResult = <Inner as SpecCombinator>::SpecResult

impl<Inner: SpecCombinator> SpecCombinator for Cond<Inner>

type SpecResult = <Inner as SpecCombinator>::SpecResult

impl<Inner: SpecCombinator<SpecResult = T>, T> SpecCombinator for Tag<Inner, T>

type SpecResult = ()

impl<Next: SpecCombinator> SpecCombinator for AndThen<Bytes, Next>

type SpecResult = <Next as SpecCombinator>::SpecResult

impl<T: Builder> SpecCombinator for BuilderCombinator<T>

type SpecResult = ()

impl<const N: usize> SpecCombinator for BytesN<N>

type SpecResult = Seq<u8>