Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. mkthread :: forall (n :: Type -> Type) . Action n -> Thread n

   dejafu	Test.DejaFu.Conc.Internal.Threading

   Construct a thread with just one action

2. SynchronisedRead :: MVarId -> ActionType

   dejafu	Test.DejaFu.Internal

   A readMVar or takeMVar (or try/blocked variants).

3. UnsynchronisedRead :: IORefId -> ActionType

   dejafu	Test.DejaFu.Internal

   A readIORef or a readForCAS.

4. tvarsRead :: ThreadAction -> Set TVarId

   dejafu	Test.DejaFu.Internal

   Get the TVars a transaction read from.

5. bcktThreadid :: BacktrackStep -> ThreadId

   dejafu	Test.DejaFu.SCT.Internal.DPOR

   The thread running at this step

6. scheduleThread :: Scheduler state -> Maybe (ThreadId, ThreadAction) -> NonEmpty (ThreadId, Lookahead) -> ConcurrencyState -> state -> (Maybe ThreadId, state)

   dejafu	Test.DejaFu.Schedule

   No documentation available.

7. BlockedReadMVar :: MVarId -> ThreadAction

   dejafu	Test.DejaFu.Types

   Get blocked on a read.

8. data IOBoundThread a

   dejafu	Test.DejaFu.Types

   A bound thread in IO.

9. IOBoundThread :: (IO a -> IO a) -> IO () -> IOBoundThread a

   dejafu	Test.DejaFu.Types

   No documentation available.

10. IsCurrentThreadBound :: Bool -> ThreadAction

    dejafu	Test.DejaFu.Types

    Check if the current thread is bound.

Page 657 of many | Previous | Next