~/jendhub

def map_done_text

qasim-bend-kit@0.1.0.2 · proof/AES_CanonicalProof.bend:78

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

78def map_done_text(+text: String,
79    result: Result<&2, &2, AES.Error, String>) -> String:
80    match result:
81        case Fail{error}: text
82        case Done{value}: value

Uses (3)

Used by (1)