package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type ('a, 'b) t

A reference aware of a context

val create : creator -> 'a -> 'b -> ('a, 'b) t

Create a reference in this context with the given value

val set : ('a, 'b) t -> 'a -> 'b -> unit

Modify the reference

val get : ('a, 'b) t -> 'a * 'b

Get the current value of the reference

val set1 : ('a, 'b) t -> 'a -> unit

Modify the reference

val get1 : ('a, 'b) t -> 'a

Get the current value of the reference

val set2 : ('a, 'b) t -> 'b -> unit

Modify the reference

val get2 : ('a, 'b) t -> 'b

Get the current value of the reference

val creator : ('a, 'b) t -> creator