def seen.row

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

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

208def seen.row(row: Bool, +find: U32) -> Run(Maybe<Record<Bytes.Bytes, Bytes.Bytes>>):
209  match row:
210    case False{}:
211      Run.pure(Maybe<Record<Bytes.Bytes, Bytes.Bytes>>, None{})
212    case True{}:
213      do Run<Maybe<Record<Bytes.Bytes, Bytes.Bytes>>>:
214        p : Bytes.Bytes <- column(find, 0)
215        kind : U32 <- Sqlite.stmt.column.int(find, 1)
216        r : Bytes.Bytes <- column(find, 2)
217        at : U32 <- Sqlite.stmt.column.int(find, 3)
218        return Some{Record{p, outcome(U32.is_eq(kind, 1), r), at}}