Module `BatRef`Source

Operations on references.

References are mutable values, i.e. "variables" which may actually change value during their life-time, as variables in imperative languages. References can be understood as 1-cell arrays and are typically used to implement imperative algorithms in OCaml.

References are useful but don't abuse them.

author Xavier Leroy (base module)

author David Teller

Sourcetype 'a t = 'a ref

The type of references.

Sourceval ref : 'a -> 'a ref

Return a fresh reference containing the given value.

Sourceval (!) : 'a ref -> 'a

!r returns the current contents of reference r. Equivalent to fun r -> r.contents.

Sourceval (:=) : 'a ref -> 'a -> unit

r := a stores the value of a in reference r. Equivalent to fun r v -> r.contents <- v.

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

As :=

Sourceval get : 'a ref -> 'a

As !

Sourceval copy : 'a ref -> 'a ref

copy r returns a new reference with the same initial content as r.

Sourceval pre : 'a ref -> ('a -> 'a) -> 'a

Perform an operation on a reference and return the new value of that reference.

For instance, if x is a reference to 1, pre x ( ( + ) 1) returns 2 and sets x to 2.

Sourceval post : 'a ref -> ('a -> 'a) -> 'a

Perform an operation on a reference and return the previous value of that reference.

For instance, if x is a reference to 1, post x ( ( + ) 1) returns 1 and sets x to 2.

Sourceval swap : 'a ref -> 'a ref -> unit

swap a b puts !b in a and !a in b

Sourceval post_incr : int ref -> int

Increment an integer, return the old value.

Comparable to C or Java's i++.

Sourceval post_decr : int ref -> int

Decrement an integer, return the old value.

Comparable to C or Java 's i--.

Sourceval pre_incr : int ref -> int

Increment an integer, return the new value.

Comparable to C or Java's ++i.

Sourceval pre_decr : int ref -> int

Increment an integer, return the new value.

Comparable to C or Java's --i.

Sourceval protect : 'a ref -> 'a -> (unit -> 'b) -> 'b

Assign a reference temporarily.

protect r v body sets the value of r to v and executes body. Once body has been executed, whether termination happens as a consequence of regular evaluation or exception, the previous value of r is restored.

Sourceval toggle : bool ref -> unit

Invert the boolean stored in the reference

Sourceval oset : 'a option ref -> 'a -> unit

Set the given option ref to Some x

Sourceval oget_exn : 'a option ref -> 'a

Get a value from an option ref;

raises Not_found
on oget_exn (ref None)

Boilerplate code

Source

val print : 
  ('b BatInnerIO.output -> 'a -> unit) ->
  'b BatInnerIO.output ->
  'a t ->
  unit

Given a printing function for the value in the ref, produce a printing function for the ref.

Example: IO.to_string (Ref.print Int.print) (ref 20) = "20"

Sourceval compare : 'a BatOrd.comp -> 'a ref BatOrd.comp

Given a comparison function, produce a comparison function for refs of that type.

Example: let a = ref 10 and b = ref 20 in Ref.compare Int.compare a b = -1

Sourceval ord : 'a BatOrd.ord -> 'a ref BatOrd.ord

Given an ordering function, produce an ordering function for refs of that type.

Example: let a = ref 10 and b = ref 20 in Ref.ord Int.ord a b = Ord.Lt

Sourceval eq : 'a BatOrd.eq -> 'a ref BatOrd.eq

Install

Dune Dependency

Authors

Maintainers

Sources

doc/batteries.unthreaded/BatRef/index.html

Module `BatRef`Source

Boilerplate code

package batteries

Install

Dune Dependency

Authors

Maintainers

Sources

doc/batteries.unthreaded/BatRef/index.html

Module BatRefSource

Boilerplate code

Module `BatRef`Source