gluon 0.18.2

A static, type inferred programming language for application embedding
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

//! A mutable reference type

let reference @ { Reference } = import! std.reference.prim
let { flat_map } = import! std.monad

let { IO, ? } = import! std.io.base

#[infix(right, 9)]
let (<-) = reference.(<-)

let modify r f : Reference a -> (a -> a) -> IO () =
    do x = reference.load r
    r <- f x
{
    Reference,
    (<-),
    modify,
    ..
    reference
}