Command line parsing

Author: yveshauser

leios-trace-verifier/hs-src/app/Main.hs

@@ -1,11 +1,34 @@
+{-# LANGUAGE OverloadedStrings #-}
+{-# LANGUAGE RecordWildCards #-}
+
 module Main where
 
 import Data.ByteString.Lazy as BSL
 import LeiosEvents
 import Lib
-
-logFile :: FilePath
-logFile = "leios-trace.log"
+import Options.Applicative
 
 main :: IO ()
-main = BSL.readFile logFile >>= print . verifyTrace . decodeJSONL
+main =
+  do
+    Command{..} <- execParser commandParser
+    BSL.readFile logFile >>= print . verifyTrace . decodeJSONL
+
+newtype Command = Command
+  { logFile :: FilePath
+  }
+  deriving (Eq, Ord, Read, Show)
+
+commandParser :: ParserInfo Command
+commandParser =
+  info (com <**> helper) $
+    fullDesc
+      <> progDesc "Short Leios trace verifier"
+      <> header "parser - a Short Leios trace verifier"
+ where
+  com =
+    Command
+      <$> strOption
+        ( long "trace-file"
+            <> help "Short Leios simulation trace log file"
+        )

leios-trace-verifier/hs-src/trace-parser.cabal

@@ -36,6 +36,7 @@ executable parser
       , bytestring
       , leios-trace-hs
       , trace-parser
+      , optparse-applicative
 
   default-language: Haskell2010
   ghc-options:      -Wall