Fuzion • Library Modules • base • concur • blocking_mutate • wait

concur.blocking_mutate.wait

type

Function, condition F)

[Redefinition of mutate.wait]

wait for the given condition to become true by a mutation of the underlying data.

In case this mutate is not a multi-thread implementation and `condition()` is `false`,
this will `panic`.

Precondition

Inherited from mutate.wait

pre
  safety: is_this_mutate_instated_and_usable
  safety: is_exclusive

Postcondition

Inherited from mutate.wait

post
  debug: condition()

redefines:

mutate.wait

Type Parameters

Function ¶

[src]

0.097dev (GIT hash 6a5de4939ddf29875c1d9a706508d9bfd0cd7ca9)

last changed: 2026-06-09