How many operations a log has recorded since its genesis.
Modulevortex-journal-0.1.2GHC2024
Vortex.Journal.Log
The log: the history of answered operations, appended to and never rewritten. The state is never stored; it is the fold of the log through the net, from the initial marking or from a snapshot the log resumed.
- Packagevortex-journal-0.1.2
- Exports22
- LanguageGHC2024
- LicenceMIT
- SourceLog.hs
Versions
The version of the empty log.
The version after one more operation.
Logs
A log of answered operations over a base.
Where a log's fold starts: the net's initial marking, or a snapshot's marking at the snapshot's version.
The log with nothing recorded.
Record one more answered operation.
Record several, in order.
The log's version: its base's, plus what it recorded since.
What the log recorded since its base.
The log's base with nothing recorded on it.
The state: the log folded through the net from its base.
Is the first log a prefix of the second: the same base, and the second recorded everything the first did, first?
Was every recorded operation enabled where it was recorded?
Positions in a log
Is a version one the log can be cut at: no earlier than its base and no later than its end?
The log as it stood at a version (clamped to the versions it knows).
What the log recorded after a version.
Recording and replaying
Why the journal will not record a step.
Constructors
NotEnabled (Answered op ans) (Marking tok)the operation, and the tokens it lacks
Unanswered opthe state gives the operation no answer
Record one answered operation if it is enabled.
Record recorded operations again onto a log, checking each one and reading its recorded answer rather than asking for it.
The log that resumes from a marking at a version, with nothing recorded since.