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