GOOD-ORMNING
Good-ormning is an ORM, probably? In a nutshell:
- Define schemas and queries in
build.rs - Good-ormning generates a function to set up/migrate the database
- Good-ormning generates functions for each query
Features
- No macros
- No generics
- No traits
- No boilerplate duplicating stuff in the schema
- Automatic migrations, no migration-schema mismatches
- Query parameter type checking - no runtime errors due to parameter types, counts, or ordering
- Query logic type checking via a query simulation
- Query result type checking - no runtime errors due to result types, counts, or ordering
- Fast to generate, low runtime overhead
Like other Rust ORMs, Good-ormning doesn't abstract away from actual database workflows, but instead aims to enhance type checking with normal SQL.
See Comparisons, below, for information on how Good-ormning differs from other Rust ORMs.
Current status
Alpha:
- Basic features work
- Incomplete test coverage
- Missing advanced features
- Some ergonomics issues, interfaces may change in upcoming releases
Supported databases
- PostgreSQL
- Sqlite
Getting started
First time
-
You'll need the following runtime dependencies:
tokio-postgresfor PostgreSQLrusqlitefor Sqlitehex_literalif you use byte array literals in any queries
And
build.rsdependencies:good-ormning
-
Create a
build.rsand define your initial schema version and queries -
Call
goodormning::generate()to output the generated code -
In your code, after creating a database connection, call
migrate
Schema changes
- Copy your previous version schema, leaving the old schema version untouched. Modify the new schema and queries as you wish.
- Pass both the old and new schema versions to
goodormning::generate(), which will generate the new migration statements. - At runtime, the
migratecall will make sure the database is updated to the new schema version.
Example
This build.rs file
Generates this code
;
And can be used like
User 1: rust human
Usage details
IDs and Names
In general in this library, IDs are SQL table/field/index/constrait/etc ids, and names are what's used in generated Rust functions and structs.
IDs must be stable. Migrations are based around stable ids, so if (for example) a table ID changes, this will be considered a delete of the table with the old id, and a create of a new table with the new id.
In the example above, I used randomly generated IDs which have this property. This has the downside that it makes the SQL CLI harder to use. It's possible this will be improved upon, but if you frequently need to do things from the CLI I suggest creating a custom CLI using generated queries.
Types and queries
Use type_* field_* functions to get expression/field type builders. Use new_insert/select/update/delete to get a query builder for the associated query type.
Custom types
When defining a field in the schema, call .custom("mycrate::MyString", type_str().build()) on the field type builder (or pass it in as Some("mycreate::MyType".to_string()) if creating the type structure directly).
Custom types need to implement functions like this:
;
Any std::err::Error can be used for the error. The to_sql result and from_sql arguments should correspond to the base type you specified. If you're not sure what type that is, guess, and when you compile you'll get an compiler error saying which type you need.
Comparisons
Vs Diesel
Good-ormning is functionally most similar to Diesel.
Diesel
- You can define your queries and result structures near where you use them
- You can dynamically define queries (i.e. swap operators depending on the input, etc.)
- Result structures must be manually defined, and care must be taken to get the field order to match the query
- You can define new types to use in the schema, which are checked against queries, although this requires significant boilerplate
- Requires many macros, trait implementations
- To synchronize your migrations and in-code schema, you can use the CLI with a live database with migrations applied. However, this resets any custom SQL types in the schema with the built-in SQL types. Alternatively you can maintain the schema by hand (and risk query issues due to typos, mismatches).
- Column count limitations, slow build times
- Supports more syntax, withstood test of time
Good-ormning
- Queries have to be defined separately, in the
build.rsfile - All queries have to be defined up front in
build.rs - You don't have to write any structures, everything is generated from schema and query info
- Custom types can be incorporated into the schema with no boilerplate
- Migrations are automatically derived via a diff between schema versions plus additional migration metadata
- Clear error messages, thanks to no macros, generics, traits
- Code generation is fast, compiling the simple generated code is also fast
- Alpha
Vs SQLx
SQLx
- SQLx has no concept of a schema so it can only perform type-checking on native SQL types (no consideration for new types, blob encodings, etc)
- Requires a running database during development
Good-ormning
- The same schema used for generating migrations is used for type checking, and natively supports custom types
- A live database is unused during development, but all query syntax must be manually implemented in Good-ormning so you may encounter missing features
Vs SeaORM
SeaORM focuses on runtime checks rather than compile time checks, so the focus is quite different.
A few words on the future
Obviously writing an SQL VM isn't great. The ideal solution would be for popular databases to expose their type checking routines as libraries so they could be imported into external programs, like how Go publishes reusable ast-parsing and type-checking libraries.