Fuzion Language Portal

Fuzion • API-Documentation • handles2

☰

handles2

§handles2(T
type
, X
type
)
=>
handles2 handles2.T handles2.X
:
oneway_monad handles2.X, handles2 handles2.T handles2.X
[src]

handles2 provide a means to create handles that refer to update-able
cells.

handles is a state monad. It provides features to create several
handles that refer to modifiable value and features to 'get', 'put' or
'update' this value.

For performance, this implementation uses mutable state. It can consequently
only be used as a one-way monad.

Functions

§put(h handle2_0 handles2.T, w handles2.T)

=>

handles2 handles2.T handles2.X

:

create a new instance with new value refered to by a given handle

§get(h handle2_0 handles2.T)

=>

handles2.T

:

get the value refered to by a given handle

=>

handle2_0 handles2.T

:

return the last handle that was created by 'new'

§new(w handles2.T)

=>

handles2 handles2.T handles2.X

:

create a new instance with one additional handle

the new handle can be accessed by 'result.last'

type

, w handles2.return.B)

=>

handles2 handles2.T handles2.return.B

:

=>

:

has one element been created using 'new'?

§create(w handles2.T)

=>

handle2_0 handles2.T

:

§update(h handle2_0 handles2.T, f Unary handles2.T handles2.T)

=>

handles2 handles2.T handles2.X

:

create a new instance with the value refered to by a given handle read and
updated.

§infix >>=(f Unary (handles2 handles2.T handles2.X) handles2.X)

=>

handles2 handles2.T handles2.X

:

redefines:

monad.infix >>=

type

, f Unary (handles2 handles2.T handles2.bind.B) handles2.X)

=>

handles2 handles2.T handles2.bind.B

: