Agda.TypeChecking.Monad.Options
setPragmaOptions
setCommandLineOptions
setCommandLineOptions'
libToTCM
setLibraryPaths
setLibraryIncludes
addDefaultLibraries
class HasOptions m
setOptionsFromPragma
enableDisplayForms
disableDisplayForms
displayFormsEnabled
dontEtaContractImplicit
doEtaContractImplicit
shouldEtaContractImplicit
dontReifyInteractionPoints
shouldReifyInteractionPoints
getIncludeDirs
data RelativeTo
getProjectRoot
setIncludeDirs
setInputFile
getInputFile
getInputFile'
hasInputFile
proofIrrelevance
hasUniversePolymorphism
sharedFun
shared
sharedType
enableCaching
showImplicitArguments
showIrrelevantArguments
withShowAllArguments
ignoreInterfaces
positivityCheckEnabled
typeInType
etaEnabled
getVerbosity
type VerboseKey
hasVerbosity
displayDebugMessage
verboseS
reportS
reportSLn
reportSDoc
verboseBracket