Update gh-pages

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

Concepts/GenericProgramming.html

@@ -180,7 +180,8 @@ <h1 class="menu-title"></h1>
 module Plutarch.Docs.PMatch (Tree(..), swap, TreeRepr) where
 import Plutarch.Prelude
 import Plutarch.Internal.PlutusType (PlutusType (pcon', pmatch'))
-import Plutarch.Builtin (pforgetData, pasConstr, pconstrBuiltin)
+import Data.Kind (Type)
+import GHC.Generics (Generic)
 import Plutarch.Unsafe (punsafeCoerce)
 </code></pre>
 </p>

Introduction/PlutarchTerms/PlutarchConstants.html

@@ -205,7 +205,7 @@ <h2 id="static-building-of-constant-terms-with-pconstant"><a class="header" href
 <p>You can also directly create a <a href="./../../Types/PAsData.html"><code>PAsData</code></a> term using <code>pconstantData</code>:</p>
 <pre><code class="language-haskell">-- | A Plutarch level boolean encoded as `Data`.
 xd :: Term s (PAsData PBool)
-xd = pconstantData True
+xd = pconstant @(PAsData PBool) True
 </code></pre>
 <h2 id="dynamic-building-of-constant-terms-with-pcon"><a class="header" href="#dynamic-building-of-constant-terms-with-pcon">Dynamic building of constant <code>Term</code>s with <code>pcon</code></a></h2>
 <p>Sometimes the value that we want to treat as a constant <code>Term</code> is not known at compile time. To explain how to construct constants when we can only determine the value at runtime, we will examine the <code>PMaybe</code> Plutarch type. It can serve the same purpose as the <code>Maybe</code> type in Haskell: to represent the situation where computation may not produce a sensible result.</p>

Tricks/PreferStaticallyBuildingConstants.html

@@ -179,7 +179,6 @@ <h1 class="menu-title"></h1>
 <pre><code class="language-haskell">module Plutarch.Docs.PreferStaticallyBuilding (viacon, viaconstant) where
 
 import Plutarch.Prelude
-import Plutarch.Builtin (PDataNewtype (PDataNewtype))
 import Plutarch.LedgerApi.V3 (PScriptPurpose (PMinting), PCurrencySymbol (PCurrencySymbol))
 import PlutusLedgerApi.V3 (ScriptPurpose (Minting))
 

Tricks/UsingHaskellLevelFunctions.html

@@ -177,6 +177,7 @@ <h1 class="menu-title"></h1>
 <summary> imports </summary>
 <p>
 <pre><code class="language-haskell">module Plutarch.Docs.UsingHaskellLevelFunctions (pelimList, pelimList') where
+import Data.Kind (Type)
 import Plutarch.Prelude hiding (pelimList)
 </code></pre>
 </p>

Tricks/WorkingWithBoundFields.html

@@ -178,8 +178,10 @@ <h1 class="menu-title"></h1>
 <p>
 <pre><code class="language-haskell">module Plutarch.Docs.WorkingWithBoundFields (foo, foo', coreValidator) where
 
+import GHC.Records (getField)
+import GHC.Generics (Generic)
 import Plutarch.Prelude
-import Plutarch.DataRepr (HRec, HRecOf, PDataFields, PMemberFields)
+import Plutarch.DataRepr (HRec, HRecOf, PMemberFields)
 import Plutarch.LedgerApi.V3 (PTxInfo, PScriptContext)
 </code></pre>
 </p>

Typeclasses/PEqAndPOrd.html

@@ -177,7 +177,7 @@ <h1 class="menu-title"></h1>
 <summary> imports </summary>
 <p>
 <pre><code class="language-haskell">module Plutarch.Docs.PEqAndPOrd (PMaybe'(..)) where
-
+import GHC.Generics (Generic)
 import Plutarch.Prelude
 </code></pre>
 </p>

Typeclasses/PIsDataReprAndPDataFields.html

@@ -179,6 +179,7 @@ <h1 class="menu-title"></h1>
 <pre><code class="language-haskell">{-# LANGUAGE QualifiedDo #-}
 module Plutarch.Docs.PDataFields (foo, foo', res, mockCtx, purpose, Vehicle (..), PVehicle (..), PVehicle' (..), PFoo (..), test) where
 
+import GHC.Generics (Generic)
 import Plutarch.Prelude
 import Plutarch.LedgerApi.V3 (
   PScriptContext,
@@ -193,7 +194,6 @@ <h1 class="menu-title"></h1>
     ),
     PCurrencySymbol
   )
-import Plutarch.DataRepr (PDataFields)
 import qualified Plutarch.Monadic as P
 import PlutusLedgerApi.V3 (
   TxInfo (TxInfo),

Typeclasses/PTryFrom.html

@@ -178,9 +178,8 @@ <h1 class="menu-title"></h1>
 <p>
 <pre><code class="language-haskell">{-# LANGUAGE FlexibleInstances #-}
 module Plutarch.Docs.PTryFrom (recoverListFromPData, theField, untrustedRecord, recoverListPartially, recoverAB) where 
-
 import Plutarch.Prelude
-import Plutarch.Builtin (pforgetData)
+import GHC.Generics (Generic)
 </code></pre>
 </p>
 </details>

Typeclasses/PlutusType,PCon,PMatch.html

@@ -179,6 +179,8 @@ <h1 class="menu-title"></h1>
 <pre><code class="language-haskell">{-# OPTIONS_GHC -Wno-redundant-constraints #-}
 module Plutarch.Docs.PlutusTypePConAndPMatch (PMyType(..), PMyTypeData(..)) where
 import Plutarch.Prelude
+import Data.Kind (Type)
+import GHC.Generics (Generic)
 </code></pre>
 </p>
 </details>

Usage/DerivingForNewtypes.html

@@ -181,7 +181,7 @@ <h1 class="menu-title"></h1>
 
 module Plutarch.Docs.DerivingForNewtype (PPubKeyHash'(..), PPubKeyHash(..)) where
 import Plutarch.Prelude
-import Plutarch.Builtin (PDataNewtype)
+import GHC.Generics (Generic)
 </code></pre>
 </p>
 </details>

Usage/DerivingWithGenerics.html

@@ -178,6 +178,8 @@ <h1 class="menu-title"></h1>
 <p>
 <pre><code class="language-haskell">module Plutarch.Docs.DerivingGenerics (PMyType (..)) where
 import Plutarch.Prelude
+import Data.Kind (Type)
+import GHC.Generics (Generic)
 </code></pre>
 </p>
 </details>

haddock/doc-index-35.html

@@ -1 +1 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><meta name="viewport" content="width=device-width, initial-scale=1" /><title> (Index - #)</title><link href="linuwial.css" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=PT+Sans:400,400i,700" /><script src="haddock-bundle.min.js" async="async" type="text/javascript"></script><script type="text/x-mathjax-config">MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script></head><body><div id="package-header"><span class="caption empty">&nbsp;</span><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul></div><div id="content"><div id="alphabet"><ul><li><a href="doc-index-A.html">A</a></li><li><a href="doc-index-B.html">B</a></li><li><a href="doc-index-C.html">C</a></li><li><a href="doc-index-D.html">D</a></li><li><a href="doc-index-E.html">E</a></li><li><a href="doc-index-F.html">F</a></li><li><a href="doc-index-G.html">G</a></li><li><a href="doc-index-H.html">H</a></li><li><a href="doc-index-I.html">I</a></li><li><a href="doc-index-J.html">J</a></li><li><a href="doc-index-K.html">K</a></li><li><a href="doc-index-L.html">L</a></li><li><a href="doc-index-M.html">M</a></li><li><a href="doc-index-N.html">N</a></li><li><a href="doc-index-O.html">O</a></li><li><a href="doc-index-P.html">P</a></li><li><a href="doc-index-Q.html">Q</a></li><li><a href="doc-index-R.html">R</a></li><li><a href="doc-index-S.html">S</a></li><li><a href="doc-index-T.html">T</a></li><li><a href="doc-index-U.html">U</a></li><li><a href="doc-index-V.html">V</a></li><li><a href="doc-index-W.html">W</a></li><li><a href="doc-index-X.html">X</a></li><li><a href="doc-index-Z.html">Z</a></li><li><a href="doc-index-58.html">:</a></li><li><a href="doc-index-33.html">!</a></li><li><a href="doc-index-35.html">#</a></li><li><a href="doc-index-36.html">$</a></li><li><a href="doc-index-37.html">%</a></li><li><a href="doc-index-38.html">&amp;</a></li><li><a href="doc-index-42.html">*</a></li><li><a href="doc-index-43.html">+</a></li><li><a href="doc-index-46.html">.</a></li><li><a href="doc-index-47.html">/</a></li><li><a href="doc-index-60.html">&lt;</a></li><li><a href="doc-index-61.html">=</a></li><li><a href="doc-index-62.html">&gt;</a></li><li><a href="doc-index-63.html">?</a></li><li><a href="doc-index-64.html">@</a></li><li><a href="doc-index-92.html">\</a></li><li><a href="doc-index-94.html">^</a></li><li><a href="doc-index-124.html">|</a></li><li><a href="doc-index-45.html">-</a></li><li><a href="doc-index-95.html">_</a></li><li><a href="doc-index-All.html">All</a></li></ul></div><div id="index"><p class="caption">Index - #</p><table><tr><td class="src">#</td><td class="module"><a href="./plutarch/html/Plutarch-Internal-Term.html#v:-35-" title="Plutarch.Internal.Term">Plutarch.Internal.Term</a>, <a href="./plutarch/html/Plutarch-Prelude.html#v:-35-" title="Plutarch.Prelude">Plutarch.Prelude</a></td></tr><tr><td class="src">#!!</td><td class="module"><a href="./plutarch/html/Plutarch-List.html#v:-35--33--33-" title="Plutarch.List">Plutarch.List</a>, <a href="./plutarch/html/Plutarch-Prelude.html#v:-35--33--33-" title="Plutarch.Prelude">Plutarch.Prelude</a></td></tr><tr><td class="src">#$</td><td class="module"><a href="./plutarch/html/Plutarch-Internal-Term.html#v:-35--36-" title="Plutarch.Internal.Term">Plutarch.Internal.Term</a>, <a href="./plutarch/html/Plutarch-Prelude.html#v:-35--36-" title="Plutarch.Prelude">Plutarch.Prelude</a></td></tr><tr><td class="src">#&amp;&amp;</td><td class="module"><a href="./plutarch/html/Plutarch-Builtin-Bool.html#v:-35--38--38-" title="Plutarch.Builtin.Bool">Plutarch.Builtin.Bool</a>, <a href="./plutarch/html/Plutarch-Prelude.html#v:-35--38--38-" title="Plutarch.Prelude">Plutarch.Prelude</a></td></tr><tr><td class="src">#*</td><td class="module"><a href="./plutarch/html/Plutarch-Internal-Numeric.html#v:-35--42-" title="Plutarch.Internal.Numeric">Plutarch.Internal.Numeric</a></td></tr><tr><td class="src">#+</td><td class="module"><a href="./plutarch/html/Plutarch-Internal-Numeric.html#v:-35--43-" title="Plutarch.Internal.Numeric">Plutarch.Internal.Numeric</a></td></tr><tr><td class="src">#-</td><td class="module"><a href="./plutarch/html/Plutarch-Internal-Numeric.html#v:-35--45-" title="Plutarch.Internal.Numeric">Plutarch.Internal.Numeric</a></td></tr><tr><td class="src">#&lt;</td><td class="module"><a href="./plutarch/html/Plutarch-Internal-Ord.html#v:-35--60-" title="Plutarch.Internal.Ord">Plutarch.Internal.Ord</a>, <a href="./plutarch/html/Plutarch-Prelude.html#v:-35--60-" title="Plutarch.Prelude">Plutarch.Prelude</a></td></tr><tr><td class="src">#&lt;=</td><td class="module"><a href="./plutarch/html/Plutarch-Internal-Ord.html#v:-35--60--61-" title="Plutarch.Internal.Ord">Plutarch.Internal.Ord</a>, <a href="./plutarch/html/Plutarch-Prelude.html#v:-35--60--61-" title="Plutarch.Prelude">Plutarch.Prelude</a></td></tr><tr><td class="src">#==</td><td class="module"><a href="./plutarch/html/Plutarch-Internal-Eq.html#v:-35--61--61-" title="Plutarch.Internal.Eq">Plutarch.Internal.Eq</a>, <a href="./plutarch/html/Plutarch-Prelude.html#v:-35--61--61-" title="Plutarch.Prelude">Plutarch.Prelude</a></td></tr><tr><td class="src">#&gt;</td><td class="module"><a href="./plutarch/html/Plutarch-Internal-Ord.html#v:-35--62-" title="Plutarch.Internal.Ord">Plutarch.Internal.Ord</a>, <a href="./plutarch/html/Plutarch-Prelude.html#v:-35--62-" title="Plutarch.Prelude">Plutarch.Prelude</a></td></tr><tr><td class="src">#&gt;=</td><td class="module"><a href="./plutarch/html/Plutarch-Internal-Ord.html#v:-35--62--61-" title="Plutarch.Internal.Ord">Plutarch.Internal.Ord</a>, <a href="./plutarch/html/Plutarch-Prelude.html#v:-35--62--61-" title="Plutarch.Prelude">Plutarch.Prelude</a></td></tr><tr><td class="src">#||</td><td class="module"><a href="./plutarch/html/Plutarch-Builtin-Bool.html#v:-35--124--124-" title="Plutarch.Builtin.Bool">Plutarch.Builtin.Bool</a>, <a href="./plutarch/html/Plutarch-Prelude.html#v:-35--124--124-" title="Plutarch.Prelude">Plutarch.Prelude</a></td></tr></table></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.29.2</p></div></body></html>
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><meta name="viewport" content="width=device-width, initial-scale=1" /><title> (Index - #)</title><link href="linuwial.css" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=PT+Sans:400,400i,700" /><script src="haddock-bundle.min.js" async="async" type="text/javascript"></script><script type="text/x-mathjax-config">MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script></head><body><div id="package-header"><span class="caption empty">&nbsp;</span><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul></div><div id="content"><div id="alphabet"><ul><li><a href="doc-index-A.html">A</a></li><li><a href="doc-index-B.html">B</a></li><li><a href="doc-index-C.html">C</a></li><li><a href="doc-index-D.html">D</a></li><li><a href="doc-index-E.html">E</a></li><li><a href="doc-index-F.html">F</a></li><li><a href="doc-index-G.html">G</a></li><li><a href="doc-index-H.html">H</a></li><li><a href="doc-index-I.html">I</a></li><li><a href="doc-index-J.html">J</a></li><li><a href="doc-index-K.html">K</a></li><li><a href="doc-index-L.html">L</a></li><li><a href="doc-index-M.html">M</a></li><li><a href="doc-index-N.html">N</a></li><li><a href="doc-index-O.html">O</a></li><li><a href="doc-index-P.html">P</a></li><li><a href="doc-index-Q.html">Q</a></li><li><a href="doc-index-R.html">R</a></li><li><a href="doc-index-S.html">S</a></li><li><a href="doc-index-T.html">T</a></li><li><a href="doc-index-U.html">U</a></li><li><a href="doc-index-V.html">V</a></li><li><a href="doc-index-W.html">W</a></li><li><a href="doc-index-X.html">X</a></li><li><a href="doc-index-Z.html">Z</a></li><li><a href="doc-index-58.html">:</a></li><li><a href="doc-index-33.html">!</a></li><li><a href="doc-index-35.html">#</a></li><li><a href="doc-index-36.html">$</a></li><li><a href="doc-index-37.html">%</a></li><li><a href="doc-index-38.html">&amp;</a></li><li><a href="doc-index-42.html">*</a></li><li><a href="doc-index-43.html">+</a></li><li><a href="doc-index-46.html">.</a></li><li><a href="doc-index-47.html">/</a></li><li><a href="doc-index-60.html">&lt;</a></li><li><a href="doc-index-61.html">=</a></li><li><a href="doc-index-62.html">&gt;</a></li><li><a href="doc-index-63.html">?</a></li><li><a href="doc-index-64.html">@</a></li><li><a href="doc-index-92.html">\</a></li><li><a href="doc-index-94.html">^</a></li><li><a href="doc-index-124.html">|</a></li><li><a href="doc-index-45.html">-</a></li><li><a href="doc-index-95.html">_</a></li><li><a href="doc-index-All.html">All</a></li></ul></div><div id="index"><p class="caption">Index - #</p><table><tr><td class="src">#</td><td class="module"><a href="./plutarch/html/Plutarch-Internal-Term.html#v:-35-" title="Plutarch.Internal.Term">Plutarch.Internal.Term</a>, <a href="./plutarch/html/Plutarch-Prelude.html#v:-35-" title="Plutarch.Prelude">Plutarch.Prelude</a></td></tr><tr><td class="src">#!!</td><td class="module"><a href="./plutarch/html/Plutarch-List.html#v:-35--33--33-" title="Plutarch.List">Plutarch.List</a>, <a href="./plutarch/html/Plutarch-Prelude.html#v:-35--33--33-" title="Plutarch.Prelude">Plutarch.Prelude</a></td></tr><tr><td class="src">#$</td><td class="module"><a href="./plutarch/html/Plutarch-Internal-Term.html#v:-35--36-" title="Plutarch.Internal.Term">Plutarch.Internal.Term</a>, <a href="./plutarch/html/Plutarch-Prelude.html#v:-35--36-" title="Plutarch.Prelude">Plutarch.Prelude</a></td></tr><tr><td class="src">#&amp;&amp;</td><td class="module"><a href="./plutarch/html/Plutarch-Builtin-Bool.html#v:-35--38--38-" title="Plutarch.Builtin.Bool">Plutarch.Builtin.Bool</a>, <a href="./plutarch/html/Plutarch-Prelude.html#v:-35--38--38-" title="Plutarch.Prelude">Plutarch.Prelude</a></td></tr><tr><td class="src">#*</td><td class="module"><a href="./plutarch/html/Plutarch-Internal-Numeric.html#v:-35--42-" title="Plutarch.Internal.Numeric">Plutarch.Internal.Numeric</a>, <a href="./plutarch/html/Plutarch-Prelude.html#v:-35--42-" title="Plutarch.Prelude">Plutarch.Prelude</a></td></tr><tr><td class="src">#+</td><td class="module"><a href="./plutarch/html/Plutarch-Internal-Numeric.html#v:-35--43-" title="Plutarch.Internal.Numeric">Plutarch.Internal.Numeric</a>, <a href="./plutarch/html/Plutarch-Prelude.html#v:-35--43-" title="Plutarch.Prelude">Plutarch.Prelude</a></td></tr><tr><td class="src">#-</td><td class="module"><a href="./plutarch/html/Plutarch-Internal-Numeric.html#v:-35--45-" title="Plutarch.Internal.Numeric">Plutarch.Internal.Numeric</a>, <a href="./plutarch/html/Plutarch-Prelude.html#v:-35--45-" title="Plutarch.Prelude">Plutarch.Prelude</a></td></tr><tr><td class="src">#&lt;</td><td class="module"><a href="./plutarch/html/Plutarch-Internal-Ord.html#v:-35--60-" title="Plutarch.Internal.Ord">Plutarch.Internal.Ord</a>, <a href="./plutarch/html/Plutarch-Prelude.html#v:-35--60-" title="Plutarch.Prelude">Plutarch.Prelude</a></td></tr><tr><td class="src">#&lt;=</td><td class="module"><a href="./plutarch/html/Plutarch-Internal-Ord.html#v:-35--60--61-" title="Plutarch.Internal.Ord">Plutarch.Internal.Ord</a>, <a href="./plutarch/html/Plutarch-Prelude.html#v:-35--60--61-" title="Plutarch.Prelude">Plutarch.Prelude</a></td></tr><tr><td class="src">#==</td><td class="module"><a href="./plutarch/html/Plutarch-Internal-Eq.html#v:-35--61--61-" title="Plutarch.Internal.Eq">Plutarch.Internal.Eq</a>, <a href="./plutarch/html/Plutarch-Prelude.html#v:-35--61--61-" title="Plutarch.Prelude">Plutarch.Prelude</a></td></tr><tr><td class="src">#&gt;</td><td class="module"><a href="./plutarch/html/Plutarch-Internal-Ord.html#v:-35--62-" title="Plutarch.Internal.Ord">Plutarch.Internal.Ord</a>, <a href="./plutarch/html/Plutarch-Prelude.html#v:-35--62-" title="Plutarch.Prelude">Plutarch.Prelude</a></td></tr><tr><td class="src">#&gt;=</td><td class="module"><a href="./plutarch/html/Plutarch-Internal-Ord.html#v:-35--62--61-" title="Plutarch.Internal.Ord">Plutarch.Internal.Ord</a>, <a href="./plutarch/html/Plutarch-Prelude.html#v:-35--62--61-" title="Plutarch.Prelude">Plutarch.Prelude</a></td></tr><tr><td class="src">#||</td><td class="module"><a href="./plutarch/html/Plutarch-Builtin-Bool.html#v:-35--124--124-" title="Plutarch.Builtin.Bool">Plutarch.Builtin.Bool</a>, <a href="./plutarch/html/Plutarch-Prelude.html#v:-35--124--124-" title="Plutarch.Prelude">Plutarch.Prelude</a></td></tr></table></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.29.2</p></div></body></html>