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

PermIdMutate

kofre.syntax.PermIdMutate
See thePermIdMutate companion object
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

Members list

Concise view

Value members

Inherited methods

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

Attributes

Inherited from:
PermQuery
def mutate(c: C, delta: L): C

Attributes

Inherited from:
PermMutate
def query(c: C): L

Attributes

Inherited from:
PermQuery
def replicaId(c: C): Id

Attributes

Inherited from:
PermId
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL