Skip to content

Commit

Permalink
Update gh-pages
Browse files Browse the repository at this point in the history
Store path: /nix/store/l2kw490qicn7pmikyz8sqdvp7wi5jy46-combined-docs
  • Loading branch information
hercules-ci[bot] committed Nov 21, 2024
1 parent 89c1c87 commit 8a5a723
Show file tree
Hide file tree
Showing 127 changed files with 17,093 additions and 17,093 deletions.
2,624 changes: 1,312 additions & 1,312 deletions haddock/doc-index.json

Large diffs are not rendered by default.

Binary file modified haddock/ghc-9.6.6/archives/libraries.html.tar.xz
Binary file not shown.
2 changes: 1 addition & 1 deletion haddock/ghc-9.6.6/html/libraries/gen_contents_index
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#!/nix/store/izpf49b74i15pcr9708s3xdwyqs4jxwl-bash-5.2p32/bin/sh
#!/nix/store/717iy55ncqs0wmhdkwc5fg2vci5wbmq8-bash-5.2p32/bin/sh

set -e

Expand Down
2 changes: 1 addition & 1 deletion haddock/plutarch-ledger-api/html/doc-index.json

Large diffs are not rendered by default.

2,648 changes: 1,324 additions & 1,324 deletions haddock/plutarch-ledger-api/html/src/Plutarch.LedgerApi.AssocMap.html

Large diffs are not rendered by default.

1,304 changes: 652 additions & 652 deletions haddock/plutarch-ledger-api/html/src/Plutarch.LedgerApi.Interval.html

Large diffs are not rendered by default.

494 changes: 247 additions & 247 deletions haddock/plutarch-ledger-api/html/src/Plutarch.LedgerApi.Utils.html

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

248 changes: 124 additions & 124 deletions haddock/plutarch-ledger-api/html/src/Plutarch.LedgerApi.V1.Time.html

Large diffs are not rendered by default.

184 changes: 92 additions & 92 deletions haddock/plutarch-ledger-api/html/src/Plutarch.LedgerApi.V1.Tx.html

Large diffs are not rendered by default.

84 changes: 42 additions & 42 deletions haddock/plutarch-ledger-api/html/src/Plutarch.LedgerApi.V1.html

Large diffs are not rendered by default.

46 changes: 23 additions & 23 deletions haddock/plutarch-ledger-api/html/src/Plutarch.LedgerApi.V2.Tx.html

Large diffs are not rendered by default.

66 changes: 33 additions & 33 deletions haddock/plutarch-ledger-api/html/src/Plutarch.LedgerApi.V2.html

Large diffs are not rendered by default.

546 changes: 273 additions & 273 deletions haddock/plutarch-ledger-api/html/src/Plutarch.LedgerApi.V3.Contexts.html

Large diffs are not rendered by default.

92 changes: 46 additions & 46 deletions haddock/plutarch-ledger-api/html/src/Plutarch.LedgerApi.V3.Tx.html

Large diffs are not rendered by default.

138 changes: 69 additions & 69 deletions haddock/plutarch-ledger-api/html/src/Plutarch.LedgerApi.V3.html

Large diffs are not rendered by default.

1,078 changes: 539 additions & 539 deletions haddock/plutarch-ledger-api/html/src/Plutarch.LedgerApi.Value.html

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion haddock/plutarch-orphanage/html/doc-index.json
Original file line number Diff line number Diff line change
@@ -1 +1 @@
[{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:SizedByteString\">SizedByteString</a> (n :: <a href=\"file:///nix/store/xfg283zxrdh31xbsn3s48hvmxc7zqaid-ghc-9.6.6-doc/share/doc/ghc-9.6.6/html/libraries/base-4.18.2.1/Numeric-Natural.html#t:Natural\" title=\"Numeric.Natural\">Natural</a>) <span class=\"keyword\">where</span><ul class=\"subs\"><li><span class=\"keyword\">pattern</span> <a href=\"#v:SizedByteString\">SizedByteString</a> :: <span class=\"keyword\">forall</span> (n :: <a href=\"file:///nix/store/xfg283zxrdh31xbsn3s48hvmxc7zqaid-ghc-9.6.6-doc/share/doc/ghc-9.6.6/html/libraries/base-4.18.2.1/Numeric-Natural.html#t:Natural\" title=\"Numeric.Natural\">Natural</a>). <a href=\"file:///nix/store/xfg283zxrdh31xbsn3s48hvmxc7zqaid-ghc-9.6.6-doc/share/doc/ghc-9.6.6/html/libraries/bytestring-0.11.5.3/Data-ByteString.html#t:ByteString\" title=\"Data.ByteString\">ByteString</a> -&gt; <a href=\"PlutusLedgerApi-QuickCheck-Utils.html#t:SizedByteString\" title=\"PlutusLedgerApi.QuickCheck.Utils\">SizedByteString</a> n</li></ul>","name":"SizedByteString SizedByteString","module":"PlutusLedgerApi.QuickCheck.Utils","link":"PlutusLedgerApi-QuickCheck-Utils.html#t:SizedByteString"},{"display_html":"<a href=\"#v:unSizedByteString\">unSizedByteString</a> :: <span class=\"keyword\">forall</span> (n :: <a href=\"file:///nix/store/xfg283zxrdh31xbsn3s48hvmxc7zqaid-ghc-9.6.6-doc/share/doc/ghc-9.6.6/html/libraries/base-4.18.2.1/Numeric-Natural.html#t:Natural\" title=\"Numeric.Natural\">Natural</a>). <a href=\"PlutusLedgerApi-QuickCheck-Utils.html#t:SizedByteString\" title=\"PlutusLedgerApi.QuickCheck.Utils\">SizedByteString</a> n -&gt; <a href=\"file:///nix/store/xfg283zxrdh31xbsn3s48hvmxc7zqaid-ghc-9.6.6-doc/share/doc/ghc-9.6.6/html/libraries/bytestring-0.11.5.3/Data-ByteString.html#t:ByteString\" title=\"Data.ByteString\">ByteString</a>","name":"unSizedByteString","module":"PlutusLedgerApi.QuickCheck.Utils","link":"PlutusLedgerApi-QuickCheck-Utils.html#v:unSizedByteString"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:AsWord64\">AsWord64</a> <span class=\"keyword\">where</span><ul class=\"subs\"><li><span class=\"keyword\">pattern</span> <a href=\"#v:AsWord64\">AsWord64</a> :: <a href=\"file:///nix/store/xfg283zxrdh31xbsn3s48hvmxc7zqaid-ghc-9.6.6-doc/share/doc/ghc-9.6.6/html/libraries/base-4.18.2.1/Prelude.html#t:Integer\" title=\"Prelude\">Integer</a> -&gt; <a href=\"PlutusLedgerApi-QuickCheck-Utils.html#t:AsWord64\" title=\"PlutusLedgerApi.QuickCheck.Utils\">AsWord64</a></li></ul>","name":"AsWord64 AsWord64","module":"PlutusLedgerApi.QuickCheck.Utils","link":"PlutusLedgerApi-QuickCheck-Utils.html#t:AsWord64"},{"display_html":"<a href=\"#v:fromAsWord64\">fromAsWord64</a> :: <a href=\"PlutusLedgerApi-QuickCheck-Utils.html#t:AsWord64\" title=\"PlutusLedgerApi.QuickCheck.Utils\">AsWord64</a> -&gt; <a href=\"file:///nix/store/xfg283zxrdh31xbsn3s48hvmxc7zqaid-ghc-9.6.6-doc/share/doc/ghc-9.6.6/html/libraries/base-4.18.2.1/Prelude.html#t:Integer\" title=\"Prelude\">Integer</a>","name":"fromAsWord64","module":"PlutusLedgerApi.QuickCheck.Utils","link":"PlutusLedgerApi-QuickCheck-Utils.html#v:fromAsWord64"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:UnsortedAssocMap\">UnsortedAssocMap</a> k v","name":"UnsortedAssocMap","module":"PlutusLedgerApi.V1.Orphans","link":"PlutusLedgerApi-V1-Orphans.html#t:UnsortedAssocMap"},{"display_html":"<a href=\"#v:getUnsortedAssocMap\">getUnsortedAssocMap</a> :: <a href=\"PlutusLedgerApi-V1-Orphans.html#t:UnsortedAssocMap\" title=\"PlutusLedgerApi.V1.Orphans\">UnsortedAssocMap</a> k v -&gt; Map k v","name":"getUnsortedAssocMap","module":"PlutusLedgerApi.V1.Orphans","link":"PlutusLedgerApi-V1-Orphans.html#v:getUnsortedAssocMap"},{"display_html":"<span class=\"keyword\">newtype</span> <a href=\"#t:NonAdaValue\">NonAdaValue</a> = <a href=\"#v:NonAdaValue\">NonAdaValue</a> Value","name":"NonAdaValue NonAdaValue","module":"PlutusLedgerApi.V2.Orphans","link":"PlutusLedgerApi-V2-Orphans.html#t:NonAdaValue"},{"display_html":"<a href=\"#v:getNonAdaValue\">getNonAdaValue</a> :: <a href=\"PlutusLedgerApi-V2-Orphans.html#t:NonAdaValue\" title=\"PlutusLedgerApi.V2.Orphans\">NonAdaValue</a> -&gt; Value","name":"getNonAdaValue","module":"PlutusLedgerApi.V2.Orphans","link":"PlutusLedgerApi-V2-Orphans.html#v:getNonAdaValue"},{"display_html":"<span class=\"keyword\">newtype</span> <a href=\"#t:UTxOValue\">UTxOValue</a> = <a href=\"#v:UTxOValue\">UTxOValue</a> Value","name":"UTxOValue UTxOValue","module":"PlutusLedgerApi.V2.Orphans","link":"PlutusLedgerApi-V2-Orphans.html#t:UTxOValue"},{"display_html":"<a href=\"#v:getUtxoValue\">getUtxoValue</a> :: <a href=\"PlutusLedgerApi-V2-Orphans.html#t:UTxOValue\" title=\"PlutusLedgerApi.V2.Orphans\">UTxOValue</a> -&gt; Value","name":"getUtxoValue","module":"PlutusLedgerApi.V2.Orphans","link":"PlutusLedgerApi-V2-Orphans.html#v:getUtxoValue"},{"display_html":"<span class=\"keyword\">newtype</span> <a href=\"#t:FeeValue\">FeeValue</a> = <a href=\"#v:FeeValue\">FeeValue</a> Value","name":"FeeValue FeeValue","module":"PlutusLedgerApi.V2.Orphans","link":"PlutusLedgerApi-V2-Orphans.html#t:FeeValue"},{"display_html":"<a href=\"#v:getFeeValue\">getFeeValue</a> :: <a href=\"PlutusLedgerApi-V2-Orphans.html#t:FeeValue\" title=\"PlutusLedgerApi.V2.Orphans\">FeeValue</a> -&gt; Value","name":"getFeeValue","module":"PlutusLedgerApi.V2.Orphans","link":"PlutusLedgerApi-V2-Orphans.html#v:getFeeValue"}]
[{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:SizedByteString\">SizedByteString</a> (n :: <a href=\"file:///nix/store/6b4grlnsja5lm7704cn0yw3ljjvzk909-ghc-9.6.6-doc/share/doc/ghc-9.6.6/html/libraries/base-4.18.2.1/Numeric-Natural.html#t:Natural\" title=\"Numeric.Natural\">Natural</a>) <span class=\"keyword\">where</span><ul class=\"subs\"><li><span class=\"keyword\">pattern</span> <a href=\"#v:SizedByteString\">SizedByteString</a> :: <span class=\"keyword\">forall</span> (n :: <a href=\"file:///nix/store/6b4grlnsja5lm7704cn0yw3ljjvzk909-ghc-9.6.6-doc/share/doc/ghc-9.6.6/html/libraries/base-4.18.2.1/Numeric-Natural.html#t:Natural\" title=\"Numeric.Natural\">Natural</a>). <a href=\"file:///nix/store/6b4grlnsja5lm7704cn0yw3ljjvzk909-ghc-9.6.6-doc/share/doc/ghc-9.6.6/html/libraries/bytestring-0.11.5.3/Data-ByteString.html#t:ByteString\" title=\"Data.ByteString\">ByteString</a> -&gt; <a href=\"PlutusLedgerApi-QuickCheck-Utils.html#t:SizedByteString\" title=\"PlutusLedgerApi.QuickCheck.Utils\">SizedByteString</a> n</li></ul>","name":"SizedByteString SizedByteString","module":"PlutusLedgerApi.QuickCheck.Utils","link":"PlutusLedgerApi-QuickCheck-Utils.html#t:SizedByteString"},{"display_html":"<a href=\"#v:unSizedByteString\">unSizedByteString</a> :: <span class=\"keyword\">forall</span> (n :: <a href=\"file:///nix/store/6b4grlnsja5lm7704cn0yw3ljjvzk909-ghc-9.6.6-doc/share/doc/ghc-9.6.6/html/libraries/base-4.18.2.1/Numeric-Natural.html#t:Natural\" title=\"Numeric.Natural\">Natural</a>). <a href=\"PlutusLedgerApi-QuickCheck-Utils.html#t:SizedByteString\" title=\"PlutusLedgerApi.QuickCheck.Utils\">SizedByteString</a> n -&gt; <a href=\"file:///nix/store/6b4grlnsja5lm7704cn0yw3ljjvzk909-ghc-9.6.6-doc/share/doc/ghc-9.6.6/html/libraries/bytestring-0.11.5.3/Data-ByteString.html#t:ByteString\" title=\"Data.ByteString\">ByteString</a>","name":"unSizedByteString","module":"PlutusLedgerApi.QuickCheck.Utils","link":"PlutusLedgerApi-QuickCheck-Utils.html#v:unSizedByteString"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:AsWord64\">AsWord64</a> <span class=\"keyword\">where</span><ul class=\"subs\"><li><span class=\"keyword\">pattern</span> <a href=\"#v:AsWord64\">AsWord64</a> :: <a href=\"file:///nix/store/6b4grlnsja5lm7704cn0yw3ljjvzk909-ghc-9.6.6-doc/share/doc/ghc-9.6.6/html/libraries/base-4.18.2.1/Prelude.html#t:Integer\" title=\"Prelude\">Integer</a> -&gt; <a href=\"PlutusLedgerApi-QuickCheck-Utils.html#t:AsWord64\" title=\"PlutusLedgerApi.QuickCheck.Utils\">AsWord64</a></li></ul>","name":"AsWord64 AsWord64","module":"PlutusLedgerApi.QuickCheck.Utils","link":"PlutusLedgerApi-QuickCheck-Utils.html#t:AsWord64"},{"display_html":"<a href=\"#v:fromAsWord64\">fromAsWord64</a> :: <a href=\"PlutusLedgerApi-QuickCheck-Utils.html#t:AsWord64\" title=\"PlutusLedgerApi.QuickCheck.Utils\">AsWord64</a> -&gt; <a href=\"file:///nix/store/6b4grlnsja5lm7704cn0yw3ljjvzk909-ghc-9.6.6-doc/share/doc/ghc-9.6.6/html/libraries/base-4.18.2.1/Prelude.html#t:Integer\" title=\"Prelude\">Integer</a>","name":"fromAsWord64","module":"PlutusLedgerApi.QuickCheck.Utils","link":"PlutusLedgerApi-QuickCheck-Utils.html#v:fromAsWord64"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:UnsortedAssocMap\">UnsortedAssocMap</a> k v","name":"UnsortedAssocMap","module":"PlutusLedgerApi.V1.Orphans","link":"PlutusLedgerApi-V1-Orphans.html#t:UnsortedAssocMap"},{"display_html":"<a href=\"#v:getUnsortedAssocMap\">getUnsortedAssocMap</a> :: <a href=\"PlutusLedgerApi-V1-Orphans.html#t:UnsortedAssocMap\" title=\"PlutusLedgerApi.V1.Orphans\">UnsortedAssocMap</a> k v -&gt; Map k v","name":"getUnsortedAssocMap","module":"PlutusLedgerApi.V1.Orphans","link":"PlutusLedgerApi-V1-Orphans.html#v:getUnsortedAssocMap"},{"display_html":"<span class=\"keyword\">newtype</span> <a href=\"#t:NonAdaValue\">NonAdaValue</a> = <a href=\"#v:NonAdaValue\">NonAdaValue</a> Value","name":"NonAdaValue NonAdaValue","module":"PlutusLedgerApi.V2.Orphans","link":"PlutusLedgerApi-V2-Orphans.html#t:NonAdaValue"},{"display_html":"<a href=\"#v:getNonAdaValue\">getNonAdaValue</a> :: <a href=\"PlutusLedgerApi-V2-Orphans.html#t:NonAdaValue\" title=\"PlutusLedgerApi.V2.Orphans\">NonAdaValue</a> -&gt; Value","name":"getNonAdaValue","module":"PlutusLedgerApi.V2.Orphans","link":"PlutusLedgerApi-V2-Orphans.html#v:getNonAdaValue"},{"display_html":"<span class=\"keyword\">newtype</span> <a href=\"#t:UTxOValue\">UTxOValue</a> = <a href=\"#v:UTxOValue\">UTxOValue</a> Value","name":"UTxOValue UTxOValue","module":"PlutusLedgerApi.V2.Orphans","link":"PlutusLedgerApi-V2-Orphans.html#t:UTxOValue"},{"display_html":"<a href=\"#v:getUtxoValue\">getUtxoValue</a> :: <a href=\"PlutusLedgerApi-V2-Orphans.html#t:UTxOValue\" title=\"PlutusLedgerApi.V2.Orphans\">UTxOValue</a> -&gt; Value","name":"getUtxoValue","module":"PlutusLedgerApi.V2.Orphans","link":"PlutusLedgerApi-V2-Orphans.html#v:getUtxoValue"},{"display_html":"<span class=\"keyword\">newtype</span> <a href=\"#t:FeeValue\">FeeValue</a> = <a href=\"#v:FeeValue\">FeeValue</a> Value","name":"FeeValue FeeValue","module":"PlutusLedgerApi.V2.Orphans","link":"PlutusLedgerApi-V2-Orphans.html#t:FeeValue"},{"display_html":"<a href=\"#v:getFeeValue\">getFeeValue</a> :: <a href=\"PlutusLedgerApi-V2-Orphans.html#t:FeeValue\" title=\"PlutusLedgerApi.V2.Orphans\">FeeValue</a> -&gt; Value","name":"getFeeValue","module":"PlutusLedgerApi.V2.Orphans","link":"PlutusLedgerApi-V2-Orphans.html#v:getFeeValue"}]
2 changes: 1 addition & 1 deletion haddock/plutarch-testlib/html/doc-index.json

Large diffs are not rendered by default.

Loading

0 comments on commit 8a5a723

Please sign in to comment.