rdts
API
Generated with
rdts/rdts/rdts.syntax/DeltaAWLWWMContainer

DeltaAWLWWMContainer

rdts.syntax.DeltaAWLWWMContainer
See theDeltaAWLWWMContainer companion class
object DeltaAWLWWMContainer

Attributes

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

Members list

Type members

Types

type State[K, V] = Obrem[Inner[K, V]]

Value members

Concrete methods

def empty[K, V]: State[K, V]

Givens

Givens

given lattice[K, V]: Lattice[State[K, V]]
Generated with