Commands.handle.end: def of bend-kit-commands@0.4.0.0
Import: import bend-kit-commands@0.4.0.0/commands.bend as Commands
Lines 373-384 of bend-kit-commands@0.4.0.0/commands.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-commands@0.4.0.0/commands.bend&start_line=373&end_line=384

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
import bend-kit-sqlite@0.1.0.1/sqlite.bend as Sqlite

# On failure, resets the read statements and rolls back. Rollback errors are ignored: the transaction may not have started.
def handle.end(r: Result<&1, &1, U32 & String, Reply<Bytes.Bytes>>, st: Store) -> Run(Reply<Bytes.Bytes>):
  match r:
    case Done{x}:
      Run.pure(Reply<Bytes.Bytes>, x)
    case Fail{e}:
      Store{db, begin, commit, rollback, find, read, save, del, keep, emit} = st
      do IO<Result<&1, &1, U32 & String, Reply<Bytes.Bytes>>>:
        a : Result<&1, &1, U32 & String, Unit> <- Sqlite.stmt.reset(find)
        b : Result<&1, &1, U32 & String, Unit> <- Sqlite.stmt.reset(read)
        c : Result<&1, &1, U32 & String, Unit> <- exec(rollback)
        return Fail{e}

Uses (15):
  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=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  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-commands@0.4.0.0/commands.bend&name=Reply
  https://jend.leeeet.dev/definition.txt?path=bend-kit-commands@0.4.0.0/commands.bend&name=Run
  https://jend.leeeet.dev/definition.txt?path=bend-kit-commands@0.4.0.0/commands.bend&name=Run.pure
  https://jend.leeeet.dev/definition.txt?path=bend-kit-commands@0.4.0.0/commands.bend&name=Store
  https://jend.leeeet.dev/definition.txt?path=bend-kit-commands@0.4.0.0/commands.bend&name=exec
  https://jend.leeeet.dev/definition.txt?path=bend-kit-sqlite@0.1.0.1/sqlite.bend&name=stmt.reset