Agda.TypeChecking.Monad.Options
setPragmaOptions
setCommandLineOptions
pragmaOptions
commandLineOptions
setOptionsFromPragma
enableDisplayForms
disableDisplayForms
displayFormsEnabled
dontEtaContractImplicit
doEtaContractImplicit
shouldEtaContractImplicit
dontReifyInteractionPoints
shouldReifyInteractionPoints
getIncludeDirs
data RelativeTo
setIncludeDirs
setInputFile
getInputFile
hasInputFile
proofIrrelevance
hasUniversePolymorphism
showImplicitArguments
setShowImplicitArguments
ignoreInterfaces
positivityCheckEnabled
typeInType
getVerbosity
type VerboseKey
hasVerbosity
verboseS
reportS
reportSLn
reportSDoc
verboseBracket