Parser

Documentation

getArgParser :: IO Options

Return parser results for command line arguments passed to the hMPC runtime.

getArgParserExtra

Arguments

:: Parser a

-> IO (Options, a)

include a user specified parser

Return parser for command line arguments passed to the hMPC runtime.

data Options

Constructors

Options

Fields

• parsParties :: [String]
• m :: Integer
• myPid :: Integer
• threshold :: Integer
• basePort :: Integer
• secParam :: Int
• noAsync :: Bool
• nrThreads :: Maybe Int