Agda.Interaction.Options
data CommandLineOptions
data IgnoreFlags
data PragmaOptions
type OptionsPragma
type Flag opts
type OptM
runOptM
data OptDescr a
data ArgDescr a
type Verbosity
data WarningMode
checkOpts
parseStandardOptions
parseStandardOptions'
parsePragmaOptions
parsePluginOptions
defaultOptions
defaultInteractionOptions
defaultVerbosity
defaultCutOff
defaultPragmaOptions
standardOptions_
unsafePragmaOptions
isLiterate
mapFlag
usage
defaultLibDir
inputFlag
standardOptions
getOptSimple