Evolu - Local-First Platform

import * as Schema from "@effect/schema/Schema";
import * as Evolu from "@evolu/react";
 
const TodoId = Evolu.id("Todo");
type TodoId = Schema.Schema.To<typeof TodoId>;
 
const NonEmptyString50 = Evolu.String.pipe(
  Schema.minLength(1),
  Schema.maxLength(50),
  Schema.brand("NonEmptyString50"),
);
type NonEmptyString50 = Schema.Schema.To<typeof NonEmptyString50>;
 
const TodoTable = Schema.struct({
  id: TodoId,
  title: NonEmptyString50,
  description: Schema.nullable(Evolu.NonEmptyString1000),
  isCompleted: Evolu.SqliteBoolean,
});
type TodoTable = Schema.Schema.To<typeof TodoTable>;
 
const Database = Schema.struct({
  todo: TodoTable,
});
 
const { useQuery, useMutation } = Evolu.create(Database);
 
const { rows } = useQuery(
  (db) =>
    // A type-safe SQL query builder.
    db.selectFrom("todo").select(["id", "title"]).orderBy("createdAt"),
  // The filterMap helper for ad-hoc schema migrations.
  (row) => row
);
 
const { create, update } = useMutation();
 
if (!Schema.is(NonEmptyString50)(title)) return;
const { id } = create("todo", { title, isCompleted: false });
 
update("todo", { id, isCompleted: true }, onComplete);