Update gh-pages

Store path: /nix/store/mxn41bfdadyq7pg4r854dicrn7acnf77-combined-docs
Plutonomicon · Nov 29, 2024 · 1d073bf · 1d073bf
1 parent 93a8b23
commit 1d073bf
Show file tree

Hide file tree

Showing 76 changed files with 9,308 additions and 9,127 deletions.
diff --git a/01-index.tar b/01-index.tar
diff --git a/01-index.tar.gz b/01-index.tar.gz
diff --git a/haddock/doc-index-All.html b/haddock/doc-index-All.html
diff --git a/haddock/doc-index-G.html b/haddock/doc-index-G.html
diff --git a/haddock/doc-index-M.html b/haddock/doc-index-M.html
diff --git a/haddock/doc-index-P.html b/haddock/doc-index-P.html
diff --git a/haddock/doc-index-U.html b/haddock/doc-index-U.html
diff --git a/haddock/doc-index.json b/haddock/doc-index.json
@@ -233117,6 +233117,12 @@
     "module": "Plutarch.LedgerApi.Value",
     "link": "plutarch-ledger-api/html/Plutarch-LedgerApi-Value.html#v:passertPositive"
   },
+  {
+    "display_html": "<a href=\"#v:passertNonZero\">passertNonZero</a> :: <span class=\"keyword\">forall</span> (kg :: <a href=\"Plutarch-LedgerApi-AssocMap.html#t:KeyGuarantees\" title=\"Plutarch.LedgerApi.AssocMap\">KeyGuarantees</a>) (ag :: <a href=\"Plutarch-LedgerApi-Value.html#t:AmountGuarantees\" title=\"Plutarch.LedgerApi.Value\">AmountGuarantees</a>). <span class=\"keyword\">forall</span> (s :: S). Term s (<a href=\"Plutarch-LedgerApi-Value.html#t:PValue\" title=\"Plutarch.LedgerApi.Value\">PValue</a> kg ag :--&gt; <a href=\"Plutarch-LedgerApi-Value.html#t:PValue\" title=\"Plutarch.LedgerApi.Value\">PValue</a> kg '<a href=\"Plutarch-LedgerApi-Value.html#v:NonZero\" title=\"Plutarch.LedgerApi.Value\">NonZero</a>)",
+    "name": "passertNonZero",
+    "module": "Plutarch.LedgerApi.Value",
+    "link": "plutarch-ledger-api/html/Plutarch-LedgerApi-Value.html#v:passertNonZero"
+  },
   {
     "display_html": "<a href=\"#v:passertSorted\">passertSorted</a> :: <span class=\"keyword\">forall</span> (anyKey :: <a href=\"Plutarch-LedgerApi-AssocMap.html#t:KeyGuarantees\" title=\"Plutarch.LedgerApi.AssocMap\">KeyGuarantees</a>) (anyAmount :: <a href=\"Plutarch-LedgerApi-Value.html#t:AmountGuarantees\" title=\"Plutarch.LedgerApi.Value\">AmountGuarantees</a>) (s :: S). Term s (<a href=\"Plutarch-LedgerApi-Value.html#t:PValue\" title=\"Plutarch.LedgerApi.Value\">PValue</a> anyKey anyAmount :--&gt; <a href=\"Plutarch-LedgerApi-Value.html#t:PValue\" title=\"Plutarch.LedgerApi.Value\">PValue</a> '<a href=\"Plutarch-LedgerApi-AssocMap.html#v:Sorted\" title=\"Plutarch.LedgerApi.AssocMap\">Sorted</a> '<a href=\"Plutarch-LedgerApi-Value.html#v:NonZero\" title=\"Plutarch.LedgerApi.Value\">NonZero</a>)",
     "name": "passertSorted",
@@ -234173,6 +234179,30 @@
     "module": "PlutusLedgerApi.V1.Orphans",
     "link": "plutarch-orphanage/html/PlutusLedgerApi-V1-Orphans.html#v:getUnsortedAssocMap"
   },
+  {
+    "display_html": "<span class=\"keyword\">data</span> <a href=\"#t:MintValue\">MintValue</a>",
+    "name": "MintValue",
+    "module": "PlutusLedgerApi.V1.Orphans",
+    "link": "plutarch-orphanage/html/PlutusLedgerApi-V1-Orphans.html#t:MintValue"
+  },
+  {
+    "display_html": "<a href=\"#v:getMintValue\">getMintValue</a> :: <a href=\"PlutusLedgerApi-V1-Orphans.html#t:MintValue\" title=\"PlutusLedgerApi.V1.Orphans\">MintValue</a> -&gt; Value",
+    "name": "getMintValue",
+    "module": "PlutusLedgerApi.V1.Orphans",
+    "link": "plutarch-orphanage/html/PlutusLedgerApi-V1-Orphans.html#v:getMintValue"
+  },
+  {
+    "display_html": "<span class=\"keyword\">data</span> <a href=\"#t:UTxOValue\">UTxOValue</a>",
+    "name": "UTxOValue",
+    "module": "PlutusLedgerApi.V1.Orphans",
+    "link": "plutarch-orphanage/html/PlutusLedgerApi-V1-Orphans.html#t:UTxOValue"
+  },
+  {
+    "display_html": "<a href=\"#v:getUtxoValue\">getUtxoValue</a> :: <a href=\"PlutusLedgerApi-V1-Orphans.html#t:UTxOValue\" title=\"PlutusLedgerApi.V1.Orphans\">UTxOValue</a> -&gt; Value",
+    "name": "getUtxoValue",
+    "module": "PlutusLedgerApi.V1.Orphans",
+    "link": "plutarch-orphanage/html/PlutusLedgerApi-V1-Orphans.html#v:getUtxoValue"
+  },
   {
     "display_html": "<span class=\"keyword\">newtype</span> <a href=\"#t:NonAdaValue\">NonAdaValue</a> = <a href=\"#v:NonAdaValue\">NonAdaValue</a> Value",
     "name": "NonAdaValue NonAdaValue",
@@ -234209,6 +234239,18 @@
     "module": "PlutusLedgerApi.V2.Orphans",
     "link": "plutarch-orphanage/html/PlutusLedgerApi-V2-Orphans.html#v:getFeeValue"
   },
+  {
+    "display_html": "<span class=\"keyword\">data</span> <a href=\"#t:MintValue\">MintValue</a>",
+    "name": "MintValue",
+    "module": "PlutusLedgerApi.V3.Orphans",
+    "link": "plutarch-orphanage/html/PlutusLedgerApi-V3-Orphans.html#t:MintValue"
+  },
+  {
+    "display_html": "<a href=\"#v:getMintValue\">getMintValue</a> :: <a href=\"PlutusLedgerApi-V3-Orphans.html#t:MintValue\" title=\"PlutusLedgerApi.V3.Orphans\">MintValue</a> -&gt; Value",
+    "name": "getMintValue",
+    "module": "PlutusLedgerApi.V3.Orphans",
+    "link": "plutarch-orphanage/html/PlutusLedgerApi-V3-Orphans.html#v:getMintValue"
+  },
   {
     "display_html": "<span class=\"keyword\">data</span> <a href=\"#t:BenchConfig\">BenchConfig</a><ul class=\"subs\"><li>= <a href=\"#v:Optimizing\">Optimizing</a></li><li>| <a href=\"#v:NonOptimizing\">NonOptimizing</a> Config</li></ul>",
     "name": "BenchConfig Optimizing NonOptimizing",

diff --git a/haddock/plutarch-ledger-api/html/Plutarch-LedgerApi-V1.html b/haddock/plutarch-ledger-api/html/Plutarch-LedgerApi-V1.html
diff --git a/haddock/plutarch-ledger-api/html/Plutarch-LedgerApi-V2.html b/haddock/plutarch-ledger-api/html/Plutarch-LedgerApi-V2.html
diff --git a/haddock/plutarch-ledger-api/html/Plutarch-LedgerApi-V3.html b/haddock/plutarch-ledger-api/html/Plutarch-LedgerApi-V3.html
diff --git a/haddock/plutarch-ledger-api/html/Plutarch-LedgerApi-Value.html b/haddock/plutarch-ledger-api/html/Plutarch-LedgerApi-Value.html
diff --git a/haddock/plutarch-ledger-api/html/doc-index-All.html b/haddock/plutarch-ledger-api/html/doc-index-All.html
diff --git a/haddock/plutarch-ledger-api/html/doc-index-P.html b/haddock/plutarch-ledger-api/html/doc-index-P.html
diff --git a/haddock/plutarch-ledger-api/html/doc-index.json b/haddock/plutarch-ledger-api/html/doc-index.json
diff --git a/haddock/plutarch-ledger-api/html/plutarch-ledger-api.haddock b/haddock/plutarch-ledger-api/html/plutarch-ledger-api.haddock
diff --git a/haddock/plutarch-ledger-api/html/plutarch-ledger-api.txt b/haddock/plutarch-ledger-api/html/plutarch-ledger-api.txt
@@ -540,6 +540,7 @@ pconstantPositiveSingleton :: forall (s :: S). (forall (s' :: S). Term s' PCurre
 --   same contents and a proof that all amounts in it are positive, or
 --   error.
 passertPositive :: forall (kg :: KeyGuarantees) (ag :: AmountGuarantees) (s :: S). Term s (PValue kg ag :--> PValue kg 'Positive)
+passertNonZero :: forall (kg :: KeyGuarantees) (ag :: AmountGuarantees). forall (s :: S). Term s (PValue kg ag :--> PValue kg 'NonZero)
 
 -- | Assert the value is properly sorted and normalized.
 passertSorted :: forall (anyKey :: KeyGuarantees) (anyAmount :: AmountGuarantees) (s :: S). Term s (PValue anyKey anyAmount :--> PValue 'Sorted 'NonZero)