Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

  1. highpassStep :: (C a, C a v) => Parameter a -> v -> State v v

    synthesizer-core Synthesizer.Plain.Filter.Recursive.FirstOrder

    No documentation available.

  2. lowpassStep :: (C a, C a v) => Parameter a -> v -> State v v

    synthesizer-core Synthesizer.Plain.Filter.Recursive.FirstOrder

    No documentation available.

  3. initStep :: Initialized s init ctrl a b -> ctrl -> a -> State s b

    synthesizer-core Synthesizer.Plain.Modifier

    No documentation available.

  4. zipStep :: (s -> Maybe (a, s)) -> (t -> Maybe (a, t)) -> (a -> a -> a) -> (s, t) -> Maybe (a, (s, t))

    synthesizer-core Synthesizer.State.Signal

    No documentation available.

  5. autoSteps :: Int -> [Double] -> [Double]

    Chart Graphics.Rendering.Chart.Axis.Floating

    Given a target number of values, and a list of input points, find evenly spaced values from the set {1*X, 2*X, 2.5*X, 5*X} (where X is some power of ten) that evenly cover the input points.

  6. so_step :: SparkOptions -> Int

    Chart Graphics.Rendering.Chart.SparkLine

    step size

  7. data BacktrackStep

    dejafu Test.DejaFu.SCT.Internal.DPOR

    One step of the execution, including information for backtracking purposes. This backtracking information is used to generate new schedules.

  8. BacktrackStep :: ThreadId -> Decision -> ThreadAction -> Map ThreadId Lookahead -> Map ThreadId Bool -> ConcurrencyState -> BacktrackStep

    dejafu Test.DejaFu.SCT.Internal.DPOR

    No documentation available.

  9. findBacktrackSteps :: Bool -> MemType -> BacktrackFunc -> Bool -> ConcurrencyState -> Seq ([(ThreadId, Lookahead)], [ThreadId]) -> Trace -> [BacktrackStep]

    dejafu Test.DejaFu.SCT.Internal.DPOR

    Produce a list of new backtracking points from an execution trace. These are then used to inform new "to-do" points in the DPOR tree. Two traces are passed in to this function: the first is generated from the special DPOR scheduler, the other from the execution of the concurrent program. If the trace ends with any threads other than the initial one still runnable, a dependency is imposed between this final action and everything else.

  10. incorporateBacktrackSteps :: HasCallStack => [BacktrackStep] -> DPOR -> DPOR

    dejafu Test.DejaFu.SCT.Internal.DPOR

    Add new backtracking points, if they have not already been visited and aren't in the sleep set.

Page 53 of many | Previous | Next