MagicHaskeller-0.9.6.7: Automatic inductive functional programmer by systematic search

Safe HaskellNone
LanguageHaskell98

MagicHaskeller.GetTime

Documentation

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

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

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

showZero :: [Char] -> [Char] Source #

showCPUTime :: Integer -> String Source #

lenPrec :: Int Source #