kofre
API
Generated with
kofre/kofre/kofre.syntax

kofre.syntax

package kofre.syntax

Members list

Type members

Classlikes

case class DeltaBuffer[State](state: State, deltaBuffer: List[State])

ReactiveCRDTs are Delta CRDTs that store applied deltas in their deltaBuffer attribute. Middleware should regularly take these deltas and ship them to other replicas, using applyDelta to apply them on the remote state. After deltas have been read and propagated by the middleware, it should call resetDeltaBuffer to empty the deltaBuffer.

ReactiveCRDTs are Delta CRDTs that store applied deltas in their deltaBuffer attribute. Middleware should regularly take these deltas and ship them to other replicas, using applyDelta to apply them on the remote state. After deltas have been read and propagated by the middleware, it should call resetDeltaBuffer to empty the deltaBuffer.

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object DeltaBuffer

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
class DeltaBufferContainer[State](var result: DeltaBuffer[State])

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object DeltaBufferContainer extends LowPrio

Attributes

Companion
class
Supertypes
trait LowPrio
class Object
trait Matchable
class Any
Self type
class OpsSyntaxHelper[C, L](container: C) extends OpsTypes[C, L]

Attributes

Supertypes
trait OpsTypes[C, L]
class Object
trait Matchable
class Any
Known subtypes
class DeltaSequenceOps[C, A]
class syntax[C]
class syntax[C, T]
class syntax[C]
class syntax[C, A]
class syntax[C, K, V]
class syntax[C, E]
class syntax[C, E]
class AuctionSyntax[C]
class syntax[C, T]
class syntax[C]
class RubisSyntax[C]
class syntax[C, E]
class syntax[C]
class syntax[C, E]
class syntax[C, K, V]
class syntax[C, E]
class syntax[C, A]
class syntax[C]
class syntax[C, E]
Show all
trait OpsTypes[DeltaContainer, Value]

Helps to define operations that update any container DeltaContainer containing values of type Value using a scheme where mutations return deltas which are systematically applied.

Helps to define operations that update any container DeltaContainer containing values of type Value using a scheme where mutations return deltas which are systematically applied.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
class OpsSyntaxHelper[C, L]
class DeltaSequenceOps[C, A]
class syntax[C]
class syntax[C, T]
class syntax[C]
class syntax[C, A]
class syntax[C, K, V]
class syntax[C, E]
class syntax[C, E]
class AuctionSyntax[C]
class syntax[C, T]
class syntax[C]
class RubisSyntax[C]
class syntax[C, E]
class syntax[C]
class syntax[C, E]
class syntax[C, K, V]
class syntax[C, E]
class syntax[C, A]
class syntax[C]
class syntax[C, E]
Show all
trait PermCausalMutate[C, L] extends PermQuery[C, L]

Attributes

Supertypes
trait PermQuery[C, L]
class Object
trait Matchable
class Any
trait PermMutate[C, L] extends PermQuery[C, L]

Attributes

Companion
object
Supertypes
trait PermQuery[C, L]
class Object
trait Matchable
class Any
object PermMutate

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
PermMutate.type
trait PermQuery[C, L]

The basic idea behind this machinery is to allow lattices of type L to be stored in a Container of type C. In the simplest case C = L and the lattice is used as is. More complex containers contain additional information such as the replica ID or a set of deltas since the last synchronization. No matter the concrete container, they should all offer the same API to the underlying lattice.

The basic idea behind this machinery is to allow lattices of type L to be stored in a Container of type C. In the simplest case C = L and the lattice is used as is. More complex containers contain additional information such as the replica ID or a set of deltas since the last synchronization. No matter the concrete container, they should all offer the same API to the underlying lattice.

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait PermCausalMutate[C, L]
trait PermMutate[C, L]
object PermQuery

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
PermQuery.type
object ReplicaId

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
ReplicaId.type
class TestReplica[A](val replicaId: Uid, var anon: A)

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object TestReplica

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type

Types

opaque type ReplicaId
Generated with