Plugin.GhcTags.Options

Documentation

data Options f

ghc-tags-plugin options

Constructors

Options

Fields

• etags :: Bool

  if True use emacs tags file format, the default is False.

• stream :: Bool

  be default we read the tags file and overwrite it. When this option is on, we stream tags from it while interliving the tags found in the current module to a new destination, which is then moved to the tags file desintation.

• filePath :: f FilePath

  file path to the tags file (relative to the *.cabal file). The default is either tags (if etags if False) or TAGS otherwise.

• debug :: Bool

Instances

Show (Options Identity)

Defined in Plugin.GhcTags.Options

Methods

showsPrec :: Int -> Options Identity -> ShowS

show :: Options Identity -> String

showList :: [Options Identity] -> ShowS

data ParserResult a

Result of execParserPure.

Constructors

Success a

Failure (ParserFailure ParserHelp)

CompletionInvoked CompletionResult

Instances

Applicative ParserResult

Defined in Options.Applicative.Types

Methods

pure :: a -> ParserResult a

(<*>) :: ParserResult (a -> b) -> ParserResult a -> ParserResult b

liftA2 :: (a -> b -> c) -> ParserResult a -> ParserResult b -> ParserResult c

(*>) :: ParserResult a -> ParserResult b -> ParserResult b

(<*) :: ParserResult a -> ParserResult b -> ParserResult a

Functor ParserResult

Defined in Options.Applicative.Types

Methods

fmap :: (a -> b) -> ParserResult a -> ParserResult b

(<$) :: a -> ParserResult b -> ParserResult a

Monad ParserResult

Defined in Options.Applicative.Types

Methods

(>>=) :: ParserResult a -> (a -> ParserResult b) -> ParserResult b

(>>) :: ParserResult a -> ParserResult b -> ParserResult b

return :: a -> ParserResult a

Show a => Show (ParserResult a)

Defined in Options.Applicative.Types

Methods

showsPrec :: Int -> ParserResult a -> ShowS

show :: ParserResult a -> String

showList :: [ParserResult a] -> ShowS

runOptionParser :: [String] -> ParserResult (Options Identity)