Control.Concurrent.Speculation.Class

Versions of the combinators from the speculation package with the signature rearranged to enable them to be used directly as actions in the Cont and ContT monads or any other Codensity-shaped monad.

Documentation

class MonadSpec m where

Methods

specM :: Eq a => a -> a -> m a

When a is unevaluated, spec g a evaluates the current continuation with g while testing if g == a, if they differ, it re-evalutes the continuation with a. If a was already evaluated, the continuation is just directly applied to a instead.

specM' :: Eq a => a -> a -> m a

As per spec, without the check for whether or not the second argument is already evaluated.

specByM :: (a -> a -> Bool) -> a -> a -> m a

spec with a user supplied comparison function

specByM' :: (a -> a -> Bool) -> a -> a -> m a

spec' with a user supplied comparison function

specOnM :: Eq c => (a -> c) -> a -> a -> m a

spec' with a user supplied comparison function

specOnM' :: Eq c => (a -> c) -> a -> a -> m a

spec' with a user supplied comparison function

Instances

Monad m => MonadSpec (ContT r m)

Basic speculation