Deploying to gh-pages from @ 716e78f 🚀

IntersectMBO · Feb 10, 2023 · 389bd02 · 389bd02
1 parent b05a0bf
commit 389bd02
Show file tree

Hide file tree

Showing 479 changed files with 178,007 additions and 177,609 deletions.
diff --git a/doc-index-All.html b/doc-index-All.html
diff --git a/doc-index-I.html b/doc-index-I.html
diff --git a/doc-index-P.html b/doc-index-P.html
diff --git a/doc-index-S.html b/doc-index-S.html
diff --git a/doc-index-T.html b/doc-index-T.html
diff --git a/doc-index-V.html b/doc-index-V.html
diff --git a/doc-index-W.html b/doc-index-W.html
diff --git a/doc-index.json b/doc-index.json
diff --git a/plutus-conformance/html/PlutusConformance-Common.html b/plutus-conformance/html/PlutusConformance-Common.html
diff --git a/plutus-conformance/html/doc-index.json b/plutus-conformance/html/doc-index.json
diff --git a/plutus-conformance/html/plutus-conformance.haddock b/plutus-conformance/html/plutus-conformance.haddock
diff --git a/plutus-conformance/html/plutus-conformance.txt b/plutus-conformance/html/plutus-conformance.txt
@@ -21,7 +21,7 @@ shownParseError :: Text
 shownEvaluationFailure :: Text
 
 -- | The default parser to parse UPLC program inputs.
-parseTxt :: Text -> Either ParserErrorBundle (Program Name DefaultUni DefaultFun SourcePos)
+parseTxt :: Text -> Either ParserErrorBundle (Program Name DefaultUni DefaultFun SrcSpan)
 
 -- | The input/output UPLC program type.
 type UplcProg = Program Name DefaultUni DefaultFun ()

diff --git a/plutus-conformance/html/src/PlutusConformance.Common.html b/plutus-conformance/html/src/PlutusConformance.Common.html
diff --git a/plutus-core/html/PlutusCore-Annotation.html b/plutus-core/html/PlutusCore-Annotation.html
diff --git a/plutus-core/html/PlutusCore-Parser.html b/plutus-core/html/PlutusCore-Parser.html
diff --git a/plutus-core/html/PlutusCore-Pretty.html b/plutus-core/html/PlutusCore-Pretty.html
diff --git a/plutus-core/html/PlutusCore-Quote.html b/plutus-core/html/PlutusCore-Quote.html
diff --git a/plutus-core/html/PlutusCore.html b/plutus-core/html/PlutusCore.html
diff --git a/plutus-core/html/PlutusPrelude.html b/plutus-core/html/PlutusPrelude.html
diff --git a/plutus-core/html/UntypedPlutusCore-Parser.html b/plutus-core/html/UntypedPlutusCore-Parser.html
diff --git a/plutus-core/html/UntypedPlutusCore.html b/plutus-core/html/UntypedPlutusCore.html
diff --git a/plutus-core/html/doc-index-All.html b/plutus-core/html/doc-index-All.html
diff --git a/plutus-core/html/doc-index-I.html b/plutus-core/html/doc-index-I.html
diff --git a/plutus-core/html/doc-index-P.html b/plutus-core/html/doc-index-P.html
diff --git a/plutus-core/html/doc-index-S.html b/plutus-core/html/doc-index-S.html
diff --git a/plutus-core/html/doc-index-T.html b/plutus-core/html/doc-index-T.html
diff --git a/plutus-core/html/doc-index-V.html b/plutus-core/html/doc-index-V.html
diff --git a/plutus-core/html/doc-index-W.html b/plutus-core/html/doc-index-W.html
@@ -1 +1 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><meta name="viewport" content="width=device-width, initial-scale=1" /><title>plutus-core-1.1.1.0: Language library for Plutus Core (Index - W)</title><link href="linuwial.css" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=PT+Sans:400,400i,700" /><script src="haddock-bundle.min.js" async="async" type="text/javascript"></script><script type="text/x-mathjax-config">MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script></head><body><div id="package-header"><span class="caption">plutus-core-1.1.1.0: Language library for Plutus Core</span><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul></div><div id="content"><div id="alphabet"><ul><li><a href="doc-index-A.html">A</a></li><li><a href="doc-index-B.html">B</a></li><li><a href="doc-index-C.html">C</a></li><li><a href="doc-index-D.html">D</a></li><li><a href="doc-index-E.html">E</a></li><li><a href="doc-index-F.html">F</a></li><li><a href="doc-index-G.html">G</a></li><li><a href="doc-index-H.html">H</a></li><li><a href="doc-index-I.html">I</a></li><li><a href="doc-index-J.html">J</a></li><li><a href="doc-index-K.html">K</a></li><li><a href="doc-index-L.html">L</a></li><li><a href="doc-index-M.html">M</a></li><li><a href="doc-index-N.html">N</a></li><li><a href="doc-index-O.html">O</a></li><li><a href="doc-index-P.html">P</a></li><li><a href="doc-index-Q.html">Q</a></li><li><a href="doc-index-R.html">R</a></li><li><a href="doc-index-S.html">S</a></li><li><a href="doc-index-T.html">T</a></li><li><a href="doc-index-U.html">U</a></li><li><a href="doc-index-V.html">V</a></li><li><a href="doc-index-W.html">W</a></li><li><a href="doc-index-Y.html">Y</a></li><li><a href="doc-index-Z.html">Z</a></li><li><a href="doc-index-58.html">:</a></li><li><a href="doc-index-36.html">$</a></li><li><a href="doc-index-37.html">%</a></li><li><a href="doc-index-38.html">&amp;</a></li><li><a href="doc-index-46.html">.</a></li><li><a href="doc-index-60.html">&lt;</a></li><li><a href="doc-index-62.html">&gt;</a></li><li><a href="doc-index-63.html">?</a></li><li><a href="doc-index-94.html">^</a></li><li><a href="doc-index-95.html">_</a></li><li><a href="doc-index-All.html">All</a></li></ul></div><div id="index"><p class="caption">Index - W</p><table><tr><td class="src">whitespace</td><td class="module"><a href="PlutusCore-Parser.html#v:whitespace" title="PlutusCore.Parser">PlutusCore.Parser</a></td></tr><tr><td class="src">withApplicable</td><td class="module"><a href="Universe.html#v:withApplicable" title="Universe">Universe</a>, PlutusCore.Default, PlutusCore.Builtin.Debug, <a href="PlutusCore.html#v:withApplicable" title="PlutusCore">PlutusCore</a></td></tr><tr><td class="src">withDecodedUni</td><td class="module"><a href="Universe.html#v:withDecodedUni" title="Universe">Universe</a>, PlutusCore.Default, PlutusCore.Builtin.Debug, <a href="PlutusCore.html#v:withDecodedUni" title="PlutusCore">PlutusCore</a></td></tr><tr><td class="src">withExtendedTypeVarEnv</td><td class="module"><a href="PlutusCore-Normalize-Internal.html#v:withExtendedTypeVarEnv" title="PlutusCore.Normalize.Internal">PlutusCore.Normalize.Internal</a></td></tr><tr><td class="src">withFreshenedName</td><td class="module"><a href="PlutusCore-Rename-Monad.html#v:withFreshenedName" title="PlutusCore.Rename.Monad">PlutusCore.Rename.Monad</a>, PlutusCore.Rename.Internal</td></tr><tr><td class="src">withFreshenedTyVarDecl</td><td class="module"><a href="PlutusCore-Rename-Internal.html#v:withFreshenedTyVarDecl" title="PlutusCore.Rename.Internal">PlutusCore.Rename.Internal</a></td></tr><tr><td class="src">withFreshenedVarDecl</td><td class="module"><a href="PlutusCore-Rename-Internal.html#v:withFreshenedVarDecl" title="PlutusCore.Rename.Internal">PlutusCore.Rename.Internal</a></td></tr><tr><td class="src">withKnownKind</td><td class="module"><a href="PlutusCore-Builtin.html#v:withKnownKind" title="PlutusCore.Builtin">PlutusCore.Builtin</a></td></tr><tr><td class="src">withRenamedName</td><td class="module"><a href="PlutusCore-Rename-Monad.html#v:withRenamedName" title="PlutusCore.Rename.Monad">PlutusCore.Rename.Monad</a>, PlutusCore.Rename.Internal</td></tr><tr><td class="src">withSingKind</td><td class="module"><a href="PlutusCore-Builtin.html#v:withSingKind" title="PlutusCore.Builtin">PlutusCore.Builtin</a></td></tr><tr><td class="src">withTyVar</td><td class="module"><a href="PlutusCore-TypeCheck-Internal.html#v:withTyVar" title="PlutusCore.TypeCheck.Internal">PlutusCore.TypeCheck.Internal</a></td></tr><tr><td class="src">withVar</td><td class="module"><a href="PlutusCore-TypeCheck-Internal.html#v:withVar" title="PlutusCore.TypeCheck.Internal">PlutusCore.TypeCheck.Internal</a></td></tr><tr><td class="src">Word8</td><td class="module"><a href="PlutusPrelude.html#t:Word8" title="PlutusPrelude">PlutusPrelude</a></td></tr><tr><td class="src">wordPos</td><td class="module"><a href="PlutusCore-Parser.html#v:wordPos" title="PlutusCore.Parser">PlutusCore.Parser</a></td></tr></table></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>
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><meta name="viewport" content="width=device-width, initial-scale=1" /><title>plutus-core-1.1.1.0: Language library for Plutus Core (Index - W)</title><link href="linuwial.css" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=PT+Sans:400,400i,700" /><script src="haddock-bundle.min.js" async="async" type="text/javascript"></script><script type="text/x-mathjax-config">MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script></head><body><div id="package-header"><span class="caption">plutus-core-1.1.1.0: Language library for Plutus Core</span><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul></div><div id="content"><div id="alphabet"><ul><li><a href="doc-index-A.html">A</a></li><li><a href="doc-index-B.html">B</a></li><li><a href="doc-index-C.html">C</a></li><li><a href="doc-index-D.html">D</a></li><li><a href="doc-index-E.html">E</a></li><li><a href="doc-index-F.html">F</a></li><li><a href="doc-index-G.html">G</a></li><li><a href="doc-index-H.html">H</a></li><li><a href="doc-index-I.html">I</a></li><li><a href="doc-index-J.html">J</a></li><li><a href="doc-index-K.html">K</a></li><li><a href="doc-index-L.html">L</a></li><li><a href="doc-index-M.html">M</a></li><li><a href="doc-index-N.html">N</a></li><li><a href="doc-index-O.html">O</a></li><li><a href="doc-index-P.html">P</a></li><li><a href="doc-index-Q.html">Q</a></li><li><a href="doc-index-R.html">R</a></li><li><a href="doc-index-S.html">S</a></li><li><a href="doc-index-T.html">T</a></li><li><a href="doc-index-U.html">U</a></li><li><a href="doc-index-V.html">V</a></li><li><a href="doc-index-W.html">W</a></li><li><a href="doc-index-Y.html">Y</a></li><li><a href="doc-index-Z.html">Z</a></li><li><a href="doc-index-58.html">:</a></li><li><a href="doc-index-36.html">$</a></li><li><a href="doc-index-37.html">%</a></li><li><a href="doc-index-38.html">&amp;</a></li><li><a href="doc-index-46.html">.</a></li><li><a href="doc-index-60.html">&lt;</a></li><li><a href="doc-index-62.html">&gt;</a></li><li><a href="doc-index-63.html">?</a></li><li><a href="doc-index-94.html">^</a></li><li><a href="doc-index-95.html">_</a></li><li><a href="doc-index-All.html">All</a></li></ul></div><div id="index"><p class="caption">Index - W</p><table><tr><td class="src">whitespace</td><td class="module"><a href="PlutusCore-Parser.html#v:whitespace" title="PlutusCore.Parser">PlutusCore.Parser</a></td></tr><tr><td class="src">withApplicable</td><td class="module"><a href="Universe.html#v:withApplicable" title="Universe">Universe</a>, PlutusCore.Default, PlutusCore.Builtin.Debug, <a href="PlutusCore.html#v:withApplicable" title="PlutusCore">PlutusCore</a></td></tr><tr><td class="src">withDecodedUni</td><td class="module"><a href="Universe.html#v:withDecodedUni" title="Universe">Universe</a>, PlutusCore.Default, PlutusCore.Builtin.Debug, <a href="PlutusCore.html#v:withDecodedUni" title="PlutusCore">PlutusCore</a></td></tr><tr><td class="src">withExtendedTypeVarEnv</td><td class="module"><a href="PlutusCore-Normalize-Internal.html#v:withExtendedTypeVarEnv" title="PlutusCore.Normalize.Internal">PlutusCore.Normalize.Internal</a></td></tr><tr><td class="src">withFreshenedName</td><td class="module"><a href="PlutusCore-Rename-Monad.html#v:withFreshenedName" title="PlutusCore.Rename.Monad">PlutusCore.Rename.Monad</a>, PlutusCore.Rename.Internal</td></tr><tr><td class="src">withFreshenedTyVarDecl</td><td class="module"><a href="PlutusCore-Rename-Internal.html#v:withFreshenedTyVarDecl" title="PlutusCore.Rename.Internal">PlutusCore.Rename.Internal</a></td></tr><tr><td class="src">withFreshenedVarDecl</td><td class="module"><a href="PlutusCore-Rename-Internal.html#v:withFreshenedVarDecl" title="PlutusCore.Rename.Internal">PlutusCore.Rename.Internal</a></td></tr><tr><td class="src">withKnownKind</td><td class="module"><a href="PlutusCore-Builtin.html#v:withKnownKind" title="PlutusCore.Builtin">PlutusCore.Builtin</a></td></tr><tr><td class="src">withRenamedName</td><td class="module"><a href="PlutusCore-Rename-Monad.html#v:withRenamedName" title="PlutusCore.Rename.Monad">PlutusCore.Rename.Monad</a>, PlutusCore.Rename.Internal</td></tr><tr><td class="src">withSingKind</td><td class="module"><a href="PlutusCore-Builtin.html#v:withSingKind" title="PlutusCore.Builtin">PlutusCore.Builtin</a></td></tr><tr><td class="src">withSpan</td><td class="module"><a href="PlutusCore-Parser.html#v:withSpan" title="PlutusCore.Parser">PlutusCore.Parser</a></td></tr><tr><td class="src">withSpan'</td><td class="module"><a href="PlutusCore-Parser.html#v:withSpan-39-" title="PlutusCore.Parser">PlutusCore.Parser</a></td></tr><tr><td class="src">withTyVar</td><td class="module"><a href="PlutusCore-TypeCheck-Internal.html#v:withTyVar" title="PlutusCore.TypeCheck.Internal">PlutusCore.TypeCheck.Internal</a></td></tr><tr><td class="src">withVar</td><td class="module"><a href="PlutusCore-TypeCheck-Internal.html#v:withVar" title="PlutusCore.TypeCheck.Internal">PlutusCore.TypeCheck.Internal</a></td></tr><tr><td class="src">Word8</td><td class="module"><a href="PlutusPrelude.html#t:Word8" title="PlutusPrelude">PlutusPrelude</a></td></tr><tr><td class="src">wordPos</td><td class="module"><a href="PlutusCore-Parser.html#v:wordPos" title="PlutusCore.Parser">PlutusCore.Parser</a></td></tr></table></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>
diff --git a/plutus-core/html/doc-index.json b/plutus-core/html/doc-index.json
diff --git a/plutus-core/html/objects.inv b/plutus-core/html/objects.inv
diff --git a/plutus-core/html/plutus-core.haddock b/plutus-core/html/plutus-core.haddock