GSet

@Serializable

A grow-only set of E. add returns a Patch carrying a one-element set; piece is union. Once added, an element cannot be removed — for remove-supporting sets see TwoPhaseSet (tombstones) or ORSet (causal).

Samples

var set = GSet.empty<String>()
set = set.piece(set.add("alice"))
set = set.piece(set.add("bob"))
check(set.elements == setOf("alice", "bob"))

Types

Companion

object Companion

Properties

elements

val elements: Set<E>

Functions

add

fun add(element: E): Patch<GSet<E>>

Add element, returning a delta. The receiver is unchanged.

causalDots

open fun causalDots(): Set<Dot>

The causal Dots this state has delivered — (author, author-seq) per op.

contains

fun contains(element: E): Boolean

True if element is in this set.

equals

open operator override fun equals(other: Any?): Boolean

hashCode

open override fun hashCode(): Int

piece

open override fun piece(other: GSet<E>): GSet<E>

The join: set union.

toString

open override fun toString(): String