io-classes-1.7.0.0: Type classes for concurrency with STM, ST and timing
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Control.Concurrent.Class.MonadMVar.Strict.WHNF

Description

Test whether functions on StrictMVars correctly force values to WHNF before they are put inside the StrictMVar.

Documentation

prop_newMVar :: MonadMVar m => Int -> Fun Int Int -> PropertyM m Bool Source #

prop_putMVar :: MonadMVar m => Int -> Fun Int Int -> PropertyM m Bool Source #

prop_swapMVar :: MonadMVar m => Int -> Fun Int Int -> PropertyM m Bool Source #

prop_tryPutMVar :: MonadMVar m => Int -> Fun Int Int -> PropertyM m Bool Source #

prop_modifyMVar_ :: MonadMVar m => Int -> Fun Int Int -> PropertyM m Bool Source #

prop_modifyMVar :: MonadMVar m => Int -> Fun Int (Int, Char) -> PropertyM m Bool Source #

prop_modifyMVarMasked_ :: MonadMVar m => Int -> Fun Int Int -> PropertyM m Bool Source #

prop_modifyMVarMasked :: MonadMVar m => Int -> Fun Int (Int, Char) -> PropertyM m Bool Source #

(.:) :: (y -> z) -> (x0 -> x1 -> y) -> x0 -> x1 -> z infixr 9 Source #