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