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