|
Data.Unamb | Stability | experimental | Maintainer | conal@conal.net |
|
|
|
Description |
Unambiguous choice
|
|
Synopsis |
|
|
|
Documentation |
|
|
A bottom value, allowing no information out. A left- and right-
identity for unamb. At the top level, evaluating bottom results in
the message Exception: thread blocked indefinitely.
|
|
|
Unambiguous choice operator. Equivalent to the ambiguous choice
operator, but with arguments restricted to be equal where not bottom,
so that the choice doesn't matter. See also amb.
|
|
|
Yield a value if a condition is true. Otherwise wait forever.
|
|
|
The value of agreeing values (or hang)
|
|
|
Never yield an answer. Like undefined or 'error whatever', but
don't raise an error, and don't consume computational resources.
|
|
|
Ambiguous choice operator. Yield either value. Evaluates in
separate threads and picks whichever finishes first. See also
unamb and race.
|
|
|
Race two actions against each other in separate threads, and pick
whichever finishes first. See also amb. Thanks to Spencer Janssen
for this simple version.
|
|
Produced by Haddock version 2.4.2 |