Control.RIO.Sqlite3

Reexports

Definitions

withDB : Has SqlError es => String -> (DB => App es a) -> App es a

  Open a connection to the given database and use it to
  run the given effectful computation.
  
  This comes with the guarantees that the connection is properly
  closed at the end.

Totality: total
Visibility: export

withStmt : Has SqlError es => DB => String -> (Stmt => App es a) -> App es a

  Prepare an SQL statement and use it to run the given effectful computation.
  
  This comes with the guarantees that the statement is properly
  finalized at the end.

Totality: total
Visibility: export

bindParams : Has SqlError es => DB => Stmt => List Parameter -> App es ()

  Prepare an SQL statement and use it to run the given effectful computation.
  
  This comes with the guarantees that the statement is properly
  finalized at the end.
  
  This works just like `withStmt` but it also bind the given arguments.

Totality: total
Visibility: export

withBoundStmt : Has SqlError es => DB => ParamStmt -> (Stmt => App es a) -> App es a

  Prepare an SQL statement and use it to run the given effectful computation.
  
  This comes with the guarantees that the statement is properly
  finalized at the end.
  
  This works just like `withStmt` but it also bind the given arguments.

Totality: total
Visibility: export

step : Has SqlError es => Stmt => App es SqlResult

  Runs an SQL statement, returning the response from the database.

Totality: total
Visibility: export

commit : Has SqlError es => DB => ParamStmt -> App es ()

  Prepares, executes and finalizes the given SQL statement.
  
  The statement may hold a list of parameters, which will be
  bound prior to executing the statement.

Totality: total
Visibility: export

selectRows : Has SqlError es => DB => FromRow a => ParamStmt -> Nat -> App es (List a)

  Prepares and executes the given SQL query and extracts up to
  `n` rows of results.

Totality: total
Visibility: export

selectRow : Has SqlError es => DB => FromRow a => ParamStmt -> App es a

  Prepares and executes the given SQL query and extracts the
  first result.

Totality: total
Visibility: export

findRow : Has SqlError es => DB => FromRow a => ParamStmt -> App es (Maybe a)

  Prepares and executes the given SQL query and extracts the
  first result (if any).

Totality: total
Visibility: export

cmd : Has SqlError es => DB => Cmd t -> App es ()

  Executes the given SQL command.

Totality: total
Visibility: export

cmds : Has SqlError es => DB => Cmds -> App es ()

  Runs several commands in a single transaction.
  
  If any of the commands fails, the whole transaction is rolled back.

Totality: total
Visibility: export

query : Has SqlError es => DB => Query t -> Nat -> App es (List t)

  Runs the given query and accumulates at most `n` rows.

Totality: total
Visibility: export

queryTable : Has SqlError es => DB => {auto tr : ToRow t} -> (q : Query t) -> {auto 0 _ : ToRowTypes t = FromRowTypes t} -> Nat -> App es (Table t)

  Runs the given query and accumulates at most `n` rows.
  
  The result is stored in a `Table` with a proper header of
  column names.

Totality: total
Visibility: export