Deploying to gh-pages from @ cd8bca5 🚀

master/plutus-core/html/UntypedPlutusCore-Core.html

@@ -2,4 +2,4 @@
  is to go via the instance for <code><a href="UntypedPlutusCore-Core.html#t:UnrestrictedProgram" title="UntypedPlutusCore.Core">UnrestrictedProgram</a></code>, which uses this</p></div></div><div class="top"><p class="src"><a id="v:decodeProgram" class="def">decodeProgram</a> :: <span class="keyword">forall</span> name uni fun ann. (<a href="Universe.html#t:Closed" title="Universe">Closed</a> uni, uni <a href="Universe.html#t:Everywhere" title="Universe">`Everywhere`</a> <a href="../../flat/html/Flat-Class.html#t:Flat" title="Flat.Class">Flat</a>, <a href="../../flat/html/Flat-Class.html#t:Flat" title="Flat.Class">Flat</a> fun, <a href="../../flat/html/Flat-Class.html#t:Flat" title="Flat.Class">Flat</a> ann, <a href="../../flat/html/Flat-Class.html#t:Flat" title="Flat.Class">Flat</a> name, <a href="../../flat/html/Flat-Class.html#t:Flat" title="Flat.Class">Flat</a> (<a href="PlutusCore-Core.html#t:Binder" title="PlutusCore.Core">Binder</a> name)) =&gt; (fun -&gt; <a href="../../ghc/html/libraries/base-4.16.4.0/Data-Maybe.html#t:Maybe" title="Data.Maybe">Maybe</a> <a href="../../ghc/html/libraries/base-4.16.4.0/Data-String.html#t:String" title="Data.String">String</a>) -&gt; <a href="../../flat/html/Flat-Decoder-Types.html#t:Get" title="Flat.Decoder.Types">Get</a> (<a href="UntypedPlutusCore-Core-Type.html#t:Program" title="UntypedPlutusCore.Core.Type">Program</a> name uni fun ann) <a href="src/UntypedPlutusCore.Core.Instance.Flat.html#decodeProgram" class="link">Source</a> <a href="#v:decodeProgram" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:sizeProgram" class="def">sizeProgram</a> :: <span class="keyword">forall</span> name uni fun ann. (<a href="Universe.html#t:Closed" title="Universe">Closed</a> uni, uni <a href="Universe.html#t:Everywhere" title="Universe">`Everywhere`</a> <a href="../../flat/html/Flat-Class.html#t:Flat" title="Flat.Class">Flat</a>, <a href="../../flat/html/Flat-Class.html#t:Flat" title="Flat.Class">Flat</a> fun, <a href="../../flat/html/Flat-Class.html#t:Flat" title="Flat.Class">Flat</a> ann, <a href="../../flat/html/Flat-Class.html#t:Flat" title="Flat.Class">Flat</a> name, <a href="../../flat/html/Flat-Class.html#t:Flat" title="Flat.Class">Flat</a> (<a href="PlutusCore-Core.html#t:Binder" title="PlutusCore.Core">Binder</a> name)) =&gt; <a href="UntypedPlutusCore-Core-Type.html#t:Program" title="UntypedPlutusCore.Core.Type">Program</a> name uni fun ann -&gt; <a href="../../flat/html/Flat-Types.html#t:NumBits" title="Flat.Types">NumBits</a> -&gt; <a href="../../flat/html/Flat-Types.html#t:NumBits" title="Flat.Types">NumBits</a> <a href="src/UntypedPlutusCore.Core.Instance.Flat.html#sizeProgram" class="link">Source</a> <a href="#v:sizeProgram" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:UnrestrictedProgram" class="def">UnrestrictedProgram</a> name uni fun ann <a href="src/UntypedPlutusCore.Core.Instance.Flat.html#UnrestrictedProgram" class="link">Source</a> <a href="#t:UnrestrictedProgram" class="selflink">#</a></p><div class="doc"><p>A program that can be serialized without any restrictions, e.g.
  on the set of allowable builtins or term constructs. It is generally
  safe to use this newtype for serializing, but it should only be used
- for deserializing in tests.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:UnrestrictedProgram" class="def">UnrestrictedProgram</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><ul><li><dfn class="src"><a id="v:unUnrestrictedProgram" class="def">unUnrestrictedProgram</a> :: <a href="UntypedPlutusCore-Core-Type.html#t:Program" title="UntypedPlutusCore.Core.Type">Program</a> name uni fun ann</dfn><div class="doc empty">&nbsp;</div></li></ul></div></td></tr></table></div><div class="subs instances"><h4 class="instances details-toggle-control details-toggle" data-details-id="i:UnrestrictedProgram">Instances</h4><details id="i:UnrestrictedProgram" open="open"><summary class="hide-when-js-enabled">Instances details</summary><table><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:UnrestrictedProgram:Flat:1"></span> (<a href="Universe.html#t:Closed" title="Universe">Closed</a> uni, <a href="Universe.html#t:Everywhere" title="Universe">Everywhere</a> uni <a href="../../flat/html/Flat-Class.html#t:Flat" title="Flat.Class">Flat</a>, <a href="../../flat/html/Flat-Class.html#t:Flat" title="Flat.Class">Flat</a> fun, <a href="../../flat/html/Flat-Class.html#t:Flat" title="Flat.Class">Flat</a> ann, <a href="../../flat/html/Flat-Class.html#t:Flat" title="Flat.Class">Flat</a> name, <a href="../../flat/html/Flat-Class.html#t:Flat" title="Flat.Class">Flat</a> (<a href="PlutusCore-Core.html#t:Binder" title="PlutusCore.Core">Binder</a> name)) =&gt; <a href="../../flat/html/Flat-Class.html#t:Flat" title="Flat.Class">Flat</a> (<a href="UntypedPlutusCore-Core.html#t:UnrestrictedProgram" title="UntypedPlutusCore.Core">UnrestrictedProgram</a> name uni fun ann)</span> <a href="src/UntypedPlutusCore.Core.Instance.Flat.html#line-221" class="link">Source</a> <a href="#t:UnrestrictedProgram" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><details id="i:id:UnrestrictedProgram:Flat:1"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="UntypedPlutusCore-Core-Instance-Flat.html">UntypedPlutusCore.Core.Instance.Flat</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:encode">encode</a> :: <a href="UntypedPlutusCore-Core.html#t:UnrestrictedProgram" title="UntypedPlutusCore.Core">UnrestrictedProgram</a> name uni fun ann -&gt; <a href="../../flat/html/Flat-Encoder-Strict.html#t:Encoding" title="Flat.Encoder.Strict">Encoding</a> <a href="../../flat/html/src" class="link">Source</a> <a href="#v:encode" class="selflink">#</a></p><p class="src"><a href="#v:decode">decode</a> :: <a href="../../flat/html/Flat-Decoder-Types.html#t:Get" title="Flat.Decoder.Types">Get</a> (<a href="UntypedPlutusCore-Core.html#t:UnrestrictedProgram" title="UntypedPlutusCore.Core">UnrestrictedProgram</a> name uni fun ann) <a href="../../flat/html/src" class="link">Source</a> <a href="#v:decode" class="selflink">#</a></p><p class="src"><a href="#v:size">size</a> :: <a href="UntypedPlutusCore-Core.html#t:UnrestrictedProgram" title="UntypedPlutusCore.Core">UnrestrictedProgram</a> name uni fun ann -&gt; <a href="../../flat/html/Flat-Types.html#t:NumBits" title="Flat.Types">NumBits</a> -&gt; <a href="../../flat/html/Flat-Types.html#t:NumBits" title="Flat.Types">NumBits</a> <a href="../../flat/html/src" class="link">Source</a> <a href="#v:size" class="selflink">#</a></p></div></details></td></tr></table></details></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.26.0</p></div></body></html>
+ for deserializing in tests.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:UnrestrictedProgram" class="def">UnrestrictedProgram</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><ul><li><dfn class="src"><a id="v:unUnrestrictedProgram" class="def">unUnrestrictedProgram</a> :: <a href="UntypedPlutusCore-Core-Type.html#t:Program" title="UntypedPlutusCore.Core.Type">Program</a> name uni fun ann</dfn><div class="doc empty">&nbsp;</div></li></ul></div></td></tr></table></div><div class="subs instances"><h4 class="instances details-toggle-control details-toggle" data-details-id="i:UnrestrictedProgram">Instances</h4><details id="i:UnrestrictedProgram" open="open"><summary class="hide-when-js-enabled">Instances details</summary><table><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:UnrestrictedProgram:Flat:1"></span> (<a href="Universe.html#t:Closed" title="Universe">Closed</a> uni, <a href="Universe.html#t:Everywhere" title="Universe">Everywhere</a> uni <a href="../../flat/html/Flat-Class.html#t:Flat" title="Flat.Class">Flat</a>, <a href="../../flat/html/Flat-Class.html#t:Flat" title="Flat.Class">Flat</a> fun, <a href="../../flat/html/Flat-Class.html#t:Flat" title="Flat.Class">Flat</a> ann, <a href="../../flat/html/Flat-Class.html#t:Flat" title="Flat.Class">Flat</a> name, <a href="../../flat/html/Flat-Class.html#t:Flat" title="Flat.Class">Flat</a> (<a href="PlutusCore-Core.html#t:Binder" title="PlutusCore.Core">Binder</a> name)) =&gt; <a href="../../flat/html/Flat-Class.html#t:Flat" title="Flat.Class">Flat</a> (<a href="UntypedPlutusCore-Core.html#t:UnrestrictedProgram" title="UntypedPlutusCore.Core">UnrestrictedProgram</a> name uni fun ann)</span> <a href="src/UntypedPlutusCore.Core.Instance.Flat.html#line-224" class="link">Source</a> <a href="#t:UnrestrictedProgram" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><details id="i:id:UnrestrictedProgram:Flat:1"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="UntypedPlutusCore-Core-Instance-Flat.html">UntypedPlutusCore.Core.Instance.Flat</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:encode">encode</a> :: <a href="UntypedPlutusCore-Core.html#t:UnrestrictedProgram" title="UntypedPlutusCore.Core">UnrestrictedProgram</a> name uni fun ann -&gt; <a href="../../flat/html/Flat-Encoder-Strict.html#t:Encoding" title="Flat.Encoder.Strict">Encoding</a> <a href="../../flat/html/src" class="link">Source</a> <a href="#v:encode" class="selflink">#</a></p><p class="src"><a href="#v:decode">decode</a> :: <a href="../../flat/html/Flat-Decoder-Types.html#t:Get" title="Flat.Decoder.Types">Get</a> (<a href="UntypedPlutusCore-Core.html#t:UnrestrictedProgram" title="UntypedPlutusCore.Core">UnrestrictedProgram</a> name uni fun ann) <a href="../../flat/html/src" class="link">Source</a> <a href="#v:decode" class="selflink">#</a></p><p class="src"><a href="#v:size">size</a> :: <a href="UntypedPlutusCore-Core.html#t:UnrestrictedProgram" title="UntypedPlutusCore.Core">UnrestrictedProgram</a> name uni fun ann -&gt; <a href="../../flat/html/Flat-Types.html#t:NumBits" title="Flat.Types">NumBits</a> -&gt; <a href="../../flat/html/Flat-Types.html#t:NumBits" title="Flat.Types">NumBits</a> <a href="../../flat/html/src" class="link">Source</a> <a href="#v:size" class="selflink">#</a></p></div></details></td></tr></table></details></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.26.0</p></div></body></html>