Data.Extensible.GetOpt

A wrapper for GetOpt

Documentation

data OptionDescr h a

OptDescr with a default

Constructors

OptionDescr (s -> h a) !s (OptDescr (s -> s))

Instances

Wrapper k (OptionDescr k h)

Associated Types

type Repr (OptionDescr k h) (h :: OptionDescr k h -> *) (v :: OptionDescr k h) :: *

Methods

_Wrapper :: (Functor f, Profunctor p) => Optic' * * p f (h v) (Repr (OptionDescr k h) h v)

Functor h => Functor (OptionDescr * h)

Methods

fmap :: (a -> b) -> OptionDescr * h a -> OptionDescr * h b

(<$) :: a -> OptionDescr * h b -> OptionDescr * h a

type Repr k (OptionDescr k h) a

type Repr k (OptionDescr k h) a = OptionDescr k h a

type OptDescr' = OptionDescr Identity

optNoArg

Arguments

:: [Char]

short option

-> [String]

long option

-> String

explanation

-> OptDescr' Int

Option without an argument; the result is the total count of this option.

optReqArg

Arguments

:: [Char]

short option

-> [String]

long option

-> String

placeholder

-> String

explanation

-> OptDescr' [String]

Option with an argument

optionNoArg :: (Int -> h a) -> [Char] -> [String] -> String -> OptionDescr h a

optionReqArg :: ([String] -> h a) -> [Char] -> [String] -> String -> String -> OptionDescr h a

getOptRecord

Arguments

:: RecordOf (OptionDescr h) xs

a record of option descriptors

-> [String]

arguments

-> (RecordOf h xs, [String], [String], String -> String)

(result, remaining non-options, errors, usageInfo)

withGetOpt :: MonadIO m => String -> RecordOf (OptionDescr h) xs -> (RecordOf h xs -> [String] -> m a) -> m a

When there's an error, print it along with the usage info to stderr and terminate with exitFailure.