Skip to content

Convergent[A: Convergent[A] #read]

[Source]

A data type that supports convergent merging from a complete or delta state.

trait ref Convergent[A: Convergent[A] #read]

Public Functions

converge

[Source]

Converge from that data structure into this one, mutating this one. The other data structure may be either a delta-state or a complete state. Returns true if the convergence added new information to the data structure.

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

Parameters

  • that: box->A

Returns

is_empty

[Source]

Return true if the data structure contains no information (bottom state).

fun box is_empty()
: Bool val

Returns