Trait SpecIso

pub trait SpecIso {
    type Src: SpecFrom<Self::Dst>;
    type Dst: SpecFrom<Self::Src>;
}

Spec version of Iso. It mandates that the isomorphism is bijective.

Required Associated Types

type Src: SpecFrom<Self::Dst>

The source type of the isomorphism.

type Dst: SpecFrom<Self::Src>

The destination type of the isomorphism.

Implementors

impl SpecIso for AlgorithmIdentifierMapper

type Src = (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>)

type Dst = 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 SpecIso for ExtensionMapper

type Src = (Seq<u64>, PairValue<OptionDeep<bool>, 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>>)

type Dst = 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<C: SpecCombinator> SpecIso for IdentityMapper<C>

type Src = <C as SpecCombinator>::SpecResult

type Dst = <C as SpecCombinator>::SpecResult