Hoogle Search
Within LTS Haskell 24.34 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
so_step :: SparkOptions -> IntChart Graphics.Rendering.Chart.SparkLine step size
-
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.
-
dejafu Test.DejaFu.SCT.Internal.DPOR No documentation available.
-
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.
incorporateBacktrackSteps :: HasCallStack => [BacktrackStep] -> DPOR -> DPORdejafu Test.DejaFu.SCT.Internal.DPOR Add new backtracking points, if they have not already been visited and aren't in the sleep set.
AxTickMinStep :: Double -> AxisPropertyhvega Graphics.Vega.VegaLite The minimum desired step between axis ticks, in terms of the scale domain values.
DnMaxSteps :: Natural -> DensityPropertyhvega Graphics.Vega.VegaLite The maximum number of samples to take from the extent domain. The default is 200.
DnMinSteps :: Natural -> DensityPropertyhvega Graphics.Vega.VegaLite The minimum number of samples to take from the extent domain. The default is 25.
DnSteps :: Natural -> DensityPropertyhvega Graphics.Vega.VegaLite This overrides the DnMinSteps and DnMaxSteps options and specified an exact number of steps to take from the extent domain. It can be used with DnExtent to ensure a consistent set of sample points for stacked densities.
GrStep :: (Double, Double) -> GraticulePropertyhvega Graphics.Vega.VegaLite The step angles for the graticule lines, given as a longitude, latitude pair defining the EW and NS intervals respectively. The units are degrees. By default major graticule lines extend to both poles but the minor lines stop at ±80 degrees latitude.