package lucre
- Alphabetic
- Public
- Protected
Type Members
- trait AnyExec extends Exec[AnyExec]
- trait Base extends Closeable
The
Base
trait is a pre-stage tostm.Sys
, without introducing peer STM transactions.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. - trait Cursor[T <: Exec[T]] extends AnyRef
- trait Disposable[-T] extends AnyRef
- trait Exec[T <: Exec[T]] extends AnyRef
- 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. - trait Ident[T <: Exec[T]] extends Disposable[T] with Writable
- 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.
- trait Identified[T <: Exec[T]] extends AnyRef
- trait Mutable[T <: Exec[T]] extends Identified[T] with Writable with Disposable[T]
- trait Plain extends Base with Cursor[Plain] with Exec[Plain]
- trait Random[-T] extends AnyRef
A transactional pseudo-random number generator which behaves numerically like
java.util.Random
. - trait Ref[-T, A] extends Source[T, A] with Sink[T, A]
- trait RefMap[T <: Exec[T], K, V] extends AnyRef
- trait RefSet[T <: Exec[T], A] extends AnyRef
- trait Sink[-T, -A] extends AnyRef
- trait Source[-T, +A] extends AnyRef
- trait Var[-T, A] extends Ref[T, A] with Writable with Disposable[T]