Ref
Definitions
def transform(f: a -> a \ ef, rf: Ref[a, r]): Unit \ r + ef
SourceUpdates 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)
.
def transform(f: a -> a \ ef, rf: Ref[a, r]): Unit \ r + ef
SourceUpdates 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)
.