Data.Unamb

Unambiguous choice

Documentation

unamb :: a -> a -> a

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.

amb :: a -> a -> IO a

Ambiguous choice operator. Yield either value. Evaluates in separate threads and picks whichever finishes first. See also unamb and race.

race :: IO a -> IO a -> IO a

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.

assuming :: Bool -> a -> a

Yield a value if a condition is true. Otherwise wait forever.

hang :: a

Never yield an answer. Like undefined or 'error whatever', but don't raise an error, and don't consume computational resources.

asAgree :: Eq a => a -> a -> a

The value of agreeing values (or hang)