Hoogle Search
Within LTS Haskell 24.41 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
type
Predicate a = ProPredicate a adejafu Test.DejaFu A Predicate is a function which collapses a list of results into a Result, possibly discarding some on the way. Predicate cannot be a functor as the type parameter is used both co- and contravariantly.
-
dejafu Test.DejaFu A ProPredicate is a function which collapses a list of results into a Result, possibly discarding some on the way.
-
dejafu Test.DejaFu No documentation available.
data
Program pty (n :: Type -> Type) adejafu Test.DejaFu A representation of a concurrent program for testing. To construct these, use the MonadConc instance, or see withSetup, withTeardown, and withSetupAndTeardown.
-
dejafu Test.DejaFu.Conc Each IORef has a write buffer. A thread sees its writes immediately, but other threads will only see writes when they are committed, which may happen later. Writes to different IORefs are not necessarily committed in the same order that they are created.
-
dejafu Test.DejaFu.Conc Pop the innermost exception handler from the stack.
data
Program pty (n :: Type -> Type) adejafu Test.DejaFu.Conc A representation of a concurrent program for testing. To construct these, use the MonadConc instance, or see withSetup, withTeardown, and withSetupAndTeardown.
PutMVar :: MVarId -> [ThreadId] -> ThreadActiondejafu Test.DejaFu.Conc Put into a MVar, possibly waking up some threads.
data
Program pty (n :: Type -> Type) adejafu Test.DejaFu.Conc.Internal.Common A representation of a concurrent program for testing. To construct these, use the MonadConc instance, or see withSetup, withTeardown, and withSetupAndTeardown.
module Test.DejaFu.Conc.Internal.
Program Representations of concurrent programs with setup, teardown, and snapshotting. This module is NOT considered to form part of the public interface of this library. This module defines orphan instances for the Program type which lives in Test.DejaFu.Conc.Internal.Common, to avoid needing to pull a bunch more stuff into that module.