def once.run

bend-kit-commands@0.4.0.0 · commands.bend:120

import bend-kit-commands@0.4.0.0/commands.bend as Commands

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

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

Uses (11)

Used by (1)

bend-kit-commands@0.4.0.0/commands:once