package wax-lib

  1. Overview
  2. Docs
Libraries for Wax, a Rust-like syntax for WebAssembly

Install

dune-project
 Dependency

Authors

Maintainers

Sources

wax-v0.2.0.tbz
sha256=4361e1324b7754a4c08ab5b505df32061f3ce0cea60443fd0d3699e0fa796b32
sha512=fcc756d2f160ba90a9aa1131f2ab22ed7f45466ccd658c21cf9df6868a6aab0cee7f404719d698a379958802f9820398f2fe0685ecc4dda018ca4f653294e39b

doc/wax-lib.wax/Wax_lang/Infer/Cell/index.html

Module Infer.CellSource

A mutable cell carrying a value, backed by union-find: merge unifies two cells so they share one value, and get resolves a cell to that value.

Sourcetype 'a t
Sourceval make : 'a -> 'a t
Sourceval get : 'a t -> 'a
Sourceval merge : 'a t -> 'a t -> 'a -> unit

merge a b v unions a and b and sets the shared root to v.

Sourceval set : 'a t -> 'a -> unit

set t v overwrites the value at t's root with v.