The path access type for objects if they carry a temporal trace.
The path access type for objects if they carry a temporal trace. This is
used by confluently persistent systems, while it is typically Unit
for
ephemeral systems.
The identifier type of the system.
The identifier type of the system. This is an opaque type about which the user only knows that it uniquely identifies and object (or an object along with its access path in the confluent case). It is thus valid to assume that two objects are equal if their identifiers are equal.
The transaction type of the system.
The variable type of the system.
The variable type of the system. Variables allow transactional storage and
retrieval both of immutable and mutable values. Specific systems may extend
the minimum capabilities described by the Var
trait.
Closes the underlying database (if the system is durable).
Closes the underlying database (if the system is durable). The STM cannot be used beyond this call. An in-memory system should have a no-op implementation.
Reads the root object representing the stored data structure,
or provides a newly initialized one via the init
argument,
if no root has been stored yet.
A system in LucreSTM describes a particular mode of representing values in time and of persisting values to disk. The
Sys
trait contains types for variables, identifiers, access paths, and transactions which are unique to each system (such as ephemeral in-memory, confluently persistent etc.).the representation type of the system