| Maintainer | Toshio Ito <debug.ito@gmail.com> |
|---|---|
| Safe Haskell | None |
| Language | Haskell2010 |
NetSpider.RPL.CLI
Contents
Description
Synopsis
- main :: IO ()
- optionParser :: Parser (CLIConfig n na fla)
- data CLIConfig n na fla = CLIConfig {
- cliSpiderConfig :: SpiderConfig n na fla
- cliCmd :: Cmd
- data Cmd
- = CmdClear
- | CmdInput InputParams
- | CmdSnapshot (Query IPv6ID () () ())
- | CmdCIS InputParams (Query IPv6ID () () ())
- data InputParams = InputParams [FilePath] FoundNodeFilter (Maybe Year)
Documentation
Symbols only for testing
optionParser :: Parser (CLIConfig n na fla) Source #
data CLIConfig n na fla Source #
Top-level configuration obtained from command-line arguments.
Constructors
| CLIConfig | |
Fields
| |
CLI subcommands and their arguments.
Constructors
| CmdClear | Clear the entire database. |
| CmdInput InputParams | Input FoundNodes to the database |
| CmdSnapshot (Query IPv6ID () () ()) | Get a snapshot graph. |
| CmdCIS InputParams (Query IPv6ID () () ()) | Clear + Input + Snapshot |
data InputParams Source #
Parameters for input command. Filenames to input, filter for FoundNodes, and the year that the parser use to parse the input files.
Constructors
| InputParams [FilePath] FoundNodeFilter (Maybe Year) |