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