Safe Haskell	Safe-Inferred

Options.Applicative.Types

Synopsis

Documentation

data ParseError Source

Constructors

ErrorMsg String
InfoMsg String
ShowHelpText

Instances

Show ParseError
Error ParseError

data ParserInfo a Source

A full description for a runnable Parser for a program.

Constructors

ParserInfo

Fields

infoParser :: Parser a: the option parser for the program
infoFullDesc :: Bool: whether the help text should contain full documentation
infoProgDesc :: Chunk Doc: brief parser description
infoHeader :: Chunk Doc: header of the full parser description
infoFooter :: Chunk Doc: footer of the full parser description
infoFailureCode :: Int: exit code for a parser failure
infoIntersperse :: Bool: allow regular options and flags to occur after arguments (default: True)

Instances

Functor ParserInfo

data ParserPrefs Source

Global preferences for a top-level Parser.

Constructors

ParserPrefs

Fields

prefMultiSuffix :: String: metavar suffix for multiple options
prefDisambiguate :: Bool: automatically disambiguate abbreviations (default: False)
prefShowHelpOnError :: Bool: always show help text on parse errors (default: False)
prefBacktrack :: Bool: backtrack to parent parser when a subcommand fails (default: True)
prefColumns :: Int: number of columns in the terminal, used to format the help page (default: 80)

data Option a Source

A single option of a parser.

Constructors

Option
Fields optMain :: OptReader a reader for this option optProps :: OptProperties properties of this option

Instances

Functor Option

data OptName Source

Constructors

OptShort !Char
OptLong !String

Instances

Eq OptName
Ord OptName

data OptReader a Source

An OptReader defines whether an option matches an command line argument.

Constructors

OptReader [OptName] (OptCReader a) ParseError	option reader
FlagReader [OptName] !a	flag reader
ArgReader (ArgCReader a)	argument reader
CmdReader [String] (String -> Maybe (ParserInfo a))	command reader

Instances

Functor OptReader

data OptProperties Source

Specification for an individual parser option.

Constructors

OptProperties
Fields propVisibility :: OptVisibility whether this flag is shown is the brief description propHelp :: Chunk Doc help text for this option propMetaVar :: String metavariable for this option propShowDefault :: Maybe String what to show in the help text as the default

data OptVisibility Source

Visibility of an option in the help text.

Constructors

Internal	does not appear in the help text at all
Hidden	only visible in the full description
Visible	visible both in the full and brief descriptions

Instances

Eq OptVisibility
Ord OptVisibility

newtype ReadM a Source

A newtype over the Either monad used by option readers.

Constructors

ReadM
Fields runReadM :: Either ParseError a

Instances

Monad ReadM
Functor ReadM
MonadPlus ReadM
Applicative ReadM

readerAbort :: ParseError -> ReadM aSource

Abort option reader by exiting with a ParseError.

readerError :: String -> ReadM aSource

Abort option reader by exiting with an error message.

data CReader m a Source

Constructors

CReader
Fields crCompleter :: Completer crReader :: String -> m a

Instances

Functor m => Functor (CReader m)

data Parser a whereSource

A Parser a is an option parser returning a value of type a.

Constructors

NilP :: Maybe a -> Parser a
OptP :: Option a -> Parser a
MultP :: Parser (a -> b) -> Parser a -> Parser b
AltP :: Parser a -> Parser a -> Parser a
BindP :: Parser a -> (a -> Parser b) -> Parser b

Instances

Functor Parser
Applicative Parser
Alternative Parser

newtype ParserM r Source

Constructors

ParserM
Fields runParserM :: forall x. (r -> Parser x) -> Parser x

Instances

Monad ParserM
Functor ParserM
Applicative ParserM

newtype Completer Source

Constructors

Completer
Fields runCompleter :: String -> IO [String]

Instances

Monoid Completer

mkCompleter :: (String -> IO [String]) -> Completer Source

newtype CompletionResult Source

Constructors

CompletionResult
Fields execCompletion :: String -> IO String

newtype ParserFailure Source

Constructors

ParserFailure
Fields execFailure :: String -> (String, ExitCode)

data ParserResult a Source

Result of execParserPure.

Constructors

Success a
Failure ParserFailure
CompletionInvoked CompletionResult

type Args = [String]Source

data ArgPolicy Source

Constructors

SkipOpts
AllowOpts

Instances

Eq ArgPolicy

data OptHelpInfo Source

Constructors

OptHelpInfo
Fields hinfoMulti :: Bool hinfoDefault :: Bool

data OptTree a Source

Constructors

Leaf a
MultNode [OptTree a]
AltNode [OptTree a]

Instances

Show a => Show (OptTree a)

fromM :: ParserM a -> Parser aSource

oneM :: Parser a -> ParserM aSource

manyM :: Parser a -> ParserM [a]Source

someM :: Parser a -> ParserM [a]Source

optVisibility :: Option a -> OptVisibility Source

optMetaVar :: Option a -> String Source

optHelp :: Option a -> Chunk Doc Source

optShowDefault :: Option a -> Maybe String Source