rdts
API
Generated with
rdts/rdts/rdts.base/Lattice/syntax

syntax

rdts.base.Lattice.syntax
object syntax

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
syntax.type

Members list

Extensions

Extensions

extension [A](left: A)(using A: Lattice[A])
def grow(f: A => A): A

Convenience method to apply delta mutation to grow current value

Convenience method to apply delta mutation to grow current value

Attributes

inline def inflates(right: A): Boolean
def merge(right: A): A
inline def subsumes(right: A): Boolean
Generated with