Safe Haskell	Safe
Language	Haskell98

Options.Applicative.Types

Synopsis

Documentation

data ParseError Source

Constructors

ErrorMsg String
InfoMsg String
ShowHelpText
UnknownError

Instances

Show ParseError Source
Monoid ParseError Source

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 Source

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 Source

data OptName Source

Constructors

OptShort !Char
OptLong !String

Instances

Eq OptName Source
Ord OptName Source

data OptReader a Source

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

Constructors

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

Instances

Functor OptReader Source

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 Source
Ord OptVisibility Source

newtype ReadM a Source

A newtype over 'ReaderT String Except', used by option readers.

Constructors

ReadM
Fields unReadM :: ReaderT String (Except ParseError) a

Instances

Monad ReadM Source
Functor ReadM Source
Applicative ReadM Source
Alternative ReadM Source
MonadPlus ReadM Source

readerAsk :: ReadM String Source

Return the value being read.

readerAbort :: ParseError -> ReadM a Source

Abort option reader by exiting with a ParseError.

readerError :: String -> ReadM a Source

Abort option reader by exiting with an error message.

data CReader a Source

Constructors

CReader
Fields crCompleter :: Completer crReader :: ReadM a

Instances

Functor CReader Source

data Parser a Source

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

Constructors

NilP (Maybe a)
OptP (Option a)
forall x . MultP (Parser (x -> a)) (Parser x)
AltP (Parser a) (Parser a)
forall x . BindP (Parser x) (x -> Parser a)

Instances

Functor Parser Source
Applicative Parser Source
Alternative Parser Source

newtype ParserM r Source

Constructors

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

Instances

Monad ParserM Source
Functor ParserM Source
Applicative ParserM Source

newtype Completer Source

Constructors

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

Instances

Monoid Completer Source

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

newtype CompletionResult Source

Constructors

CompletionResult
Fields execCompletion :: String -> IO String

Instances

Show CompletionResult Source

newtype ParserFailure h Source

Constructors

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

Instances

Functor ParserFailure Source
Show h => Show (ParserFailure h) Source

data ParserResult a Source

Result of execParserPure.

Constructors

Success a
Failure (ParserFailure ParserHelp)
CompletionInvoked CompletionResult

Instances

Monad ParserResult Source
Functor ParserResult Source
Applicative ParserResult Source
Show a => Show (ParserResult a) Source

overFailure :: (ParserHelp -> ParserHelp) -> ParserResult a -> ParserResult a Source

type Args = [String] Source

data ArgPolicy Source

Constructors

SkipOpts
AllowOpts

Instances

Eq ArgPolicy Source

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) Source

data ParserHelp Source

Constructors

ParserHelp
Fields helpError :: Chunk Doc helpHeader :: Chunk Doc helpUsage :: Chunk Doc helpBody :: Chunk Doc helpFooter :: Chunk Doc

Instances

Show ParserHelp Source
Monoid ParserHelp Source

fromM :: ParserM a -> Parser a Source

oneM :: Parser a -> ParserM a Source

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