Commands.once.run: def of bend-kit-commands@0.4.0.0
Import: import bend-kit-commands@0.4.0.0/commands.bend as Commands
Lines 120-124 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=120&end_line=124

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

def once.run(-A: Type, +s: U32, body: U32 -> Run(A)) -> Run(A):
  do IO<Result<&1, &1, U32 & String, A>>:
    r : Result<&1, &1, U32 & String, A> <- body(s)
    z : Result<&1, &1, U32 & String, Unit> <- Sqlite.stmt.finalize(s)
    return first(A, r, z)

Uses (11):
  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-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=first
  https://jend.leeeet.dev/definition.txt?path=bend-kit-sqlite@0.1.0.1/sqlite.bend&name=stmt.finalize