section "Commands" help ++
section "Reporting Coverage" reporting ++
section "Processing Coverage files" processing ++
section "Commands" help ++
section "Reporting Coverage" reporting ++
section "Processing Coverage files" processing ++
section "Others" other ++
""
where
help = ["help"]
reporting = ["report","markup"]
section "Others" other ++
""
where
help = ["help"]
reporting = ["report","markup"]
(_,_,errs) | not (null errs)
-> do putStrLn "hpc failed:"
sequence [ putStr (" " ++ err)
(_,_,errs) | not (null errs)
-> do putStrLn "hpc failed:"
sequence [ putStr (" " ++ err)
help_plugin = Plugin { name = "help"
, usage = "[<HPC_COMMAND>]"
help_plugin = Plugin { name = "help"
, usage = "[<HPC_COMMAND>]"
, options = help_options
, implementation = help_main
, init_flags = default_flags
, options = help_options
, implementation = help_main
, init_flags = default_flags
------------------------------------------------------------------------------
version_plugin = Plugin { name = "version"
, usage = ""
, summary = "Display version for hpc"
------------------------------------------------------------------------------
version_plugin = Plugin { name = "version"
, usage = ""
, summary = "Display version for hpc"
, implementation = version_main
, init_flags = default_flags
, final_flags = default_final_flags
}
, implementation = version_main
, init_flags = default_flags
, final_flags = default_final_flags
}