Rezoom.SQL.Synchronous

This namespace contains extension methods to run SQL commands synchronously.

The ConnectionContext type

You can use these methods on a DbConnection obtained however you like. However, it is more idiomatic to use the ConnectionContext type in Rezoom.SQL.

This will open a connection when needed using the connection strings section from your app.config. If you have multiple connection strings with differnt names, you can work with all of them using the same ConnectionContext, and all the database connections will be disposed when the context is disposed.

Example usage:

open Rezoom.SQL
open Rezoom.SQL.Synchronous

type QueryType = SQL<"select Name, Email from Users where Id = @id">

let example() =
    use context = new ConnectionContext()
    let results = QueryType.Command(id = 1).Execute(context)
    for result in results do
        printfn "%s %s" result.Name result.Email

Simple execution

These extensions run the given command and return its result directly.

static member Execute : cmd : Command<'a> * conn : DbConnection -> 'a
static member Execute : cmd:Command<'a> * context:ConnectionContext -> 'a

Taking the only result

If you execute a query with a limit 1 clause, you will probably not want to deal with the list of rows you get back. You'll only care about the first returned row, and you might want to assert that there aren't more rows just as a sanity check. These methods do that. All will throw if the result list contains more than one object. The TryExactlyOne variants will accept empty lists and return None, while the ExactlyOne variants will throw on empty lists.

static member ExecuteTryExactlyOne : cmd : Command<#IReadOnlyList<'a>> * conn : DbConnection -> 'a option
static member ExecuteTryExactlyOne : cmd : Command<#IReadOnlyList<'a>> * context : ConnectionContext -> 'a option
static member ExecuteExactlyOne : cmd : Command<#IReadOnlyList<'a>> * conn : DbConnection -> 'a
static member ExecuteExactlyOne : cmd : Command<#IReadOnlyList<'a>> * context : ConnectionContext -> 'a

Note that it is not necessary to use these methods when RZSQL can statically infer that a query will always return exactly one row. For example, if you execute a simple select 1 as x, 2 as y; with no where or limit clause, that will always produce a single row, so RZSQL will generate the command type as Command<Query.Row> instead of Command<IReadOnlyList<Query.Row>>.

Processing scalar results

When a generated row type has only one column, it will get an automatic implementation of IScalar<TypeOfColumn>. This allows you to use these extension methods for convenient handling of single-row, single-column queries like select rowcount() as x;.

static member ExecuteScalar : cmd : Command<#IScalar<'a>> * conn : DbConnection -> 'a
static member ExecuteScalar : cmd : Command<#IScalar<'a>> * context : ConnectionContext -> 'a