<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Agda.TypeChecking.Monad.Options</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();};
//]]>
</script></head><body id="mini"><div id="module-header"><p class="caption">Agda.TypeChecking.Monad.Options</p></div><div id="interface"><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:setPragmaOptions" target="main">setPragmaOptions</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:setCommandLineOptions" target="main">setCommandLineOptions</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:pragmaOptions" target="main">pragmaOptions</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:commandLineOptions" target="main">commandLineOptions</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:setOptionsFromPragma" target="main">setOptionsFromPragma</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:enableDisplayForms" target="main">enableDisplayForms</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:disableDisplayForms" target="main">disableDisplayForms</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:displayFormsEnabled" target="main">displayFormsEnabled</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:dontEtaContractImplicit" target="main">dontEtaContractImplicit</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:doEtaContractImplicit" target="main">doEtaContractImplicit</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:shouldEtaContractImplicit" target="main">shouldEtaContractImplicit</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:dontReifyInteractionPoints" target="main">dontReifyInteractionPoints</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:shouldReifyInteractionPoints" target="main">shouldReifyInteractionPoints</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:getIncludeDirs" target="main">getIncludeDirs</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-TypeChecking-Monad-Options.html#t:RelativeTo" target="main">RelativeTo</a> </p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:setIncludeDirs" target="main">setIncludeDirs</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:setInputFile" target="main">setInputFile</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:getInputFile" target="main">getInputFile</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:hasInputFile" target="main">hasInputFile</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:proofIrrelevance" target="main">proofIrrelevance</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:hasUniversePolymorphism" target="main">hasUniversePolymorphism</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:showImplicitArguments" target="main">showImplicitArguments</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:showIrrelevantArguments" target="main">showIrrelevantArguments</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:withShowAllArguments" target="main">withShowAllArguments</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:ignoreInterfaces" target="main">ignoreInterfaces</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:positivityCheckEnabled" target="main">positivityCheckEnabled</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:typeInType" target="main">typeInType</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:getVerbosity" target="main">getVerbosity</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Agda-TypeChecking-Monad-Options.html#t:VerboseKey" target="main">VerboseKey</a> </p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:hasVerbosity" target="main">hasVerbosity</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:emacsifyDebugMessage" target="main">emacsifyDebugMessage</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:displayDebugMessage" target="main">displayDebugMessage</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:verboseS" target="main">verboseS</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:reportS" target="main">reportS</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:reportSLn" target="main">reportSLn</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:reportSDoc" target="main">reportSDoc</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-Options.html#v:verboseBracket" target="main">verboseBracket</a></p></div></div></body></html>
