Expand description
Coven’s clock, id source, atomic file writes, store directories and locks, the watch of the device’s network, the helpers that take a lock whose holder may have panicked, and the helpers that run coven’s own work apart from its caller, turning a panic in it into a value or a report to the app’s bug sink, and its runtime shutting down into a value.
Modules§
- clock
- The wall clock that timestamps use (§7.2); the only reader of system time.
- files
- Files on disk: the store layout, directory, settings and exclusive lock.
- id_
source - New ids, including each install’s 64-bit device id (§10).
- locks
- Taking a lock whose holder may have panicked (api.md E15).
- network_
watch - The device’s network, as the platform describes it (§6.7, api.md E5).
- progress
- How far a long operation has come, one step at a time, so a host can draw a bar for it instead of a bare spinner (api.md E1).
- sharing
- Why sharing a store was refused for good (§13.2).
- task
- Work run apart from its caller — on the blocking pool, as its own task, or as one message of a long-lived loop — whose panic comes back to that caller as a value instead of an unwind (api.md E15).
- test_
work - Work measured within one test’s asynchronous and blocking calls.
- uuid_
text - Coven’s ids at the SQL value boundary, without database access: UUIDs as canonical text; store, key and stored objects’ ids as their sixteen bytes; and device ids as the eight big-endian bytes coven stores.