| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
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 :: forall (m :: Type -> Type). MonadMVar m => Int -> Fun Int Int -> PropertyM m Bool Source #
prop_putMVar :: forall (m :: Type -> Type). MonadMVar m => Int -> Fun Int Int -> PropertyM m Bool Source #
prop_swapMVar :: forall (m :: Type -> Type). MonadMVar m => Int -> Fun Int Int -> PropertyM m Bool Source #
prop_tryPutMVar :: forall (m :: Type -> Type). MonadMVar m => Int -> Fun Int Int -> PropertyM m Bool Source #
prop_modifyMVar_ :: forall (m :: Type -> Type). MonadMVar m => Int -> Fun Int Int -> PropertyM m Bool Source #
prop_modifyMVar :: forall (m :: Type -> Type). MonadMVar m => Int -> Fun Int (Int, Char) -> PropertyM m Bool Source #
prop_modifyMVarMasked_ :: forall (m :: Type -> Type). MonadMVar m => Int -> Fun Int Int -> PropertyM m Bool Source #