Commands.exec: def of bend-kit-commands@0.4.0.0
Import: import bend-kit-commands@0.4.0.0/commands.bend as Commands
Lines 113-118 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=113&end_line=118

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

# Steps a statement and ignores any row, then resets it, also after a failed step.
def exec(+stmt: U32) -> Run(Unit):
  do IO<Result<&1, &1, U32 & String, Unit>>:
    r : Result<&1, &1, U32 & String, Bool> <- Sqlite.stmt.step(stmt)
    z : Result<&1, &1, U32 & String, Unit> <- Sqlite.stmt.reset(stmt)
    return first(Unit, unit(Bool, r), z)

Uses (14):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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-commands@0.4.0.0/commands.bend&name=unit
  https://jend.leeeet.dev/definition.txt?path=bend-kit-sqlite@0.1.0.1/sqlite.bend&name=stmt.reset
  https://jend.leeeet.dev/definition.txt?path=bend-kit-sqlite@0.1.0.1/sqlite.bend&name=stmt.step