The Base
trait is a pre-stage to stm.Sys
, without introducing
peer STM transactions.
An identifier map is basically a transactional map whose keys are system identifiers.
An identifier map is basically a transactional map whose keys are system identifiers.
However, there are two important aspects: First, the map is always ephemeral
(but might be still durable!), even for a confluently persistent system. Second,
for systems whose identifiers constitute temporal traces (confluently persistent
system), lookup (via get
, contains
etc.) finds _any_ value stored for the
current version or any older version. That is to say, in a confluently persistent
system, it looks up the most recent entry for the key. It is therefore a useful
tool to map system entities to ephemeral live views.
the underlying system's identifier type
the underlying system's transaction type
the values stored at the keys. Unit
can be used if only set
functionality is needed.
A transactional pseudo-random number generator which
behaves numerically like java.util.Random
.
A sink is a transactional write access to a value
A source is a transactional read access to a value
A transactional pseudo-random number generator which
behaves numerically like java.util.Random
.
A transactional variable is an identifiable cell allowing the reading and writing of values
Like java's random, but within a transactional cell.
The
Base
trait is a pre-stage tostm.Sys
, without introducing peer STM transactions. It can thus be used to build purely imperative non-transactional systems.the representation type of the system