Postgres.sasl.cont: def of bend-kit-postgres@0.3.0.0
Import: import bend-kit-postgres@0.3.0.0/postgres.bend as Postgres
Lines 289-302 of bend-kit-postgres@0.3.0.0/postgres.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-postgres@0.3.0.0/postgres.bend&start_line=289&end_line=302

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
import bend-kit-postgres@0.3.0.0/codec.bend as Codec
import bend-kit-postgres@0.3.0.0/scram.bend as Scram

def sasl.cont(st: Scram.First, +pass: String, r: Result<&1, &1, Failure, Conn & Codec.Back>) -> IO(Result<&1, &1, Failure, Conn>):
  match r:
    case Fail{e}:
      IO.pure(Result<&1, &1, Failure, Conn>, Fail{e})
    case Done{(c, m)}:
      match m:
        case Codec.AuthSASLContinue{data}:
          do IO<Result<&1, &1, Failure, Conn>>:
            f : Result<&1, &1, U32 & String, Scram.Final & String> <- Scram.respond(st, Bytes.to_string(data), pass)
            sasl.respond(c, f)
        case Codec.ErrorResponse{fs}:
          reject(Conn, c, fs)
        case _:
          abort(Conn, c, Malformed{})

Uses (18):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  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=U32
  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/codec.bend&name=Back
  https://jend.leeeet.dev/definition.txt?path=bend-kit-postgres@0.3.0.0/postgres.bend&name=Conn
  https://jend.leeeet.dev/definition.txt?path=bend-kit-postgres@0.3.0.0/postgres.bend&name=Failure
  https://jend.leeeet.dev/definition.txt?path=bend-kit-postgres@0.3.0.0/postgres.bend&name=abort
  https://jend.leeeet.dev/definition.txt?path=bend-kit-postgres@0.3.0.0/postgres.bend&name=reject
  https://jend.leeeet.dev/definition.txt?path=bend-kit-postgres@0.3.0.0/postgres.bend&name=sasl.respond
  https://jend.leeeet.dev/definition.txt?path=bend-kit-postgres@0.3.0.0/scram.bend&name=Final
  https://jend.leeeet.dev/definition.txt?path=bend-kit-postgres@0.3.0.0/scram.bend&name=First
  https://jend.leeeet.dev/definition.txt?path=bend-kit-postgres@0.3.0.0/scram.bend&name=respond