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