Array

class Array(val rga: Rga<JsonNode>) : JsonNode

An RGA-backed JSON array: ordered, position-stable, supports concurrent inserts.

Constructors

Link copied to clipboard
constructor(rga: Rga<JsonNode>)

Properties

Link copied to clipboard

Functions

Link copied to clipboard
open override fun causalDots(): Set<Dot>

Returns this array's own Rga.causalDots union with the causalDots of all JsonNode elements stored in the sequence — nested arrays recurse naturally.

Link copied to clipboard
open operator override fun equals(other: Any?): Boolean
Link copied to clipboard
open override fun hashCode(): Int
Link copied to clipboard
open override fun piece(other: JsonNode): JsonNode

The join: the least-upper-bound of this and other.

Link copied to clipboard
open override fun toString(): String