devs = OptDeviations `elem` flags
nodevs = OptNoDeviations `elem` flags
+default_title = "NoFib Results"
+reportTitle = case [ t | OptTitle t <- flags ] of
+ [] -> default_title
+ (t:_) -> t
+
data CLIFlags
= OptASCIIOutput
+ | OptLaTeXOutput
| OptHTMLOutput
| OptIgnoreSmallTimes Float
| OptDeviations
| OptNoDeviations
+ | OptTitle String
| OptHelp
deriving Eq
"Ignore runtimes smaller than <secs>"
, Option ['d'] ["deviations"] (NoArg OptDeviations)
"Display deviations (default)"
+ , Option ['l'] ["latex"] (NoArg OptLaTeXOutput)
+ "Produce LaTeX output"
, Option ['n'] ["nodeviations"] (NoArg OptNoDeviations)
"Hide deviations"
+ , Option ['t'] ["title"] (ReqArg OptTitle "title")
+ "Specify report title"
]