Causal[A: Causal[A] ref]¶

[Source]

A convergent, serializable CRDT that uses dot-based causal tracking. Types implementing this trait support creation under a replica id, convergent merging, token-based serialization, and clearing all local state.

trait ref Causal[A: Causal[A] ref] is
  Convergent[A] ref,
  Replicated ref

Implements¶

Convergent[A] ref
Replicated ref

Constructors¶

create¶

[Source]

new ref create(
  id: ID)
: Causal[A] ref^

Parameters¶

id: ID

Returns¶

Causal[A] ref^

Public Functions¶

clear[optional D: A]¶

[Source]

Clear all local state, returning a delta that propagates the clear.

fun ref clear[optional D: A](
  delta': D = recover D(0) end)
: D

Parameters¶

delta': D = recover D(0) end

Returns¶

D

converge¶

[Source]

fun ref converge(
  that: box->A)
: Bool val

Parameters¶

that: box->A

Returns¶

Bool val

is_empty¶

[Source]

fun box is_empty()
: Bool val

Returns¶

Bool val

from_tokens¶

[Source]

fun ref from_tokens(
  that: TokensIterator ref)
: None val ?

Parameters¶

that: TokensIterator ref

Returns¶

None val ?

each_token¶

[Source]

fun ref each_token(
  tokens: Tokens ref)
: None val

Parameters¶

tokens: Tokens ref

Returns¶

None val