vortex-journal

The journal theory: logs of a DSL's answered operations whose state is a marking of linear resources

Version0.1.0
CategoryVortex
LicenceMIT
AuthorDaniel Firth
Maintainerlocallycompact@gmail.com
Pinned byhackage vortex-journal 0.1.0
Sourcehackage.haskell.org/package/vortex-journal-0.1.0

Modules

9 modules

Vortex.Journal.Concurrent3Appending at a version: optimistic concurrency. A writer decides
Vortex.Journal.Decide2Deciding a command: the enabled check, derived from the net. A command
Vortex.Journal.Invariant5Place invariants: linear weights over tokens that every operation
Vortex.Journal.Log22The log: the history of answered operations, appended to and never
Vortex.Journal.Marking16A marking: a finite multiset of resource tokens. Markings are the
Vortex.Journal.Migrate5Migration along a morphism of nets. A morphism sends each answered
Vortex.Journal.Net16The resource reading of a DSL's operations: what each answered
Vortex.Journal.Snapshot3
Vortex.Journal.Theory11The journal as a sheaf theory: its sorts, its operations and its laws,

Description

The journal of a vortex DSL as a sheaf theory, with its pure reference model and laws. A state is a marking, a multiset of resource tokens; each operation of the DSL, recorded with its answer, consumes its pre tokens and produces its post tokens. The log is the history of answered operations; the state is its fold. Deciding a command is the enabled check, recording it is firing. Conflicts, snapshots, migration along a morphism of nets and place invariants are derived from the same pre and post a shell supplies for its own operations.

Depends on

4 packages

base-4.22.0.0with GHC
containers-0.8with GHC
sheaf-0.2.0.0in this set
text-2.1.3with GHC

Used by in this set · 0

Nothing in this set depends on it.