PermQuery

kofre.syntax.PermQuery
See thePermQuery companion object
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.

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]

Members list

Concise view

Value members

Abstract methods

def query(c: C): L

Concrete methods

def focus[M](q: L => M): PermQuery[C, M]