unionidModel data with ADTs. Query it with pipelines.

A complete path from a five-minute database to typed Rust integration, resumable migrations, stable pagination, and production operations.

Start in five minutes

Read in order

Schemas express business states

Records, sums, options, lists, tuples, and finite recursion have stable identity, defaults, constraints, and migration semantics.

Queries understand ADTs

Pipelines, exhaustive match, derive, aggregation, composite indexes, stable pagination, and explain share one type system.

Development through production

CLI, Rust, and TCP/HTTP share one Engine with backup, resumable migration, checks, compaction, metrics, and controlled networking.

Start with one complete journey

Install unionid, generate a standalone project, then apply migrations, seed, query, reopen, check, back up, and restore:

bash

cargo install unionid --locked
unionid init tasks
cd tasks
unionid project check --dir .
unionid migration apply --db data/tasks.redb --dir migrations
unionid run --db data/tasks.redb --file seed.unid
unionid run --db data/tasks.redb --file queries/list_running.unid

The documentation follows real user decisions: run it first, model and query data, choose an integration boundary, then operate and upgrade it safely.

unionidModel data with ADTs. Query it with pipelines.

Schemas express business states

Queries understand ADTs

Development through production

Start with one complete journey ​

Start with one complete journey