kofre
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
kofre/kofre.syntax

kofre.syntax

package kofre.syntax

Members list

Concise view

Type members

Classlikes

trait ArdtOpsContains[C, L]

Helper trait to state that container C contains lattices of type L. This is used for better type inference

Helper trait to state that container C contains lattices of type L. This is used for better type inference

Attributes

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

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class DottedName[L](replicaID: Id, anon: Dotted[L])

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object DottedName

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
class FixedId[C](id: Id) extends PermId[C]

Attributes

Graph
Supertypes
trait PermId[C]
class Object
trait Matchable
class Any
trait OpsSyntaxHelper[C, L](container: C)

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
class AWSetSyntax[C, E]
class EpocheSyntax[C, E]
class GMapSyntax[C, K, V]
class ORMapSyntax[C, K, V]
class RGAOps[C, E]
class TwoPhaseSetOps[C, E]
class GListSyntax[C, E]
class GSetSyntax[C, E]
class LWWRegisterSyntax[C, A]
class MVRegisterSyntax[C, A]
class AuctionSyntax[C]
class RubisSyntax[C]
class DeltaSequenceOps[C, A]
trait PermCausal[C]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait PermCausalMutate[C, L]
trait PermCausalMutate[C, L] extends PermCausal[C] with PermQuery[C, L]

Attributes

Graph
Supertypes
trait PermQuery[C, L]
trait PermCausal[C]
class Object
trait Matchable
class Any
trait PermId[C]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class FixedId[C]
trait PermIdMutate[C, L]
trait PermIdMutate[C, L] extends PermId[C] with PermMutate[C, L]

Attributes

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

Attributes

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

Attributes

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

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
class TestReplica[A](val replicaId: Id, 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
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL