diff options
| author |  Peter McGoron
| 2021-10-16 13:40:43 -0400 |
|---|---|---|
| committer | Peter McGoron
| 2021-10-16 13:40:43 -0400 |
| commit | af24722b2e0fbfcc10c4ff81801a409898362cc5 (patch) | |
| tree | fc4726ea78bb6fc4d5dffe3418e38c4cbb284389 /src/letsqlite.mli | |
| parent | add a boolean to the monad to be more flexible with error management (diff) | |
add check function
Diffstat (limited to 'src/letsqlite.mli')
| -rw-r--r-- | src/letsqlite.mli | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/letsqlite.mli b/src/letsqlite.mli index 1449f31..0ba7c9a 100644 --- a/src/letsqlite.mli +++ b/src/letsqlite.mli @@ -162,6 +162,10 @@ val finalize : 'a stmt_m -> 'a (** [finalize] raises an exception if the execution failed, and [V] otherwise. *) +val check : 'a stmt_m -> ('a * 'a stmt_m) +(** [check] checks if the statement is an error value and throws an + exception if it is. If it is not, then it returns [(V,S)]. *) + val bind_values : Sqlite3.Data.t list -> ('a,'a) monad_fun (** [bind_values l] binds each index of [l] to a positional parameter in [S]. *) |