Update gh-pages

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

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

@@ -12,10 +12,10 @@
 </span><span id="line-12"></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-13"></span><span>
 </span><span id="line-14"></span><span class="annot"><span class="hs-comment">-- | @since 2.0.0</span></span><span>
-</span><span id="line-15"></span><span class="hs-keyword">newtype</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-6989586621679288005"><span class="annot"><a href="#local-6989586621679288005"><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 id="line-15"></span><span class="hs-keyword">newtype</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-6989586621679288025"><span class="annot"><a href="#local-6989586621679288025"><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 id="line-16"></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>      </span><span class="hs-special">(</span><span> </span><span class="annot"><span class="hs-identifier hs-type">Term</span></span><span>
-</span><span id="line-18"></span><span>          </span><span class="annot"><a href="#local-6989586621679288005"><span class="hs-identifier hs-type">s</span></a></span><span>
+</span><span id="line-18"></span><span>          </span><span class="annot"><a href="#local-6989586621679288025"><span class="hs-identifier hs-type">s</span></a></span><span>
 </span><span id="line-19"></span><span>          </span><span class="hs-special">(</span><span> </span><span class="annot"><span class="hs-identifier hs-type">PDataRecord</span></span><span>
 </span><span id="line-20"></span><span>              </span><span class="hs-special">'</span><span class="hs-special">[</span><span> </span><span class="annot"><span class="hs-string">&quot;credential&quot;</span></span><span> </span><span class="hs-special">'</span><span class="hs-operator">:=</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-21"></span><span>               </span><span class="hs-special">,</span><span> </span><span class="annot"><span class="hs-string">&quot;stakingCredential&quot;</span></span><span> </span><span class="hs-special">'</span><span class="hs-operator">:=</span><span> </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>
@@ -24,7 +24,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">stock</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 2.0.0</span></span><span>
-</span><span id="line-27"></span><span>      </span><span id="local-6989586621679288008"><span id="local-6989586621679288010"><span class="annot"><span class="annottext">(forall x. PAddress s -&gt; Rep (PAddress s) x)
+</span><span id="line-27"></span><span>      </span><span id="local-6989586621679288028"><span id="local-6989586621679288030"><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
@@ -41,7 +41,7 @@
 </span><span id="line-28"></span><span>    </span><span class="hs-special">)</span><span>
 </span><span id="line-29"></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-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-6989586621679288014"><span id="local-6989586621679288020"><span class="annot"><span class="annottext">(forall (s :: S). PAddress s -&gt; Term s (PInner PAddress))
+</span><span id="line-31"></span><span>      </span><span id="local-6989586621679288034"><span id="local-6989586621679288040"><span class="annot"><span class="annottext">(forall (s :: S). PAddress s -&gt; Term s (PInner PAddress))
 -&gt; (forall (s :: S) (b :: PType).
     Term s (PInner PAddress) -&gt; (PAddress s -&gt; Term s b) -&gt; Term s b)
 -&gt; PlutusType PAddress
@@ -61,7 +61,7 @@
 Term s (PInner PAddress) -&gt; (PAddress s -&gt; Term s b) -&gt; Term s b
 </span><span class="hs-identifier hs-var hs-var hs-var hs-var hs-var hs-var">PlutusType</span></span></span></span><span>
 </span><span id="line-32"></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-33"></span><span>      </span><span id="local-6989586621679288025"><span id="local-6989586621679288031"><span class="annot"><span class="annottext">(forall (s :: S). Term s (PAsData PAddress) -&gt; Term s PAddress)
+</span><span id="line-33"></span><span>      </span><span id="local-6989586621679288045"><span id="local-6989586621679288051"><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
@@ -75,7 +75,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-34"></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-35"></span><span>      </span><span id="local-6989586621679288038"><span class="annot"><span class="annottext">(forall (s :: S).
+</span><span id="line-35"></span><span>      </span><span id="local-6989586621679288058"><span class="annot"><span class="annottext">(forall (s :: S).
  Term s PAddress -&gt; Term s (PDataRecord (PFields PAddress)))
 -&gt; PDataFields PAddress
 forall (s :: S).
@@ -89,7 +89,7 @@
 Term s PAddress -&gt; Term s (PDataRecord (PFields PAddress))
 </span><span class="hs-identifier hs-var hs-var hs-var hs-var">PDataFields</span></span></span><span>
 </span><span id="line-36"></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-37"></span><span>      </span><span id="local-6989586621679288048"><span class="annot"><span class="annottext">(forall (s :: S).
+</span><span id="line-37"></span><span>      </span><span id="local-6989586621679288068"><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
@@ -99,7 +99,7 @@
 #== :: forall (s :: S). Term s PAddress -&gt; Term s PAddress -&gt; Term s PBool
 </span><span class="hs-identifier hs-var hs-var hs-var hs-var">PEq</span></span></span><span>
 </span><span id="line-38"></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-39"></span><span>      </span><span id="local-6989586621679288068"><span id="local-6989586621679288074"><span id="local-6989586621679288079"><span id="local-6989586621679288082"><span class="annot"><span class="annottext">PEq PAddress
+</span><span id="line-39"></span><span>      </span><span id="local-6989586621679288088"><span id="local-6989586621679288094"><span id="local-6989586621679288099"><span id="local-6989586621679288102"><span class="annot"><span class="annottext">PEq PAddress
 PEq PAddress =&gt;
 (forall (s :: S).
  Term s PAddress -&gt; Term s PAddress -&gt; Term s PBool)
@@ -134,7 +134,7 @@
 Term s PAddress -&gt; Term s PAddress -&gt; Term s PAddress
 </span><span class="hs-identifier hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var">POrd</span></span></span></span></span></span><span>
 </span><span id="line-40"></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-41"></span><span>      </span><span id="local-6989586621679288120"><span class="annot"><span class="annottext">(forall (s :: S). Bool -&gt; Term s PAddress -&gt; Term s PString)
+</span><span id="line-41"></span><span>      </span><span id="local-6989586621679288140"><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 :: PType).
@@ -143,19 +143,19 @@
 pshow' :: forall (s :: S). Bool -&gt; Term s PAddress -&gt; Term s PString
 </span><span class="hs-identifier hs-var hs-var hs-var hs-var">PShow</span></span></span><span>
 </span><span id="line-42"></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-43"></span><span>      </span><span id="local-6989586621679288157"><span class="annot"><span class="hs-identifier hs-type">PTryFrom</span></span><span> </span><span class="annot"><span class="hs-identifier hs-type">PData</span></span></span><span>
+</span><span id="line-43"></span><span>      </span><span id="local-6989586621679288177"><span class="annot"><span class="hs-identifier hs-type">PTryFrom</span></span><span> </span><span class="annot"><span class="hs-identifier hs-type">PData</span></span></span><span>
 </span><span id="line-44"></span><span>    </span><span class="hs-special">)</span><span>
 </span><span id="line-45"></span><span>
 </span><span id="line-46"></span><span class="annot"><span class="hs-comment">-- | @since 2.0.0</span></span><span>
 </span><span id="line-47"></span><span class="hs-keyword">instance</span><span> </span><span class="annot"><span class="hs-identifier hs-type">DerivePlutusType</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="hs-keyword">where</span><span>
 </span><span id="line-48"></span><span>  </span><span class="hs-keyword">type</span><span> </span><span id="DPTStrat"><span class="annot"><span class="hs-identifier hs-var">DPTStrat</span></span></span><span> </span><span class="annot"><span class="hs-identifier">_</span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="hs-identifier hs-type">PlutusTypeData</span></span><span>
 </span><span id="line-49"></span><span>
 </span><span id="line-50"></span><span class="annot"><span class="hs-comment">-- | @since WIP</span></span><span>
-</span><span id="line-51"></span><span id="local-6989586621679288222"><span id="local-6989586621679288232"><span id="local-6989586621679288241"><span id="local-6989586621679288250"><span class="hs-keyword">deriving</span><span> </span><span class="hs-keyword">via</span><span>
+</span><span id="line-51"></span><span id="local-6989586621679288242"><span id="local-6989586621679288252"><span id="local-6989586621679288261"><span id="local-6989586621679288270"><span class="hs-keyword">deriving</span><span> </span><span class="hs-keyword">via</span><span>
 </span><span id="line-52"></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-53"></span><span>  </span><span class="hs-keyword">instance</span><span>
 </span><span id="line-54"></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>
 </span><span id="line-55"></span><span>
 </span><span id="line-56"></span><span class="annot"><span class="hs-comment">-- | @since 2.0.0</span></span><span>
-</span><span id="line-57"></span><span class="hs-keyword">instance</span><span> </span><span id="local-6989586621679288278"><span class="annot"><span class="hs-identifier hs-type">PTryFrom</span></span><span> </span><span class="annot"><span class="hs-identifier hs-type">PData</span></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="hs-identifier hs-type">PAsData</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><span id="line-57"></span><span class="hs-keyword">instance</span><span> </span><span id="local-6989586621679288298"><span class="annot"><span class="hs-identifier hs-type">PTryFrom</span></span><span> </span><span class="annot"><span class="hs-identifier hs-type">PData</span></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="hs-identifier hs-type">PAsData</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><span id="line-58"></span></pre></body></html>