span class="Identifier">ReadDirEffect</span><span class="Other">,</span> <span class="Identifier">ReadIOEffect</span><span class="Other">,</span> <span class="Identifier">WriteIOEffect</span><span class="Other">]</span></span>.}</pre></dt>
<dd>



</dd>
</div>
<div id="execThenSaveHistory,PostgresConnections,string,string,string">
<dt><pre><span class="Keyword">proc</span> <a href="#execThenSaveHistory%2CPostgresConnections%2Cstring%2Cstring%2Cstring"><span class="Identifier">execThenSaveHistory</span></a><