Trait SecureSpecCombinator

pub trait SecureSpecCombinator: SpecCombinator { }

Theorems and lemmas that must be proven for a combinator to be considered correct and secure.

Implementations on Foreign Types

impl<C> SecureSpecCombinator for &C

where C: SecureSpecCombinator,

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

where Fst: SecureSpecCombinator, Snd: SecureSpecCombinator,

Implementors

impl SecureSpecCombinator for ASN1Tag

impl SecureSpecCombinator for Base128UInt

impl SecureSpecCombinator for BigInt

impl SecureSpecCombinator for BitString

impl SecureSpecCombinator for Boolean

impl SecureSpecCombinator for GeneralizedTime

impl SecureSpecCombinator for GeneralizedTimeInner

impl SecureSpecCombinator for IA5String

impl SecureSpecCombinator for Integer

impl SecureSpecCombinator for Length

impl SecureSpecCombinator for Null

impl SecureSpecCombinator for ObjectIdentifier

impl SecureSpecCombinator for OctetString

impl SecureSpecCombinator for PrintableString

impl SecureSpecCombinator for UTCTime

impl SecureSpecCombinator for UTCTimeInner

impl SecureSpecCombinator for UTF8String

impl SecureSpecCombinator for VarInt

impl SecureSpecCombinator for VarUInt

impl SecureSpecCombinator for Base64

impl SecureSpecCombinator for Bytes

impl SecureSpecCombinator for End

impl SecureSpecCombinator for Fail

impl SecureSpecCombinator for Tail

impl SecureSpecCombinator for U8

impl SecureSpecCombinator for U16

impl SecureSpecCombinator for U32

impl SecureSpecCombinator for U64

impl SecureSpecCombinator for Unreachable

impl SecureSpecCombinator for AccessDescription

impl SecureSpecCombinator for AlgorithmIdentifier

impl SecureSpecCombinator for AttributeTypeAndValue

impl SecureSpecCombinator for AuthorityInfoAccess

impl SecureSpecCombinator for AuthorityKeyIdentifier

impl SecureSpecCombinator for BasicConstraints

impl SecureSpecCombinator for Certificate

impl SecureSpecCombinator for CertificateInner

impl SecureSpecCombinator for CertificatePolicies

impl SecureSpecCombinator for DSAParam

impl SecureSpecCombinator for DigestInfo

impl SecureSpecCombinator for DirectoryString

impl SecureSpecCombinator for ECDSASigValue

impl SecureSpecCombinator for ExtendedKeyUsage

impl SecureSpecCombinator for Extension

impl SecureSpecCombinator for Extensions

impl SecureSpecCombinator for GeneralName

impl SecureSpecCombinator for GeneralNames

impl SecureSpecCombinator for GeneralSubtree

impl SecureSpecCombinator for GeneralSubtrees

impl SecureSpecCombinator for Name

impl SecureSpecCombinator for NameConstraints

impl SecureSpecCombinator for PolicyInfo

impl SecureSpecCombinator for PublicKeyInfo

impl SecureSpecCombinator for RDN

impl SecureSpecCombinator for RSAParam

impl SecureSpecCombinator for RSAPublicKey

impl SecureSpecCombinator for TBSCertificate

impl SecureSpecCombinator for Time

impl SecureSpecCombinator for Validity

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

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

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

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

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

where C1: SecureSpecCombinator, C2: SecureSpecCombinator,

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

where C: SecureSpecCombinator,

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

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

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

where Fst: SecureSpecCombinator, Snd: SecureSpecCombinator,

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

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

impl<Fst, Snd> SecureSpecCombinator for Preceded<Fst, Snd>

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

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

where Fst: SecureSpecCombinator, Snd: SecureSpecCombinator,

impl<Inner> SecureSpecCombinator for Cond<Inner>

where Inner: SecureSpecCombinator,

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>,

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>,

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

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

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

where Inner: SecureSpecCombinator<SpecResult = T>,

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

where Next: SecureSpecCombinator,

impl<T> SecureSpecCombinator for BuilderCombinator<T>

where T: Builder,

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

impl<T: SecureSpecCombinator> SecureSpecCombinator for ExplicitTag<T>

impl<T: SecureSpecCombinator> SecureSpecCombinator for ImplicitTag<T>

impl<T: SecureSpecCombinator> SecureSpecCombinator for LengthWrapped<T>

impl<T: SecureSpecCombinator> SecureSpecCombinator for Cached<T>

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