Skip to content

Commit

Permalink
Update gh-pages
Browse files Browse the repository at this point in the history 
Store path: /nix/store/c216rhm69k6n6vyb0hlg9mjkhr3qvix5-combined-docs
  • Loading branch information
@hercules-ci
hercules-ci[bot] committed Dec 19, 2024
1 parent c221d01 commit 0aaf5b3
Show file tree
Hide file tree
Showing 109 changed files with 13,117 additions and 13,076 deletions.
Binary file modified 01-index.tar
View file
Binary file not shown.
Binary file modified 01-index.tar.gz
View file
Binary file not shown.
2,648 changes: 1,324 additions & 1,324 deletions haddock/plutarch-ledger-api/html/src/Plutarch.LedgerApi.AssocMap.html
View file

Large diffs are not rendered by default.

1,294 changes: 647 additions & 647 deletions haddock/plutarch-ledger-api/html/src/Plutarch.LedgerApi.Interval.html
View file

Large diffs are not rendered by default.

706 changes: 353 additions & 353 deletions haddock/plutarch-ledger-api/html/src/Plutarch.LedgerApi.Utils.html
View file

Large diffs are not rendered by default.

24 changes: 12 additions & 12 deletions haddock/plutarch-ledger-api/html/src/Plutarch.LedgerApi.V1.Address.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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-6989586621679288477"><span class="annot"><a href="#local-6989586621679288477"><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-6989586621679288466"><span class="annot"><a href="#local-6989586621679288466"><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-6989586621679288477"><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-6989586621679288466"><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>
Expand All @@ -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-6989586621679288480"><span id="local-6989586621679288482"><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-6989586621679288469"><span id="local-6989586621679288471"><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
Expand All @@ -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-6989586621679288486"><span id="local-6989586621679288492"><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-6989586621679288475"><span id="local-6989586621679288481"><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
Expand All @@ -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-6989586621679288497"><span id="local-6989586621679288503"><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-6989586621679288486"><span id="local-6989586621679288492"><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
Expand All @@ -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-6989586621679288510"><span class="annot"><span class="annottext">(forall (s :: S).
</span><span id="line-35"></span><span> </span><span id="local-6989586621679288499"><span class="annot"><span class="annottext">(forall (s :: S).
Term s PAddress -&gt; Term s (PDataRecord (PFields PAddress)))
-&gt; PDataFields PAddress
forall (s :: S).
Expand All @@ -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-6989586621679288520"><span class="annot"><span class="annottext">(forall (s :: S).
</span><span id="line-37"></span><span> </span><span id="local-6989586621679288509"><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
Expand All @@ -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-6989586621679288540"><span id="local-6989586621679288546"><span id="local-6989586621679288551"><span id="local-6989586621679288554"><span class="annot"><span class="annottext">PEq PAddress
</span><span id="line-39"></span><span> </span><span id="local-6989586621679288529"><span id="local-6989586621679288535"><span id="local-6989586621679288540"><span id="local-6989586621679288543"><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)
Expand Down Expand Up @@ -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-6989586621679288592"><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-6989586621679288581"><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).
Expand All @@ -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-6989586621679288629"><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-6989586621679288618"><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-6989586621679288694"><span id="local-6989586621679288704"><span id="local-6989586621679288713"><span id="local-6989586621679288722"><span class="hs-keyword">deriving</span><span> </span><span class="hs-keyword">via</span><span>
</span><span id="line-51"></span><span id="local-6989586621679288683"><span id="local-6989586621679288693"><span id="local-6989586621679288702"><span id="local-6989586621679288711"><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-6989586621679288750"><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-6989586621679288739"><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>
Loading

0 comments on commit 0aaf5b3

Please sign in to comment.