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