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.).

S: the representation type of the system

Linear Supertypes

Base[S], Closeable, AutoCloseable, AnyRef, Any

Known Subclasses

Durable, DurableLike, InMemory, InMemoryLike, Mixin, Mixin, NoSys

Type Members

abstract type Acc

Definition Classes
Base
abstract type I <: InMemoryLike[I]

Definition Classes
Sys → Base
abstract type Id <: Identifier[S.Tx]

Definition Classes
Base
abstract type Tx <: Txn[S]

The transaction type of the system.
The transaction type of the system.

Definition Classes
Sys → Base
abstract type Var[A] <: stm.Var[S.Tx, A]

Definition Classes
Base

Abstract Value Members

abstract def close(): Unit

Definition Classes
Base → Closeable → AutoCloseable
abstract def inMemory: I

Definition Classes
Base
abstract def inMemoryTx(tx: S.Tx): I.Tx

Definition Classes
Base
abstract def root[A](init: (S.Tx) ⇒ A)(implicit serializer: Serializer[S.Tx, S.Acc, A]): Source[S.Tx, A]

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.

Concrete Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package stm

trait Sys[S <: Sys[S]] extends Base[S]

Type Members

abstract type Acc

abstract type I <: InMemoryLike[I]

abstract type Id <: Identifier[S.Tx]

abstract type Tx <: Txn[S]

abstract type Var[A] <: stm.Var[S.Tx, A]

Abstract Value Members

abstract def close(): Unit

abstract def inMemory: I

abstract def inMemoryTx(tx: S.Tx): I.Tx

abstract def root[A](init: (S.Tx) ⇒ A)(implicit serializer: Serializer[S.Tx, S.Acc, A]): Source[S.Tx, A]

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from Base[S]

Inherited from Closeable

Inherited from AutoCloseable

Inherited from AnyRef

Inherited from Any

Ungrouped