Agda.Interaction.Options
data CommandLineOptions
data PragmaOptions
type OptionsPragma
type Flag opts
type Verbosity
type IncludeDirs
checkOpts
parseStandardOptions
parsePragmaOptions
parsePluginOptions
defaultOptions
defaultInteractionOptions
defaultVerbosity
defaultCutOff
standardOptions_
unsafePragmaOptions
isLiterate
mapFlag
usage
tests
defaultLibDir
inputFlag
standardOptions
getOptSimple