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



</dd>
<a id="put,Uri,string"></a>
<dt><pre><span class="Keyword">proc</span> <a href="#put%2CUri%2Cstring"><span class="Identifier">put</span></a><span class="Oth