AESEnvelopeProof.aes_parse_encoder_fields_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 989-1007 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=989&end_line=1007

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

def aes_parse_encoder_fields_map(+envelope: AES.Envelope) ->
    {Result.map(&2, &2, AES.Error, AES.Envelope, String, AES.encode,
        AES.parse_fields(["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))])) ==
     Done{AES.encode(envelope)} :
        Result<&2, &2, AES.Error, String>}:
    match envelope:
        case AES.Envelope{nonce, ciphertext, tag, valid}:
            match nonce:
                case AES.Nonce{nonce_bytes, nonce_size, nonce_valid}:
                    aes_parse_fields_hex_map(
                        AES.fixed_bytes(12n, nonce_bytes),
                        AES.fixed_bytes(16n, AES.tag_bytes(tag)), ciphertext,
                        aes_fixed_bytes_length(12n, nonce_bytes),
                        aes_fixed_bytes_length(16n, AES.tag_bytes(tag)))

Uses (18):
  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=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=Nonce
  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_fixed_bytes_length
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/proof/AES_EnvelopeProof.bend&name=aes_parse_fields_hex_map