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

PermMutate

kofre.syntax.PermMutate
See thePermMutate companion object
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]

Members list

Concise view

Value members

Abstract methods

def mutate(c: C, delta: L): C

Inherited methods

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