How many operations a log has recorded since its genesis.
Modulevortex-journal-0.1.0GHC2024
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.
- 4 types
- 18 values
- Packagevortex-journal-0.1.0
- Exports22
- LanguageGHC2024
- LicenceMIT
- SourceLog.hs
Versions
3 declarationsThe version of the empty log.
The version after one more operation.
Logs
12 declarationsA 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
3 declarationsIs 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
4 declarationsWhy 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.