Agda.Interaction.Options

data CommandLineOptions

data PragmaOptions

type OptionsPragma

type Flag opts

type Verbosity

checkOpts

parseStandardOptions

parsePragmaOptions

parsePluginOptions

defaultOptions

defaultVerbosity

standardOptions_

unsafePragmaOptions

isLiterate

mapFlag

usage

tests