System.Timeout.Returning

Documentation

class Monad m => MonadTimeout w m | m -> w where

Methods

tell :: w -> m ()

Save an intermediate result of the computation.

tellWith :: (Maybe w -> w) -> m ()

Combine an intermediate result of the computation with the current saved result (if any) and save it.

yield :: m ()

Explicitly allow interrupting the computation at this point. Experimental.

Instances

Monad (Timeout w) => MonadTimeout w (Timeout w)

data Timeout w a

Instances

Monad (Timeout w) => MonadTimeout w (Timeout w)

Monad (Timeout w)

Monad (Timeout w) => MonadIO (Timeout w)

runTimeout

Arguments

:: Strategy w

Evaluate values passed to tell using this strategy.

-> Int

Timeout in microseconds.

-> Timeout w ()

The computation.

-> IO (Maybe w)

The result, or Nothing if no tell was called by the computation.

Execute the given computation with a timeout limit and force the result to the form defined by the given Strategy.

returning :: MonadTimeout w m => m w -> m ()

Convert a monadic computation returning a value of the result type into 'm ()' so that it can be used with runTimeout. Calling 'returning k' is equivalent to 'k >>= tell'.