kofre
API
Generated with
kofre/kofre.syntax

kofre.syntax

package kofre.syntax

Members list

Concise view

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
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object DeltaBuffer

Attributes

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

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object DeltaBufferContainer

Attributes

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

Attributes

Graph
Supertypes
trait OpsTypes[C, L]
class Object
trait Matchable
class Any
Known subtypes
class syntax[C, E]
class syntax[C, A]
class syntax[C, T]
class syntax[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, K, V]
class syntax[C]
class syntax[C, E]
class syntax[C, E]
class syntax[C]
class DeltaSequenceOps[C, A]
class AuctionSyntax[C]
class syntax[C]
class RubisSyntax[C]
trait OpsTypes[C, L]

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

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait OpsSyntaxHelper[C, L]
class syntax[C, E]
class syntax[C, A]
class syntax[C, T]
class syntax[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, K, V]
class syntax[C]
class syntax[C, E]
class syntax[C, E]
class syntax[C]
class DeltaSequenceOps[C, A]
class AuctionSyntax[C]
class syntax[C]
class RubisSyntax[C]
trait PermCausalMutate[C, L] extends PermQuery[C, L]

Attributes

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

Attributes

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

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self 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
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait PermCausalMutate[C, L]
trait PermMutate[C, L]
object PermQuery

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object ReplicaId

Attributes

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

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object TestReplica

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Types

opaque type ReplicaId
Generated with