Sulkta-OSS/agora
3
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions

pretty printer

Browse source
This commit is contained in:
Seungheon Oh 2022-05-26 09:37:41 -05:00
parent 12cec802a0
commit bf4098fd30
2 changed files with 18 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

6
agora-bench/Main.hs
View file

@ -3,7 +3,9 @@ module Main (main) where
import Bench (specificationTreeToBenchmarks)
import Data.Csv (encodeDefaultOrderedByName)
import Data.Text.Lazy.Encoding (decodeUtf8)
import Data.Text.Lazy.IO as I
import Data.Text.Lazy.IO as I (writeFile)
import Prettyprinter (defaultLayoutOptions, layoutPretty, pretty)
import Prettyprinter.Render.String (renderString)
import Spec.AuthorityToken qualified as AuthorityToken
import Spec.Effect.GovernorMutation qualified as GovernorMutation
import Spec.Effect.TreasuryWithdrawal qualified as TreasuryWithdrawal
@ -21,7 +23,7 @@ main = do
I.writeFile "bench.csv" $
(decodeUtf8 . encodeDefaultOrderedByName) res
mapM_ (Prelude.putStrLn . (<> "\n") . show) res
mapM_ (putStrLn . renderString . layoutPretty defaultLayoutOptions . pretty) res
where
res =
specificationTreeToBenchmarks $