Status: This library is used in production by Aphera but is under active development. APIs may change.
SQLite-based undo/redo for Swift apps using SQLiteData and StructuredQueries. Uses database triggers to automatically capture reverse SQL for all changes to tracked tables, following the pattern described in Automatic Undo/Redo Using SQLite.
Changes are grouped into barriers that represent single user actions (e.g., "Set Rating", "Delete Item"). Barriers integrate with NSUndoManager so undo/redo works with the standard Edit menu, keyboard shortcuts, and shake-to-undo.
Two libraries are provided:
- SQLiteUndo — core undo engine, barriers, and free functions (
undoable,withUndoDisabled) - SQLiteUndoTCA — ComposableArchitecture integration for
UndoManagerwiring in SwiftUI
Add the following to your Package.swift:
.package(url: "https://github.com/latentco/sqlite-undo.git", from: "0.1.0"),Then add the product to your target's dependencies:
.product(name: "SQLiteUndo", package: "sqlite-undo"),prepareDependencies {
$0.defaultDatabase = try! appDatabase()
$0.defaultUndoEngine = try! UndoEngine(
for: $0.defaultDatabase,
tables: Article.self, Author.self
)
}Pass any @Table types to track:
@Table
struct Article {
let id: Int
var name: String
}import SQLiteUndo
try await undoable("Set Rating") {
try await database.write { db in
try Article.find(id).update { $0.rating = 5 }.execute(db)
}
}Use withUndoDisabled for operations that shouldn't be undoable (e.g., batch imports, programmatic state rebuilds):
try withUndoDisabled {
try database.write { db in
try Article.insert { Article(id: 1, name: "Imported") }.execute(db)
}
}The undo system uses BEFORE triggers to capture original row values before any cascade can modify them, and reconciles duplicate entries automatically. Same-table cascading triggers (e.g., enforcing "only one row can be primary") generally work without special handling because the undo log captures all affected rows and reconciliation keeps the true originals.
However, if your app has triggers that produce side effects on other undo-tracked tables (e.g., incrementing a counter on table B when table A is updated), you must suppress them during replay with UndoEngine.isReplaying(). Otherwise the side effect fires again during undo/redo, corrupting the restored state.
Article.createTemporaryTrigger(
after: .update { $0.status },
forEachRow: { old, new in
// Side effect on a different table — needs isReplaying guard
AuditLog.insert { AuditLog(articleId: new.id, action: "updated") }
},
when: { old, new in
!UndoEngine.isReplaying()
}
)Or in raw SQL:
CREATE TRIGGER audit_article_update
AFTER UPDATE OF "status" ON "articles"
WHEN NOT "sqliteundo_isReplaying"()
BEGIN
INSERT INTO "auditLog" ("articleId", "action") VALUES (NEW."id", 'updated');
ENDA barrier claims exactly the writes made inside its undoable block. Barriers may
overlap freely — concurrent barriers, or one opened inside another, each keep their
own changes, and undoing one never disturbs another.
Only writes made inside a barrier are tracked. A write outside one is applied normally but is not undoable:
try database.write { db in // not undoable
try Article.find(id).update { $0.rating = 5 }.execute(db)
}
try undoable("Set Rating") { // undoable
try database.write { db in
try Article.find(id).update { $0.rating = 5 }.execute(db)
}
}Tracking follows Swift's structured concurrency, so it reaches through async
writes and child tasks. It does not reach into a Task.detached, whose writes are
outside the barrier and therefore untracked.
After each undo/redo, the UndoStack that performed it emits an UndoEvent with the affected table rows. Use this to drive UI responses like scrolling to a restored item or switching views.
@Dependency(\.defaultUndoStack) var undoStack
for await event in undoStack.events() {
if let articleIds = event.ids(for: Article.self) {
// scroll to restored articles
}
if let authorIds = event.ids(for: Author.self) {
// handle affected authors
}
}ids(for:) returns nil when no rows of that table were affected, so if let naturally gates your response logic.
Events are scoped to the stack that performed the undo, so an undo in one window does not notify another. See Multiple windows.
import SQLiteUndoTCA
@Reducer
struct MyFeature {
@ObservableState
struct State { }
enum Action: UndoManageableAction { // ✅ integrate the store for UndoManager registration
case undoManager(UndoManagingAction)
case setRating(Int)
}
@Dependency(\.defaultDatabase) var database
var body: some ReducerOf<Self> {
UndoManagingReducer()
Reduce { state, action in
switch action {
case .undoManager(.event(let event)): // ✅ respond to undo/redo events
if let articleIds = event.ids(for: Article.self) {
// navigate to affected articles
}
return .none
case .undoManager:
return .none
case .setRating(let rating):
try undoable("Set Rating") { // ✅ wrap db operations in undoable
try database.write { db in
try Article.find(id).update { $0.rating = rating }.execute(db)
}
}
return .none
}
}
}
}
struct MyView: View {
let store: StoreOf<MyFeature>
var body: some View {
VStack {
// ...
}
.setUndoManager(store: store) // ✅ pass the view's UndoManager to the system
}
}An undo scope is one UndoStack bound to one UndoManager. The database, engine, and
undo log are app-wide; the stack is not.
Give each window its own stack by scoping the dependency where its store is created:
struct MyWindow: View {
@State private var store = withDependencies {
$0.installDefaultUndoStack()
} operation: {
Store(initialState: MyFeature.State()) { MyFeature() }
}
var body: some View {
MyView(store: store)
}
}The default stack is already app-wide, so a single-window app needs no setup at all. installDefaultUndoStack() exists to create an additional scope — call it once per window.
Each window then has its own undo/redo stack, its own Edit menu state, and its own event stream. Barriers register with whichever stack is current when they close, and undoing in one window never touches another's changes.
Because AppKit resolves UndoManager up the responder chain, this also gives you the
document case for free: several windows onto one NSDocument resolve to the same
UndoManager, so give them the same stack and they correctly share one undo history.
This library is released under the MIT license. See LICENSE for details.