Safe Haskell | Safe-Infered |
---|
- data ParserInfo a = ParserInfo {
- _infoParser :: Parser a
- _infoDesc :: ParserDesc
- data ParserDesc = ParserDesc {}
- 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 r a = Option {}
- data OptName
- data OptReader a
- data Parser a where
- data ParserFailure = ParserFailure {
- errMessage :: String -> String
- errExitCode :: ExitCode
- optMain :: Lens (Option r a) (OptReader r)
- optDefault :: Lens (Option r a) (Maybe a)
- optShow :: Lens (Option r a) Bool
- optHelp :: Lens (Option r a) String
- optMetaVar :: Lens (Option r a) String
- optCont :: Lens (Option r a) (r -> P (Parser a))
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 | |
|
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
Specification for an individual parser option.
Option | option continuation |
An OptReader
defines whether an option matches an command line argument.
A Parser a
is an option parser returning a value of type a
.
data ParserFailure Source
Result after a parse error.
ParserFailure | |
|
optDefault :: Lens (Option r a) (Maybe a)Source
optMetaVar :: Lens (Option r a) StringSource