The answered operations a command records, or why it is refused.
Modulevortex-journal-0.1.0GHC2024
Vortex.Journal.Decide
Deciding a command: the enabled check, derived from the net. A command is decided against a state, all of its calls together: each is answered (by the oracle, or by the answer it carries) and must be enabled where the calls before it leave the state, or the whole command is refused.
- 2 values
- Packagevortex-journal-0.1.0
- Exports2
- LanguageGHC2024
- LicenceMIT
- SourceDecide.hs
Decide a command against the log's state and record what it answers; a refused command leaves the log as it was.