Ref

struct Ref[a: Type, r: Eff]Source

mut v: a

Represents a mutable reference to a value of type a in region r.

Type of mutable references, and its functions.

Definitions

def fresh(rc: Region[r], x: a): Ref[a, r] \ r§ Source

Returns a new reference to x in the region rc.

def get(rf: Ref[a, r]): a \ r§ Source

Returns the element referenced by rf.

def put(x: a, rf: Ref[a, r]): Unit \ r§ Source

Updates rf to reference x.

def transform(f: a -> a \ ef, rf: Ref[a, r]): Unit \ r + ef§ Source

Updates rf to reference f applied to the value referenced by rf.

I.e. if rf references x then rf is updated to reference f(x).