Agda.TypeChecking.Monad.Options

setPragmaOptions

setCommandLineOptions

setCommandLineOptions'

libToTCM

setLibraryPaths

setLibraryIncludes

addDefaultLibraries

class HasOptions m

setOptionsFromPragma

enableDisplayForms

disableDisplayForms

displayFormsEnabled

getIncludeDirs

data RelativeTo

getProjectRoot

setIncludeDirs

setInputFile

getInputFile

getInputFile'

hasInputFile

proofIrrelevance

hasUniversePolymorphism

sharedFun

shared

sharedType

enableCaching

showImplicitArguments

showIrrelevantArguments

withShowAllArguments

withShowAllArguments'

ignoreInterfaces

positivityCheckEnabled

typeInType

etaEnabled

maxInstanceSearchDepth

getVerbosity

type VerboseKey

hasVerbosity

displayDebugMessage

verboseS

reportS

reportSLn

reportSDoc

verboseBracket