CurryInfo: benchmark-papers-3.0.0 / Test.Benchmark.runUntilNothingOn

 
runUntilNothingOn :: Eq b => (a -> Benchmark (Maybe b)) -> [a]
                          -> Benchmark [(a,b)]
runUntilNothingOn bench benchdata =
  mapBench (map (\ (x,Just y) -> (x,y)))
           (runUntilOn bench (==Nothing) benchdata)

 argument 3

 deterministic operation

 
Run a `Maybe` benchmark on an (infinite) input list of values
until a benchmark delivers `Nothing`.

@param bench - the `Maybe` benchmark parameterized by the input data
@param benchdata - the list of input data for the benchmarks
@return Benchmark with the list of input data and benchmark results pairs

 <FAILING>

 referentially transparent operation

 no fixity defined

 {(_,_,_) |-> _}

 runUntilNothingOn

 no precedence defined

 _

 Prelude.Eq b => (a -> Benchmark (Prelude.Maybe b)) -> [a] -> Benchmark [(a, b)]

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term