Agda.Interaction.Options
data
CommandLineOptions
data
PragmaOptions
type
OptionsPragma
type
Flag
opts
type
Verbosity
checkOpts
parseStandardOptions
parsePragmaOptions
parsePluginOptions
defaultOptions
defaultVerbosity
standardOptions_
isLiterate
mapFlag
usage
tests