Update gh-pages

Store path: /nix/store/h81wnmg2g7dmyrwa7g36w50fz7gjidak-combined-docs
Plutonomicon · Nov 14, 2024 · 06ef79c · 06ef79c
1 parent da341f9
commit 06ef79c
Show file tree

Hide file tree

Showing 194 changed files with 12,784 additions and 11,208 deletions.
diff --git a/404.html b/404.html
diff --git a/Concepts.html b/Concepts.html
diff --git a/Concepts/DataAndScottEncoding.html b/Concepts/DataAndScottEncoding.html
diff --git a/Concepts/GenericProgramming.html b/Concepts/GenericProgramming.html
diff --git a/Concepts/HaskellSynonym.html b/Concepts/HaskellSynonym.html
diff --git a/Concepts/Hoisting.html b/Concepts/Hoisting.html
diff --git a/Concepts/WhatIsTheS.html b/Concepts/WhatIsTheS.html
diff --git a/DEVGUIDE.html b/DEVGUIDE.html
diff --git a/Introduction.html b/Introduction.html
diff --git a/Introduction/DelayAndForce.html b/Introduction/DelayAndForce.html
diff --git a/Introduction/PatternMatching.html b/Introduction/PatternMatching.html
diff --git a/Introduction/PlutarchTerms.html b/Introduction/PlutarchTerms.html
diff --git a/Introduction/PlutarchTerms/PlutarchConstants.html b/Introduction/PlutarchTerms/PlutarchConstants.html
diff --git a/Introduction/PlutarchTerms/PlutarchLambdas.html b/Introduction/PlutarchTerms/PlutarchLambdas.html
diff --git a/Introduction/PlutarchTypes.html b/Introduction/PlutarchTypes.html
diff --git a/Introduction/UntypedPlutusCore.html b/Introduction/UntypedPlutusCore.html
diff --git a/Overview.html b/Overview.html
diff --git a/Run.html b/Run.html
diff --git a/Tricks.html b/Tricks.html
diff --git a/Tricks/DifferenceBetweenPconAndPconstant.html b/Tricks/DifferenceBetweenPconAndPconstant.html
diff --git a/Tricks/DontDuplicateWork.html b/Tricks/DontDuplicateWork.html
diff --git a/Tricks/OptimizingUnhoistableLambdas.html b/Tricks/OptimizingUnhoistableLambdas.html
diff --git a/Tricks/PlutarchFunctionsStrict.html b/Tricks/PlutarchFunctionsStrict.html
diff --git a/Tricks/PreferMatchingOnPmatchResultImmediately.html b/Tricks/PreferMatchingOnPmatchResultImmediately.html
diff --git a/Tricks/PreferPlutarchFunctions.html b/Tricks/PreferPlutarchFunctions.html
diff --git a/Tricks/PreferStaticallyBuildingConstants.html b/Tricks/PreferStaticallyBuildingConstants.html
diff --git a/Tricks/RepresentationOfPlutarchType.html b/Tricks/RepresentationOfPlutarchType.html
diff --git a/Tricks/ResponsibilityOfEvaluationInHaskellFunctions.html b/Tricks/ResponsibilityOfEvaluationInHaskellFunctions.html
diff --git a/Tricks/UsingHaskellLevelFunctions.html b/Tricks/UsingHaskellLevelFunctions.html
diff --git a/Tricks/WorkingWithBoundFields.html b/Tricks/WorkingWithBoundFields.html
diff --git a/Tricks/makeIsDataIndexed,HaskellADTs,PIsDataRepr.html b/Tricks/makeIsDataIndexed,HaskellADTs,PIsDataRepr.html
diff --git a/Troubleshooting.html b/Troubleshooting.html
diff --git a/Typeclasses.html b/Typeclasses.html
diff --git a/Typeclasses/PConstantAndPLift.html b/Typeclasses/PConstantAndPLift.html
diff --git a/Typeclasses/PEqAndPOrd.html b/Typeclasses/PEqAndPOrd.html
diff --git a/Typeclasses/PIntegral.html b/Typeclasses/PIntegral.html
diff --git a/Typeclasses/PIsData.html b/Typeclasses/PIsData.html
diff --git a/Typeclasses/PIsDataReprAndPDataFields.html b/Typeclasses/PIsDataReprAndPDataFields.html
diff --git a/Typeclasses/PLiftable.html b/Typeclasses/PLiftable.html
diff --git a/Typeclasses/PListLike.html b/Typeclasses/PListLike.html
diff --git a/Typeclasses/PTryFrom.html b/Typeclasses/PTryFrom.html
diff --git a/Typeclasses/PlutusType,PCon,PMatch.html b/Typeclasses/PlutusType,PCon,PMatch.html
diff --git a/Types.html b/Types.html
diff --git a/Types/PAsData.html b/Types/PAsData.html
diff --git a/Types/PBool.html b/Types/PBool.html
diff --git a/Types/PBuiltinList.html b/Types/PBuiltinList.html
diff --git a/Types/PBuiltinPair.html b/Types/PBuiltinPair.html
diff --git a/Types/PByteString.html b/Types/PByteString.html
diff --git a/Types/PData.html b/Types/PData.html
diff --git a/Types/PDataSumAndPDataRecord.html b/Types/PDataSumAndPDataRecord.html
diff --git a/Types/PInteger.html b/Types/PInteger.html
diff --git a/Types/PList.html b/Types/PList.html
diff --git a/Types/PString.html b/Types/PString.html
diff --git a/Types/PUnit.html b/Types/PUnit.html
diff --git a/Usage.html b/Usage.html
diff --git a/Usage/AvoidWorkDuplicationUsingPlet.html b/Usage/AvoidWorkDuplicationUsingPlet.html
diff --git a/Usage/Conditionals.html b/Usage/Conditionals.html
diff --git a/Usage/DerivingForNewtypes.html b/Usage/DerivingForNewtypes.html
diff --git a/Usage/DerivingWithGenerics.html b/Usage/DerivingWithGenerics.html
diff --git a/Usage/DoSyntaxWithQualifiedDo.html b/Usage/DoSyntaxWithQualifiedDo.html
diff --git a/Usage/DoSyntaxWithTermCont.html b/Usage/DoSyntaxWithTermCont.html
diff --git a/Usage/FFI.html b/Usage/FFI.html
diff --git a/Usage/PreludeMixin.html b/Usage/PreludeMixin.html
diff --git a/Usage/RaisingErrors.html b/Usage/RaisingErrors.html
diff --git a/Usage/Recursion.html b/Usage/Recursion.html
diff --git a/Usage/Tracing.html b/Usage/Tracing.html
diff --git a/Usage/UnsafeFunctions.html b/Usage/UnsafeFunctions.html
diff --git a/examples/BASIC.html b/examples/BASIC.html
diff --git a/examples/VALIDATOR.html b/examples/VALIDATOR.html
diff --git a/haddock/doc-index-A.html b/haddock/doc-index-A.html
diff --git a/haddock/doc-index-All.html b/haddock/doc-index-All.html
diff --git a/haddock/doc-index-C.html b/haddock/doc-index-C.html
diff --git a/haddock/doc-index-D.html b/haddock/doc-index-D.html
diff --git a/haddock/doc-index-F.html b/haddock/doc-index-F.html
diff --git a/haddock/doc-index-L.html b/haddock/doc-index-L.html
diff --git a/haddock/doc-index-P.html b/haddock/doc-index-P.html
diff --git a/haddock/doc-index-T.html b/haddock/doc-index-T.html
diff --git a/haddock/doc-index-U.html b/haddock/doc-index-U.html
diff --git a/haddock/doc-index.json b/haddock/doc-index.json
@@ -234329,6 +234329,12 @@
     "module": "Plutarch.Test.Laws",
     "link": "plutarch-testlib/html/Plutarch-Test-Laws.html#v:checkHaskellIntegralEquivalent"
   },
+  {
+    "display_html": "<a href=\"#v:checkPLiftableLaws\">checkPLiftableLaws</a> :: <span class=\"keyword\">forall</span> (a :: S -&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/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a>). (Arbitrary (AsHaskell a), Pretty (AsHaskell 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/Data-Eq.html#t:Eq\" title=\"Data.Eq\">Eq</a> (AsHaskell a), PLiftable 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/Text-Show.html#t:Show\" title=\"Text.Show\">Show</a> (AsHaskell 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/Type-Reflection.html#t:Typeable\" title=\"Type.Reflection\">Typeable</a> a) =&gt; TestTree",
+    "name": "checkPLiftableLaws",
+    "module": "Plutarch.Test.Laws",
+    "link": "plutarch-testlib/html/Plutarch-Test-Laws.html#v:checkPLiftableLaws"
+  },
   {
     "display_html": "<span class=\"keyword\">newtype</span> <a href=\"#t:Labeled\">Labeled</a> sym a = <a href=\"#v:Labeled\">Labeled</a> {<ul class=\"subs\"><li><a href=\"#v:unLabeled\">unLabeled</a> :: a</li></ul>}",
     "name": "Labeled Labeled $sel:unLabeled:Labeled",
@@ -236615,6 +236621,66 @@
     "module": "Plutarch.Builtin",
     "link": "plutarch/html/Plutarch-Builtin.html#t:PDataNewtype"
   },
+  {
+    "display_html": "<span class=\"keyword\">class</span> <a href=\"Plutarch-Internal-PlutusType.html#t:PlutusType\" title=\"Plutarch.Internal.PlutusType\">PlutusType</a> a =&gt; <a href=\"#t:PLiftable\">PLiftable</a> (a :: <a href=\"Plutarch-Internal.html#t:S\" title=\"Plutarch.Internal\">S</a> -&gt; <a href=\"Plutarch-Prelude.html#t:Type\" title=\"Plutarch.Prelude\">Type</a>) <span class=\"keyword\">where</span><ul class=\"subs\"><li><span class=\"keyword\">type</span> <a href=\"#t:AsHaskell\">AsHaskell</a> a :: <a href=\"Plutarch-Prelude.html#t:Type\" title=\"Plutarch.Prelude\">Type</a></li><li><a href=\"#v:toPlutarch\">toPlutarch</a> :: <span class=\"keyword\">forall</span> (s :: <a href=\"Plutarch-Internal.html#t:S\" title=\"Plutarch.Internal\">S</a>). <a href=\"Plutarch-Internal-Lift.html#t:AsHaskell\" title=\"Plutarch.Internal.Lift\">AsHaskell</a> a -&gt; <a href=\"Plutarch-Internal-Lift.html#t:PLifted\" title=\"Plutarch.Internal.Lift\">PLifted</a> a s</li><li><a href=\"#v:fromPlutarch\">fromPlutarch</a> :: (<span class=\"keyword\">forall</span> (s :: <a href=\"Plutarch-Internal.html#t:S\" title=\"Plutarch.Internal\">S</a>). <a href=\"Plutarch-Internal-Lift.html#t:PLifted\" title=\"Plutarch.Internal.Lift\">PLifted</a> a s) -&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/Data-Either.html#t:Either\" title=\"Data.Either\">Either</a> <a href=\"Plutarch-Internal-Lift.html#t:LiftError\" title=\"Plutarch.Internal.Lift\">LiftError</a> (<a href=\"Plutarch-Internal-Lift.html#t:AsHaskell\" title=\"Plutarch.Internal.Lift\">AsHaskell</a> a)</li></ul>",
+    "name": "PLiftable AsHaskell toPlutarch fromPlutarch",
+    "module": "Plutarch.Internal.Lift",
+    "link": "plutarch/html/Plutarch-Internal-Lift.html#t:PLiftable"
+  },
+  {
+    "display_html": "<a href=\"#v:pconstant\">pconstant</a> :: <span class=\"keyword\">forall</span> (a :: <a href=\"Plutarch-Internal.html#t:S\" title=\"Plutarch.Internal\">S</a> -&gt; <a href=\"Plutarch-Prelude.html#t:Type\" title=\"Plutarch.Prelude\">Type</a>) (s :: <a href=\"Plutarch-Internal.html#t:S\" title=\"Plutarch.Internal\">S</a>). <a href=\"Plutarch-Internal-Lift.html#t:PLiftable\" title=\"Plutarch.Internal.Lift\">PLiftable</a> a =&gt; <a href=\"Plutarch-Internal-Lift.html#t:AsHaskell\" title=\"Plutarch.Internal.Lift\">AsHaskell</a> a -&gt; <a href=\"Plutarch-Internal.html#t:Term\" title=\"Plutarch.Internal\">Term</a> s a",
+    "name": "pconstant",
+    "module": "Plutarch.Internal.Lift",
+    "link": "plutarch/html/Plutarch-Internal-Lift.html#v:pconstant"
+  },
+  {
+    "display_html": "<a href=\"#v:plift\">plift</a> :: <span class=\"keyword\">forall</span> (a :: <a href=\"Plutarch-Internal.html#t:S\" title=\"Plutarch.Internal\">S</a> -&gt; <a href=\"Plutarch-Prelude.html#t:Type\" title=\"Plutarch.Prelude\">Type</a>). <a href=\"Plutarch-Internal-Lift.html#t:PLiftable\" title=\"Plutarch.Internal.Lift\">PLiftable</a> a =&gt; (<span class=\"keyword\">forall</span> (s :: <a href=\"Plutarch-Internal.html#t:S\" title=\"Plutarch.Internal\">S</a>). <a href=\"Plutarch-Internal.html#t:Term\" title=\"Plutarch.Internal\">Term</a> s a) -&gt; <a href=\"Plutarch-Internal-Lift.html#t:AsHaskell\" title=\"Plutarch.Internal.Lift\">AsHaskell</a> a",
+    "name": "plift",
+    "module": "Plutarch.Internal.Lift",
+    "link": "plutarch/html/Plutarch-Internal-Lift.html#v:plift"
+  },
+  {
+    "display_html": "<span class=\"keyword\">newtype</span> <a href=\"#t:DeriveBuiltinPLiftable\">DeriveBuiltinPLiftable</a> (a :: <a href=\"Plutarch-Internal.html#t:S\" title=\"Plutarch.Internal\">S</a> -&gt; <a href=\"Plutarch-Prelude.html#t:Type\" title=\"Plutarch.Prelude\">Type</a>) (h :: <a href=\"Plutarch-Prelude.html#t:Type\" title=\"Plutarch.Prelude\">Type</a>) (s :: <a href=\"Plutarch-Internal.html#t:S\" title=\"Plutarch.Internal\">S</a>) = <a href=\"#v:DeriveBuiltinPLiftable\">DeriveBuiltinPLiftable</a> (a s)",
+    "name": "DeriveBuiltinPLiftable DeriveBuiltinPLiftable",
+    "module": "Plutarch.Internal.Lift",
+    "link": "plutarch/html/Plutarch-Internal-Lift.html#t:DeriveBuiltinPLiftable"
+  },
+  {
+    "display_html": "<span class=\"keyword\">newtype</span> <a href=\"#t:DeriveDataPLiftable\">DeriveDataPLiftable</a> (a :: <a href=\"Plutarch-Internal.html#t:S\" title=\"Plutarch.Internal\">S</a> -&gt; <a href=\"Plutarch-Prelude.html#t:Type\" title=\"Plutarch.Prelude\">Type</a>) (h :: <a href=\"Plutarch-Prelude.html#t:Type\" title=\"Plutarch.Prelude\">Type</a>) (s :: <a href=\"Plutarch-Internal.html#t:S\" title=\"Plutarch.Internal\">S</a>) = <a href=\"#v:DeriveDataPLiftable\">DeriveDataPLiftable</a> (a s)",
+    "name": "DeriveDataPLiftable DeriveDataPLiftable",
+    "module": "Plutarch.Internal.Lift",
+    "link": "plutarch/html/Plutarch-Internal-Lift.html#t:DeriveDataPLiftable"
+  },
+  {
+    "display_html": "<span class=\"keyword\">newtype</span> <a href=\"#t:PLifted\">PLifted</a> a s = <a href=\"#v:PLifted\">PLifted</a> (<a href=\"Plutarch-Internal.html#t:Term\" title=\"Plutarch.Internal\">Term</a> s <a href=\"Plutarch-Internal-Other.html#t:POpaque\" title=\"Plutarch.Internal.Other\">POpaque</a>)",
+    "name": "PLifted PLifted",
+    "module": "Plutarch.Internal.Lift",
+    "link": "plutarch/html/Plutarch-Internal-Lift.html#t:PLifted"
+  },
+  {
+    "display_html": "<a href=\"#v:unPLifted\">unPLifted</a> :: <a href=\"Plutarch-Internal-Lift.html#t:PLifted\" title=\"Plutarch.Internal.Lift\">PLifted</a> a s -&gt; <a href=\"Plutarch-Internal.html#t:Term\" title=\"Plutarch.Internal\">Term</a> s a",
+    "name": "unPLifted",
+    "module": "Plutarch.Internal.Lift",
+    "link": "plutarch/html/Plutarch-Internal-Lift.html#v:unPLifted"
+  },
+  {
+    "display_html": "<span class=\"keyword\">data</span> <a href=\"#t:LiftError\">LiftError</a><ul class=\"subs\"><li>= <a href=\"#v:CouldNotEvaluate\">CouldNotEvaluate</a> <a href=\"Plutarch-Internal-Evaluate.html#t:EvalError\" title=\"Plutarch.Internal.Evaluate\">EvalError</a></li><li>| <a href=\"#v:TypeError\">TypeError</a> BuiltinError</li><li>| <a href=\"#v:CouldNotCompile\">CouldNotCompile</a> <a href=\"file:///nix/store/xfg283zxrdh31xbsn3s48hvmxc7zqaid-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></li><li>| <a href=\"#v:CouldNotDecodeData\">CouldNotDecodeData</a></li></ul>",
+    "name": "LiftError TypeError CouldNotEvaluate CouldNotCompile CouldNotDecodeData",
+    "module": "Plutarch.Internal.Lift",
+    "link": "plutarch/html/Plutarch-Internal-Lift.html#t:LiftError"
+  },
+  {
+    "display_html": "<a href=\"#v:unsafeToUni\">unsafeToUni</a> :: <span class=\"keyword\">forall</span> (a :: <a href=\"Plutarch-Internal.html#t:S\" title=\"Plutarch.Internal\">S</a> -&gt; <a href=\"Plutarch-Prelude.html#t:Type\" title=\"Plutarch.Prelude\">Type</a>) (h :: <a href=\"Plutarch-Prelude.html#t:Type\" title=\"Plutarch.Prelude\">Type</a>). DefaultUni `Includes` h =&gt; (<span class=\"keyword\">forall</span> (s :: <a href=\"Plutarch-Internal.html#t:S\" title=\"Plutarch.Internal\">S</a>). <a href=\"Plutarch-Internal-Lift.html#t:PLifted\" title=\"Plutarch.Internal.Lift\">PLifted</a> a s) -&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/Data-Either.html#t:Either\" title=\"Data.Either\">Either</a> <a href=\"Plutarch-Internal-Lift.html#t:LiftError\" title=\"Plutarch.Internal.Lift\">LiftError</a> h",
+    "name": "unsafeToUni",
+    "module": "Plutarch.Internal.Lift",
+    "link": "plutarch/html/Plutarch-Internal-Lift.html#v:unsafeToUni"
+  },
+  {
+    "display_html": "<a href=\"#v:unsafeFromUni\">unsafeFromUni</a> :: <span class=\"keyword\">forall</span> (a :: <a href=\"Plutarch-Internal.html#t:S\" title=\"Plutarch.Internal\">S</a> -&gt; <a href=\"Plutarch-Prelude.html#t:Type\" title=\"Plutarch.Prelude\">Type</a>) (h :: <a href=\"Plutarch-Prelude.html#t:Type\" title=\"Plutarch.Prelude\">Type</a>) (s :: <a href=\"Plutarch-Internal.html#t:S\" title=\"Plutarch.Internal\">S</a>). DefaultUni `Includes` h =&gt; h -&gt; <a href=\"Plutarch-Internal-Lift.html#t:PLifted\" title=\"Plutarch.Internal.Lift\">PLifted</a> a s",
+    "name": "unsafeFromUni",
+    "module": "Plutarch.Internal.Lift",
+    "link": "plutarch/html/Plutarch-Internal-Lift.html#v:unsafeFromUni"
+  },
   {
     "display_html": "<span class=\"keyword\">type family</span> (p :: <a href=\"Plutarch-Internal.html#t:PType\" title=\"Plutarch.Internal\">PType</a>) <a href=\"#t:-62--126--60-\">&gt;~&lt;</a> (t :: <a href=\"Plutarch-Prelude.html#t:Type\" title=\"Plutarch.Prelude\">Type</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/Data-Kind.html#t:Constraint\" title=\"Data.Kind\">Constraint</a> <span class=\"keyword\">where ...</span>",
     "name": ">~<",

diff --git a/haddock/index.html b/haddock/index.html