CurryInfo: verify-non-fail-2.0.0 / Verify.Statistics.storeStatistics

 
storeStatistics :: Options -> String -> String -> [String] -> IO ()
storeStatistics opts mname stattxt statcsv = when (optStats opts) $ do
  reportWriting writeFile    (statsFile mname ++ ".txt") stattxt
  reportWriting writeCSVFile (statsFile mname ++ ".csv")
                [statColumnNames, mname : statcsv]
 where
  reportWriting wf f s = do
    when (optVerb opts > 2) $
      printInfoLine $ "Storing statistics in '" ++ f ++ "'..."
    wf f s
    printWhenDetails opts "done"

 no demanded arguments

 deterministic operation

 
Store the statitics for a module in a text and a CSV file
(if required by the current options).

 (_, _, _, _)

 referentially transparent operation

 no fixity defined

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

 storeStatistics

 no precedence defined

 _

 Verify.Options.Options -> String -> String -> [String] -> Prelude.IO ()

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term