Package-level declarations

Types

Link copied to clipboard
data class CrdtTreeNodeIDStruct(val createdAt: TimeTicketStruct, val offset: Int) : JsonSerializable.Struct<CrdtTreeNodeID>

CrdtTreeNodeIDStruct represents the structure of CrdtTreeNodeID. It is used to serialize and deserialize the CRDTTreePos.

Link copied to clipboard
data class CrdtTreePosStruct(val parentID: CrdtTreeNodeIDStruct, val leftSiblingID: CrdtTreeNodeIDStruct) : JsonSerializable.Struct<CrdtTreePos>
Link copied to clipboard
class Document(val key: Document.Key, options: Document.Options = Options(), dispatcher: CoroutineDispatcher = createSingleThreadDispatcher("Document($key)"), snapshotDispatcher: CoroutineDispatcher = dispatcher) : Closeable

A CRDT-based data type. We can represent the model of the application and edit it even while offline.

Link copied to clipboard
data class RgaTreeSplitNodeIDStruct(val createdAt: TimeTicketStruct, val offset: Int) : JsonSerializable.Struct<RgaTreeSplitNodeID>

RgaTreeSplitNodeIDStruct is a structure represents the meta data of the node id. It is used to serialize and deserialize the node id.

Link copied to clipboard
data class RgaTreeSplitPosStruct(val id: RgaTreeSplitNodeIDStruct, val relativeOffset: Int) : JsonSerializable.Struct<RgaTreeSplitPos>

RgaTreeSplitPosStruct is a structure represents the meta data of the node pos. It is used to serialize and deserialize the node pos.

Link copied to clipboard
data class TimeTicketStruct(val lamport: String, val delimiter: UInt, val actorID: ActorID) : JsonSerializable.Struct<TimeTicket>

TimeTicketStruct is a structure represents the meta data of the ticket. It is used to serialize and deserialize the ticket.