Deploying to gh-pages from @ f49230f 🚀

IntersectMBO · Mar 29, 2023 · 92b75e3 · 92b75e3
1 parent 3b430cf
commit 92b75e3
Show file tree

Hide file tree

Showing 438 changed files with 153,674 additions and 153,560 deletions.
diff --git a/master/doc-index-All.html b/master/doc-index-All.html
diff --git a/master/doc-index-D.html b/master/doc-index-D.html
diff --git a/master/doc-index-E.html b/master/doc-index-E.html
diff --git a/master/doc-index-S.html b/master/doc-index-S.html
diff --git a/master/doc-index-U.html b/master/doc-index-U.html
diff --git a/master/doc-index.json b/master/doc-index.json
diff --git a/master/plutus-conformance/html/doc-index.json b/master/plutus-conformance/html/doc-index.json
diff --git a/master/plutus-conformance/html/src/PlutusConformance.Common.html b/master/plutus-conformance/html/src/PlutusConformance.Common.html
diff --git a/master/plutus-core/html/UntypedPlutusCore-Core-Type.html b/master/plutus-core/html/UntypedPlutusCore-Core-Type.html
diff --git a/master/plutus-core/html/UntypedPlutusCore-Core.html b/master/plutus-core/html/UntypedPlutusCore-Core.html
diff --git a/master/plutus-core/html/UntypedPlutusCore.html b/master/plutus-core/html/UntypedPlutusCore.html
diff --git a/master/plutus-core/html/doc-index-All.html b/master/plutus-core/html/doc-index-All.html
diff --git a/master/plutus-core/html/doc-index-E.html b/master/plutus-core/html/doc-index-E.html
diff --git a/master/plutus-core/html/doc-index-S.html b/master/plutus-core/html/doc-index-S.html
diff --git a/master/plutus-core/html/doc-index-U.html b/master/plutus-core/html/doc-index-U.html
diff --git a/master/plutus-core/html/doc-index.json b/master/plutus-core/html/doc-index.json
diff --git a/master/plutus-core/html/objects.inv b/master/plutus-core/html/objects.inv
diff --git a/master/plutus-core/html/plutus-core.haddock b/master/plutus-core/html/plutus-core.haddock
diff --git a/master/plutus-core/html/plutus-core.txt b/master/plutus-core/html/plutus-core.txt
@@ -8204,7 +8204,23 @@ decodeTermTag :: Get Word8
 encodeTerm :: forall name uni fun ann. (Closed uni, uni `Everywhere` Flat, Flat fun, Flat ann, Flat name, Flat (Binder name)) => Term name uni fun ann -> Encoding
 decodeTerm :: forall name uni fun ann. (Closed uni, uni `Everywhere` Flat, Flat fun, Flat ann, Flat name, Flat (Binder name)) => (fun -> Maybe String) -> Get (Term name uni fun ann)
 sizeTerm :: forall name uni fun ann. (Closed uni, uni `Everywhere` Flat, Flat fun, Flat ann, Flat name, Flat (Binder name)) => Term name uni fun ann -> NumBits -> NumBits
+
+-- | An encoder for programs.
+--   
+--   It is not easy to use this correctly with <tt>flat</tt>. The simplest
+--   thing is to go via the instance for <a>UnrestrictedProgram</a>, which
+--   uses this
+encodeProgram :: forall name uni fun ann. (Closed uni, uni `Everywhere` Flat, Flat fun, Flat ann, Flat name, Flat (Binder name)) => Program name uni fun ann -> Encoding
 decodeProgram :: forall name uni fun ann. (Closed uni, uni `Everywhere` Flat, Flat fun, Flat ann, Flat name, Flat (Binder name)) => (fun -> Maybe String) -> Get (Program name uni fun ann)
+sizeProgram :: forall name uni fun ann. (Closed uni, uni `Everywhere` Flat, Flat fun, Flat ann, Flat name, Flat (Binder name)) => Program name uni fun ann -> NumBits -> NumBits
+
+-- | 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.
+newtype UnrestrictedProgram name uni fun ann
+UnrestrictedProgram :: Program name uni fun ann -> UnrestrictedProgram name uni fun ann
+[unUnrestrictedProgram] :: UnrestrictedProgram name uni fun ann -> Program name uni fun ann
 
 module UntypedPlutusCore.Check.Uniques
 checkProgram :: (Ord ann, HasUnique name TermUnique, AsUniqueError e ann, MonadError e m) => (UniqueError ann -> Bool) -> Program name uni fun ann -> m ()
@@ -9339,8 +9355,8 @@ data SimplifyOpts name a
 SimplifyOpts :: Int -> InlineHints name a -> SimplifyOpts name a
 [_soMaxSimplifierIterations] :: SimplifyOpts name a -> Int
 [_soInlineHints] :: SimplifyOpts name a -> InlineHints name a
-soMaxSimplifierIterations :: forall name_a7sDy a_a7sDz. Lens' (SimplifyOpts name_a7sDy a_a7sDz) Int
-soInlineHints :: forall name_a7sDy a_a7sDz name_a7sFa a_a7sFb. Lens (SimplifyOpts name_a7sDy a_a7sDz) (SimplifyOpts name_a7sFa a_a7sFb) (InlineHints name_a7sDy a_a7sDz) (InlineHints name_a7sFa a_a7sFb)
+soMaxSimplifierIterations :: forall name_a7sBc a_a7sBd. Lens' (SimplifyOpts name_a7sBc a_a7sBd) Int
+soInlineHints :: forall name_a7sBc a_a7sBd name_a7sCO a_a7sCP. Lens (SimplifyOpts name_a7sBc a_a7sBd) (SimplifyOpts name_a7sCO a_a7sCP) (InlineHints name_a7sBc a_a7sBd) (InlineHints name_a7sCO a_a7sCP)
 defaultSimplifyOpts :: SimplifyOpts name a
 newtype InlineHints name a
 InlineHints :: (a -> name -> Bool) -> InlineHints name a
@@ -9409,6 +9425,6 @@ compileProgram :: (ToBuiltinMeaning uni fun, MonadQuote m, HasUnique name TermUn
 newtype CompilationOpts name a
 CompilationOpts :: SimplifyOpts name a -> CompilationOpts name a
 [_coSimplifyOpts] :: CompilationOpts name a -> SimplifyOpts name a
-coSimplifyOpts :: forall name_a7tdT a_a7tdU name_a7tfh a_a7tfi. Iso (CompilationOpts name_a7tdT a_a7tdU) (CompilationOpts name_a7tfh a_a7tfi) (SimplifyOpts name_a7tdT a_a7tdU) (SimplifyOpts name_a7tfh a_a7tfi)
+coSimplifyOpts :: forall name_a7tbx a_a7tby name_a7tcV a_a7tcW. Iso (CompilationOpts name_a7tbx a_a7tby) (CompilationOpts name_a7tcV a_a7tcW) (SimplifyOpts name_a7tbx a_a7tby) (SimplifyOpts name_a7tcV a_a7tcW)
 defaultCompilationOpts :: CompilationOpts name a
 instance GHC.Show.Show (PlutusCore.Compiler.CompilationOpts name a)
diff --git a/master/plutus-core/html/src/Crypto.html b/master/plutus-core/html/src/Crypto.html
diff --git a/master/plutus-core/html/src/Data.Aeson.Flatten.html b/master/plutus-core/html/src/Data.Aeson.Flatten.html
diff --git a/master/plutus-core/html/src/Data.Aeson.THReader.html b/master/plutus-core/html/src/Data.Aeson.THReader.html
@@ -6,24 +6,24 @@
 </span><span id="line-6"></span><span class="hs-keyword">import</span><span> </span><span class="annot"><a href="../../../../th-compat/html/src"><span class="hs-identifier">Language.Haskell.TH.Syntax.Compat</span></a></span><span>
 </span><span id="line-7"></span><span class="hs-keyword">import</span><span> </span><span class="annot"><a href="../../../../th-utilities/html/src"><span class="hs-identifier">TH.RelativePaths</span></a></span><span>
 </span><span id="line-8"></span><span>
-</span><span id="line-9"></span><span id="local-6989586621680812390"><span class="annot"><a href="Data.Aeson.THReader.html#readJSONFromFile"><span class="hs-identifier hs-type">readJSONFromFile</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="hs-special">(</span><span class="annot"><a href="../../../../aeson/html/src"><span class="hs-identifier hs-type">FromJSON</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680812390"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="../../../../ghc/html/libraries/template-haskell-2.18.0.0/src"><span class="hs-identifier hs-type">Lift</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680812390"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=&gt;</span><span> </span><span class="annot"><a href="../../../../ghc/html/libraries/base-4.16.4.0/src"><span class="hs-identifier hs-type">String</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="../../../../th-compat/html/src"><span class="hs-identifier hs-type">SpliceQ</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680812390"><span class="hs-identifier hs-type">a</span></a></span></span><span>
+</span><span id="line-9"></span><span id="local-6989586621680812248"><span class="annot"><a href="Data.Aeson.THReader.html#readJSONFromFile"><span class="hs-identifier hs-type">readJSONFromFile</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="hs-special">(</span><span class="annot"><a href="../../../../aeson/html/src"><span class="hs-identifier hs-type">FromJSON</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680812248"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="../../../../ghc/html/libraries/template-haskell-2.18.0.0/src"><span class="hs-identifier hs-type">Lift</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680812248"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=&gt;</span><span> </span><span class="annot"><a href="../../../../ghc/html/libraries/base-4.16.4.0/src"><span class="hs-identifier hs-type">String</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="../../../../th-compat/html/src"><span class="hs-identifier hs-type">SpliceQ</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680812248"><span class="hs-identifier hs-type">a</span></a></span></span><span>
 </span><span id="line-10"></span><span id="readJSONFromFile"><span class="annot"><span class="annottext">readJSONFromFile :: forall a. (FromJSON a, Lift a) =&gt; String -&gt; SpliceQ a
-</span><a href="Data.Aeson.THReader.html#readJSONFromFile"><span class="hs-identifier hs-var hs-var">readJSONFromFile</span></a></span></span><span> </span><span id="local-6989586621680812360"><span class="annot"><span class="annottext">String
-</span><a href="#local-6989586621680812360"><span class="hs-identifier hs-var">name</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">forall a (m :: * -&gt; *). m (TExp a) -&gt; Splice m a
+</span><a href="Data.Aeson.THReader.html#readJSONFromFile"><span class="hs-identifier hs-var hs-var">readJSONFromFile</span></a></span></span><span> </span><span id="local-6989586621680812218"><span class="annot"><span class="annottext">String
+</span><a href="#local-6989586621680812218"><span class="hs-identifier hs-var">name</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">forall a (m :: * -&gt; *). m (TExp a) -&gt; Splice m a
 </span><a href="../../../../th-compat/html/src"><span class="hs-identifier hs-var">liftSplice</span></a></span><span> </span><span class="annot"><span class="annottext">forall a b. (a -&gt; b) -&gt; a -&gt; b
 </span><a href="../../../../ghc/html/libraries/base-4.16.4.0/src"><span class="hs-operator hs-var">$</span></a></span><span> </span><span class="hs-keyword">do</span><span>
-</span><span id="line-11"></span><span>    </span><span id="local-6989586621680812358"><span class="annot"><span class="annottext">ByteString
-</span><a href="#local-6989586621680812358"><span class="hs-identifier hs-var">contents</span></a></span></span><span> </span><span class="hs-glyph">&lt;-</span><span> </span><span class="annot"><span class="annottext">String -&gt; Q ByteString
+</span><span id="line-11"></span><span>    </span><span id="local-6989586621680812216"><span class="annot"><span class="annottext">ByteString
+</span><a href="#local-6989586621680812216"><span class="hs-identifier hs-var">contents</span></a></span></span><span> </span><span class="hs-glyph">&lt;-</span><span> </span><span class="annot"><span class="annottext">String -&gt; Q ByteString
 </span><a href="../../../../th-utilities/html/src"><span class="hs-identifier hs-var">qReadFileLBS</span></a></span><span> </span><span class="annot"><span class="annottext">String
-</span><a href="#local-6989586621680812360"><span class="hs-identifier hs-var">name</span></a></span><span>
+</span><a href="#local-6989586621680812218"><span class="hs-identifier hs-var">name</span></a></span><span>
 </span><span id="line-12"></span><span>    </span><span class="hs-keyword">case</span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">forall a. FromJSON a =&gt; ByteString -&gt; Either String a
 </span><a href="../../../../aeson/html/src"><span class="hs-identifier hs-var">eitherDecode</span></a></span><span> </span><span class="annot"><span class="annottext">ByteString
-</span><a href="#local-6989586621680812358"><span class="hs-identifier hs-var">contents</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-keyword">of</span><span>
-</span><span id="line-13"></span><span>        </span><span class="annot"><a href="../../../../ghc/html/libraries/base-4.16.4.0/src"><span class="hs-identifier hs-type">Left</span></a></span><span> </span><span id="local-6989586621680812355"><span class="annot"><span class="annottext">String
-</span><a href="#local-6989586621680812355"><span class="hs-identifier hs-var">err</span></a></span></span><span>  </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><span class="annottext">forall (m :: * -&gt; *) a. MonadFail m =&gt; String -&gt; m a
+</span><a href="#local-6989586621680812216"><span class="hs-identifier hs-var">contents</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-keyword">of</span><span>
+</span><span id="line-13"></span><span>        </span><span class="annot"><a href="../../../../ghc/html/libraries/base-4.16.4.0/src"><span class="hs-identifier hs-type">Left</span></a></span><span> </span><span id="local-6989586621680812213"><span class="annot"><span class="annottext">String
+</span><a href="#local-6989586621680812213"><span class="hs-identifier hs-var">err</span></a></span></span><span>  </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><span class="annottext">forall (m :: * -&gt; *) a. MonadFail m =&gt; String -&gt; m a
 </span><a href="../../../../ghc/html/libraries/base-4.16.4.0/src"><span class="hs-identifier hs-var">fail</span></a></span><span> </span><span class="annot"><span class="annottext">String
-</span><a href="#local-6989586621680812355"><span class="hs-identifier hs-var">err</span></a></span><span>
-</span><span id="line-14"></span><span>        </span><span class="annot"><a href="../../../../ghc/html/libraries/base-4.16.4.0/src"><span class="hs-identifier hs-type">Right</span></a></span><span> </span><span id="local-6989586621680812354"><span class="annot"><span class="annottext">a
-</span><a href="#local-6989586621680812354"><span class="hs-identifier hs-var">res</span></a></span></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><span class="annottext">forall (m :: * -&gt; *) a. Splice m a -&gt; m (TExp a)
+</span><a href="#local-6989586621680812213"><span class="hs-identifier hs-var">err</span></a></span><span>
+</span><span id="line-14"></span><span>        </span><span class="annot"><a href="../../../../ghc/html/libraries/base-4.16.4.0/src"><span class="hs-identifier hs-type">Right</span></a></span><span> </span><span id="local-6989586621680812212"><span class="annot"><span class="annottext">a
+</span><a href="#local-6989586621680812212"><span class="hs-identifier hs-var">res</span></a></span></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><span class="annottext">forall (m :: * -&gt; *) a. Splice m a -&gt; m (TExp a)
 </span><a href="../../../../th-compat/html/src"><span class="hs-identifier hs-var">examineSplice</span></a></span><span> </span><span class="hs-special">[||</span><span class="hs-identifier">res</span><span class="hs-special">||]</span><span>
 </span><span id="line-15"></span></pre></body></html>