Enum CrdtKind 

pub enum CrdtKind {
    Set,
    SetRemoveWins,
    Seq,
    Register,
    Counter,
    PnCounter,
    Map,
}

Every kind of CRDT the language has — the ONE table for what each is called in source, the code a NewCrdt op carries in bytecode, and the tag its full state / deltas carry on the wire. Both codes are stable wire formats: never renumber one.

Variants

Set

SetRemoveWins

Seq

Register

Counter

PnCounter

Map

Implementations

impl CrdtKind

pub const ALL: [CrdtKind; 7]

pub fn of_type_name(name: &str) -> Option<CrdtKind>

The CRDT a declared field type names, or None for a type that is not one.

pub const fn lowered_by(self, backend: Backend) -> bool

Whether backend lowers this CRDT — single-replica, running identically to the interpreter and the VM. crate::compile::refuse_unlinkable refuses a program that builds a kind its backend answers false for, naming the type. Exhaustive over kind × backend with no wildcard, so a new kind or a new backend does not compile until every pair is decided; crdt_backend_lock runs every pair and holds each answer to what the backend actually does.

pub fn fresh(self) -> CrdtValue

A fresh, empty replica of this kind with its own replica id.

pub const fn new_crdt_code(self) -> u8

The kind a NewCrdt op carries in bytecode.

pub fn from_new_crdt_code(code: u8) -> Option<CrdtKind>

pub const fn state_tag(self) -> u8

The tag leading a full-state or delta payload.

pub fn from_state_tag(tag: u8) -> Option<CrdtKind>

pub const fn type_name(self) -> &'static str

The name a program declares it by.

pub fn refusal(self, backend: &str) -> String

Why a backend that does not implement this CRDT refuses a program that uses it.

Trait Implementations

impl Clone for CrdtKind

fn clone(&self) -> CrdtKind

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CrdtKind

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for CrdtKind

fn eq(&self, other: &CrdtKind) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for CrdtKind

impl Eq for CrdtKind

impl StructuralPartialEq for CrdtKind