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

PermIdMutate

kofre.syntax.PermIdMutate$
See thePermIdMutate companion trait
object PermIdMutate

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Value members

Concrete methods

def withID[C, L](id: Id)(using mctx: PermMutate[C, L]): PermIdMutate[C, L]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL