def aes_envelope_roundtrip

qasim-bend-kit@0.1.0.2 · proof/AES_EnvelopeProof.bend:1034

import Base
import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES
import qasim-bend-kit@0.1.0.2/proof/AES_CanonicalProof.bend as Canonical

1034def aes_envelope_roundtrip(+envelope: AES.Envelope) ->
1035    {Result.map(&2, &2, AES.Error, AES.Envelope, String, AES.encode,
1036        AES.parse(AES.encode(envelope))) == Done{AES.encode(envelope)} :
1037        Result<&2, &2, AES.Error, String>}:
1038    Canonical.canonical_map_from_encoded(AES.encode(envelope),
1039        AES.parse_fields(String.split(AES.encode(envelope), Chr{46})),
1040        aes_parse_fields_encoded_map(envelope))