MagicHaskeller.GetTime

Documentation

batchWrite :: FilePath -> [IO a] -> IO ()

batchRun :: [IO a] -> IO [Integer]

time :: IO a -> IO (a, Integer)

showZero :: [Char] -> [Char]

showCPUTime :: Integer -> String

lenPrec :: Int