Test.Data.Monoid.Synchronisation
tests ∷ TestTree Source #
lastToFinishExperiment ∷ ∀ m. (MonadFork m, MonadPlus (STM m), MonadSTM m) ⇒ Bool → m Bool Source #
prop_lastToFinish_ST ∷ Bool → Bool Source #
prop_lastToFinish_IO ∷ Bool → Property Source #