Sys
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.).
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.).
Type members
Value members
Abstract methods
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.
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.
Inherited methods
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.
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.
- Inherited from
- Base