Scram.parse.salt: def of bend-kit-postgres@0.3.0.0 Import: import bend-kit-postgres@0.3.0.0/scram.bend as Scram Lines 101-107 of bend-kit-postgres@0.3.0.0/scram.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-postgres@0.3.0.0/scram.bend&start_line=101&end_line=107 import Base import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes def parse.salt(m: Maybe<&1, Bytes.Bytes>, +nonce: String, +it: String) -> Result<&1, &1, U32 & String, Parsed>: match m: case None{}: Fail{(22, "SCRAM salt is not base64")} case Some{b}: +salt = Bytes.to_string(b) parse.salt.of(String.is_empty(salt), nonce, salt, it) Uses (11): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=to_string https://jend.leeeet.dev/definition.txt?path=bend-kit-postgres@0.3.0.0/scram.bend&name=Parsed https://jend.leeeet.dev/definition.txt?path=bend-kit-postgres@0.3.0.0/scram.bend&name=parse.salt.of