Safe Haskell | Safe-Infered |
---|
- data ParserInfo a = ParserInfo {
- _infoParser :: Parser a
- _infoDesc :: ParserDesc
- data ParserDesc = ParserDesc {}
- data ParserPrefs = ParserPrefs {}
- data Context where
- Context :: Maybe String -> ParserInfo a -> Context
- NullContext :: Context
- type P = ErrorT String (Writer Context)
- infoParser :: Lens (ParserInfo a) (Parser a)
- infoDesc :: Lens (ParserInfo a) ParserDesc
- infoFullDesc :: Lens (ParserInfo a) Bool
- infoProgDesc :: Lens (ParserInfo a) String
- infoHeader :: Lens (ParserInfo a) String
- infoFooter :: Lens (ParserInfo a) String
- infoFailureCode :: Lens (ParserInfo a) Int
- descFull :: Lens ParserDesc Bool
- descProg :: Lens ParserDesc String
- descHeader :: Lens ParserDesc String
- descFooter :: Lens ParserDesc String
- descFailureCode :: Lens ParserDesc Int
- data Option a = Option {
- _optMain :: OptReader a
- _optProps :: OptProperties a
- data OptName
- data OptReader a
- data OptProperties a = OptProperties {}
- data OptVisibility
- data Parser a where
- data ParserFailure = ParserFailure {
- errMessage :: String -> String
- errExitCode :: ExitCode
- data OptHelpInfo = OptHelpInfo {
- hinfoMulti :: Bool
- hinfoDefault :: Bool
- optMain :: Lens (Option a) (OptReader a)
- optDefault :: Lens (Option a) (Maybe a)
- optVisibility :: Lens (Option a) OptVisibility
- optHelp :: Lens (Option a) String
- optMetaVar :: Lens (Option a) String
- propDefault :: Lens (OptProperties a) (Maybe a)
- propVisibility :: Lens (OptProperties a) OptVisibility
- propHelp :: Lens (OptProperties a) String
- propMetaVar :: Lens (OptProperties a) String
- prefMultiSuffix :: Lens ParserPrefs String
Documentation
data ParserInfo a Source
A full description for a runnable Parser
for a program.
ParserInfo | |
|
data ParserDesc Source
Attributes that can be associated to a Parser
.
ParserDesc | |
|
data ParserPrefs Source
Global preferences for a top-level Parser
.
ParserPrefs | |
|
Context :: Maybe String -> ParserInfo a -> Context | |
NullContext :: Context |
infoParser :: Lens (ParserInfo a) (Parser a)Source
infoDesc :: Lens (ParserInfo a) ParserDescSource
infoFullDesc :: Lens (ParserInfo a) BoolSource
infoProgDesc :: Lens (ParserInfo a) StringSource
infoHeader :: Lens (ParserInfo a) StringSource
infoFooter :: Lens (ParserInfo a) StringSource
infoFailureCode :: Lens (ParserInfo a) IntSource
A single option of a parser.
Option | |
|
An OptReader
defines whether an option matches an command line argument.
data OptProperties a Source
Specification for an individual parser option.
OptProperties | |
|
data OptVisibility Source
Visibility of an option in the help text.
A Parser a
is an option parser returning a value of type a
.
data ParserFailure Source
Result after a parse error.
ParserFailure | |
|
data OptHelpInfo Source
optDefault :: Lens (Option a) (Maybe a)Source
optMetaVar :: Lens (Option a) StringSource
propDefault :: Lens (OptProperties a) (Maybe a)Source
propHelp :: Lens (OptProperties a) StringSource
propMetaVar :: Lens (OptProperties a) StringSource