migtool 10.0.0

Migrate is a SQLite-first toolkit: filesystem SQL migrations are the schema source of truth, and mig codegen emits typed F# queries for relations you annotate.

What it does

1. You write ordered *.sql migrations (applied by file name).
2. You annotate tables/views with -- mig: comments for the ops you want.
3. mig codegen (or MigLib.Codegen.generate) applies migrations to a temp DB, introspects schema, and emits one .fs module file per annotated relation into an output directory.
4. At runtime you call MigLib.migrateScripts and use dbTxn with generated helpers on Microsoft.Data.Sqlite (runtime package only — no codegen dependency).

There is no F#-first schema DSL, no SqlProvider, no DbUp dependency, and no automatic normalization.

Annotation example

-- mig:rel User
-- mig:ops insert, select_by(email), select_by_id
-- mig:ops upsert
-- mig:bool active
-- mig:datetime created_at
CREATE TABLE app_user (
  id INTEGER NOT NULL PRIMARY KEY AUTOINCREMENT,
  email TEXT NOT NULL,
  active INTEGER NOT NULL,
  created_at TEXT NOT NULL
) STRICT;

-- mig:ops select_all, select_one_by(email)
CREATE VIEW active_user AS
  SELECT id, email, created_at FROM app_user WHERE active = 1;

Rules:

• Unannotated relations generate no F#.
• Ops are explicit; no ops means no type.
• Multiple -- mig:ops lines on one relation are merged in order (handy for long lists).
• Views only allow read ops (select_*); write ops fail at codegen.
• -- mig:rel Name is optional; otherwise the F# name is derived from the SQL identifier.

See specs/sql_first_rewrite.md for the full design.

Installation

dotnet tool install --global migtool

Library:

dotnet add package MigLib

Codegen

mig codegen \
  --migrations ./Migrations \
  --output ./Stores \
  --namespace MyApp.Db

This writes Stores/User.fs, Stores/ActiveUser.fs, etc. (module MyApp.Db.User, …). Hand-written companions can live alongside generated files; only files marked // <auto-generated /> are deleted when a relation disappears.

From build.fsx / F#:

open MigLib.Codegen

match generate "./Migrations" "./Stores" "MyApp.Db" with
| Ok r ->
    Console.WriteLine(
      "generated "
      + string r.relationCount
      + " relations in "
      + r.outputDir)
    r.generatedFiles |> List.iter (fun p -> Console.WriteLine("  " + p))
| Error e -> failwith e

Runtime

open System
open MigLib
open MyApp.Db

// apply migrations from a directory of *.sql files
do!
  migrateScripts dbPath "./Migrations"
  |> Task.map (function Ok () -> () | Error e -> failwith e)

// use transactions + generated queries (module MyApp.Db.User)
let! user =
  dbTxn dbPath {
    match! User.selectOneByEmail email with
    | Some u -> return u
    | None ->
      let! id =
        User.insert
          { Email = email
            Active = true
            CreatedAt = DateTimeOffset.UtcNow }
      return! User.selectById id |> TxnStep.map Option.get
  }

Packages

Local build

dotnet fsi build.fsx -- --target build
dotnet fsi build.fsx -- --target install
cd src && dotnet test

Version

Major version 10 is a greenfield rewrite (SQL-first). Older MigSchema / attribute-based workflows are not supported.