AESEnvelopeProof.aes_parse_fields_encoded_map: def of qasim-bend-kit@0.1.0.2
Import: import qasim-bend-kit@0.1.0.2/proof/AES_EnvelopeProof.bend as AESEnvelopeProof
Lines 1009-1032 of qasim-bend-kit@0.1.0.2/proof/AES_EnvelopeProof.bend: https://jend.leeeet.dev/read.txt?path=qasim-bend-kit@0.1.0.2/proof/AES_EnvelopeProof.bend&start_line=1009&end_line=1032

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

def aes_parse_fields_encoded_map(+envelope: AES.Envelope) ->
    {Result.map(&2, &2, AES.Error, AES.Envelope, String, AES.encode,
        AES.parse_fields(String.split(AES.encode(envelope), Chr{46}))) ==
     Done{AES.encode(envelope)} :
        Result<&2, &2, AES.Error, String>}:
    fields: List<&2, String> = "v1" <>
        AES.hex_bytes(AES.fixed_bytes(12n,
            AES.nonce_bytes(AES.envelope_nonce(envelope)))) <>
        AES.hex_bytes(AES.fixed_bytes(16n,
            AES.tag_bytes(AES.envelope_tag(envelope)))) <>
        AES.hex_bytes(AES.ciphertext(envelope)) <> Nil{}
    Equal.trans(Result<&2, &2, AES.Error, String>,
        Result.map(&2, &2, AES.Error, AES.Envelope, String, AES.encode,
            AES.parse_fields(String.split(AES.encode(envelope), Chr{46}))),
        Result.map(&2, &2, AES.Error, AES.Envelope, String, AES.encode,
            AES.parse_fields(fields)),
        Done{AES.encode(envelope)},
        Equal.cong(List<&2, String>,
            Result<&2, &2, AES.Error, String>,
            parts => Result.map(&2, &2, AES.Error, AES.Envelope,
                String, AES.encode, AES.parse_fields(parts)),
            String.split(AES.encode(envelope), Chr{46}), fields,
            aes_encode_fields_split(envelope)),
        aes_parse_encoder_fields_map(envelope))

Uses (21):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Equal.cong
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Equal.trans
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result.map
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.split
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend&name=Envelope
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend&name=ciphertext
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend&name=encode
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend&name=envelope_nonce
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend&name=envelope_tag
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend&name=fixed_bytes
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend&name=hex_bytes
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend&name=nonce_bytes
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend&name=parse_fields
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend&name=tag_bytes
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/proof/AES_EnvelopeProof.bend&name=aes_encode_fields_split
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/proof/AES_EnvelopeProof.bend&name=aes_parse_encoder_fields_map