Trait Continuation

pub trait Continuation {
    type Input<'a>;
    type Output;

    // Required method
    fn apply<'a>(&self, i: Self::Input<'a>) -> Self::Output;
}

Use this Continuation trait instead of Fn(Input) -> Output to avoid unsupported Verus features

Required Associated Types

type Input<'a>

type Output

Required Methods

fn apply<'a>(&self, i: Self::Input<'a>) -> Self::Output

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl Continuation for verdict_parser::x509::AlgorithmParamCont

type Input<'a> = ObjectIdentifierValue

type Output = Mapped<OrdChoice<Cond<OrdChoice<ASN1<Null>, End>>, OrdChoice<Cond<OrdChoice<ASN1<Null>, End>>, OrdChoice<Cond<OrdChoice<ASN1<Null>, End>>, OrdChoice<Cond<OrdChoice<ASN1<Null>, End>>, OrdChoice<Cond<OrdChoice<ASN1<DSAParam>, End>>, OrdChoice<Cond<End>, OrdChoice<Cond<End>, OrdChoice<Cond<End>, OrdChoice<Cond<End>, OrdChoice<Cond<OrdChoice<ASN1<Null>, End>>, OrdChoice<Cond<ASN1<ObjectIdentifier>>, OrdChoice<Cond<Tail>, Unreachable>>>>>>>>>>>>, Mapper>

impl Continuation for ExtensionCont

type Input<'a> = ObjectIdentifierValue

type Output = Optional<Mapped<ASN1<Boolean>, IdentityMapper<ASN1<Boolean>>>, <Cont as Continuation>::Output>

impl Continuation for verdict_parser::x509::ExtensionParamCont

type Input<'a> = ObjectIdentifierValue

type Output = Mapped<OrdChoice<Cond<ASN1<ExplicitTag<ASN1<AuthorityKeyIdentifier>>>>, OrdChoice<Cond<ASN1<ExplicitTag<ASN1<OctetString>>>>, OrdChoice<Cond<ASN1<ExplicitTag<ASN1<BasicConstraints>>>>, OrdChoice<Cond<ASN1<ExplicitTag<ASN1<CertificatePolicies>>>>, OrdChoice<Cond<ASN1<ExplicitTag<ASN1<ExtendedKeyUsage>>>>, OrdChoice<Cond<ASN1<ExplicitTag<ASN1<BitString>>>>, OrdChoice<Cond<ASN1<ExplicitTag<ASN1<GeneralNames>>>>, OrdChoice<Cond<ASN1<ExplicitTag<ASN1<NameConstraints>>>>, OrdChoice<Cond<ASN1<ExplicitTag<ASN1<AuthorityInfoAccess>>>>, OrdChoice<Cond<ASN1<OctetString>>, Unreachable>>>>>>>>>>, Mapper>

impl<'b, T: Combinator> Continuation for LengthWrappedCont<'b, T>

where <T as View>::V: SecureSpecCombinator<SpecResult = <<T as Combinator>::Owned as View>::V>,

type Input<'a> = usize

type Output = AndThen<Bytes, &'b T>