Update gh-pages

Store path: /nix/store/hdibj4ga2kivvvfbqsxhh0w8xcdx9f5l-combined-docs

haddock/doc-index.json

@@ -235043,6 +235043,12 @@
     "module": "Plutarch.Internal.Term",
     "link": "plutarch/html/Plutarch-Internal-Term.html#t:Config"
   },
+  {
+    "display_html": "<span class=\"keyword\">newtype</span> <a href=\"#t:InternalConfig\">InternalConfig</a> = <a href=\"#v:InternalConfig\">InternalConfig</a> {<ul class=\"subs\"><li><a href=\"#v:internalConfig-39-dataRecPMatchOptimization\">internalConfig'dataRecPMatchOptimization</a> :: <a href=\"file:///nix/store/mgiv4pnzlw7qy8y32dnrab704q6rbm9i-ghc-9.6.6-doc/share/doc/ghc-9.6.6/html/libraries/base-4.18.2.1/Data-Bool.html#t:Bool\" title=\"Data.Bool\">Bool</a></li></ul>}",
+    "name": "InternalConfig InternalConfig $sel:internalConfig'dataRecPMatchOptimization:InternalConfig",
+    "module": "Plutarch.Internal.Term",
+    "link": "plutarch/html/Plutarch-Internal-Term.html#t:InternalConfig"
+  },
   {
     "display_html": "<span class=\"keyword\">data</span> <a href=\"#t:TracingMode\">TracingMode</a><ul class=\"subs\"><li>= <a href=\"#v:DetTracing\">DetTracing</a></li><li>| <a href=\"#v:DoTracing\">DoTracing</a></li><li>| <a href=\"#v:DoTracingAndBinds\">DoTracingAndBinds</a></li></ul>",
     "name": "TracingMode DoTracing DoTracingAndBinds DetTracing",
@@ -235074,7 +235080,19 @@
     "link": "plutarch/html/Plutarch-Internal-Term.html#v:pgetConfig"
   },
   {
-    "display_html": "<span class=\"keyword\">newtype</span> <a href=\"#t:TermMonad\">TermMonad</a> m = <a href=\"#v:TermMonad\">TermMonad</a> {<ul class=\"subs\"><li><a href=\"#v:runTermMonad\">runTermMonad</a> :: <a href=\"file:///nix/store/mgiv4pnzlw7qy8y32dnrab704q6rbm9i-ghc-9.6.6-doc/share/doc/ghc-9.6.6/html/libraries/mtl-2.3.1/Control-Monad-Reader.html#t:ReaderT\" title=\"Control.Monad.Reader\">ReaderT</a> <a href=\"Plutarch-Internal-Term.html#t:Config\" title=\"Plutarch.Internal.Term\">Config</a> (<a href=\"file:///nix/store/mgiv4pnzlw7qy8y32dnrab704q6rbm9i-ghc-9.6.6-doc/share/doc/ghc-9.6.6/html/libraries/base-4.18.2.1/Data-Either.html#t:Either\" title=\"Data.Either\">Either</a> <a href=\"file:///nix/store/mgiv4pnzlw7qy8y32dnrab704q6rbm9i-ghc-9.6.6-doc/share/doc/ghc-9.6.6/html/libraries/text-2.0.2/Data-Text.html#t:Text\" title=\"Data.Text\">Text</a>) m</li></ul>}",
+    "display_html": "<a href=\"#v:pgetInternalConfig\">pgetInternalConfig</a> :: (<a href=\"Plutarch-Internal-Term.html#t:InternalConfig\" title=\"Plutarch.Internal.Term\">InternalConfig</a> -&gt; <a href=\"Plutarch-Internal-Term.html#t:Term\" title=\"Plutarch.Internal.Term\">Term</a> s a) -&gt; <a href=\"Plutarch-Internal-Term.html#t:Term\" title=\"Plutarch.Internal.Term\">Term</a> s a",
+    "name": "pgetInternalConfig",
+    "module": "Plutarch.Internal.Term",
+    "link": "plutarch/html/Plutarch-Internal-Term.html#v:pgetInternalConfig"
+  },
+  {
+    "display_html": "<a href=\"#v:pwithInternalConfig\">pwithInternalConfig</a> :: <a href=\"Plutarch-Internal-Term.html#t:InternalConfig\" title=\"Plutarch.Internal.Term\">InternalConfig</a> -&gt; <a href=\"Plutarch-Internal-Term.html#t:Term\" title=\"Plutarch.Internal.Term\">Term</a> s a -&gt; <a href=\"Plutarch-Internal-Term.html#t:Term\" title=\"Plutarch.Internal.Term\">Term</a> s a",
+    "name": "pwithInternalConfig",
+    "module": "Plutarch.Internal.Term",
+    "link": "plutarch/html/Plutarch-Internal-Term.html#v:pwithInternalConfig"
+  },
+  {
+    "display_html": "<span class=\"keyword\">newtype</span> <a href=\"#t:TermMonad\">TermMonad</a> m = <a href=\"#v:TermMonad\">TermMonad</a> {<ul class=\"subs\"><li><a href=\"#v:runTermMonad\">runTermMonad</a> :: <a href=\"file:///nix/store/mgiv4pnzlw7qy8y32dnrab704q6rbm9i-ghc-9.6.6-doc/share/doc/ghc-9.6.6/html/libraries/mtl-2.3.1/Control-Monad-Reader.html#t:ReaderT\" title=\"Control.Monad.Reader\">ReaderT</a> (<a href=\"Plutarch-Internal-Term.html#t:InternalConfig\" title=\"Plutarch.Internal.Term\">InternalConfig</a>, <a href=\"Plutarch-Internal-Term.html#t:Config\" title=\"Plutarch.Internal.Term\">Config</a>) (<a href=\"file:///nix/store/mgiv4pnzlw7qy8y32dnrab704q6rbm9i-ghc-9.6.6-doc/share/doc/ghc-9.6.6/html/libraries/base-4.18.2.1/Data-Either.html#t:Either\" title=\"Data.Either\">Either</a> <a href=\"file:///nix/store/mgiv4pnzlw7qy8y32dnrab704q6rbm9i-ghc-9.6.6-doc/share/doc/ghc-9.6.6/html/libraries/text-2.0.2/Data-Text.html#t:Text\" title=\"Data.Text\">Text</a>) m</li></ul>}",
     "name": "TermMonad TermMonad $sel:runTermMonad:TermMonad",
     "module": "Plutarch.Internal.Term",
     "link": "plutarch/html/Plutarch-Internal-Term.html#t:TermMonad"

haddock/plutarch-ledger-api/html/src/Plutarch.LedgerApi.V1.Address.html

@@ -14,16 +14,16 @@
 </span><span id="line-14"></span><span class="hs-keyword">import</span><span> </span><span class="annot"><span class="hs-identifier">PlutusLedgerApi.V1</span></span><span> </span><span class="hs-keyword">qualified</span><span> </span><span class="hs-keyword">as</span><span> </span><span class="annot"><span class="hs-identifier">Plutus</span></span><span>
 </span><span id="line-15"></span><span>
 </span><span id="line-16"></span><span class="annot"><span class="hs-comment">-- | @since 2.0.0</span></span><span>
-</span><span id="line-17"></span><span class="hs-keyword">data</span><span> </span><span id="PAddress"><span class="annot"><a href="Plutarch.LedgerApi.V1.Address.html#PAddress"><span class="hs-identifier hs-var">PAddress</span></a></span></span><span> </span><span class="hs-special">(</span><span id="local-6989586621679323295"><span class="annot"><a href="#local-6989586621679323295"><span class="hs-identifier hs-type">s</span></a></span></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><span class="hs-identifier hs-type">S</span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span id="PAddress"><span class="annot"><a href="Plutarch.LedgerApi.V1.Address.html#PAddress"><span class="hs-identifier hs-var">PAddress</span></a></span></span><span>
+</span><span id="line-17"></span><span class="hs-keyword">data</span><span> </span><span id="PAddress"><span class="annot"><a href="Plutarch.LedgerApi.V1.Address.html#PAddress"><span class="hs-identifier hs-var">PAddress</span></a></span></span><span> </span><span class="hs-special">(</span><span id="local-6989586621679323320"><span class="annot"><a href="#local-6989586621679323320"><span class="hs-identifier hs-type">s</span></a></span></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><span class="hs-identifier hs-type">S</span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span id="PAddress"><span class="annot"><a href="Plutarch.LedgerApi.V1.Address.html#PAddress"><span class="hs-identifier hs-var">PAddress</span></a></span></span><span>
 </span><span id="line-18"></span><span>  </span><span class="hs-special">{</span><span> </span><span id="%24sel%3Apaddress%27credential%3APAddress"><span class="annot"><span class="annottext">forall (s :: S). PAddress s -&gt; Term s PCredential
-</span><a href="Plutarch.LedgerApi.V1.Address.html#%24sel%3Apaddress%27credential%3APAddress"><span class="hs-identifier hs-var hs-var">paddress'credential</span></a></span></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><span class="hs-identifier hs-type">Term</span></span><span> </span><span class="annot"><a href="#local-6989586621679323295"><span class="hs-identifier hs-type">s</span></a></span><span> </span><span class="annot"><a href="Plutarch.LedgerApi.V1.Credential.html#PCredential"><span class="hs-identifier hs-type">PCredential</span></a></span><span>
+</span><a href="Plutarch.LedgerApi.V1.Address.html#%24sel%3Apaddress%27credential%3APAddress"><span class="hs-identifier hs-var hs-var">paddress'credential</span></a></span></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><span class="hs-identifier hs-type">Term</span></span><span> </span><span class="annot"><a href="#local-6989586621679323320"><span class="hs-identifier hs-type">s</span></a></span><span> </span><span class="annot"><a href="Plutarch.LedgerApi.V1.Credential.html#PCredential"><span class="hs-identifier hs-type">PCredential</span></a></span><span>
 </span><span id="line-19"></span><span>  </span><span class="hs-special">,</span><span> </span><span id="%24sel%3Apaddress%27stakingCredential%3APAddress"><span class="annot"><span class="annottext">forall (s :: S).
 PAddress s -&gt; Term s (PMaybeData PStakingCredential)
-</span><a href="Plutarch.LedgerApi.V1.Address.html#%24sel%3Apaddress%27stakingCredential%3APAddress"><span class="hs-identifier hs-var hs-var">paddress'stakingCredential</span></a></span></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><span class="hs-identifier hs-type">Term</span></span><span> </span><span class="annot"><a href="#local-6989586621679323295"><span class="hs-identifier hs-type">s</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Plutarch.LedgerApi.Utils.html#PMaybeData"><span class="hs-identifier hs-type">PMaybeData</span></a></span><span> </span><span class="annot"><a href="Plutarch.LedgerApi.V1.Credential.html#PStakingCredential"><span class="hs-identifier hs-type">PStakingCredential</span></a></span><span class="hs-special">)</span><span>
+</span><a href="Plutarch.LedgerApi.V1.Address.html#%24sel%3Apaddress%27stakingCredential%3APAddress"><span class="hs-identifier hs-var hs-var">paddress'stakingCredential</span></a></span></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><span class="hs-identifier hs-type">Term</span></span><span> </span><span class="annot"><a href="#local-6989586621679323320"><span class="hs-identifier hs-type">s</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Plutarch.LedgerApi.Utils.html#PMaybeData"><span class="hs-identifier hs-type">PMaybeData</span></a></span><span> </span><span class="annot"><a href="Plutarch.LedgerApi.V1.Credential.html#PStakingCredential"><span class="hs-identifier hs-type">PStakingCredential</span></a></span><span class="hs-special">)</span><span>
 </span><span id="line-20"></span><span>  </span><span class="hs-special">}</span><span>
 </span><span id="line-21"></span><span>  </span><span class="hs-keyword">deriving</span><span> </span><span class="annot"><span class="hs-keyword">stock</span></span><span>
 </span><span id="line-22"></span><span>    </span><span class="hs-special">(</span><span> </span><span class="annot"><span class="hs-comment">-- | @since 2.0.0</span></span><span>
-</span><span id="line-23"></span><span>      </span><span id="local-6989586621679323430"><span id="local-6989586621679323432"><span class="annot"><span class="annottext">(forall x. PAddress s -&gt; Rep (PAddress s) x)
+</span><span id="line-23"></span><span>      </span><span id="local-6989586621679323455"><span id="local-6989586621679323457"><span class="annot"><span class="annottext">(forall x. PAddress s -&gt; Rep (PAddress s) x)
 -&gt; (forall x. Rep (PAddress s) x -&gt; PAddress s)
 -&gt; Generic (PAddress s)
 forall x. Rep (PAddress s) x -&gt; PAddress s
@@ -40,7 +40,7 @@
 </span><span id="line-24"></span><span>    </span><span class="hs-special">)</span><span>
 </span><span id="line-25"></span><span>  </span><span class="hs-keyword">deriving</span><span> </span><span class="annot"><span class="hs-keyword">anyclass</span></span><span>
 </span><span id="line-26"></span><span>    </span><span class="hs-special">(</span><span> </span><span class="annot"><span class="hs-comment">-- | @since 3.3.0</span></span><span>
-</span><span id="line-27"></span><span>      </span><span id="local-6989586621679323439"><span id="local-6989586621679323448"><span class="annot"><span class="annottext">All SListI (Code (PAddress s))
+</span><span id="line-27"></span><span>      </span><span id="local-6989586621679323464"><span id="local-6989586621679323473"><span class="annot"><span class="annottext">All SListI (Code (PAddress s))
 All SListI (Code (PAddress s)) =&gt;
 (PAddress s -&gt; Rep (PAddress s))
 -&gt; (Rep (PAddress s) -&gt; PAddress s) -&gt; Generic (PAddress s)
@@ -58,7 +58,7 @@
 to :: Rep (PAddress s) -&gt; PAddress s
 </span><span class="hs-identifier hs-var hs-var hs-var hs-var hs-var hs-var hs-var">SOP.Generic</span></span></span></span><span>
 </span><span id="line-28"></span><span>    </span><span class="hs-special">,</span><span> </span><span class="annot"><span class="hs-comment">-- | @since 2.0.0</span></span><span>
-</span><span id="line-29"></span><span>      </span><span id="local-6989586621679323488"><span id="local-6989586621679323494"><span class="annot"><span class="annottext">(forall (s :: S). Term s (PAsData PAddress) -&gt; Term s PAddress)
+</span><span id="line-29"></span><span>      </span><span id="local-6989586621679323513"><span id="local-6989586621679323519"><span class="annot"><span class="annottext">(forall (s :: S). Term s (PAsData PAddress) -&gt; Term s PAddress)
 -&gt; (forall (s :: S). Term s PAddress -&gt; Term s PData)
 -&gt; PIsData PAddress
 forall (s :: S). Term s (PAsData PAddress) -&gt; Term s PAddress
@@ -72,7 +72,7 @@
 pdataImpl :: forall (s :: S). Term s PAddress -&gt; Term s PData
 </span><span class="hs-identifier hs-var hs-var hs-var hs-var hs-var hs-var">PIsData</span></span></span></span><span>
 </span><span id="line-30"></span><span>    </span><span class="hs-special">,</span><span> </span><span class="annot"><span class="hs-comment">-- | @since 2.0.0</span></span><span>
-</span><span id="line-31"></span><span>      </span><span id="local-6989586621679323501"><span class="annot"><span class="annottext">(forall (s :: S).
+</span><span id="line-31"></span><span>      </span><span id="local-6989586621679323526"><span class="annot"><span class="annottext">(forall (s :: S).
  Term s PAddress -&gt; Term s PAddress -&gt; Term s PBool)
 -&gt; PEq PAddress
 forall (s :: S). Term s PAddress -&gt; Term s PAddress -&gt; Term s PBool
@@ -85,7 +85,7 @@
 </span><span id="line-33"></span><span>      </span><span class="hs-comment">--   POrd</span><span>
 </span><span id="line-34"></span><span>
 </span><span id="line-35"></span><span>      </span><span class="annot"><span class="hs-comment">-- | @since 2.0.0</span></span><span>
-</span><span id="line-36"></span><span>      </span><span id="local-6989586621679323521"><span class="annot"><span class="annottext">(forall (s :: S). Bool -&gt; Term s PAddress -&gt; Term s PString)
+</span><span id="line-36"></span><span>      </span><span id="local-6989586621679323546"><span class="annot"><span class="annottext">(forall (s :: S). Bool -&gt; Term s PAddress -&gt; Term s PString)
 -&gt; PShow PAddress
 forall (s :: S). Bool -&gt; Term s PAddress -&gt; Term s PString
 forall (t :: S -&gt; Type).
@@ -96,7 +96,7 @@
 </span><span id="line-37"></span><span>    </span><span class="hs-special">)</span><span>
 </span><span id="line-38"></span><span>  </span><span class="hs-keyword">deriving</span><span>
 </span><span id="line-39"></span><span>    </span><span class="hs-special">(</span><span> </span><span class="annot"><span class="hs-comment">-- | @since 3.3.0</span></span><span>
-</span><span id="line-40"></span><span>      </span><span id="local-6989586621679323543"><span id="local-6989586621679323554"><span class="annot"><span class="annottext">(forall (s :: S). PAddress s -&gt; Term s (PInner PAddress))
+</span><span id="line-40"></span><span>      </span><span id="local-6989586621679323568"><span id="local-6989586621679323579"><span class="annot"><span class="annottext">(forall (s :: S). PAddress s -&gt; Term s (PInner PAddress))
 -&gt; (forall (s :: S) (b :: S -&gt; Type).
     Term s (PInner PAddress) -&gt; (PAddress s -&gt; Term s b) -&gt; Term s b)
 -&gt; PlutusType PAddress
@@ -119,7 +119,7 @@
 </span><span id="line-42"></span><span>    </span><span class="hs-keyword">via</span><span> </span><span class="hs-special">(</span><span class="annot"><span class="hs-identifier hs-type">DeriveAsDataStruct</span></span><span> </span><span class="annot"><a href="Plutarch.LedgerApi.V1.Address.html#PAddress"><span class="hs-identifier hs-type">PAddress</span></a></span><span class="hs-special">)</span><span>
 </span><span id="line-43"></span><span>
 </span><span id="line-44"></span><span class="annot"><span class="hs-comment">-- | @since 3.3.0</span></span><span>
-</span><span id="line-45"></span><span id="local-6989586621679323608"><span id="local-6989586621679323618"><span id="local-6989586621679323627"><span id="local-6989586621679323636"><span class="hs-keyword">deriving</span><span> </span><span class="hs-keyword">via</span><span>
+</span><span id="line-45"></span><span id="local-6989586621679323633"><span id="local-6989586621679323643"><span id="local-6989586621679323652"><span id="local-6989586621679323661"><span class="hs-keyword">deriving</span><span> </span><span class="hs-keyword">via</span><span>
 </span><span id="line-46"></span><span>  </span><span class="annot"><span class="hs-identifier hs-type">DeriveDataPLiftable</span></span><span> </span><span class="annot"><a href="Plutarch.LedgerApi.V1.Address.html#PAddress"><span class="hs-identifier hs-type">PAddress</span></a></span><span> </span><span class="annot"><span class="hs-identifier hs-type">Plutus.Address</span></span><span>
 </span><span id="line-47"></span><span>  </span><span class="hs-keyword">instance</span><span>
 </span><span id="line-48"></span><span>    </span><span class="annot"><span class="hs-identifier hs-type">PLiftable</span></span><span> </span><span class="annot"><a href="Plutarch.LedgerApi.V1.Address.html#PAddress"><span class="hs-identifier hs-type">PAddress</span></a></span></span></span></span></span><span>