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]

Members list

Value members

Abstract methods

def query(c: C): L