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 for &C

where C: SpecCombinator,

type SpecResult = <C as SpecCombinator>::SpecResult

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

where Fst: SecureSpecCombinator, Snd: SpecCombinator,

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

Implementors

impl SpecCombinator for ASN1Tag

type SpecResult = TagValue

impl SpecCombinator for Base128UInt

type SpecResult = u64

impl SpecCombinator for BigInt

type SpecResult = Seq<u8>

impl SpecCombinator for BitString

type SpecResult = Seq<u8>

impl SpecCombinator for Boolean

type SpecResult = bool

impl SpecCombinator for GeneralizedTime

type SpecResult = GeneralizedTimeValueInner

impl SpecCombinator for GeneralizedTimeInner

type SpecResult = GeneralizedTimeValueInner

impl SpecCombinator for IA5String

type SpecResult = Seq<char>

impl SpecCombinator for Integer

type SpecResult = i64

impl SpecCombinator for Length

type SpecResult = usize

impl SpecCombinator for Null

type SpecResult = NullValue

impl SpecCombinator for ObjectIdentifier

type SpecResult = Seq<u64>

impl SpecCombinator for OctetString

type SpecResult = Seq<u8>

impl SpecCombinator for PrintableString

type SpecResult = Seq<char>

impl SpecCombinator for UTCTime

type SpecResult = UTCTimeValueInner

impl SpecCombinator for UTCTimeInner

type SpecResult = UTCTimeValueInner

impl SpecCombinator for UTF8String

type SpecResult = Seq<char>

impl SpecCombinator for VarInt

type SpecResult = i64

impl SpecCombinator for VarUInt

type SpecResult = u64

impl SpecCombinator for Base64

type SpecResult = Seq<u8>

impl SpecCombinator for Bytes

type SpecResult = Seq<u8>

impl SpecCombinator for End

type SpecResult = EndValue

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 SpecCombinator for Unreachable

type SpecResult = ()

impl SpecCombinator for AccessDescription

type SpecResult = PolyType<<<ASN1<ObjectIdentifier> as View>::V as SpecCombinator>::SpecResult, <<GeneralName as View>::V as SpecCombinator>::SpecResult>

impl SpecCombinator for AlgorithmIdentifier

type SpecResult = AlgorithmIdentifierPoly<Seq<u64>, PolyType<<<OrdChoice<ASN1<Null>, End> as View>::V as SpecCombinator>::SpecResult, <<OrdChoice<ASN1<Null>, End> as View>::V as SpecCombinator>::SpecResult, <<OrdChoice<ASN1<Null>, End> as View>::V as SpecCombinator>::SpecResult, <<OrdChoice<ASN1<Null>, End> as View>::V as SpecCombinator>::SpecResult, <<OrdChoice<ASN1<DSAParam>, End> as View>::V as SpecCombinator>::SpecResult, <<End as View>::V as SpecCombinator>::SpecResult, <<End as View>::V as SpecCombinator>::SpecResult, <<End as View>::V as SpecCombinator>::SpecResult, <<End as View>::V as SpecCombinator>::SpecResult, <<OrdChoice<ASN1<Null>, End> as View>::V as SpecCombinator>::SpecResult, <<ASN1<ObjectIdentifier> as View>::V as SpecCombinator>::SpecResult, <<Tail as View>::V as SpecCombinator>::SpecResult>>

impl SpecCombinator for AttributeTypeAndValue

type SpecResult = PolyType<<<ASN1<ObjectIdentifier> as View>::V as SpecCombinator>::SpecResult, <<DirectoryString as View>::V as SpecCombinator>::SpecResult>

impl SpecCombinator for AuthorityInfoAccess

type SpecResult = Seq<<<ASN1<AccessDescription> as View>::V as SpecCombinator>::SpecResult>

impl SpecCombinator for AuthorityKeyIdentifier

type SpecResult = PolyType<<<ASN1<ImplicitTag<OctetString>> as View>::V as SpecCombinator>::SpecResult, <<ASN1<ImplicitTag<OctetString>> as View>::V as SpecCombinator>::SpecResult, <<ASN1<ImplicitTag<BigInt>> as View>::V as SpecCombinator>::SpecResult>

impl SpecCombinator for BasicConstraints

type SpecResult = PolyType<<<ASN1<Boolean> as View>::V as SpecCombinator>::SpecResult, <<ASN1<Integer> as View>::V as SpecCombinator>::SpecResult>

impl SpecCombinator for Certificate

type SpecResult = <<Cached<ASN1<CertificateInner>> as View>::V as SpecCombinator>::SpecResult

impl SpecCombinator for CertificateInner

type SpecResult = PolyType<<<Cached<ASN1<TBSCertificate>> as View>::V as SpecCombinator>::SpecResult, <<Cached<ASN1<AlgorithmIdentifier>> as View>::V as SpecCombinator>::SpecResult, <<ASN1<BitString> as View>::V as SpecCombinator>::SpecResult>

impl SpecCombinator for CertificatePolicies

type SpecResult = Seq<<<ASN1<PolicyInfo> as View>::V as SpecCombinator>::SpecResult>

impl SpecCombinator for DSAParam

type SpecResult = PolyType<<<ASN1<BigInt> as View>::V as SpecCombinator>::SpecResult, <<ASN1<BigInt> as View>::V as SpecCombinator>::SpecResult, <<ASN1<BigInt> as View>::V as SpecCombinator>::SpecResult>

impl SpecCombinator for DigestInfo

type SpecResult = PolyType<<<ASN1<AlgorithmIdentifier> as View>::V as SpecCombinator>::SpecResult, <<ASN1<OctetString> as View>::V as SpecCombinator>::SpecResult>

impl SpecCombinator for DirectoryString

type SpecResult = PolyType<<<ASN1<PrintableString> as View>::V as SpecCombinator>::SpecResult, <<ASN1<UTF8String> as View>::V as SpecCombinator>::SpecResult, <<ASN1<IA5String> as View>::V as SpecCombinator>::SpecResult, <<ASN1<ImplicitTag<OctetString>> as View>::V as SpecCombinator>::SpecResult, <<ASN1<ImplicitTag<OctetString>> as View>::V as SpecCombinator>::SpecResult, <<ASN1<ImplicitTag<OctetString>> as View>::V as SpecCombinator>::SpecResult>

impl SpecCombinator for ECDSASigValue

type SpecResult = PolyType<<<ASN1<BigInt> as View>::V as SpecCombinator>::SpecResult, <<ASN1<BigInt> as View>::V as SpecCombinator>::SpecResult>

impl SpecCombinator for ExtendedKeyUsage

type SpecResult = Seq<<<ASN1<ObjectIdentifier> as View>::V as SpecCombinator>::SpecResult>

impl SpecCombinator for Extension

type SpecResult = ExtensionPoly<Seq<u64>, PolyType<<<ASN1<ExplicitTag<ASN1<AuthorityKeyIdentifier>>> as View>::V as SpecCombinator>::SpecResult, <<ASN1<ExplicitTag<ASN1<OctetString>>> as View>::V as SpecCombinator>::SpecResult, <<ASN1<ExplicitTag<ASN1<BasicConstraints>>> as View>::V as SpecCombinator>::SpecResult, <<ASN1<ExplicitTag<ASN1<CertificatePolicies>>> as View>::V as SpecCombinator>::SpecResult, <<ASN1<ExplicitTag<ASN1<ExtendedKeyUsage>>> as View>::V as SpecCombinator>::SpecResult, <<ASN1<ExplicitTag<ASN1<BitString>>> as View>::V as SpecCombinator>::SpecResult, <<ASN1<ExplicitTag<ASN1<GeneralNames>>> as View>::V as SpecCombinator>::SpecResult, <<ASN1<ExplicitTag<ASN1<NameConstraints>>> as View>::V as SpecCombinator>::SpecResult, <<ASN1<ExplicitTag<ASN1<AuthorityInfoAccess>>> as View>::V as SpecCombinator>::SpecResult, <<ASN1<OctetString> as View>::V as SpecCombinator>::SpecResult>>

impl SpecCombinator for Extensions

type SpecResult = Seq<<<ASN1<Extension> as View>::V as SpecCombinator>::SpecResult>

impl SpecCombinator for GeneralName

type SpecResult = PolyType<<<ASN1<ImplicitTag<OctetString>> as View>::V as SpecCombinator>::SpecResult, <<ASN1<ImplicitTag<IA5String>> as View>::V as SpecCombinator>::SpecResult, <<ASN1<ImplicitTag<IA5String>> as View>::V as SpecCombinator>::SpecResult, <<ASN1<ImplicitTag<OctetString>> as View>::V as SpecCombinator>::SpecResult, <<ASN1<ExplicitTag<ASN1<Name>>> as View>::V as SpecCombinator>::SpecResult, <<ASN1<ImplicitTag<OctetString>> as View>::V as SpecCombinator>::SpecResult, <<ASN1<ImplicitTag<IA5String>> as View>::V as SpecCombinator>::SpecResult, <<ASN1<ImplicitTag<OctetString>> as View>::V as SpecCombinator>::SpecResult, <<ASN1<ImplicitTag<ObjectIdentifier>> as View>::V as SpecCombinator>::SpecResult>

impl SpecCombinator for GeneralNames

type SpecResult = Seq<<<GeneralName as View>::V as SpecCombinator>::SpecResult>

impl SpecCombinator for GeneralSubtree

type SpecResult = PolyType<<<GeneralName as View>::V as SpecCombinator>::SpecResult, <<ASN1<ImplicitTag<Integer>> as View>::V as SpecCombinator>::SpecResult, <<ASN1<ImplicitTag<Integer>> as View>::V as SpecCombinator>::SpecResult>

impl SpecCombinator for GeneralSubtrees

type SpecResult = Seq<<<ASN1<GeneralSubtree> as View>::V as SpecCombinator>::SpecResult>

impl SpecCombinator for Name

type SpecResult = Seq<<<ASN1<RDN> as View>::V as SpecCombinator>::SpecResult>

impl SpecCombinator for NameConstraints

type SpecResult = PolyType<<<ASN1<ImplicitTag<GeneralSubtrees>> as View>::V as SpecCombinator>::SpecResult, <<ASN1<ImplicitTag<GeneralSubtrees>> as View>::V as SpecCombinator>::SpecResult>

impl SpecCombinator for PolicyInfo

type SpecResult = PolyType<<<ASN1<ObjectIdentifier> as View>::V as SpecCombinator>::SpecResult, <<ASN1<ImplicitTag<OctetString>> as View>::V as SpecCombinator>::SpecResult>

impl SpecCombinator for PublicKeyInfo

type SpecResult = PolyType<<<ASN1<AlgorithmIdentifier> as View>::V as SpecCombinator>::SpecResult, <<ASN1<BitString> as View>::V as SpecCombinator>::SpecResult>

impl SpecCombinator for RDN

type SpecResult = Seq<<<ASN1<AttributeTypeAndValue> as View>::V as SpecCombinator>::SpecResult>

impl SpecCombinator for RSAParam

type SpecResult = PolyType<<<ASN1<BigInt> as View>::V as SpecCombinator>::SpecResult, <<ASN1<BigInt> as View>::V as SpecCombinator>::SpecResult>

impl SpecCombinator for RSAPublicKey

type SpecResult = PolyType<<<ASN1<BigInt> as View>::V as SpecCombinator>::SpecResult, <<ASN1<BigInt> as View>::V as SpecCombinator>::SpecResult>

impl SpecCombinator for TBSCertificate

type SpecResult = PolyType<<<ASN1<ExplicitTag<ASN1<Integer>>> as View>::V as SpecCombinator>::SpecResult, <<ASN1<BigInt> as View>::V as SpecCombinator>::SpecResult, <<Cached<ASN1<AlgorithmIdentifier>> as View>::V as SpecCombinator>::SpecResult, <<ASN1<Name> as View>::V as SpecCombinator>::SpecResult, <<ASN1<Validity> as View>::V as SpecCombinator>::SpecResult, <<ASN1<Name> as View>::V as SpecCombinator>::SpecResult, <<ASN1<PublicKeyInfo> as View>::V as SpecCombinator>::SpecResult, <<ASN1<ImplicitTag<BitString>> as View>::V as SpecCombinator>::SpecResult, <<ASN1<ImplicitTag<BitString>> as View>::V as SpecCombinator>::SpecResult, <<ASN1<ExplicitTag<ASN1<Extensions>>> as View>::V as SpecCombinator>::SpecResult>

impl SpecCombinator for Time

type SpecResult = PolyType<<<ASN1<UTCTime> as View>::V as SpecCombinator>::SpecResult, <<ASN1<GeneralizedTime> as View>::V as SpecCombinator>::SpecResult>

impl SpecCombinator for Validity

type SpecResult = PolyType<<<Time as View>::V as SpecCombinator>::SpecResult, <<Time as View>::V as SpecCombinator>::SpecResult>

impl<C1, C2> SpecCombinator for Default<C1::SpecResult, C1, C2>

where C1: SecureSpecCombinator, C2: SecureSpecCombinator + DisjointFrom<C1>,

type SpecResult = PairValue<<C1 as SpecCombinator>::SpecResult, <C2 as SpecCombinator>::SpecResult>

impl<C1, C2> SpecCombinator for Optional<C1, C2>

where C1: SecureSpecCombinator, C2: SecureSpecCombinator + DisjointFrom<C1>,

type SpecResult = PairValue<OptionDeep<<C1 as SpecCombinator>::SpecResult>, <C2 as SpecCombinator>::SpecResult>

impl<C1, C2> SpecCombinator for Pair<C1, C2>

where C1: SecureSpecCombinator, C2: SecureSpecCombinator,

type SpecResult = PairValue<<C1 as SpecCombinator>::SpecResult, <C2 as SpecCombinator>::SpecResult>

impl<C> SpecCombinator for vest::regular::repeat::Repeat<C>

where C: SpecCombinator + SecureSpecCombinator,

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

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

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

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

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

impl<Fst, Snd> SpecCombinator for vest::regular::depend::SpecDepend<Fst, Snd>

where Fst: SecureSpecCombinator, Snd: SpecCombinator,

type SpecResult = (<Fst as SpecCombinator>::SpecResult, <Snd 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 Preceded<Fst, Snd>

where Fst: SecureSpecCombinator<SpecResult = ()>, Snd: SpecCombinator,

type SpecResult = <Snd as SpecCombinator>::SpecResult

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

where Fst: SecureSpecCombinator, Snd: SpecCombinator,

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

impl<Inner> SpecCombinator for Cond<Inner>

where Inner: SpecCombinator,

type SpecResult = <Inner as SpecCombinator>::SpecResult

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

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

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

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

type SpecResult = <Inner as SpecCombinator>::SpecResult

impl<Inner, T> SpecCombinator for Tag<Inner, T>

where Inner: SpecCombinator<SpecResult = T>,

type SpecResult = ()

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

where Next: SpecCombinator,

type SpecResult = <Next as SpecCombinator>::SpecResult

impl<T> SpecCombinator for BuilderCombinator<T>

where T: Builder,

type SpecResult = ()

impl<T: ASN1Tagged + SpecCombinator> SpecCombinator for ASN1<T>

type SpecResult = <T as SpecCombinator>::SpecResult

impl<T: SpecCombinator> SpecCombinator for ExplicitTag<T>

type SpecResult = <T as SpecCombinator>::SpecResult

impl<T: SpecCombinator> SpecCombinator for ImplicitTag<T>

type SpecResult = <T as SpecCombinator>::SpecResult

impl<T: SpecCombinator> SpecCombinator for LengthWrapped<T>

type SpecResult = <T as SpecCombinator>::SpecResult

impl<T: SpecCombinator> SpecCombinator for Cached<T>

type SpecResult = <T as SpecCombinator>::SpecResult

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

type SpecResult = Seq<u8>