CurryInfo: benchmark-papers-3.0.0 / Test.Benchmark.Goodies.benchInputsResultsAsTable

 
benchInputsResultsAsTable :: (String,String) -> [(String,String)] -> String
benchInputsResultsAsTable (ilabel,rlabel) xs =
  "\\begin{tabular}{|l|" ++ concat (take (length xs) (repeat "c|")) ++ "}\n" ++
  "\\hline\n" ++
  toTableRow (ilabel : map (\ (n,_) -> n) xs) ++
  toTableRow (rlabel : map (\ (_,t) -> t) xs) ++
  "\\hline\n\\end{tabular}\n"

 argument 1

 deterministic operation

 
Format simple benchmark results (i.e., a list of input/result pairs)
as a latex table consisting of a row for input values and a row
for result values. The first argument is a pair of labels for the
input/results rows.

 (_, _)

 referentially transparent operation

 no fixity defined

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

 benchInputsResultsAsTable

 no precedence defined

 _

 (String, String) -> [(String, String)] -> String

 operation might suspend on free variables

 possibly non-terminating

 reducible on all ground data terms