-- Hoogle documentation, generated by Haddock -- See Hoogle, http://www.haskell.org/hoogle/ -- | Utilities and combinators for parsing command line options -- -- optparse-applicative is a haskell library for parsing options on the -- command line, and providing a powerful applicative interface for -- composing them. -- -- optparse-applicative takes care of reading and validating the -- arguments passed to the command line, handling and reporting errors, -- generating a usage line, a comprehensive help screen, and enabling -- context-sensitive bash, zsh, and fish completions. -- -- See the included README for detailed instructions and examples, which -- is also available on github -- https://github.com/pcapriotti/optparse-applicative. @package optparse-applicative @version 0.16.0.0 module Options.Applicative.Help.Levenshtein -- | Calculate the Damerau-Levenshtein edit distance between two lists -- (strings). -- -- This is modified from https://wiki.haskell.org/Edit_distance -- and is originally from Lloyd Allison's paper "Lazy Dynamic-Programming -- can be Eager" -- -- It's been changed though from Levenshtein to Damerau-Levenshtein, -- which treats transposition of adjacent characters as one change -- instead of two. -- -- Complexity O(|a|*(1 + editDistance a b)) editDistance :: Eq a => [a] -> [a] -> Int module Options.Applicative.Help.Pretty -- | (hPutDoc handle doc) pretty prints document doc to -- the file handle handle with a page width of 80 characters and -- a ribbon width of 32 characters. -- -- 
--   main = do{ handle <- openFile "MyFile" WriteMode
--            ; hPutDoc handle (vcat (map text
--                              ["vertical","text"]))
--            ; hClose handle
--            }
--
-- -- Any ANSI colorisation in doc will be output. hPutDoc :: Handle -> Doc -> IO () -- | The action (putDoc doc) pretty prints document doc -- to the standard output, with a page width of 80 characters and a -- ribbon width of 32 characters. -- -- 
--   main :: IO ()
--   main = do{ putDoc (text "hello" <+> text "world") }
--
-- -- Which would output -- -- 
--   hello world
--
-- -- Any ANSI colorisation in doc will be output. putDoc :: Doc -> IO () -- | (displayIO handle simpleDoc) writes simpleDoc to the -- file handle handle. This function is used for example by -- hPutDoc: -- -- 
--   hPutDoc handle doc  = displayIO handle (renderPretty 0.4 80 doc)
--
-- -- Any ANSI colorisation in simpleDoc will be output. displayIO :: Handle -> SimpleDoc -> IO () -- | (displayS simpleDoc) takes the output simpleDoc from -- a rendering function and transforms it to a ShowS type (for use -- in the Show class). -- -- 
--   showWidth :: Int -> Doc -> String
--   showWidth w x   = displayS (renderPretty 0.4 w x) ""
--
-- -- ANSI color information will be discarded by this function unless you -- are running on a Unix-like operating system. This is due to a -- technical limitation in Windows ANSI support. displayS :: SimpleDoc -> ShowS -- | (renderCompact x) renders document x without adding -- any indentation. Since no 'pretty' printing is involved, this renderer -- is very fast. The resulting output contains fewer characters than a -- pretty printed version and can be used for output that is read by -- other programs. -- -- This rendering function does not add any colorisation information. renderCompact :: Doc -> SimpleDoc -- | A slightly smarter rendering algorithm with more lookahead. It -- provides provide earlier breaking on deeply nested structures For -- example, consider this python-ish pseudocode: -- fun(fun(fun(fun(fun([abcdefg, abcdefg]))))) If we put a -- softbreak (+ nesting 2) after each open parenthesis, and align the -- elements of the list to match the opening brackets, this will render -- with renderPretty and a page width of 20 as: -- fun(fun(fun(fun(fun([ | abcdef, | abcdef, ] ))))) | Where the -- 20c. boundary has been marked with |. Because renderPretty -- only uses one-line lookahead, it sees that the first line fits, and is -- stuck putting the second and third lines after the 20-c mark. In -- contrast, renderSmart will continue to check that the -- potential document up to the end of the indentation level. Thus, it -- will format the document as: -- -- 
--   fun(                |
--     fun(              |
--       fun(            |
--         fun(          |
--           fun([       |
--                 abcdef,
--                 abcdef,
--               ]       |
--     )))))             |
--
-- -- Which fits within the 20c. boundary. renderSmart :: Float -> Int -> Doc -> SimpleDoc -- | This is the default pretty printer which is used by show, -- putDoc and hPutDoc. (renderPretty ribbonfrac width -- x) renders document x with a page width of -- width and a ribbon width of (ribbonfrac * width) -- characters. The ribbon width is the maximal amount of non-indentation -- characters on a line. The parameter ribbonfrac should be -- between 0.0 and 1.0. If it is lower or higher, the -- ribbon width will be 0 or width respectively. renderPretty :: Float -> Int -> Doc -> SimpleDoc -- | Removes all colorisation, emboldening and underlining from a document plain :: Doc -> Doc -- | Displays a document with no underlining deunderline :: Doc -> Doc -- | Displays a document with underlining underline :: Doc -> Doc -- | Displays a document in the normal font weight debold :: Doc -> Doc -- | Displays a document in a heavier font weight bold :: Doc -> Doc -- | Displays a document with the dull white backcolor ondullwhite :: Doc -> Doc -- | Displays a document with the white backcolor onwhite :: Doc -> Doc -- | Displays a document with the dull cyan backcolor ondullcyan :: Doc -> Doc -- | Displays a document with the cyan backcolor oncyan :: Doc -> Doc -- | Displays a document with the dull magenta backcolor ondullmagenta :: Doc -> Doc -- | Displays a document with the magenta backcolor onmagenta :: Doc -> Doc -- | Displays a document with the dull blue backcolor ondullblue :: Doc -> Doc -- | Displays a document with the blue backcolor onblue :: Doc -> Doc -- | Displays a document with the dull yellow backcolor ondullyellow :: Doc -> Doc -- | Displays a document with the yellow backcolor onyellow :: Doc -> Doc -- | Displays a document with the dull green backcolor ondullgreen :: Doc -> Doc -- | Displays a document with the green backcolor ongreen :: Doc -> Doc -- | Displays a document with the dull red backcolor ondullred :: Doc -> Doc -- | Displays a document with the red backcolor onred :: Doc -> Doc -- | Displays a document with the dull black backcolor ondullblack :: Doc -> Doc -- | Displays a document with the black backcolor onblack :: Doc -> Doc -- | Displays a document with the dull white forecolor dullwhite :: Doc -> Doc -- | Displays a document with the white forecolor white :: Doc -> Doc -- | Displays a document with the dull cyan forecolor dullcyan :: Doc -> Doc -- | Displays a document with the cyan forecolor cyan :: Doc -> Doc -- | Displays a document with the dull magenta forecolor dullmagenta :: Doc -> Doc -- | Displays a document with the magenta forecolor magenta :: Doc -> Doc -- | Displays a document with the dull blue forecolor dullblue :: Doc -> Doc -- | Displays a document with the blue forecolor blue :: Doc -> Doc -- | Displays a document with the dull yellow forecolor dullyellow :: Doc -> Doc -- | Displays a document with the yellow forecolor yellow :: Doc -> Doc -- | Displays a document with the dull green forecolor dullgreen :: Doc -> Doc -- | Displays a document with the green forecolor green :: Doc -> Doc -- | Displays a document with the dull red forecolor dullred :: Doc -> Doc -- | Displays a document with the red forecolor red :: Doc -> Doc -- | Displays a document with the dull black forecolor dullblack :: Doc -> Doc -- | Displays a document with the black forecolor black :: Doc -> Doc -- | A document that is normally rendered as the first argument, but when -- flattened, is rendered as the second document. flatAlt :: Doc -> Doc -> Doc -- | The group combinator is used to specify alternative layouts. -- The document (group x) undoes all line breaks in document -- x. The resulting line is added to the current line if that -- fits the page. Otherwise, the document x is rendered without -- any changes. group :: Doc -> Doc nesting :: (Int -> Doc) -> Doc column :: (Int -> Doc) -> Doc -- | The document (nest i x) renders document x with the -- current indentation level increased by i (See also hang, -- align and indent). -- -- 
--   nest 2 (text "hello" <$> text "world") <$> text "!"
--
-- -- outputs as: -- -- 
--   hello
--     world
--   !
--
nest :: Int -> Doc -> Doc -- | A linebreak that will never be flattened; it is guaranteed to render -- as a newline. hardline :: Doc -- | The linebreak document advances to the next line and indents -- to the current nesting level. Document linebreak behaves like -- empty if the line break is undone by group. linebreak :: Doc -- | The line document advances to the next line and indents to -- the current nesting level. Document line behaves like -- (text " ") if the line break is undone by group. line :: Doc -- | The document (text s) contains the literal string s. -- The string shouldn't contain any newline ('\n') characters. -- If the string contains newline characters, the function string -- should be used. text :: String -> Doc -- | The document (char c) contains the literal character -- c. The character shouldn't be a newline ('\n'), the -- function line should be used for line breaks. char :: Char -> Doc -- | The empty document is, indeed, empty. Although empty has no -- content, it does have a 'height' of 1 and behaves exactly like -- (text "") (and is therefore not a unit of -- <$>). empty :: Doc -- | The document (align x) renders document x with the -- nesting level set to the current column. It is used for example to -- implement hang. -- -- As an example, we will put a document right above another one, -- regardless of the current nesting level: -- -- 
--   x $$ y  = align (x <$> y)
--
-- -- 
--   test    = text "hi" <+> (text "nice" $$ text "world")
--
-- -- which will be layed out as: -- -- 
--   hi nice
--      world
--
align :: Doc -> Doc -- | The hang combinator implements hanging indentation. The document -- (hang i x) renders document x with a nesting level -- set to the current column plus i. The following example uses -- hanging indentation for some text: -- -- 
--   test  = hang 4 (fillSep (map text
--           (words "the hang combinator indents these words !")))
--
-- -- Which lays out on a page with a width of 20 characters as: -- -- 
--   the hang combinator
--       indents these
--       words !
--
-- -- The hang combinator is implemented as: -- -- 
--   hang i x  = align (nest i x)
--
hang :: Int -> Doc -> Doc -- | The document (indent i x) indents document x with -- i spaces. -- -- 
--   test  = indent 4 (fillSep (map text
--           (words "the indent combinator indents these words !")))
--
-- -- Which lays out with a page width of 20 as: -- -- 
--   the indent
--   combinator
--   indents these
--   words !
--
indent :: Int -> Doc -> Doc width :: Doc -> (Int -> Doc) -> Doc -- | The document (fill i x) renders document x. It than -- appends spaces until the width is equal to i. If the -- width of x is already larger, nothing is appended. This -- combinator is quite useful in practice to output a list of bindings. -- The following example demonstrates this. -- -- 
--   types  = [("empty","Doc")
--            ,("nest","Int -> Doc -> Doc")
--            ,("linebreak","Doc")]
--   
--   ptype (name,tp)
--          = fill 6 (text name) <+> text "::" <+> text tp
--   
--   test   = text "let" <+> align (vcat (map ptype types))
--
-- -- Which is layed out as: -- -- 
--   let empty  :: Doc
--       nest   :: Int -> Doc -> Doc
--       linebreak :: Doc
--
fill :: Int -> Doc -> Doc -- | The document (fillBreak i x) first renders document -- x. It than appends spaces until the width is equal -- to i. If the width of x is already larger than -- i, the nesting level is increased by i and a -- line is appended. When we redefine ptype in the -- previous example to use fillBreak, we get a useful variation -- of the previous output: -- -- 
--   ptype (name,tp)
--          = fillBreak 6 (text name) <+> text "::" <+> text tp
--
-- -- The output will now be: -- -- 
--   let empty  :: Doc
--       nest   :: Int -> Doc -> Doc
--       linebreak
--              :: Doc
--
fillBreak :: Int -> Doc -> Doc -- | The document (rational r) shows the literal rational -- r using text. rational :: Rational -> Doc -- | The document (double d) shows the literal double d -- using text. double :: Double -> Doc -- | The document (float f) shows the literal float f -- using text. float :: Float -> Doc -- | The document (integer i) shows the literal integer i -- using text. integer :: Integer -> Doc -- | The document (int i) shows the literal integer i -- using text. int :: Int -> Doc -- | The document (bool b) shows the literal bool b using -- text. bool :: Bool -> Doc -- | The document (string s) concatenates all characters in -- s using line for newline characters and -- char for all other characters. It is used instead of -- text whenever the text contains newline characters. string :: String -> Doc -- | The document equals contains an equal sign, "=". equals :: Doc -- | The document backslash contains a back slash, "\". backslash :: Doc -- | The document dot contains a single dot, ".". dot :: Doc -- | The document space contains a single space, " ". -- -- 
--   x <+> y   = x <> space <> y
--
space :: Doc -- | The document comma contains a comma, ",". comma :: Doc -- | The document colon contains a colon, ":". colon :: Doc -- | The document semi contains a semicolon, ";". semi :: Doc -- | The document dquote contains a double quote, '"'. dquote :: Doc -- | The document squote contains a single quote, "'". squote :: Doc -- | The document rbracket contains a right square bracket, "]". rbracket :: Doc -- | The document lbracket contains a left square bracket, "[". lbracket :: Doc -- | The document rbrace contains a right brace, "}". rbrace :: Doc -- | The document lbrace contains a left brace, "{". lbrace :: Doc -- | The document rangle contains a right angle, ">". rangle :: Doc -- | The document langle contains a left angle, "<". langle :: Doc -- | The document rparen contains a right parenthesis, ")". rparen :: Doc -- | The document lparen contains a left parenthesis, "(". lparen :: Doc -- | The document (enclose l r x) encloses document x -- between documents l and r using (<>). -- -- 
--   enclose l r x   = l <> x <> r
--
enclose :: Doc -> Doc -> Doc -> Doc -- | Document (brackets x) encloses document x in square -- brackets, "[" and "]". brackets :: Doc -> Doc -- | Document (angles x) encloses document x in angles, -- "<" and ">". angles :: Doc -> Doc -- | Document (parens x) encloses document x in -- parenthesis, "(" and ")". parens :: Doc -> Doc -- | Document (braces x) encloses document x in braces, -- "{" and "}". braces :: Doc -> Doc -- | Document (dquotes x) encloses document x with double -- quotes '"'. dquotes :: Doc -> Doc -- | Document (squotes x) encloses document x with single -- quotes "'". squotes :: Doc -> Doc -- | The document softbreak behaves like empty if the -- resulting output fits the page, otherwise it behaves like line. -- -- 
--   softbreak  = group linebreak
--
softbreak :: Doc -- | The document softline behaves like space if the -- resulting output fits the page, otherwise it behaves like line. -- -- 
--   softline = group line
--
softline :: Doc -- | The document (x <$$> y) concatenates document -- x and y with a linebreak in between. -- (infixr 5) (<$$>) :: Doc -> Doc -> Doc infixr 5 <$$> -- | The document (x <//> y) concatenates document -- x and y with a softbreak in between. This -- effectively puts x and y either right next to each -- other or underneath each other. (infixr 5) () :: Doc -> Doc -> Doc infixr 5 -- | The document (x </> y) concatenates document x -- and y with a softline in between. This effectively -- puts x and y either next to each other (with a -- space in between) or underneath each other. (infixr 5) () :: Doc -> Doc -> Doc infixr 5 -- | The document (x <+> y) concatenates document x -- and y with a space in between. (infixr 6) (<+>) :: Doc -> Doc -> Doc infixr 6 <+> -- | The document (vcat xs) concatenates all documents xs -- vertically with (<$$>). If a group undoes the -- line breaks inserted by vcat, all documents are directly -- concatenated. vcat :: [Doc] -> Doc -- | The document (hcat xs) concatenates all documents xs -- horizontally with (<>). hcat :: [Doc] -> Doc -- | The document (fillCat xs) concatenates documents xs -- horizontally with (<>) as long as its fits the page, -- than inserts a linebreak and continues doing that for all -- documents in xs. -- -- 
--   fillCat xs  = foldr (<//>) empty xs
--
fillCat :: [Doc] -> Doc -- | The document (cat xs) concatenates all documents xs -- either horizontally with (<>), if it fits the page, or -- vertically with (<$$>). -- -- 
--   cat xs  = group (vcat xs)
--
cat :: [Doc] -> Doc -- | The document (vsep xs) concatenates all documents xs -- vertically with (<$>). If a group undoes the -- line breaks inserted by vsep, all documents are separated -- with a space. -- -- 
--   someText = map text (words ("text to lay out"))
--   
--   test     = text "some" <+> vsep someText
--
-- -- This is layed out as: -- -- 
--   some text
--   to
--   lay
--   out
--
-- -- The align combinator can be used to align the documents under -- their first element -- -- 
--   test     = text "some" <+> align (vsep someText)
--
-- -- Which is printed as: -- -- 
--   some text
--        to
--        lay
--        out
--
vsep :: [Doc] -> Doc -- | The document (hsep xs) concatenates all documents xs -- horizontally with (<+>). hsep :: [Doc] -> Doc -- | The document (fillSep xs) concatenates documents xs -- horizontally with (<+>) as long as its fits the page, -- than inserts a line and continues doing that for all -- documents in xs. -- -- 
--   fillSep xs  = foldr (</>) empty xs
--
fillSep :: [Doc] -> Doc -- | The document (sep xs) concatenates all documents xs -- either horizontally with (<+>), if it fits the page, or -- vertically with (<$>). -- -- 
--   sep xs  = group (vsep xs)
--
sep :: [Doc] -> Doc -- | (punctuate p xs) concatenates all documents in xs -- with document p except for the last document. -- -- 
--   someText = map text ["words","in","a","tuple"]
--   test     = parens (align (cat (punctuate comma someText)))
--
-- -- This is layed out on a page width of 20 as: -- -- 
--   (words,in,a,tuple)
--
-- -- But when the page width is 15, it is layed out as: -- -- 
--   (words,
--    in,
--    a,
--    tuple)
--
-- -- (If you want put the commas in front of their elements instead of at -- the end, you should use tupled or, in general, -- encloseSep.) punctuate :: Doc -> [Doc] -> [Doc] -- | The document (encloseSep l r sep xs) concatenates the -- documents xs separated by sep and encloses the -- resulting document by l and r. The documents are -- rendered horizontally if that fits the page. Otherwise they are -- aligned vertically. All separators are put in front of the elements. -- For example, the combinator list can be defined with -- encloseSep: -- -- 
--   list xs = encloseSep lbracket rbracket comma xs
--   test    = text "list" <+> (list (map int [10,200,3000]))
--
-- -- Which is layed out with a page width of 20 as: -- -- 
--   list [10,200,3000]
--
-- -- But when the page width is 15, it is layed out as: -- -- 
--   list [10
--        ,200
--        ,3000]
--
encloseSep :: Doc -> Doc -> Doc -> [Doc] -> Doc -- | The document (semiBraces xs) separates the documents -- xs with semicolons and encloses them in braces. The documents -- are rendered horizontally if that fits the page. Otherwise they are -- aligned vertically. All semicolons are put in front of the elements. semiBraces :: [Doc] -> Doc -- | The document (tupled xs) comma separates the documents -- xs and encloses them in parenthesis. The documents are -- rendered horizontally if that fits the page. Otherwise they are -- aligned vertically. All comma separators are put in front of the -- elements. tupled :: [Doc] -> Doc -- | The document (list xs) comma separates the documents -- xs and encloses them in square brackets. The documents are -- rendered horizontally if that fits the page. Otherwise they are -- aligned vertically. All comma separators are put in front of the -- elements. list :: [Doc] -> Doc -- | The member prettyList is only used to define the instance -- Pretty a => Pretty [a]. In normal circumstances only the -- pretty function is used. class Pretty a pretty :: Pretty a => a -> Doc prettyList :: Pretty a => [a] -> Doc -- | The abstract data type Doc represents pretty documents. -- -- More specifically, a value of type Doc represents a non-empty -- set of possible renderings of a document. The rendering functions -- select one of these possibilities. -- -- Doc is an instance of the Show class. (show -- doc) pretty prints document doc with a page width of 80 -- characters and a ribbon width of 32 characters. -- -- 
--   show (text "hello" <$> text "world")
--
-- -- Which would return the string "hello\nworld", i.e. -- -- 
--   hello
--   world
--
data Doc -- | The data type SimpleDoc represents rendered documents and is -- used by the display functions. -- -- Whereas values of the data type Doc represent non-empty sets of -- possible renderings of a document, values of the data type -- SimpleDoc represent single renderings of a document. -- -- The Int in SText contains the length of the string. -- The Int in SLine contains the indentation for that -- line. The library provides two default display functions -- displayS and displayIO. You can provide your own display -- function by writing a function from a SimpleDoc to your own -- output format. data SimpleDoc SFail :: SimpleDoc SEmpty :: SimpleDoc SChar :: Char -> SimpleDoc -> SimpleDoc SText :: !Int -> String -> SimpleDoc -> SimpleDoc SLine :: !Int -> SimpleDoc -> SimpleDoc SSGR :: [SGR] -> SimpleDoc -> SimpleDoc (.$.) :: Doc -> Doc -> Doc -- | Render flattened text on this line, or start a new line before -- rendering any text. -- -- This will also nest subsequent lines in the group. groupOrNestLine :: Doc -> Doc -- | Separate items in an alternative with a pipe. -- -- If the first document and the pipe don't fit on the line, then -- mandatorily flow the next entry onto the following line. -- -- The (//) softbreak ensures that if the document does fit on the -- line, there is at least a space, but it's possible for y to still -- appear on the next line. altSep :: Doc -> Doc -> Doc module Options.Applicative.Help.Chunk -- | The free monoid on a semigroup a. newtype Chunk a Chunk :: Maybe a -> Chunk a [unChunk] :: Chunk a -> Maybe a -- | Given a semigroup structure on a, return a monoid structure -- on 'Chunk a'. -- -- Note that this is not the same as liftA2. chunked :: (a -> a -> a) -> Chunk a -> Chunk a -> Chunk a -- | Concatenate a list into a Chunk. listToChunk satisfies: -- -- 
--   isEmpty . listToChunk = null
--   listToChunk = mconcat . fmap pure
--
listToChunk :: Semigroup a => [a] -> Chunk a -- | Concatenate two Chunks with a space in between. If one is -- empty, this just returns the other one. -- -- Unlike <+> for Doc, this operation has a unit -- element, namely the empty Chunk. (<<+>>) :: Chunk Doc -> Chunk Doc -> Chunk Doc -- | Concatenate two Chunks with a softline in between. This is -- exactly like <<+>>, but uses a softline instead of -- a space. (<>) :: Chunk Doc -> Chunk Doc -> Chunk Doc -- | Concatenate Chunks vertically. vcatChunks :: [Chunk Doc] -> Chunk Doc -- | Concatenate Chunks vertically separated by empty lines. vsepChunks :: [Chunk Doc] -> Chunk Doc -- | Whether a Chunk is empty. Note that something like 'pure -- mempty' is not considered an empty chunk, even though the underlying -- Doc is empty. isEmpty :: Chunk a -> Bool -- | Convert a String into a Chunk. This satisfies: -- -- 
--   isEmpty . stringChunk = null
--   extractChunk . stringChunk = string
--
stringChunk :: String -> Chunk Doc -- | Convert a paragraph into a Chunk. The resulting chunk is -- composed by the words of the original paragraph separated by -- softlines, so it will be automatically word-wrapped when rendering the -- underlying document. -- -- This satisfies: -- -- 
--   isEmpty . paragraph = null . words
--
paragraph :: String -> Chunk Doc -- | Part of a constrained comonad instance. -- -- This is the counit of the adjunction between Chunk and the -- forgetful functor from monoids to semigroups. It satisfies: -- -- 
--   extractChunk . pure = id
--   extractChunk . fmap pure = id
--
extractChunk :: Monoid a => Chunk a -> a -- | Display pairs of strings in a table. tabulate :: [(Doc, Doc)] -> Chunk Doc instance GHC.Show.Show a => GHC.Show.Show (Options.Applicative.Help.Chunk.Chunk a) instance GHC.Classes.Eq a => GHC.Classes.Eq (Options.Applicative.Help.Chunk.Chunk a) instance GHC.Base.Functor Options.Applicative.Help.Chunk.Chunk instance GHC.Base.Applicative Options.Applicative.Help.Chunk.Chunk instance GHC.Base.Alternative Options.Applicative.Help.Chunk.Chunk instance GHC.Base.Monad Options.Applicative.Help.Chunk.Chunk instance GHC.Base.Semigroup a => GHC.Base.Semigroup (Options.Applicative.Help.Chunk.Chunk a) instance GHC.Base.Semigroup a => GHC.Base.Monoid (Options.Applicative.Help.Chunk.Chunk a) instance GHC.Base.MonadPlus Options.Applicative.Help.Chunk.Chunk module Options.Applicative.Help.Types data ParserHelp ParserHelp :: Chunk Doc -> Chunk Doc -> Chunk Doc -> Chunk Doc -> Chunk Doc -> Chunk Doc -> Chunk Doc -> ParserHelp [helpError] :: ParserHelp -> Chunk Doc [helpSuggestions] :: ParserHelp -> Chunk Doc [helpHeader] :: ParserHelp -> Chunk Doc [helpUsage] :: ParserHelp -> Chunk Doc [helpBody] :: ParserHelp -> Chunk Doc [helpGlobals] :: ParserHelp -> Chunk Doc [helpFooter] :: ParserHelp -> Chunk Doc -- | Convert a help text to String. renderHelp :: Int -> ParserHelp -> String instance GHC.Show.Show Options.Applicative.Help.Types.ParserHelp instance GHC.Base.Monoid Options.Applicative.Help.Types.ParserHelp instance GHC.Base.Semigroup Options.Applicative.Help.Types.ParserHelp module Options.Applicative.Types data ParseError ErrorMsg :: String -> ParseError InfoMsg :: String -> ParseError ShowHelpText :: Maybe String -> ParseError UnknownError :: ParseError MissingError :: IsCmdStart -> SomeParser -> ParseError ExpectsArgError :: String -> ParseError UnexpectedError :: String -> SomeParser -> ParseError -- | A full description for a runnable Parser for a program. data ParserInfo a ParserInfo :: Parser a -> Bool -> Chunk Doc -> Chunk Doc -> Chunk Doc -> Int -> ArgPolicy -> ParserInfo a -- | the option parser for the program [infoParser] :: ParserInfo a -> Parser a -- | whether the help text should contain full documentation [infoFullDesc] :: ParserInfo a -> Bool -- | brief parser description [infoProgDesc] :: ParserInfo a -> Chunk Doc -- | header of the full parser description [infoHeader] :: ParserInfo a -> Chunk Doc -- | footer of the full parser description [infoFooter] :: ParserInfo a -> Chunk Doc -- | exit code for a parser failure [infoFailureCode] :: ParserInfo a -> Int -- | allow regular options and flags to occur after arguments (default: -- InterspersePolicy) [infoPolicy] :: ParserInfo a -> ArgPolicy -- | Global preferences for a top-level Parser. data ParserPrefs ParserPrefs :: String -> Bool -> Bool -> Bool -> Backtracking -> Int -> Bool -> Bool -> ParserPrefs -- | metavar suffix for multiple options [prefMultiSuffix] :: ParserPrefs -> String -- | automatically disambiguate abbreviations (default: False) [prefDisambiguate] :: ParserPrefs -> Bool -- | always show help text on parse errors (default: False) [prefShowHelpOnError] :: ParserPrefs -> Bool -- | show the help text for a command or subcommand if it fails with no -- input (default: False) [prefShowHelpOnEmpty] :: ParserPrefs -> Bool -- | backtrack to parent parser when a subcommand fails (default: -- Backtrack) [prefBacktrack] :: ParserPrefs -> Backtracking -- | number of columns in the terminal, used to format the help page -- (default: 80) [prefColumns] :: ParserPrefs -> Int -- | when displaying long names in usage and help, use an '=' sign for long -- names, rather than a single space (default: False) [prefHelpLongEquals] :: ParserPrefs -> Bool -- | when displaying subparsers' usage help, show parent options under a -- "global options" section (default: True) [prefHelpShowGlobal] :: ParserPrefs -> Bool -- | A single option of a parser. data Option a Option :: OptReader a -> OptProperties -> Option a -- | reader for this option [optMain] :: Option a -> OptReader a -- | properties of this option [optProps] :: Option a -> OptProperties data OptName OptShort :: !Char -> OptName OptLong :: !String -> OptName isShortName :: OptName -> Bool isLongName :: OptName -> Bool -- | An OptReader defines whether an option matches an command line -- argument. data OptReader a -- | option reader OptReader :: [OptName] -> CReader a -> (String -> ParseError) -> OptReader a -- | flag reader FlagReader :: [OptName] -> !a -> OptReader a -- | argument reader ArgReader :: CReader a -> OptReader a -- | command reader CmdReader :: Maybe String -> [String] -> (String -> Maybe (ParserInfo a)) -> OptReader a -- | Specification for an individual parser option. data OptProperties OptProperties :: OptVisibility -> Chunk Doc -> String -> Maybe String -> Bool -> Maybe (Doc -> Doc) -> OptProperties -- | whether this flag is shown in the brief description [propVisibility] :: OptProperties -> OptVisibility -- | help text for this option [propHelp] :: OptProperties -> Chunk Doc -- | metavariable for this option [propMetaVar] :: OptProperties -> String -- | what to show in the help text as the default [propShowDefault] :: OptProperties -> Maybe String -- | whether the option is presented in global options text [propShowGlobal] :: OptProperties -> Bool -- | a function to run over the brief description [propDescMod] :: OptProperties -> Maybe (Doc -> Doc) -- | Visibility of an option in the help text. data OptVisibility -- | does not appear in the help text at all Internal :: OptVisibility -- | only visible in the full description Hidden :: OptVisibility -- | visible both in the full and brief descriptions Visible :: OptVisibility data Backtracking Backtrack :: Backtracking NoBacktrack :: Backtracking SubparserInline :: Backtracking -- | A newtype over 'ReaderT String Except', used by option readers. newtype ReadM a ReadM :: ReaderT String (Except ParseError) a -> ReadM a [unReadM] :: ReadM a -> ReaderT String (Except ParseError) a -- | Return the value being read. readerAsk :: ReadM String -- | Abort option reader by exiting with a ParseError. readerAbort :: ParseError -> ReadM a -- | Abort option reader by exiting with an error message. readerError :: String -> ReadM a data CReader a CReader :: Completer -> ReadM a -> CReader a [crCompleter] :: CReader a -> Completer [crReader] :: CReader a -> ReadM a -- | A Parser a is an option parser returning a value of type -- a. data Parser a NilP :: Maybe a -> Parser a OptP :: Option a -> Parser a MultP :: Parser (x -> a) -> Parser x -> Parser a AltP :: Parser a -> Parser a -> Parser a BindP :: Parser x -> (x -> Parser a) -> Parser a newtype ParserM r ParserM :: (forall x. (r -> Parser x) -> Parser x) -> ParserM r [runParserM] :: ParserM r -> forall x. (r -> Parser x) -> Parser x -- | A shell complete function. newtype Completer Completer :: (String -> IO [String]) -> Completer [runCompleter] :: Completer -> String -> IO [String] -- | Smart constructor for a Completer mkCompleter :: (String -> IO [String]) -> Completer newtype CompletionResult CompletionResult :: (String -> IO String) -> CompletionResult [execCompletion] :: CompletionResult -> String -> IO String newtype ParserFailure h ParserFailure :: (String -> (h, ExitCode, Int)) -> ParserFailure h [execFailure] :: ParserFailure h -> String -> (h, ExitCode, Int) -- | Result of execParserPure. data ParserResult a Success :: a -> ParserResult a Failure :: ParserFailure ParserHelp -> ParserResult a CompletionInvoked :: CompletionResult -> ParserResult a overFailure :: (ParserHelp -> ParserHelp) -> ParserResult a -> ParserResult a type Args = [String] -- | Policy for how to handle options within the parse data ArgPolicy -- | The default policy, options and arguments can be interspersed. A `--` -- option can be passed to ensure all following commands are treated as -- arguments. Intersperse :: ArgPolicy -- | Options must all come before arguments, once a single positional -- argument or subcommand is parsed, all remaining arguments are treated -- as positionals. A `--` option can be passed if the first positional -- one needs starts with -. NoIntersperse :: ArgPolicy -- | No options are parsed at all, all arguments are treated as -- positionals. Is the policy used after `--` is encountered. AllPositionals :: ArgPolicy -- | Options and arguments can be interspersed, but if a given option is -- not found, it is treated as a positional argument. This is sometimes -- useful if one is passing through most options to another tool, but are -- supplying just a few of their own options. ForwardOptions :: ArgPolicy newtype ArgumentReachability ArgumentReachability :: Bool -> ArgumentReachability -- | If the result is a positional, if it can't be accessed in the current -- parser position ( first arg ) [argumentIsUnreachable] :: ArgumentReachability -> Bool -- | This type encapsulates whether an AltNode of an OptTree -- should be displayed with brackets around it. data AltNodeType MarkDefault :: AltNodeType NoDefault :: AltNodeType data OptTree a Leaf :: a -> OptTree a MultNode :: [OptTree a] -> OptTree a AltNode :: AltNodeType -> [OptTree a] -> OptTree a BindNode :: OptTree a -> OptTree a data ParserHelp ParserHelp :: Chunk Doc -> Chunk Doc -> Chunk Doc -> Chunk Doc -> Chunk Doc -> Chunk Doc -> Chunk Doc -> ParserHelp [helpError] :: ParserHelp -> Chunk Doc [helpSuggestions] :: ParserHelp -> Chunk Doc [helpHeader] :: ParserHelp -> Chunk Doc [helpUsage] :: ParserHelp -> Chunk Doc [helpBody] :: ParserHelp -> Chunk Doc [helpGlobals] :: ParserHelp -> Chunk Doc [helpFooter] :: ParserHelp -> Chunk Doc data SomeParser SomeParser :: Parser a -> SomeParser -- | Subparser context, containing the name of the subparser and -- its parser info. Used by parserFailure to display relevant usage -- information when parsing inside a subparser fails. data Context Context :: String -> ParserInfo a -> Context data IsCmdStart CmdStart :: IsCmdStart CmdCont :: IsCmdStart fromM :: ParserM a -> Parser a oneM :: Parser a -> ParserM a manyM :: Parser a -> ParserM [a] someM :: Parser a -> ParserM [a] filterOptional :: OptTree a -> OptTree a optVisibility :: Option a -> OptVisibility optMetaVar :: Option a -> String optHelp :: Option a -> Chunk Doc optShowDefault :: Option a -> Maybe String optDescMod :: Option a -> Maybe (Doc -> Doc) instance GHC.Show.Show a => GHC.Show.Show (Options.Applicative.Types.OptTree a) instance GHC.Classes.Eq Options.Applicative.Types.AltNodeType instance GHC.Show.Show Options.Applicative.Types.AltNodeType instance GHC.Show.Show Options.Applicative.Types.ArgumentReachability instance GHC.Classes.Eq Options.Applicative.Types.ArgumentReachability instance GHC.Show.Show Options.Applicative.Types.ArgPolicy instance GHC.Classes.Ord Options.Applicative.Types.ArgPolicy instance GHC.Classes.Eq Options.Applicative.Types.ArgPolicy instance GHC.Show.Show a => GHC.Show.Show (Options.Applicative.Types.ParserResult a) instance GHC.Show.Show Options.Applicative.Types.OptVisibility instance GHC.Classes.Ord Options.Applicative.Types.OptVisibility instance GHC.Classes.Eq Options.Applicative.Types.OptVisibility instance GHC.Show.Show Options.Applicative.Types.OptName instance GHC.Classes.Ord Options.Applicative.Types.OptName instance GHC.Classes.Eq Options.Applicative.Types.OptName instance GHC.Show.Show Options.Applicative.Types.ParserPrefs instance GHC.Classes.Eq Options.Applicative.Types.ParserPrefs instance GHC.Show.Show Options.Applicative.Types.Backtracking instance GHC.Classes.Eq Options.Applicative.Types.Backtracking instance GHC.Show.Show Options.Applicative.Types.IsCmdStart instance GHC.Base.Monad Options.Applicative.Types.ParserM instance GHC.Base.Functor Options.Applicative.Types.ParserM instance GHC.Base.Applicative Options.Applicative.Types.ParserM instance GHC.Base.Monoid Options.Applicative.Types.ParseError instance GHC.Base.Semigroup Options.Applicative.Types.ParseError instance GHC.Base.Functor Options.Applicative.Types.ParserInfo instance GHC.Show.Show (Options.Applicative.Types.Option a) instance GHC.Base.Functor Options.Applicative.Types.Option instance GHC.Base.Functor Options.Applicative.Types.ReadM instance GHC.Base.Applicative Options.Applicative.Types.ReadM instance GHC.Base.Alternative Options.Applicative.Types.ReadM instance GHC.Base.Monad Options.Applicative.Types.ReadM instance Control.Monad.Fail.MonadFail Options.Applicative.Types.ReadM instance GHC.Base.MonadPlus Options.Applicative.Types.ReadM instance GHC.Base.Functor Options.Applicative.Types.CReader instance GHC.Base.Functor Options.Applicative.Types.OptReader instance GHC.Base.Functor Options.Applicative.Types.Parser instance GHC.Base.Applicative Options.Applicative.Types.Parser instance GHC.Base.Alternative Options.Applicative.Types.Parser instance GHC.Base.Functor Options.Applicative.Types.ParserResult instance GHC.Base.Applicative Options.Applicative.Types.ParserResult instance GHC.Base.Monad Options.Applicative.Types.ParserResult instance GHC.Show.Show h => GHC.Show.Show (Options.Applicative.Types.ParserFailure h) instance GHC.Base.Functor Options.Applicative.Types.ParserFailure instance GHC.Show.Show Options.Applicative.Types.CompletionResult instance GHC.Base.Semigroup Options.Applicative.Types.Completer instance GHC.Base.Monoid Options.Applicative.Types.Completer instance GHC.Show.Show Options.Applicative.Types.OptProperties module Options.Applicative.NonEmpty -- | Sequences an action one or more times. -- -- Functionally identical to some1, but is preferred as it gives a -- nicer help text. some1 :: Parser a -> Parser (NonEmpty a) module Options.Applicative.Internal data P a class (Alternative m, MonadPlus m) => MonadP m enterContext :: MonadP m => String -> ParserInfo a -> m () exitContext :: MonadP m => m () getPrefs :: MonadP m => m ParserPrefs missingArgP :: MonadP m => ParseError -> Completer -> m a errorP :: MonadP m => ParseError -> m a exitP :: MonadP m => IsCmdStart -> ArgPolicy -> Parser b -> Maybe a -> m a data ParseError ErrorMsg :: String -> ParseError InfoMsg :: String -> ParseError ShowHelpText :: Maybe String -> ParseError UnknownError :: ParseError MissingError :: IsCmdStart -> SomeParser -> ParseError ExpectsArgError :: String -> ParseError UnexpectedError :: String -> SomeParser -> ParseError uncons :: [a] -> Maybe (a, [a]) hoistMaybe :: MonadPlus m => Maybe a -> m a hoistEither :: MonadP m => Either ParseError a -> m a runReadM :: MonadP m => ReadM a -> String -> m a withReadM :: (String -> String) -> ReadM a -> ReadM a runP :: P a -> ParserPrefs -> (Either ParseError a, [Context]) data Completion a runCompletion :: Completion r -> ParserPrefs -> Maybe (Either (SomeParser, ArgPolicy) Completer) contextNames :: [Context] -> [String] data ListT m a takeListT :: Monad m => Int -> ListT m a -> ListT m a runListT :: Monad m => ListT m a -> m [a] data NondetT m a cut :: Monad m => NondetT m () () :: Monad m => NondetT m a -> NondetT m a -> NondetT m a disamb :: Monad m => Bool -> NondetT m a -> m (Maybe a) instance GHC.Base.Monad m => GHC.Base.Functor (Options.Applicative.Internal.NondetT m) instance GHC.Base.Monad m => GHC.Base.Applicative (Options.Applicative.Internal.NondetT m) instance GHC.Base.Monad m => GHC.Base.Monad (Options.Applicative.Internal.NondetT m) instance GHC.Base.Monad m => GHC.Base.MonadPlus (Options.Applicative.Internal.NondetT m) instance GHC.Base.Monad m => GHC.Base.Alternative (Options.Applicative.Internal.NondetT m) instance Control.Monad.Trans.Class.MonadTrans Options.Applicative.Internal.NondetT instance GHC.Base.Monad m => GHC.Base.Functor (Options.Applicative.Internal.ListT m) instance GHC.Base.Monad m => GHC.Base.Applicative (Options.Applicative.Internal.ListT m) instance GHC.Base.Monad m => GHC.Base.Monad (Options.Applicative.Internal.ListT m) instance GHC.Base.Monad m => GHC.Base.Alternative (Options.Applicative.Internal.ListT m) instance Control.Monad.Trans.Class.MonadTrans Options.Applicative.Internal.ListT instance GHC.Base.Monad m => GHC.Base.MonadPlus (Options.Applicative.Internal.ListT m) instance GHC.Base.Functor Options.Applicative.Internal.Completion instance GHC.Base.Applicative Options.Applicative.Internal.Completion instance GHC.Base.Alternative Options.Applicative.Internal.Completion instance GHC.Base.Monad Options.Applicative.Internal.Completion instance GHC.Base.MonadPlus Options.Applicative.Internal.Completion instance Options.Applicative.Internal.MonadP Options.Applicative.Internal.Completion instance GHC.Base.Functor Options.Applicative.Internal.ComplResult instance GHC.Base.Applicative Options.Applicative.Internal.ComplResult instance GHC.Base.Monad Options.Applicative.Internal.ComplResult instance GHC.Base.Functor Options.Applicative.Internal.P instance GHC.Base.Applicative Options.Applicative.Internal.P instance GHC.Base.Alternative Options.Applicative.Internal.P instance GHC.Base.Monad Options.Applicative.Internal.P instance GHC.Base.MonadPlus Options.Applicative.Internal.P instance Options.Applicative.Internal.MonadP Options.Applicative.Internal.P module Options.Applicative.Common -- | A Parser a is an option parser returning a value of type -- a. data Parser a -- | Create a parser composed of a single option. liftOpt :: Option a -> Parser a showOption :: OptName -> String -- | A full description for a runnable Parser for a program. data ParserInfo a ParserInfo :: Parser a -> Bool -> Chunk Doc -> Chunk Doc -> Chunk Doc -> Int -> ArgPolicy -> ParserInfo a -- | the option parser for the program [infoParser] :: ParserInfo a -> Parser a -- | whether the help text should contain full documentation [infoFullDesc] :: ParserInfo a -> Bool -- | brief parser description [infoProgDesc] :: ParserInfo a -> Chunk Doc -- | header of the full parser description [infoHeader] :: ParserInfo a -> Chunk Doc -- | footer of the full parser description [infoFooter] :: ParserInfo a -> Chunk Doc -- | exit code for a parser failure [infoFailureCode] :: ParserInfo a -> Int -- | allow regular options and flags to occur after arguments (default: -- InterspersePolicy) [infoPolicy] :: ParserInfo a -> ArgPolicy -- | Global preferences for a top-level Parser. data ParserPrefs ParserPrefs :: String -> Bool -> Bool -> Bool -> Backtracking -> Int -> Bool -> Bool -> ParserPrefs -- | metavar suffix for multiple options [prefMultiSuffix] :: ParserPrefs -> String -- | automatically disambiguate abbreviations (default: False) [prefDisambiguate] :: ParserPrefs -> Bool -- | always show help text on parse errors (default: False) [prefShowHelpOnError] :: ParserPrefs -> Bool -- | show the help text for a command or subcommand if it fails with no -- input (default: False) [prefShowHelpOnEmpty] :: ParserPrefs -> Bool -- | backtrack to parent parser when a subcommand fails (default: -- Backtrack) [prefBacktrack] :: ParserPrefs -> Backtracking -- | number of columns in the terminal, used to format the help page -- (default: 80) [prefColumns] :: ParserPrefs -> Int -- | when displaying long names in usage and help, use an '=' sign for long -- names, rather than a single space (default: False) [prefHelpLongEquals] :: ParserPrefs -> Bool -- | when displaying subparsers' usage help, show parent options under a -- "global options" section (default: True) [prefHelpShowGlobal] :: ParserPrefs -> Bool runParserInfo :: MonadP m => ParserInfo a -> Args -> m a runParserFully :: MonadP m => ArgPolicy -> Parser a -> Args -> m a runParserStep :: MonadP m => ArgPolicy -> Parser a -> String -> Args -> m (Maybe (Parser a), Args) -- | Apply a Parser to a command line, and return a result and -- leftover arguments. This function returns an error if any parsing -- error occurs, or if any options are missing and don't have a default -- value. runParser :: MonadP m => ArgPolicy -> IsCmdStart -> Parser a -> Args -> m (a, Args) -- | The default value of a Parser. This function returns an error -- if any of the options don't have a default value. evalParser :: Parser a -> Maybe a -- | Map a polymorphic function over all the options of a parser, and -- collect the results in a list. mapParser :: (forall x. ArgumentReachability -> Option x -> b) -> Parser a -> [b] -- | Like mapParser, but collect the results in a tree structure. treeMapParser :: (forall x. ArgumentReachability -> Option x -> b) -> Parser a -> OptTree b optionNames :: OptReader a -> [OptName] module Options.Applicative.Help.Core -- | Generate descriptions for commands. cmdDesc :: Parser a -> [(Maybe String, Chunk Doc)] -- | Generate a brief help text for a parser. briefDesc :: ParserPrefs -> Parser a -> Chunk Doc -- | Generate a brief help text for a parser, only including mandatory -- options and arguments. missingDesc :: ParserPrefs -> Parser a -> Chunk Doc -- | Generate a full help text for a parser fullDesc :: ParserPrefs -> Parser a -> Chunk Doc -- | Generate a help text for the parser, showing only what is relevant in -- the "Global options: section" globalDesc :: ParserPrefs -> Parser a -> Chunk Doc data ParserHelp ParserHelp :: Chunk Doc -> Chunk Doc -> Chunk Doc -> Chunk Doc -> Chunk Doc -> Chunk Doc -> Chunk Doc -> ParserHelp [helpError] :: ParserHelp -> Chunk Doc [helpSuggestions] :: ParserHelp -> Chunk Doc [helpHeader] :: ParserHelp -> Chunk Doc [helpUsage] :: ParserHelp -> Chunk Doc [helpBody] :: ParserHelp -> Chunk Doc [helpGlobals] :: ParserHelp -> Chunk Doc [helpFooter] :: ParserHelp -> Chunk Doc errorHelp :: Chunk Doc -> ParserHelp headerHelp :: Chunk Doc -> ParserHelp suggestionsHelp :: Chunk Doc -> ParserHelp usageHelp :: Chunk Doc -> ParserHelp bodyHelp :: Chunk Doc -> ParserHelp footerHelp :: Chunk Doc -> ParserHelp globalsHelp :: Chunk Doc -> ParserHelp -- | Generate the help text for a program. parserHelp :: ParserPrefs -> Parser a -> ParserHelp -- | Generate option summary. parserUsage :: ParserPrefs -> Parser a -> String -> Doc parserGlobals :: ParserPrefs -> Parser a -> ParserHelp instance GHC.Show.Show Options.Applicative.Help.Core.Parenthetic instance GHC.Classes.Ord Options.Applicative.Help.Core.Parenthetic instance GHC.Classes.Eq Options.Applicative.Help.Core.Parenthetic module Options.Applicative.Help module Options.Applicative.Builder.Internal -- | An option modifier. -- -- Option modifiers are values that represent a modification of the -- properties of an option. -- -- The type parameter a is the return type of the option, while -- f is a record containing its properties (e.g. -- OptionFields for regular options, FlagFields for flags, -- etc...). -- -- An option modifier consists of 3 elements: -- -- -- -- Modifiers are instances of Monoid, and can be composed as such. -- -- One rarely needs to deal with modifiers directly, as most of the times -- it is sufficient to pass them to builders (such as strOption -- or flag) to create options (see Builder). data Mod f a Mod :: (f a -> f a) -> DefaultProp a -> (OptProperties -> OptProperties) -> Mod f a class HasName f name :: HasName f => OptName -> f a -> f a class HasCompleter f modCompleter :: HasCompleter f => (Completer -> Completer) -> f a -> f a class HasValue f hasValueDummy :: HasValue f => f a -> () class HasMetavar f hasMetavarDummy :: HasMetavar f => f a -> () data OptionFields a OptionFields :: [OptName] -> Completer -> (String -> ParseError) -> OptionFields a [optNames] :: OptionFields a -> [OptName] [optCompleter] :: OptionFields a -> Completer [optNoArgError] :: OptionFields a -> String -> ParseError data FlagFields a FlagFields :: [OptName] -> a -> FlagFields a [flagNames] :: FlagFields a -> [OptName] [flagActive] :: FlagFields a -> a data CommandFields a CommandFields :: [(String, ParserInfo a)] -> Maybe String -> CommandFields a [cmdCommands] :: CommandFields a -> [(String, ParserInfo a)] [cmdGroup] :: CommandFields a -> Maybe String data ArgumentFields a ArgumentFields :: Completer -> ArgumentFields a [argCompleter] :: ArgumentFields a -> Completer data DefaultProp a DefaultProp :: Maybe a -> Maybe (a -> String) -> DefaultProp a optionMod :: (OptProperties -> OptProperties) -> Mod f a fieldMod :: (f a -> f a) -> Mod f a -- | Base default properties. baseProps :: OptProperties mkCommand :: Mod CommandFields a -> (Maybe String, [String], String -> Maybe (ParserInfo a)) mkParser :: DefaultProp a -> (OptProperties -> OptProperties) -> OptReader a -> Parser a mkOption :: DefaultProp a -> (OptProperties -> OptProperties) -> OptReader a -> Option a mkProps :: DefaultProp a -> (OptProperties -> OptProperties) -> OptProperties -- | Hide this option completely from the help text -- -- Use hidden if the option should remain visible in the full -- description. internal :: Mod f a -- | Suppress this option from appearing in global options noGlobal :: Mod f a instance GHC.Base.Monoid (Options.Applicative.Builder.Internal.Mod f a) instance GHC.Base.Semigroup (Options.Applicative.Builder.Internal.Mod f a) instance GHC.Base.Monoid (Options.Applicative.Builder.Internal.DefaultProp a) instance GHC.Base.Semigroup (Options.Applicative.Builder.Internal.DefaultProp a) instance Options.Applicative.Builder.Internal.HasMetavar Options.Applicative.Builder.Internal.OptionFields instance Options.Applicative.Builder.Internal.HasMetavar Options.Applicative.Builder.Internal.ArgumentFields instance Options.Applicative.Builder.Internal.HasMetavar Options.Applicative.Builder.Internal.CommandFields instance Options.Applicative.Builder.Internal.HasValue Options.Applicative.Builder.Internal.OptionFields instance Options.Applicative.Builder.Internal.HasValue Options.Applicative.Builder.Internal.ArgumentFields instance Options.Applicative.Builder.Internal.HasCompleter Options.Applicative.Builder.Internal.OptionFields instance Options.Applicative.Builder.Internal.HasCompleter Options.Applicative.Builder.Internal.ArgumentFields instance Options.Applicative.Builder.Internal.HasName Options.Applicative.Builder.Internal.OptionFields instance Options.Applicative.Builder.Internal.HasName Options.Applicative.Builder.Internal.FlagFields module Options.Applicative.Builder.Completer -- | A shell complete function. data Completer -- | Smart constructor for a Completer mkCompleter :: (String -> IO [String]) -> Completer -- | Create a Completer from an IO action listIOCompleter :: IO [String] -> Completer -- | Create a Completer from a constant list of strings. listCompleter :: [String] -> Completer -- | Run a compgen completion action. -- -- Common actions include file and directory. See -- http://www.gnu.org/software/bash/manual/html_node/Programmable-Completion-Builtins.html#Programmable-Completion-Builtins -- for a complete list. bashCompleter :: String -> Completer module Options.Applicative.Builder -- | Builder for a command parser. The command modifier can be used -- to specify individual commands. subparser :: Mod CommandFields a -> Parser a -- | Builder for a String argument. strArgument :: IsString s => Mod ArgumentFields s -> Parser s -- | Builder for an argument parser. argument :: ReadM a -> Mod ArgumentFields a -> Parser a -- | Builder for a flag parser. -- -- A flag that switches from a "default value" to an "active value" when -- encountered. For a simple boolean value, use switch instead. -- -- Note: Because this parser will never fail, it can not be used -- with combinators such as some or many, as these -- combinators continue until a failure occurs. See flag'. flag :: a -> a -> Mod FlagFields a -> Parser a -- | Builder for a flag parser without a default value. -- -- Same as flag, but with no default value. In particular, this -- flag will never parse successfully by itself. -- -- It still makes sense to use it as part of a composite parser. For -- example -- -- 
--   length <$> many (flag' () (short 't'))
--
-- -- is a parser that counts the number of "-t" arguments on the command -- line, alternatively -- -- 
--   flag' True (long "on") <|> flag' False (long "off")
--
-- -- will require the user to enter '--on' or '--off' on the command line. flag' :: a -> Mod FlagFields a -> Parser a -- | Builder for a boolean flag. -- -- Note: Because this parser will never fail, it can not be used -- with combinators such as some or many, as these -- combinators continue until a failure occurs. See flag'. -- -- 
--   switch = flag False True
--
switch :: Mod FlagFields Bool -> Parser Bool -- | An option that always fails. -- -- When this option is encountered, the option parser immediately aborts -- with the given parse error. If you simply want to output a message, -- use infoOption instead. abortOption :: ParseError -> Mod OptionFields (a -> a) -> Parser (a -> a) -- | An option that always fails and displays a message. infoOption :: String -> Mod OptionFields (a -> a) -> Parser (a -> a) -- | Builder for an option taking a String argument. strOption :: IsString s => Mod OptionFields s -> Parser s -- | Builder for an option using the given reader. -- -- This is a regular option, and should always have either a -- long or short name specified in the modifiers (or -- both). -- -- 
--   nameParser = option str ( long "name" <> short 'n' )
--
option :: ReadM a -> Mod OptionFields a -> Parser a -- | Specify a short name for an option. short :: HasName f => Char -> Mod f a -- | Specify a long name for an option. long :: HasName f => String -> Mod f a -- | Specify the help text for an option. help :: String -> Mod f a -- | Specify the help text for an option as a Doc value. helpDoc :: Maybe Doc -> Mod f a -- | Specify a default value for an option. -- -- Note: Because this modifier means the parser will never fail, -- do not use it with combinators such as some or many, as -- these combinators continue until a failure occurs. Careless use will -- thus result in a hang. -- -- To display the default value, combine with showDefault or -- showDefaultWith. value :: HasValue f => a -> Mod f a -- | Specify a function to show the default value for an option. showDefaultWith :: (a -> String) -> Mod f a -- | Show the default value for this option using its Show instance. showDefault :: Show a => Mod f a -- | Specify a metavariable for the argument. -- -- Metavariables have no effect on the actual parser, and only serve to -- specify the symbolic name for an argument to be displayed in the help -- text. metavar :: HasMetavar f => String -> Mod f a -- | Specify the error to display when no argument is provided to this -- option. noArgError :: ParseError -> Mod OptionFields a data ParseError ErrorMsg :: String -> ParseError InfoMsg :: String -> ParseError ShowHelpText :: Maybe String -> ParseError UnknownError :: ParseError MissingError :: IsCmdStart -> SomeParser -> ParseError ExpectsArgError :: String -> ParseError UnexpectedError :: String -> SomeParser -> ParseError -- | Hide this option from the brief description. -- -- Use internal to hide the option from the help text too. hidden :: Mod f a -- | Hide this option completely from the help text -- -- Use hidden if the option should remain visible in the full -- description. internal :: Mod f a -- | Apply a function to the option description in the usage text. -- -- 
--   import Options.Applicative.Help
--   flag' () (short 't' <> style bold)
--
-- -- NOTE: This builder is more flexible than its name and example -- allude. One of the motivating examples for its addition was to used -- const to completely replace the usage text of an option. style :: (Doc -> Doc) -> Mod f a -- | Add a command to a subparser option. -- -- Suggested usage for multiple commands is to add them to a single -- subparser. e.g. -- -- 
--   sample :: Parser Sample
--   sample = subparser
--          ( command "hello"
--            (info hello (progDesc "Print greeting"))
--         <> command "goodbye"
--            (info goodbye (progDesc "Say goodbye"))
--          )
--
command :: String -> ParserInfo a -> Mod CommandFields a -- | Add a description to a group of commands. -- -- Advanced feature for separating logical groups of commands on the -- parse line. -- -- If using the same metavar for each group of commands, it may -- yield a more attractive usage text combined with hidden for -- some groups. commandGroup :: String -> Mod CommandFields a -- | Add a list of possible completion values. completeWith :: HasCompleter f => [String] -> Mod f a -- | Add a bash completion action. Common actions include file and -- directory. See -- http://www.gnu.org/software/bash/manual/html_node/Programmable-Completion-Builtins.html#Programmable-Completion-Builtins -- for a complete list. action :: HasCompleter f => String -> Mod f a -- | Add a completer to an argument. -- -- A completer is a function String -> IO String which, given a -- partial argument, returns all possible completions for that argument. completer :: HasCompleter f => Completer -> Mod f a -- | Trivial option modifier. idm :: Monoid m => m -- | An associative operation -- -- NOTE: This method is redundant and has the default -- implementation mappend = '(<>)' since -- base-4.11.0.0. mappend :: Monoid a => a -> a -> a -- | Option reader based on the Read type class. auto :: Read a => ReadM a -- | String Option reader. -- -- Polymorphic over the IsString type class since 0.14. str :: IsString s => ReadM s -- | Convert a function producing a Maybe into a reader. maybeReader :: (String -> Maybe a) -> ReadM a -- | Convert a function producing an Either into a reader. -- -- As an example, one can create a ReadM from an attoparsec Parser easily -- with -- -- 
--   import qualified Data.Attoparsec.Text as A
--   import qualified Data.Text as T
--   attoparsecReader :: A.Parser a -> ReadM a
--   attoparsecReader p = eitherReader (A.parseOnly p . T.pack)
--
eitherReader :: (String -> Either String a) -> ReadM a -- | Null Option reader. All arguments will fail validation. disabled :: ReadM a -- | Abort option reader by exiting with a ParseError. readerAbort :: ParseError -> ReadM a -- | Abort option reader by exiting with an error message. readerError :: String -> ReadM a -- | Modifier for ParserInfo. data InfoMod a -- | Show a full description in the help text of this parser. fullDesc :: InfoMod a -- | Only show a brief description in the help text of this parser. briefDesc :: InfoMod a -- | Specify a header for this parser. header :: String -> InfoMod a -- | Specify a header for this parser as a Doc value. headerDoc :: Maybe Doc -> InfoMod a -- | Specify a footer for this parser. footer :: String -> InfoMod a -- | Specify a footer for this parser as a Doc value. footerDoc :: Maybe Doc -> InfoMod a -- | Specify a short program description. progDesc :: String -> InfoMod a -- | Specify a short program description as a Doc value. progDescDoc :: Maybe Doc -> InfoMod a -- | Specify an exit code if a parse error occurs. failureCode :: Int -> InfoMod a -- | Disable parsing of regular options after arguments. After a positional -- argument is parsed, all remaining options and arguments will be -- treated as a positional arguments. Not recommended in general as users -- often expect to be able to freely intersperse regular options and -- flags within command line options. noIntersperse :: InfoMod a -- | Intersperse matched options and arguments normally, but allow -- unmatched options to be treated as positional arguments. This is -- sometimes useful if one is wrapping a third party cli tool and needs -- to pass options through, while also providing a handful of their own -- options. Not recommended in general as typos by the user may not yield -- a parse error and cause confusion. forwardOptions :: InfoMod a -- | Disable parsing of regular options completely. All options and -- arguments will be treated as a positional arguments. Obviously not -- recommended in general as options will be unreachable. This is the -- same behaviour one sees after the "--" pseudo-argument. allPositional :: InfoMod a -- | Create a ParserInfo given a Parser and a modifier. info :: Parser a -> InfoMod a -> ParserInfo a data PrefsMod -- | Include a suffix to attach to the metavar when multiple values can be -- entered. multiSuffix :: String -> PrefsMod -- | Turn on disambiguation. -- -- See -- https://github.com/pcapriotti/optparse-applicative#disambiguation disambiguate :: PrefsMod -- | Show full help text on any error. showHelpOnError :: PrefsMod -- | Show the help text if the user enters only the program name or -- subcommand. -- -- This will suppress a "Missing:" error and show the full usage instead -- if a user just types the name of the program. showHelpOnEmpty :: PrefsMod -- | Turn off backtracking after subcommand is parsed. noBacktrack :: PrefsMod -- | Allow full mixing of subcommand and parent arguments by inlining -- selected subparsers into the parent parser. -- -- NOTE: When this option is used, preferences for the subparser -- which effect the parser behaviour (such as noIntersperse) are ignored. subparserInline :: PrefsMod -- | Set the maximum width of the generated help text. columns :: Int -> PrefsMod -- | Show equals sign, rather than space, in usage and help text for -- options with long names. helpLongEquals :: PrefsMod -- | Show global help information in subparser usage helpShowGlobals :: PrefsMod -- | Create a ParserPrefs given a modifier prefs :: PrefsMod -> ParserPrefs -- | Default preferences. defaultPrefs :: ParserPrefs -- | An option modifier. -- -- Option modifiers are values that represent a modification of the -- properties of an option. -- -- The type parameter a is the return type of the option, while -- f is a record containing its properties (e.g. -- OptionFields for regular options, FlagFields for flags, -- etc...). -- -- An option modifier consists of 3 elements: -- -- -- -- Modifiers are instances of Monoid, and can be composed as such. -- -- One rarely needs to deal with modifiers directly, as most of the times -- it is sufficient to pass them to builders (such as strOption -- or flag) to create options (see Builder). data Mod f a -- | A newtype over 'ReaderT String Except', used by option readers. data ReadM a data OptionFields a data FlagFields a data ArgumentFields a data CommandFields a class HasName f class HasCompleter f class HasValue f class HasMetavar f instance GHC.Base.Monoid Options.Applicative.Builder.PrefsMod instance GHC.Base.Semigroup Options.Applicative.Builder.PrefsMod instance GHC.Base.Monoid (Options.Applicative.Builder.InfoMod a) instance GHC.Base.Semigroup (Options.Applicative.Builder.InfoMod a) -- | You don't need to import this module to enable bash completion. -- -- See the wiki for more information on bash completion. module Options.Applicative.BashCompletion bashCompletionParser :: ParserInfo a -> ParserPrefs -> Parser CompletionResult instance GHC.Show.Show Options.Applicative.BashCompletion.Richness instance GHC.Classes.Ord Options.Applicative.BashCompletion.Richness instance GHC.Classes.Eq Options.Applicative.BashCompletion.Richness module Options.Applicative.Extra -- | A hidden "helper" option which always fails. -- -- A common usage pattern is to apply this applicatively when creating a -- ParserInfo -- -- 
--   opts :: ParserInfo Sample
--   opts = info (sample <**> helper) mempty
--
helper :: Parser (a -> a) -- | Builder for a command parser with a "helper" option attached. Used in -- the same way as subparser, but includes a "--help|-h" inside -- the subcommand. hsubparser :: Mod CommandFields a -> Parser a -- | Run a program description. -- -- Parse command line arguments. Display help text and exit if any parse -- error occurs. execParser :: ParserInfo a -> IO a -- | Run a program description with custom preferences. customExecParser :: ParserPrefs -> ParserInfo a -> IO a -- | The most general way to run a program description in pure code. execParserPure :: ParserPrefs -> ParserInfo a -> [String] -> ParserResult a -- | Extract the actual result from a ParserResult value. -- -- This function returns Nothing in case of errors. Possible error -- messages or completion actions are simply discarded. -- -- If you want to display error messages and invoke completion actions -- appropriately, use handleParseResult instead. getParseResult :: ParserResult a -> Maybe a -- | Handle ParserResult. handleParseResult :: ParserResult a -> IO a -- | Generate a ParserFailure from a ParseError in a given -- Context. -- -- This function can be used, for example, to show the help text for a -- parser: -- -- 
--   handleParseResult . Failure $ parserFailure pprefs pinfo ShowHelpText mempty
--
parserFailure :: ParserPrefs -> ParserInfo a -> ParseError -> [Context] -> ParserFailure ParserHelp renderFailure :: ParserFailure ParserHelp -> String -> (String, ExitCode) newtype ParserFailure h ParserFailure :: (String -> (h, ExitCode, Int)) -> ParserFailure h [execFailure] :: ParserFailure h -> String -> (h, ExitCode, Int) overFailure :: (ParserHelp -> ParserHelp) -> ParserResult a -> ParserResult a -- | Result of execParserPure. data ParserResult a Success :: a -> ParserResult a Failure :: ParserFailure ParserHelp -> ParserResult a CompletionInvoked :: CompletionResult -> ParserResult a -- | Global preferences for a top-level Parser. data ParserPrefs ParserPrefs :: String -> Bool -> Bool -> Bool -> Backtracking -> Int -> Bool -> Bool -> ParserPrefs -- | metavar suffix for multiple options [prefMultiSuffix] :: ParserPrefs -> String -- | automatically disambiguate abbreviations (default: False) [prefDisambiguate] :: ParserPrefs -> Bool -- | always show help text on parse errors (default: False) [prefShowHelpOnError] :: ParserPrefs -> Bool -- | show the help text for a command or subcommand if it fails with no -- input (default: False) [prefShowHelpOnEmpty] :: ParserPrefs -> Bool -- | backtrack to parent parser when a subcommand fails (default: -- Backtrack) [prefBacktrack] :: ParserPrefs -> Backtracking -- | number of columns in the terminal, used to format the help page -- (default: 80) [prefColumns] :: ParserPrefs -> Int -- | when displaying long names in usage and help, use an '=' sign for long -- names, rather than a single space (default: False) [prefHelpLongEquals] :: ParserPrefs -> Bool -- | when displaying subparsers' usage help, show parent options under a -- "global options" section (default: True) [prefHelpShowGlobal] :: ParserPrefs -> Bool newtype CompletionResult CompletionResult :: (String -> IO String) -> CompletionResult [execCompletion] :: CompletionResult -> String -> IO String module Options.Applicative -- | A Parser a is an option parser returning a value of type -- a. data Parser a -- | Builder for a flag parser. -- -- A flag that switches from a "default value" to an "active value" when -- encountered. For a simple boolean value, use switch instead. -- -- Note: Because this parser will never fail, it can not be used -- with combinators such as some or many, as these -- combinators continue until a failure occurs. See flag'. flag :: a -> a -> Mod FlagFields a -> Parser a -- | Builder for a flag parser without a default value. -- -- Same as flag, but with no default value. In particular, this -- flag will never parse successfully by itself. -- -- It still makes sense to use it as part of a composite parser. For -- example -- -- 
--   length <$> many (flag' () (short 't'))
--
-- -- is a parser that counts the number of "-t" arguments on the command -- line, alternatively -- -- 
--   flag' True (long "on") <|> flag' False (long "off")
--
-- -- will require the user to enter '--on' or '--off' on the command line. flag' :: a -> Mod FlagFields a -> Parser a -- | Builder for a boolean flag. -- -- Note: Because this parser will never fail, it can not be used -- with combinators such as some or many, as these -- combinators continue until a failure occurs. See flag'. -- -- 
--   switch = flag False True
--
switch :: Mod FlagFields Bool -> Parser Bool -- | Builder for an option taking a String argument. strOption :: IsString s => Mod OptionFields s -> Parser s -- | Builder for an option using the given reader. -- -- This is a regular option, and should always have either a -- long or short name specified in the modifiers (or -- both). -- -- 
--   nameParser = option str ( long "name" <> short 'n' )
--
option :: ReadM a -> Mod OptionFields a -> Parser a -- | Builder for a String argument. strArgument :: IsString s => Mod ArgumentFields s -> Parser s -- | Builder for an argument parser. argument :: ReadM a -> Mod ArgumentFields a -> Parser a -- | Builder for a command parser. The command modifier can be used -- to specify individual commands. subparser :: Mod CommandFields a -> Parser a -- | Builder for a command parser with a "helper" option attached. Used in -- the same way as subparser, but includes a "--help|-h" inside -- the subcommand. hsubparser :: Mod CommandFields a -> Parser a -- | An option that always fails. -- -- When this option is encountered, the option parser immediately aborts -- with the given parse error. If you simply want to output a message, -- use infoOption instead. abortOption :: ParseError -> Mod OptionFields (a -> a) -> Parser (a -> a) -- | An option that always fails and displays a message. infoOption :: String -> Mod OptionFields (a -> a) -> Parser (a -> a) -- | A hidden "helper" option which always fails. -- -- A common usage pattern is to apply this applicatively when creating a -- ParserInfo -- -- 
--   opts :: ParserInfo Sample
--   opts = info (sample <**> helper) mempty
--
helper :: Parser (a -> a) -- | An option modifier. -- -- Option modifiers are values that represent a modification of the -- properties of an option. -- -- The type parameter a is the return type of the option, while -- f is a record containing its properties (e.g. -- OptionFields for regular options, FlagFields for flags, -- etc...). -- -- An option modifier consists of 3 elements: -- -- -- -- Modifiers are instances of Monoid, and can be composed as such. -- -- One rarely needs to deal with modifiers directly, as most of the times -- it is sufficient to pass them to builders (such as strOption -- or flag) to create options (see Builder). data Mod f a -- | Specify a short name for an option. short :: HasName f => Char -> Mod f a -- | Specify a long name for an option. long :: HasName f => String -> Mod f a -- | Specify the help text for an option. help :: String -> Mod f a -- | Specify the help text for an option as a Doc value. helpDoc :: Maybe Doc -> Mod f a -- | Specify a default value for an option. -- -- Note: Because this modifier means the parser will never fail, -- do not use it with combinators such as some or many, as -- these combinators continue until a failure occurs. Careless use will -- thus result in a hang. -- -- To display the default value, combine with showDefault or -- showDefaultWith. value :: HasValue f => a -> Mod f a -- | Specify a function to show the default value for an option. showDefaultWith :: (a -> String) -> Mod f a -- | Show the default value for this option using its Show instance. showDefault :: Show a => Mod f a -- | Specify a metavariable for the argument. -- -- Metavariables have no effect on the actual parser, and only serve to -- specify the symbolic name for an argument to be displayed in the help -- text. metavar :: HasMetavar f => String -> Mod f a -- | Specify the error to display when no argument is provided to this -- option. noArgError :: ParseError -> Mod OptionFields a -- | Hide this option from the brief description. -- -- Use internal to hide the option from the help text too. hidden :: Mod f a -- | Hide this option completely from the help text -- -- Use hidden if the option should remain visible in the full -- description. internal :: Mod f a -- | Apply a function to the option description in the usage text. -- -- 
--   import Options.Applicative.Help
--   flag' () (short 't' <> style bold)
--
-- -- NOTE: This builder is more flexible than its name and example -- allude. One of the motivating examples for its addition was to used -- const to completely replace the usage text of an option. style :: (Doc -> Doc) -> Mod f a -- | Add a command to a subparser option. -- -- Suggested usage for multiple commands is to add them to a single -- subparser. e.g. -- -- 
--   sample :: Parser Sample
--   sample = subparser
--          ( command "hello"
--            (info hello (progDesc "Print greeting"))
--         <> command "goodbye"
--            (info goodbye (progDesc "Say goodbye"))
--          )
--
command :: String -> ParserInfo a -> Mod CommandFields a -- | Add a description to a group of commands. -- -- Advanced feature for separating logical groups of commands on the -- parse line. -- -- If using the same metavar for each group of commands, it may -- yield a more attractive usage text combined with hidden for -- some groups. commandGroup :: String -> Mod CommandFields a -- | Add a list of possible completion values. completeWith :: HasCompleter f => [String] -> Mod f a -- | Add a bash completion action. Common actions include file and -- directory. See -- http://www.gnu.org/software/bash/manual/html_node/Programmable-Completion-Builtins.html#Programmable-Completion-Builtins -- for a complete list. action :: HasCompleter f => String -> Mod f a -- | Add a completer to an argument. -- -- A completer is a function String -> IO String which, given a -- partial argument, returns all possible completions for that argument. completer :: HasCompleter f => Completer -> Mod f a -- | Trivial option modifier. idm :: Monoid m => m -- | An associative operation -- -- NOTE: This method is redundant and has the default -- implementation mappend = '(<>)' since -- base-4.11.0.0. mappend :: Monoid a => a -> a -> a data OptionFields a data FlagFields a data ArgumentFields a data CommandFields a class HasName f class HasCompleter f class HasValue f class HasMetavar f -- | A newtype over 'ReaderT String Except', used by option readers. data ReadM a -- | Option reader based on the Read type class. auto :: Read a => ReadM a -- | String Option reader. -- -- Polymorphic over the IsString type class since 0.14. str :: IsString s => ReadM s -- | Convert a function producing a Maybe into a reader. maybeReader :: (String -> Maybe a) -> ReadM a -- | Convert a function producing an Either into a reader. -- -- As an example, one can create a ReadM from an attoparsec Parser easily -- with -- -- 
--   import qualified Data.Attoparsec.Text as A
--   import qualified Data.Text as T
--   attoparsecReader :: A.Parser a -> ReadM a
--   attoparsecReader p = eitherReader (A.parseOnly p . T.pack)
--
eitherReader :: (String -> Either String a) -> ReadM a -- | Null Option reader. All arguments will fail validation. disabled :: ReadM a -- | Abort option reader by exiting with a ParseError. readerAbort :: ParseError -> ReadM a -- | Abort option reader by exiting with an error message. readerError :: String -> ReadM a -- | Create a ParserInfo given a Parser and a modifier. info :: Parser a -> InfoMod a -> ParserInfo a -- | A full description for a runnable Parser for a program. data ParserInfo a ParserInfo :: Parser a -> Bool -> Chunk Doc -> Chunk Doc -> Chunk Doc -> Int -> ArgPolicy -> ParserInfo a -- | the option parser for the program [infoParser] :: ParserInfo a -> Parser a -- | whether the help text should contain full documentation [infoFullDesc] :: ParserInfo a -> Bool -- | brief parser description [infoProgDesc] :: ParserInfo a -> Chunk Doc -- | header of the full parser description [infoHeader] :: ParserInfo a -> Chunk Doc -- | footer of the full parser description [infoFooter] :: ParserInfo a -> Chunk Doc -- | exit code for a parser failure [infoFailureCode] :: ParserInfo a -> Int -- | allow regular options and flags to occur after arguments (default: -- InterspersePolicy) [infoPolicy] :: ParserInfo a -> ArgPolicy -- | Modifier for ParserInfo. data InfoMod a -- | Show a full description in the help text of this parser. fullDesc :: InfoMod a -- | Only show a brief description in the help text of this parser. briefDesc :: InfoMod a -- | Specify a header for this parser. header :: String -> InfoMod a -- | Specify a header for this parser as a Doc value. headerDoc :: Maybe Doc -> InfoMod a -- | Specify a footer for this parser. footer :: String -> InfoMod a -- | Specify a footer for this parser as a Doc value. footerDoc :: Maybe Doc -> InfoMod a -- | Specify a short program description. progDesc :: String -> InfoMod a -- | Specify a short program description as a Doc value. progDescDoc :: Maybe Doc -> InfoMod a -- | Specify an exit code if a parse error occurs. failureCode :: Int -> InfoMod a -- | Disable parsing of regular options after arguments. After a positional -- argument is parsed, all remaining options and arguments will be -- treated as a positional arguments. Not recommended in general as users -- often expect to be able to freely intersperse regular options and -- flags within command line options. noIntersperse :: InfoMod a -- | Intersperse matched options and arguments normally, but allow -- unmatched options to be treated as positional arguments. This is -- sometimes useful if one is wrapping a third party cli tool and needs -- to pass options through, while also providing a handful of their own -- options. Not recommended in general as typos by the user may not yield -- a parse error and cause confusion. forwardOptions :: InfoMod a -- | Run a program description. -- -- Parse command line arguments. Display help text and exit if any parse -- error occurs. execParser :: ParserInfo a -> IO a -- | Run a program description with custom preferences. customExecParser :: ParserPrefs -> ParserInfo a -> IO a -- | The most general way to run a program description in pure code. execParserPure :: ParserPrefs -> ParserInfo a -> [String] -> ParserResult a -- | Extract the actual result from a ParserResult value. -- -- This function returns Nothing in case of errors. Possible error -- messages or completion actions are simply discarded. -- -- If you want to display error messages and invoke completion actions -- appropriately, use handleParseResult instead. getParseResult :: ParserResult a -> Maybe a -- | Handle ParserResult. handleParseResult :: ParserResult a -> IO a -- | Generate a ParserFailure from a ParseError in a given -- Context. -- -- This function can be used, for example, to show the help text for a -- parser: -- -- 
--   handleParseResult . Failure $ parserFailure pprefs pinfo ShowHelpText mempty
--
parserFailure :: ParserPrefs -> ParserInfo a -> ParseError -> [Context] -> ParserFailure ParserHelp renderFailure :: ParserFailure ParserHelp -> String -> (String, ExitCode) overFailure :: (ParserHelp -> ParserHelp) -> ParserResult a -> ParserResult a -- | Create a ParserPrefs given a modifier prefs :: PrefsMod -> ParserPrefs -- | Global preferences for a top-level Parser. data ParserPrefs ParserPrefs :: String -> Bool -> Bool -> Bool -> Backtracking -> Int -> Bool -> Bool -> ParserPrefs -- | metavar suffix for multiple options [prefMultiSuffix] :: ParserPrefs -> String -- | automatically disambiguate abbreviations (default: False) [prefDisambiguate] :: ParserPrefs -> Bool -- | always show help text on parse errors (default: False) [prefShowHelpOnError] :: ParserPrefs -> Bool -- | show the help text for a command or subcommand if it fails with no -- input (default: False) [prefShowHelpOnEmpty] :: ParserPrefs -> Bool -- | backtrack to parent parser when a subcommand fails (default: -- Backtrack) [prefBacktrack] :: ParserPrefs -> Backtracking -- | number of columns in the terminal, used to format the help page -- (default: 80) [prefColumns] :: ParserPrefs -> Int -- | when displaying long names in usage and help, use an '=' sign for long -- names, rather than a single space (default: False) [prefHelpLongEquals] :: ParserPrefs -> Bool -- | when displaying subparsers' usage help, show parent options under a -- "global options" section (default: True) [prefHelpShowGlobal] :: ParserPrefs -> Bool data PrefsMod -- | Include a suffix to attach to the metavar when multiple values can be -- entered. multiSuffix :: String -> PrefsMod -- | Turn on disambiguation. -- -- See -- https://github.com/pcapriotti/optparse-applicative#disambiguation disambiguate :: PrefsMod -- | Show full help text on any error. showHelpOnError :: PrefsMod -- | Show the help text if the user enters only the program name or -- subcommand. -- -- This will suppress a "Missing:" error and show the full usage instead -- if a user just types the name of the program. showHelpOnEmpty :: PrefsMod -- | Turn off backtracking after subcommand is parsed. noBacktrack :: PrefsMod -- | Allow full mixing of subcommand and parent arguments by inlining -- selected subparsers into the parent parser. -- -- NOTE: When this option is used, preferences for the subparser -- which effect the parser behaviour (such as noIntersperse) are ignored. subparserInline :: PrefsMod -- | Set the maximum width of the generated help text. columns :: Int -> PrefsMod -- | Show equals sign, rather than space, in usage and help text for -- options with long names. helpLongEquals :: PrefsMod -- | Show global help information in subparser usage helpShowGlobals :: PrefsMod -- | Default preferences. defaultPrefs :: ParserPrefs -- | A shell complete function. data Completer -- | Smart constructor for a Completer mkCompleter :: (String -> IO [String]) -> Completer -- | Create a Completer from an IO action listIOCompleter :: IO [String] -> Completer -- | Create a Completer from a constant list of strings. listCompleter :: [String] -> Completer -- | Run a compgen completion action. -- -- Common actions include file and directory. See -- http://www.gnu.org/software/bash/manual/html_node/Programmable-Completion-Builtins.html#Programmable-Completion-Builtins -- for a complete list. bashCompleter :: String -> Completer data ParseError ErrorMsg :: String -> ParseError InfoMsg :: String -> ParseError ShowHelpText :: Maybe String -> ParseError UnknownError :: ParseError MissingError :: IsCmdStart -> SomeParser -> ParseError ExpectsArgError :: String -> ParseError UnexpectedError :: String -> SomeParser -> ParseError data ParserHelp ParserHelp :: Chunk Doc -> Chunk Doc -> Chunk Doc -> Chunk Doc -> Chunk Doc -> Chunk Doc -> Chunk Doc -> ParserHelp [helpError] :: ParserHelp -> Chunk Doc [helpSuggestions] :: ParserHelp -> Chunk Doc [helpHeader] :: ParserHelp -> Chunk Doc [helpUsage] :: ParserHelp -> Chunk Doc [helpBody] :: ParserHelp -> Chunk Doc [helpGlobals] :: ParserHelp -> Chunk Doc [helpFooter] :: ParserHelp -> Chunk Doc newtype ParserFailure h ParserFailure :: (String -> (h, ExitCode, Int)) -> ParserFailure h [execFailure] :: ParserFailure h -> String -> (h, ExitCode, Int) -- | Result of execParserPure. data ParserResult a Success :: a -> ParserResult a Failure :: ParserFailure ParserHelp -> ParserResult a CompletionInvoked :: CompletionResult -> ParserResult a newtype CompletionResult CompletionResult :: (String -> IO String) -> CompletionResult [execCompletion] :: CompletionResult -> String -> IO String -- | This module contains an arrow interface for option parsers, which -- allows to define and combine parsers using the arrow notation and -- arrow combinators. -- -- The arrow syntax is particularly useful to create parsers of nested -- structures, or records where the order of fields is different from the -- order in which the parsers should be applied. -- -- For example, an arguments parser often needs to be applied -- last, and that makes it inconvenient to use it for a field which is -- not the last one in a record. -- -- Using the arrow syntax and the functions in this module, one can -- write, e.g.: -- -- 
--   data Options = Options
--     { optArgs :: [String]
--     , optVerbose :: Bool }
--   
--   opts :: Parser Options
--   opts = runA $ proc () -> do
--     verbose <- asA (switch (short 'v')) -< ()
--     args <- asA (arguments str idm) -< ()
--     returnA -< Options args verbose
--
-- -- Parser arrows, created out of regular Parser values using the -- asA function, are arrows taking () as argument and -- returning the parsed value. module Options.Applicative.Arrows -- | For any Applicative functor f, A f is the -- Arrow instance associated to f. -- -- The A constructor can be used to convert a value of type f -- (a -> b) into an arrow. newtype A f a b A :: f (a -> b) -> A f a b [unA] :: A f a b -> f (a -> b) -- | Convert a value of type f a into an arrow taking () -- as argument. -- -- Applied to a value of type Parser, it turns it into an arrow -- that can be used inside an arrow command, or passed to arrow -- combinators. asA :: Applicative f => f a -> A f () a -- | Convert an arrow back to an applicative value. -- -- This function can be used to return a result of type Parser -- from an arrow command. runA :: Applicative f => A f () a -> f a -- | The type of arrows associated to the applicative Parser -- functor. type ParserA = A Parser instance GHC.Base.Applicative f => Control.Category.Category (Options.Applicative.Arrows.A f) instance GHC.Base.Applicative f => Control.Arrow.Arrow (Options.Applicative.Arrows.A f)