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

TestReplica

kofre.syntax.TestReplica$
See theTestReplica companion class
object TestReplica

Attributes

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

Members list

Concise view

Value members

Concrete methods

def apply[L](replicaID: Id, anon: L): TestReplica[L]
def unapply[L](wnc: TestReplica[L]): Some[(Id, L)]

Givens

Givens

given permissions[L](using x$1: DecomposeLattice[L]): permissions[L]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL