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

 
runUntilOn :: (a -> Benchmark b) -> (b -> Bool) -> [a] -> Benchmark [(a,b)]
runUntilOn _ _ [] = return []
runUntilOn bench stop (x:xs) = do
  bmresult <- bench x
  if stop bmresult
    then return []
    else do results <- runUntilOn bench stop xs
            return ((x,bmresult):results)

 argument 3

 deterministic operation

 
Runs 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

 (_, _, _)

 referentially transparent operation

 no fixity defined

 {(_,_,{[]}) |-> _ || (_,_,{:}) |-> _}

 runUntilOn

 no precedence defined

 _

 (a -> Benchmark b) -> (b -> Prelude.Bool) -> [a] -> Benchmark [(a, b)]

 operation might suspend on free variables

 possibly non-terminating

 reducible on all ground data terms