Agda.TypeChecking.Monad.Options
setPragmaOptions
setCommandLineOptions
setCommandLineOptions'
libToTCM
setLibraryPaths
setLibraryIncludes
addDefaultLibraries
setOptionsFromPragma
enableDisplayForms
disableDisplayForms
displayFormsEnabled
getIncludeDirs
data RelativeTo
getProjectRoot
setIncludeDirs
setInputFile
getInputFile
getInputFile'
hasInputFile
proofIrrelevance
hasUniversePolymorphism
sharedFun
shared
sharedType
enableCaching
showImplicitArguments
showIrrelevantArguments
withShowAllArguments
withShowAllArguments'
withPragmaOptions
ignoreInterfaces
positivityCheckEnabled
typeInType
etaEnabled
maxInstanceSearchDepth
getVerbosity
type VerboseKey
hasVerbosity
hasExactVerbosity
whenExactVerbosity
verboseS