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

definition: Info
 
getCoreNumber :: IO String
getCoreNumber =
  readFile "/proc/cpuinfo" >>=
    return . show . length . filter (\ s -> take 9 s == "processor") . lines
demand: Info
 no demanded arguments
deterministic: Info
 deterministic operation
documentation: Info
 
Retrieve the number of cores.
Implemented by counting the processor entries in /proc/cpuinfo
failfree: Info
 ()
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {() |-> _}
name: Info
 getCoreNumber
precedence: Info
 no precedence defined
result-values: Info
 _
signature: Info
 Prelude.IO String
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 possibly non-terminating
totally-defined: Info
 possibly non-reducible on same data term