Expand description
§LazySql
- LazySql is a sqlite library for rust
- Has compile time guarantees
- Ergonomic
- Fast. Automatically caches and reuses prepared statements for you
- Some downsides that may or may not be fixed in future
- it follows an opinionated API design
- Doesn’t support BLOBS
- Doesn’t support Batch Execution ergonomically. You would need to resort to
sql!()orsql_runtime!()macro
§Overview
§Installation
Run the following Cargo command in your project directory:
cargo add lazysqlOR
Go to LazySql’s crates.io to get the latest version. Add that to following line to your Cargo.toml:
lazysql = "*" # Replace the "*" with the latest version§Quick Start
use lazysql::{LazyConnection, lazy_sql};
#[lazy_sql]
struct AppDatabase {
// all create tables must be at the top before read/write logic in order to get compile time checks
// you don't have to import sql! macro. lazy_sql brings with it
init: sql!("
CREATE TABLE IF NOT EXISTS users (
id INTEGER PRIMARY KEY NOT NULL,
username TEXT NOT NULL,
is_active INTEGER NOT NULL CHECK (is_active IN (0, 1)) -- the library infers this as bool. more info below
)
"),
// postgres `::` type casting is supported. Alternatively u can use CAST AS syntax
add_user: sql!("INSERT INTO users (id, username, is_active) VALUES (?::real, ?, ?)"),
get_active_users: sql!("SELECT id::real, username, is_active as active FROM users WHERE is_active = ?"),
}
fn main() -> Result<(), Box<dyn std::error::Error>> {
// or LazyConnection::open("path/to/sql.db") note that it lazily creates one if doesnt exist
let conn = LazyConnection::open_memory()?;
// The 'new' constructor is generated automatically
let mut db = AppDatabase::new(conn);
// You can now call the methods and it will run the sql commands
db.init()?;
// Types are enforced by Rust
// Respects type inference. i64 -> f64 for id (first argument)
db.add_user(0.0, "Alice", true)?;
db.add_user(1.0, "Bob", false)?;
// active_users is an iterator
let active_users = db.get_active_users(true)?;
for user in active_users {
// u can access the fields specifically if you want
// Respects Aliases (is_active -> active)
let user = user?;
println!("{}, {}, {}", user.active, user.username, user.id); // note user.id is float as we type casted it in the sql stmt
}
Ok(())
// prints out "true, Alice, 0"
}-
LazySqlhas some nice QOL features like hover over to see sql code and good ide support
-
The type inference system and compile time check also works well for
JOIN,CASEctes,window function,datetime functionsrecursive ctes,RETURNINGand more complex scenarios. You can even runPRAGMAstatements with it. -
Since SQLite defaults to nullable columns, the type inference system defaults to Option
. To use concrete types (e.g., String instead of Option ), explicitly add NOT NULL to your table columns -
You cannot name a field called
transactionin the struct since its a reserved method name for transactions. Failiure to do so will result in a compile time error. -
There will be rare scenarios when a type is impossible to infer.
LazySqlwill tell you specifically which binding parameter or expression cannot be inferred and will suggest using type casting via PostgreSQL’s::operator or standard SQL’sCAST AS. Note that you can’t type cast asbooleanfor now.For instance,


§Connection methods
lazysql supports 3 ways to define your schema, depending on your workflow.
§1. Inline Schema
As seen in the Quick Start. Define tables inside the struct.
#[lazy_sql]
struct App { ... }§2. SQL File
Point to a .sql file. The compile time checks will be done against this sql file (ensure that there is CREATE TABLE). lazysql watches this file; if you edit it, rust recompiles automatically to ensure type safety.
#[lazy_sql("schema.sql")]
// you dont have to create tables. Any read/write sql queries gets compile time guarantees.
struct App { ... }§3. Live Database
Point to an existing .db binary file. lazysql inspects the live metadata to validate your queries.
#[lazy_sql("production_snapshot.db")]
struct App { ... }Note: for method 2 and 3, you can technically CREATE TABLE as well but to ensure that they are taken into consideration for compile time check, add them at the top of your struct
§Features
the lazy_sql! macro brings sql! and sql_runtime! macro. so there is no need to import them. and they can only be used within structs defined with lazy_sql!
Note: Both sql! and sql_runtime! accept only a single SQL statement at a time. Chaining multiple queries with semicolons (;) is not supported and will result in compile time error.
§
sql!MacroAlways prefer to use this. It automatically:
- Infers Inputs: Maps
?to Rust types (i64,f64,String,bool). - Generates Outputs: For
SELECTqueries, creates a struct named after the field
- Infers Inputs: Maps
§
sql_runtime!Macro-
Use this only when you need the sql to to be executed at runtime with some compile time guarantees. Rarely needed in practice. You would know when you need it.
-
Originally,
sql_runtime!is intended more of an escape hatch when you cant use thesql!macro due to false positives. False positives are extremely extremely rare. Look below for more info. This is why u still have to define structs for SELECT statements and specify types for binding parameters for non-SELECT statements
§a.
SELECTYou can map a query result to any struct by deriving
SqlMapping.SqlMappingmaps columns by index, not by name. The order of fields in your struct must match the order of columns in yourSELECTstatement exactly.use lazysql::{SqlMapping, LazyConnection, lazy_sql}; #[derive(Debug, SqlMapping)] pub struct UserStats { // must be pub total: i64, // Maps to column index 0 status: String, // Maps to column index 1 } #[lazy_sql] struct Analytics { get_stats: sql_runtime!( UserStats, // pass in the struct so you can access the fields later "SELECT count(*) as total, status FROM users WHERE id > ? AND login_count >= ? GROUP BY status", i64, // Maps to 1st '?' i64 // Maps to 2nd '?' ) } fn foo{ let conn = LazyConnection::open_memory()?; let mut db = Analytics::new(conn); let foo = db.get_stats(100, 5)?; for i in foo{ // i.total and i.status is accessible } }§b. No Return Type
For
INSERT,UPDATE, orDELETEstatements#[lazy_sql] struct Logger { log: sql_runtime!("INSERT INTO logs (msg, level) VALUES (?, ?)", String, i64) } // can continue to use it normally.-
§Postgres
::type casting syntaxNote: bool type casting is not supported for now
sql!("SELECT price::text FROM items") // Compiles to: // "SELECT CAST(price AS TEXT) FROM items"§
all()andfirst()methods for iterators-
all()collects the iterator into a vector. Just a lightweight wrapper around .collect() to prevent adding type hints (Vec<_>) in codelet results = db.get_active_users(false)?; let collected_results =results.all()?; // returns a Vec of owned results from the returned rows -
first()Returns the first row if available, or None if the query returned no results.let results = db.get_active_users(false)?; let first_result = results.first()?.unwrap(); // returns the first row from the returned rows
-
§Transactions
-
Note: you cannot name a field called
transactionin the struct since its a reserved method name. Failiure to do so will result in a compile time error.use lazysql::{LazyConnection, lazy_sql}; #[lazy_sql] struct DB { // We add UNIQUE to trigger a real database error later init: sql!( "CREATE TABLE IF NOT EXISTS users (id INTEGER PRIMARY KEY NOT NULL, name TEXT UNIQUE NOT NULL)" ), add: sql!("INSERT INTO users (name) VALUES (?)"), count: sql!("SELECT count(*) as count FROM users"), } fn main() -> Result<(), Box<dyn std::error::Error>> { let conn = LazyConnection::open_memory()?; let mut db = DB::new(conn); db.init()?; // Successful Transaction (Batch Commit) let results = db.transaction(|tx| { tx.add("Alice")?; tx.add("Bob")?; let count = tx.count()?.all()?; Ok(count) // if you are not returning anything, u should return it as `Ok(())` })?; println!("{:?}", results[0].count); // prints out '2' // Failed Transaction (Automatic Rollback) // We try to add Charlie, then add Alice again. // Since 'Alice' exists, the second command fails, causing the WHOLE block to revert. // If you are running this on ur computer, it is expected to see this in the terminal: // "Error: WriteBinding(Step(SqliteFailure { code: 19, error_msg: "UNIQUE constraint failed: users.name" }))" db.transaction(|tx| { tx.add("Charlie")?; // 1. Writes successfully (pending) tx.add("Alice")?; // 2. Fails (Duplicate) -> Triggers Rollback Ok(()) })?; Ok(()) }
§Type Mapping
| SQLite Context | Rust Type | Notes |
|---|---|---|
TEXT | String / &str | - |
INTEGER | i64 | - |
REAL | f64 | Includes FLOAT, DOUBLE |
BOOLEAN | bool | Requires CHECK (col IN (0,1)) or Check (col = 0 OR col = 1). You could technically use BOOL or BOOLEAN as the data type when creating table (due to sqlite flexible type nature) and it would work as well. But this is discouraged |
| Nullable | Option<T> | When a column or expr has a possibility of returning NULL, this will be returned. its recommended to use NOT NULL when creating tables so that ergonomic-wise you don’t always have to use Some(T) when adding parameters |
§Dynamic runtime features
- Strongly recommended to use the
sql!macro for most use-cases. Dynamic runtime features are only needed in rare scenarios.
§How is this different from sql_runtime!
sql_runtime!is intended more of an escape hatch when you cant use thesql!macro due to false positives. False positives are extremely extremely rare. Look below for more info. This is why u still have to define structs for SELECT statements and specify types for binding parameters for non-SELECT statements
§Runtime Features
-
Dynamic runtime features happens fully at runtime. All the features are stated below in this code block.
use lazysql::LazyConnection; fn main() -> Result<(), Box<dyn std::error::Error>> { let conn = LazyConnection::open_memory()?; // Use execute_dynamic for write statements (CREATE, INSERT, UPDATE, DELETE, etc.) conn.execute_dynamic( "CREATE TABLE products ( id INTEGER PRIMARY KEY, name TEXT NOT NULL, price REAL, in_stock INTEGER )", )?; // _rows_affected variable is the number of rows modified, which in this case is an insert of 3 rows let _rows_affected = conn.execute_dynamic( "INSERT INTO products (name, price, in_stock) VALUES ('Laptop', 999.99, 1), ('Mouse', 25.50, 1), ('Keyboard', 75.00, 0)", )?; // Use query_dynamic for running SELECT statements let results = conn.query_dynamic("SELECT * FROM products")?; println!("Headers: {:?}", results.column_names); // id, name, price, in_stock // row_result is an iterator for row_result in results { let row = row_result?; for value in row { print!("{:?} ", value); // or u could do value.as_string(), value.as_f64(), value.as_i64(), etc. to convert the enum to specific type } } // u can use helper functions like first() or all() to get a vector of rows. let _first_row = conn .query_dynamic("SELECT name, price FROM products WHERE id = 1")? .first()?; // or .all()? for all rows Ok(()) }
§Transactions at Runtime
use lazysql::LazyConnection;
fn main() -> Result<(), Box<dyn std::error::Error>> {
let conn = LazyConnection::open_memory()?;
conn.execute_dynamic("CREATE TABLE users (id INTEGER PRIMARY KEY, name TEXT UNIQUE)")?;
// Successful Transaction
let user_count = conn.transaction(|tx| {
tx.execute_dynamic("INSERT INTO users (name) VALUES ('Alice')")?;
tx.execute_dynamic("INSERT INTO users (name) VALUES ('Bob')")?;
let row = tx
.query_dynamic("SELECT COUNT(*) FROM users")?
.first()?
.unwrap();
Ok(row[0].as_i32()) // Return the count
})?;
println!("{}", user_count); // Prints 2
// 3. Failed Transaction (Automatic Rollback)
// We try to add Charlie, then Alice again (who already exists).
let result = conn.transaction(|tx| {
tx.execute_dynamic("INSERT INTO users (name) VALUES ('Charlie')")?; // Succeeds
tx.execute_dynamic("INSERT INTO users (name) VALUES ('Alice')")?; // Fails (UNIQUE constraint)
Ok(())
});
if let Err(e) = result {
println!("{}", e);
}
// Charlie should NOT exist in the DB because the transaction reverted.
let final_count = conn
.query_dynamic("SELECT COUNT(*) FROM users")?
.first()?
.unwrap()[0]
.as_i32();
println!("Charlie not added. Total count: {}", final_count); // prints 2 since Charlie was not added.
Ok(())
}
§Notes
§Strict INSERT Validation
- Although standard SQL allows inserting any number of columns to a table, lazysql checks INSERT statements at compile time. If you omit any column (except for
AUTOINCREMENTandDEFAULT), code will fail to compile. This means you must either specify all columns explicitly, or use implicit insertion for all columns. This is done to prevent certain runtime errors such asNOT NULL constraint failedand more.
§False positives during compile time checks
-
I tried my best to support as many sql and sqlite-specific queries as possible.
-
This isnt naturally easy in sqlite as they dont provide any api to give us type inference and schema awareness validation.
-
In the extremely rare case of a False positives (valid SQL syntax fails or type inference incorrectly fails), you can fall back to the
sql_runtime!macro. Would appreciate it if you could open an issue as well.
§Cannot type cast as Boolean
- This is a limitation of sqlite since it doesn’t natively have
booleantype. I may find some workaround in the future but it’s not guaranteed. For now if you want to type cast as bool, u have to type cast it as anintegerand add either 1 (TRUE) or 0 (False)
§TODOS
- upsert
- check_constarint field in SELECT is ignored for now. maybe in future will make use of this field
- cant cast as bool
- BLOBS
- bulk insert
- begin immediate