Deploying to gh-pages from @ 157e27a 🚀

IntersectMBO · May 23, 2023 · 74ca1a4 · 74ca1a4
1 parent c479783
commit 74ca1a4
Show file tree

Hide file tree

Showing 433 changed files with 158,051 additions and 158,010 deletions.
diff --git a/master/doc-index-All.html b/master/doc-index-All.html
diff --git a/master/doc-index-M.html b/master/doc-index-M.html
diff --git a/master/doc-index.json b/master/doc-index.json
@@ -213750,11 +213750,17 @@
     "link": "plutus-core/html/PlutusCore-MkPlc.html#v:mkIterTyLam"
   },
   {
-    "display_html": "<a href=\"#v:mkIterApp\">mkIterApp</a> :: <a href=\"PlutusCore-MkPlc.html#t:TermLike\" title=\"PlutusCore.MkPlc\">TermLike</a> term tyname name uni fun =&gt; ann -&gt; term ann -&gt; [term ann] -&gt; term ann",
+    "display_html": "<a href=\"#v:mkIterApp\">mkIterApp</a> :: <a href=\"PlutusCore-MkPlc.html#t:TermLike\" title=\"PlutusCore.MkPlc\">TermLike</a> term tyname name uni fun =&gt; term ann -&gt; [(ann, term ann)] -&gt; term ann",
     "name": "mkIterApp",
     "module": "PlutusCore.MkPlc",
     "link": "plutus-core/html/PlutusCore-MkPlc.html#v:mkIterApp"
   },
+  {
+    "display_html": "<a href=\"#v:mkIterAppNoAnn\">mkIterAppNoAnn</a> :: <a href=\"PlutusCore-MkPlc.html#t:TermLike\" title=\"PlutusCore.MkPlc\">TermLike</a> term tyname name uni fun =&gt; term () -&gt; [term ()] -&gt; term ()",
+    "name": "mkIterAppNoAnn",
+    "module": "PlutusCore.MkPlc",
+    "link": "plutus-core/html/PlutusCore-MkPlc.html#v:mkIterAppNoAnn"
+  },
   {
     "display_html": "<a href=\"#v:mkIterTyFun\">mkIterTyFun</a> :: ann -&gt; [<a href=\"PlutusCore-Core.html#t:Type\" title=\"PlutusCore.Core\">Type</a> tyname uni ann] -&gt; <a href=\"PlutusCore-Core.html#t:Type\" title=\"PlutusCore.Core\">Type</a> tyname uni ann -&gt; <a href=\"PlutusCore-Core.html#t:Type\" title=\"PlutusCore.Core\">Type</a> tyname uni ann",
     "name": "mkIterTyFun",
@@ -213768,23 +213774,35 @@
     "link": "plutus-core/html/PlutusCore-MkPlc.html#v:mkIterLamAbs"
   },
   {
-    "display_html": "<a href=\"#v:mkIterInst\">mkIterInst</a> :: <a href=\"PlutusCore-MkPlc.html#t:TermLike\" title=\"PlutusCore.MkPlc\">TermLike</a> term tyname name uni fun =&gt; ann -&gt; term ann -&gt; [<a href=\"PlutusCore-Core.html#t:Type\" title=\"PlutusCore.Core\">Type</a> tyname uni ann] -&gt; term ann",
+    "display_html": "<a href=\"#v:mkIterInst\">mkIterInst</a> :: <a href=\"PlutusCore-MkPlc.html#t:TermLike\" title=\"PlutusCore.MkPlc\">TermLike</a> term tyname name uni fun =&gt; term ann -&gt; [(ann, <a href=\"PlutusCore-Core.html#t:Type\" title=\"PlutusCore.Core\">Type</a> tyname uni ann)] -&gt; term ann",
     "name": "mkIterInst",
     "module": "PlutusCore.MkPlc",
     "link": "plutus-core/html/PlutusCore-MkPlc.html#v:mkIterInst"
   },
+  {
+    "display_html": "<a href=\"#v:mkIterInstNoAnn\">mkIterInstNoAnn</a> :: <a href=\"PlutusCore-MkPlc.html#t:TermLike\" title=\"PlutusCore.MkPlc\">TermLike</a> term tyname name uni fun =&gt; term () -&gt; [<a href=\"PlutusCore-Core.html#t:Type\" title=\"PlutusCore.Core\">Type</a> tyname uni ()] -&gt; term ()",
+    "name": "mkIterInstNoAnn",
+    "module": "PlutusCore.MkPlc",
+    "link": "plutus-core/html/PlutusCore-MkPlc.html#v:mkIterInstNoAnn"
+  },
   {
     "display_html": "<a href=\"#v:mkIterTyAbs\">mkIterTyAbs</a> :: <a href=\"PlutusCore-MkPlc.html#t:TermLike\" title=\"PlutusCore.MkPlc\">TermLike</a> term tyname name uni fun =&gt; [<a href=\"PlutusCore-MkPlc.html#t:TyVarDecl\" title=\"PlutusCore.MkPlc\">TyVarDecl</a> tyname ann] -&gt; term ann -&gt; term ann",
     "name": "mkIterTyAbs",
     "module": "PlutusCore.MkPlc",
     "link": "plutus-core/html/PlutusCore-MkPlc.html#v:mkIterTyAbs"
   },
   {
-    "display_html": "<a href=\"#v:mkIterTyApp\">mkIterTyApp</a> :: ann -&gt; <a href=\"PlutusCore-Core.html#t:Type\" title=\"PlutusCore.Core\">Type</a> tyname uni ann -&gt; [<a href=\"PlutusCore-Core.html#t:Type\" title=\"PlutusCore.Core\">Type</a> tyname uni ann] -&gt; <a href=\"PlutusCore-Core.html#t:Type\" title=\"PlutusCore.Core\">Type</a> tyname uni ann",
+    "display_html": "<a href=\"#v:mkIterTyApp\">mkIterTyApp</a> :: <a href=\"PlutusCore-Core.html#t:Type\" title=\"PlutusCore.Core\">Type</a> tyname uni ann -&gt; [(ann, <a href=\"PlutusCore-Core.html#t:Type\" title=\"PlutusCore.Core\">Type</a> tyname uni ann)] -&gt; <a href=\"PlutusCore-Core.html#t:Type\" title=\"PlutusCore.Core\">Type</a> tyname uni ann",
     "name": "mkIterTyApp",
     "module": "PlutusCore.MkPlc",
     "link": "plutus-core/html/PlutusCore-MkPlc.html#v:mkIterTyApp"
   },
+  {
+    "display_html": "<a href=\"#v:mkIterTyAppNoAnn\">mkIterTyAppNoAnn</a> :: <a href=\"PlutusCore-Core.html#t:Type\" title=\"PlutusCore.Core\">Type</a> tyname uni () -&gt; [<a href=\"PlutusCore-Core.html#t:Type\" title=\"PlutusCore.Core\">Type</a> tyname uni ()] -&gt; <a href=\"PlutusCore-Core.html#t:Type\" title=\"PlutusCore.Core\">Type</a> tyname uni ()",
+    "name": "mkIterTyAppNoAnn",
+    "module": "PlutusCore.MkPlc",
+    "link": "plutus-core/html/PlutusCore-MkPlc.html#v:mkIterTyAppNoAnn"
+  },
   {
     "display_html": "<a href=\"#v:mkIterKindArrow\">mkIterKindArrow</a> :: ann -&gt; [<a href=\"PlutusCore-Core.html#t:Kind\" title=\"PlutusCore.Core\">Kind</a> ann] -&gt; <a href=\"PlutusCore-Core.html#t:Kind\" title=\"PlutusCore.Core\">Kind</a> ann -&gt; <a href=\"PlutusCore-Core.html#t:Kind\" title=\"PlutusCore.Core\">Kind</a> ann",
     "name": "mkIterKindArrow",