Hoogle Search

Within LTS Haskell 24.66 (ghc-9.10.3)

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

Exact lookup

1. nextId :: String -> (Int, [String]) -> (Id, (Int, [String]))

   dejafu	Test.DejaFu.Internal

   Helper for next*

2. nextMVId :: String -> IdSource -> (IdSource, MVarId)

   dejafu	Test.DejaFu.Internal

   Get the next free MVarId.

3. nextTId :: String -> IdSource -> (IdSource, ThreadId)

   dejafu	Test.DejaFu.Internal

   Get the next free ThreadId.

4. nextTVId :: String -> IdSource -> (IdSource, TVarId)

   dejafu	Test.DejaFu.Internal

   Get the next free TVarId.

5. tidsOf :: ThreadAction -> Set ThreadId

   dejafu	Test.DejaFu.Internal

   Get the ThreadIds involved in a ThreadAction.

6. fromId :: Coercible a Id => a -> Int

   dejafu	Test.DejaFu.SCT.Internal

   Helper function for deconstructing IDs of any sort.

7. toId :: Coercible Id a => Int -> a

   dejafu	Test.DejaFu.SCT.Internal

   Helper function for constructing IDs of any sort.

8. bcktThreadid :: BacktrackStep -> ThreadId

   dejafu	Test.DejaFu.SCT.Internal.DPOR

   The thread running at this step

9. didYield :: ThreadAction -> Bool

   dejafu	Test.DejaFu.SCT.Internal.DPOR

   Check if a thread yielded.

10. validateDPOR :: HasCallStack => DPOR -> DPOR

    dejafu	Test.DejaFu.SCT.Internal.DPOR

    Check the DPOR data invariants and raise an error if any are broken. This is a reasonable thing to do, because if the state is corrupted then nothing sensible can happen anyway.

Page 1355 of many | Previous | Next