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

PermCausalMutate

kofre.syntax.PermCausalMutate
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

Members list

Concise view

Value members

Abstract methods

def mutateContext(container: C, withContext: Dotted[L]): C

Inherited methods

def context(c: C): Dots

Attributes

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

Attributes

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

Attributes

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