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.

  1. lexicoNormalForm :: Bool -> MemType -> ConcurrencyState -> [(ThreadId, ThreadAction)] -> [(ThreadId, ThreadAction)]

    dejafu Test.DejaFu.SCT.Internal

    Put a trace into lexicographic (by thread ID) normal form.

  2. pushForward :: Bool -> MemType -> ConcurrencyState -> [(ThreadId, ThreadAction)] -> [(ThreadId, ThreadAction)]

    dejafu Test.DejaFu.SCT.Internal

    Attempt to reduce context switches by "pushing" thread actions forward to a future execution of that thread. This is kind of the opposite of pullBack, but there are cases where one applies but not the other. Simple example, say we have [(tidA, act1), (tidB, act2), (tidA, act3)], where act1 and act2 are independent. In this case pushForward will swap them, giving the sequence [(tidB, act2), (tidA, act1), (tidA, act3)]. It works for arbitrary separations.

  3. uniformly :: RandomGen g => g -> Int -> Way

    dejafu Test.DejaFu.Settings

    Randomly execute a program, exploring a fixed number of executions. Threads are scheduled by a uniform random selection. This is not guaranteed to find all distinct results (unlike systematically).

  4. WillFork :: Lookahead

    dejafu Test.DejaFu.Types

    Will start a new thread.

  5. WillForkOS :: Lookahead

    dejafu Test.DejaFu.Types

    Will start a new bound thread.

  6. renderForeignPtr :: Int -> Int -> QDiagram Cairo V2 Double Any -> IO (ForeignPtr Word8)

    diagrams-cairo Diagrams.Backend.Cairo.Ptr

    Like renderPtr but automatically garbage collected by Haskell.

  7. renderForeignPtrOpaque :: Int -> Int -> QDiagram Cairo V2 Double Any -> IO (ForeignPtr Word8)

    diagrams-cairo Diagrams.Backend.Cairo.Ptr

    No documentation available.

  8. LoopingForever :: GifLooping

    diagrams-rasterific Diagrams.Backend.Rasterific

    The animation will restart once the end is reached

  9. uniformGifMain :: GifDelay -> [Diagram Rasterific] -> IO ()

    diagrams-rasterific Diagrams.Backend.Rasterific.CmdLine

    Make an animated gif main with the same delay for each diagram.

  10. cubForm :: (Floating d, Ord d) => d -> d -> d -> d -> [d]

    diagrams-solve Diagrams.Solve.Polynomial

    Solve the cubic equation ax^3 + bx^2 + cx + d = 0, returning a list of all real roots within 1e-10 tolerance (although currently it's closer to 1e-5)

Page 1335 of many | Previous | Next