package batteries

  1. Overview
  2. Docs
On This Page
  1. Printing
A community-maintained standard library extension

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (15)

Authors

  1. O
    OCaml batteries-included team

Maintainers

  1. C
    Cedric Cellier <rixed@happyleptic.org>
  2. F
    Francois Berenger <unixjunkie@sdf.org>
  3. Gabriel Scherer
  4. T
    Thibault Suzanne <thi.suzanne@gmail.com>
  5. S
    Simmo Saan <simmo.saan@gmail.com>

Sources

v3.7.2.tar.gz
md5=1fd7bddce07cf5d244fc9427f7b5e4d4
sha512=c0f2a0fdc8253e0ea999d8d4c58bfbf32b18d251a2e1d9656bf279de5f01a33e9aabac3af4d95f465f8b671e7711ebd37218043face233340a0c11b08fa62f78

doc/batteries.unthreaded/BatUref/index.html

Module BatUrefSource

Unifiable references using destructive union-find

Sourcetype 'a uref

A t uref is a reference to a cell that contains a value of type t.

Sourcetype 'a t = 'a uref

A synonym for convenience

Sourceval uref : 'a -> 'a uref

uref x allocates a new uref and places the value x in it.

Sourceval uget : 'a uref -> 'a

uget ur returns the value stored in the uref ur.

Sourceval uset : 'a uref -> 'a -> unit

uset ur x updates the contents of ur with x.

Sourceval unite : ?sel:('a -> 'a -> 'a) -> 'a uref -> 'a uref -> unit

unite ~sel ur1 ur2 unites the urefs ur1 and ur2, selecting the result of sel (uget ur1) (uget ur2) for the contents of the resulting united uref. After this operation, uget ur1 == uget ur2. By default, sel is fun x _y -> x.

Sourceval equal : 'a uref -> 'a uref -> bool

equal ur1 ur2 returns true iff ur1 and ur2 are equal urefs, either because they are physically the same or because they have been united.

Printing
Sourceval print : ('a, 'b) BatIO.printer -> ('a uref, 'b) BatIO.printer

Print the uref.