Deploying to gh-pages from @ 95c83d0 🚀

IntersectMBO · May 23, 2023 · dbbeb65 · dbbeb65
1 parent 8c7fdb1
commit dbbeb65
Show file tree

Hide file tree

Showing 236 changed files with 26,574 additions and 26,566 deletions.
diff --git a/master/doc-index-All.html b/master/doc-index-All.html
diff --git a/master/doc-index-P.html b/master/doc-index-P.html
diff --git a/master/doc-index.json b/master/doc-index.json
@@ -213491,6 +213491,12 @@
     "module": "PlutusCore.Subst",
     "link": "plutus-core/html/PlutusCore-Subst.html#v:tvTy"
   },
+  {
+    "display_html": "<a href=\"#v:purely\">purely</a> :: ((a -&gt; <a href=\"file:///nix/store/i630q8k564jnwkpzyzn7ns0hwfbdbx5x-ghc-9.2.7-doc/share/doc/ghc/html/libraries/base-4.16.4.0/Data-Functor-Identity.html#t:Identity\" title=\"Data.Functor.Identity\">Identity</a> b) -&gt; c -&gt; <a href=\"file:///nix/store/i630q8k564jnwkpzyzn7ns0hwfbdbx5x-ghc-9.2.7-doc/share/doc/ghc/html/libraries/base-4.16.4.0/Data-Functor-Identity.html#t:Identity\" title=\"Data.Functor.Identity\">Identity</a> d) -&gt; (a -&gt; b) -&gt; c -&gt; d",
+    "name": "purely",
+    "module": "PlutusCore.Subst",
+    "link": "plutus-core/html/PlutusCore-Subst.html#v:purely"
+  },
   {
     "display_html": "<span class=\"keyword\">newtype</span> <a href=\"#t:Size\">Size</a> = <a href=\"#v:Size\">Size</a> {<ul class=\"subs\"><li><a href=\"#v:unSize\">unSize</a> :: <a href=\"file:///nix/store/i630q8k564jnwkpzyzn7ns0hwfbdbx5x-ghc-9.2.7-doc/share/doc/ghc/html/libraries/base-4.16.4.0/Prelude.html#t:Integer\" title=\"Prelude\">Integer</a></li></ul>}",
     "name": "Size Size unSize",

diff --git a/master/plutus-core/html/PlutusCore-Subst.html b/master/plutus-core/html/PlutusCore-Subst.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-P.html b/master/plutus-core/html/doc-index-P.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
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"><span class="hs-identifier">Language.Haskell.TH.Syntax.Compat</span></span><span>
 </span><span id="line-7"></span><span class="hs-keyword">import</span><span> </span><span class="annot"><span class="hs-identifier">TH.RelativePaths</span></span><span>
 </span><span id="line-8"></span><span>
-</span><span id="line-9"></span><span id="local-6989586621680853436"><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"><span class="hs-identifier hs-type">FromJSON</span></span><span> </span><span class="annot"><a href="#local-6989586621680853436"><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-6989586621680853436"><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"><span class="hs-identifier hs-type">SpliceQ</span></span><span> </span><span class="annot"><a href="#local-6989586621680853436"><span class="hs-identifier hs-type">a</span></a></span></span><span>
+</span><span id="line-9"></span><span id="local-6989586621680853479"><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"><span class="hs-identifier hs-type">FromJSON</span></span><span> </span><span class="annot"><a href="#local-6989586621680853479"><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-6989586621680853479"><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"><span class="hs-identifier hs-type">SpliceQ</span></span><span> </span><span class="annot"><a href="#local-6989586621680853479"><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-6989586621680853406"><span class="annot"><span class="annottext">String
-</span><a href="#local-6989586621680853406"><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-6989586621680853449"><span class="annot"><span class="annottext">String
+</span><a href="#local-6989586621680853449"><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><span class="hs-identifier hs-var">liftSplice</span></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-6989586621680853404"><span class="annot"><span class="annottext">ByteString
-</span><a href="#local-6989586621680853404"><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-6989586621680853447"><span class="annot"><span class="annottext">ByteString
+</span><a href="#local-6989586621680853447"><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 class="hs-identifier hs-var">qReadFileLBS</span></span><span> </span><span class="annot"><span class="annottext">String
-</span><a href="#local-6989586621680853406"><span class="hs-identifier hs-var">name</span></a></span><span>
+</span><a href="#local-6989586621680853449"><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><span class="hs-identifier hs-var">eitherDecode</span></span><span> </span><span class="annot"><span class="annottext">ByteString
-</span><a href="#local-6989586621680853404"><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-6989586621680853401"><span class="annot"><span class="annottext">String
-</span><a href="#local-6989586621680853401"><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-6989586621680853447"><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-6989586621680853444"><span class="annot"><span class="annottext">String
+</span><a href="#local-6989586621680853444"><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-6989586621680853401"><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-6989586621680853400"><span class="annot"><span class="annottext">a
-</span><a href="#local-6989586621680853400"><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-6989586621680853444"><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-6989586621680853443"><span class="annot"><span class="annottext">a
+</span><a href="#local-6989586621680853443"><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><span class="hs-identifier hs-var">examineSplice</span></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>