Agda.TypeChecking.Monad.Options
setCommandLineOptions
commandLineOptions
setOptionsFromPragma
setOptionsFromPragmas
enableDisplayForms
disableDisplayForms
displayFormsEnabled
dontReifyInteractionPoints
shouldReifyInteractionPoints
getIncludeDirs
setInputFile
getInputFile
hasInputFile
proofIrrelevance
showImplicitArguments
setShowImplicitArguments
ignoreInterfaces
positivityCheckEnabled
typeInType
getVerbosity
type
VerboseKey
verboseS
reportS
reportSLn
reportSDoc