Expand description
Use this library if you want to fearlessly query and migrate your SQLite database with a Rusty API build on an encoding of your schema in types.
Do not use rust-query if you want a zero-cost abstraction.
The focus of this project is on bringing errors to compile-time and
generally making transactions easier to write.
Here are some errors that rust-query can prevent at compile-time:
- Column type errors.
- Foreign key violations on insert/update.
- Mismatches in number of returned rows (zero, one or multiple).
- Use of undefined columns.
- SQL syntax errors.
Some other errors cannot be prevented at compile-time, but they can
be turned into Result types so that the user is aware of them:
- Unique constraint errors.
- Foreign key violations on delete.
Next to those features, rust-query also helps writing complex queries:
- Reuse part of your query in another query by extracting it into a Rust function. Query types are kept simple so that the required function signature is easy to write.
- Aggregates that always return a single row make it easier to reason about queries.
- Automatic decorrelation of correlated sub-queries makes it possible to run those on SQLite.
Note that this project is still in relatively early stages. There might be bugs to catch, so if you are worried about that, then don’t use this yet.
§Overview of types
There is a hierarchy of types that can be used to build queries.
- TableRow, i64, f64, bool,
&[u8],&str: These are the base types for building expressions. They all implement IntoExpr and are Copy. Note that TableRow is special because it refers to a table row that is guaranteed to exist. - Expr is the type that all IntoExpr values can be converted into. It has a lot of methods to combine expressions into more complicated expressions. Most importantly, it implements std::ops::Deref, if the expression is a table expression. This can be used to get access to the columns of the table, which can themselves be table expressions. Note that combinators like optional and aggregate also have Expr as return type.
(), Expr and(Expr, Expr)implement IntoSelect These types can be used as the return type of a query. They specify exactly which values should be returned for each row in the result set.- Select is the type that all IntoSelect value can be converted into. It has the Select::map method which allows changing the type that is returned from the query.
§How to provide IntoSelect
Making a selection of values to return for each row in the result set is the final step when building queries. rust_query has many different methods of selecting.
- First, you can specify the columns that you want directly.
into_vec(&user.name)orinto_vec((&user.name, some_other_expr))Note that this method only supports tuples of size 2 (which can be nested). If you want to have more expressions, then you probably want to use one of the other methods. - Derive Select, super useful when some of the values are aggregates.
- Derive FromExpr, choose this method if you just want (a subset of) existing columns.
- Finally, you can implement IntoSelect manually, for maximum flexibility.
§How to work with optional rows
A single optional row is quite common as the result of using unique constraint.
For example you might create a Expr<Option<User>> with something like User.name(name).
- FromExpr is automatically implemented for
Option<T>if it is implemented forT, so you can do something likeOption::<UserInfo>::from_expr(User.name(name)). - Transaction::lazy also works with optional rows, so you can write
txn.lazy(User.name(name)). - For more complicated queries you have to use args::Optional::then_select.
§FAQ
-
Q: How do I get a full row from the database?
A: The Lazy type is most convenient if you want to use the row columns immediately. For other use cases, please take a look at the other options.
-
Q: How do I retrieve some columns + the TableRow of a row?
A: The Lazy type has a Lazy::table_row method to get the TableRow.
-
Q: Why is TableRow (and many other types)
!Send?A: This prevents moving the TableRow between transactions. Moving a TableRow between transactions would make it possible for the refered row to already be deleted in the new transaction.
§What it looks like
Define a schema using the syntax of a module with structs:
use rust_query::migration::schema;
#[schema(MySchema)]
pub mod vN {
// Structs are database tables
pub struct User {
// This table has one column with String (sqlite TEXT) type.
pub name: String,
}
pub struct Image {
pub description: String,
// This column has a foreign key constraint to the User table
pub uploaded_by: User,
}
}Initialize a database:
let database = Database::new(Config::open("my_database.sqlite"));Perform a transaction!
database.transaction_mut_ok(|txn| {
do_stuff_with_database(txn);
// Changes are committed at the end of the closure!
});Insert in the database:
// Lets make a new user 'mike',
let mike = User { name: "mike" };
let mike_id = txn.insert_ok(mike);
// and also insert a dog picture for 'mike'.
let dog_picture = Image {
description: "dog",
uploaded_by: mike_id,
};
let _picture_id = txn.insert_ok(dog_picture);Query from the database:
// Now we want to get all pictures for 'mike'.
let mike_pictures = txn.query(|rows| {
// Initially there is one empty row.
// Lets join the pictures table.
let picture = rows.join(Image);
// Now lets filter for pictures from mike,
rows.filter(picture.uploaded_by.eq(mike_id));
// and finally turn the rows into a vec.
rows.into_vec(&picture.description)
});
println!("{mike_pictures:?}"); // This should print `["dog"]`.§Roadmap
The current focus is on making the library more accessible and more generally useful. Funded by NLnet!
Modules§
Structs§
- Database
- Database is a proof that the database has been configured.
- Database
Async - This is an async wrapper for Database.
- Expr
- This is an expression that can be used in queries.
- Lazy
- Lazy can be used to read any column of a table row and its parents. Columns are loaded on demand, one row at at time.
- Select
- Select is used to define what to query from the database for each row.
- Table
Row - Row reference that can be used in any query in the same transaction.
- Transaction
- Transaction can be used to query and update the database.
- Transaction
Weak - This is the weak version of Transaction.
- Unix
Epoch - Use this a value in a query to get the current datetime as a number of seconds.
- Update
- Defines a column update.
Traits§
- From
Expr - Trait for values that can be retrieved from the database using one expression.
- Into
Expr - Trait for all values that can be used as expressions in queries.
- Into
Select - This trait is implemented by everything that can be retrieved from the database.
- Table
- This trait is implemented for all table types as generated by the crate::migration::schema macro.
Functions§
- aggregate
- Perform an aggregate that returns a single result for each of the current rows.
- optional
- This is a combinator function that allows constructing single row optional queries.