Type Members

1.  trait AnyExec extends Exec[AnyExec]
2.  trait Base extends Closeable

   The Base trait is a pre-stage to stm.Sys, without introducing peer STM transactions.

   The Base trait is a pre-stage to stm.Sys, without introducing peer STM transactions. It can thus be used to build purely imperative non-transactional systems.

3.  trait Cursor[T <: Exec[T]] extends AnyRef
4.  trait Disposable[-T] extends AnyRef
5.  trait Exec[T <: Exec[T]] extends AnyRef
6.  trait Form[T] extends AnyRef

   Any form parametrized in a Base system.

   Any form parametrized in a Base system. This trait allows us to pattern match against heterogeneous objects whose only common feature is that they share the system.

7.  trait Ident[T <: Exec[T]] extends Disposable[T] with Writable
8.  trait IdentMap[T <: Exec[T], A] extends Disposable[T]

   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.

   T

   the underlying system's transaction type

   A

   the values stored at the keys. Unit can be used if only set functionality is needed.

9.  trait Identified[T <: Exec[T]] extends AnyRef
10.  trait Mutable[T <: Exec[T]] extends Identified[T] with Writable with Disposable[T]
11.  trait Plain extends Base with Cursor[Plain] with Exec[Plain]
12.  trait Random[-T] extends AnyRef

    A transactional pseudo-random number generator which behaves numerically like java.util.Random.

13.  trait Ref[-T, A] extends Source[T, A] with Sink[T, A]
14.  trait RefMap[T <: Exec[T], K, V] extends AnyRef
15.  trait RefSet[T <: Exec[T], A] extends AnyRef
16.  trait Sink[-T, -A] extends AnyRef
17.  trait Source[-T, +A] extends AnyRef
18.  trait Var[-T, A] extends Ref[T, A] with Writable with Disposable[T]