pipe benchmark result to diff directly

agora-bench/Main.hs

@@ -3,10 +3,10 @@ module Main (main) where
 import Bench (specificationTreeToBenchmarks)
 import Data.Csv (EncodeOptions (encUseCrLf), defaultEncodeOptions, encodeDefaultOrderedByNameWith)
 import Data.Text.Lazy.Encoding (decodeUtf8)
-import Data.Text.Lazy.IO as I (writeFile)
+import Data.Text.Lazy.IO as I (putStr, writeFile)
 import Options (Options (..), parseOptions)
 import Prettyprinter (defaultLayoutOptions, layoutPretty, pretty)
-import Prettyprinter.Render.String (renderString)
+import Prettyprinter.Render.Text (renderLazy)
 import Spec.AuthorityToken qualified as AuthorityToken
 import Spec.Effect.GovernorMutation qualified as GovernorMutation
 import Spec.Effect.TreasuryWithdrawal qualified as TreasuryWithdrawal
@@ -14,6 +14,7 @@ import Spec.Governor qualified as Governor
 import Spec.Proposal qualified as Proposal
 import Spec.Stake qualified as Stake
 import Spec.Treasury qualified as Treasury
+import System.IO (hIsTerminalDevice, stdout)
 import Test.Specification (group)
 import Prelude
 
@@ -22,11 +23,14 @@ import Prelude
 main :: IO ()
 main = do
   options <- parseOptions
+  isTTY <- hIsTerminalDevice stdout
 
-  I.writeFile options.output $
-    (decodeUtf8 . encodeDefaultOrderedByNameWith encodeOptions) res
+  mapM_ (`I.writeFile` csv) options.output
 
-  mapM_ (putStrLn . renderString . layoutPretty defaultLayoutOptions . pretty) res
+  I.putStr $
+    if isTTY
+      then prettified
+      else csv
   where
     encodeOptions =
       defaultEncodeOptions
@@ -49,3 +53,7 @@ main = do
           , group "AuthorityToken" AuthorityToken.specs
           , group "Governor" Governor.specs
           ]
+
+    csv = decodeUtf8 $ encodeDefaultOrderedByNameWith encodeOptions res
+
+    prettified = renderLazy $ layoutPretty defaultLayoutOptions $ pretty res