Update gh-pages

Store path: /nix/store/0jai17hzr73vwdbg4cvsvw1ciqzl7hfq-combined-docs

haddock/doc-index.json

@@ -235589,6 +235589,12 @@
     "module": "Plutarch.Builtin.Bool",
     "link": "plutarch/html/Plutarch-Builtin-Bool.html#v:por-39-"
   },
+  {
+    "display_html": "<a href=\"#v:pcond\">pcond</a> :: <span class=\"keyword\">forall</span> (a :: <a href=\"Plutarch-Internal-Term.html#t:S\" title=\"Plutarch.Internal.Term\">S</a> -&gt; <a href=\"Plutarch-Prelude.html#t:Type\" title=\"Plutarch.Prelude\">Type</a>) (s :: <a href=\"Plutarch-Internal-Term.html#t:S\" title=\"Plutarch.Internal.Term\">S</a>). [(<a href=\"Plutarch-Internal-Term.html#t:Term\" title=\"Plutarch.Internal.Term\">Term</a> s <a href=\"Plutarch-Builtin-Bool.html#t:PBool\" title=\"Plutarch.Builtin.Bool\">PBool</a>, <a href=\"Plutarch-Internal-Term.html#t:Term\" title=\"Plutarch.Internal.Term\">Term</a> s a)] -&gt; <a href=\"Plutarch-Internal-Term.html#t:Term\" title=\"Plutarch.Internal.Term\">Term</a> s a -&gt; <a href=\"Plutarch-Internal-Term.html#t:Term\" title=\"Plutarch.Internal.Term\">Term</a> s a",
+    "name": "pcond",
+    "module": "Plutarch.Builtin.Bool",
+    "link": "plutarch/html/Plutarch-Builtin-Bool.html#v:pcond"
+  },
   {
     "display_html": "<span class=\"keyword\">class</span> <a href=\"#t:PEq\">PEq</a> t <span class=\"keyword\">where</span><ul class=\"subs\"><li><a href=\"#v:-35--61--61-\">(#==)</a> :: <a href=\"Plutarch-Internal-Term.html#t:Term\" title=\"Plutarch.Internal.Term\">Term</a> s t -&gt; <a href=\"Plutarch-Internal-Term.html#t:Term\" title=\"Plutarch.Internal.Term\">Term</a> s t -&gt; <a href=\"Plutarch-Internal-Term.html#t:Term\" title=\"Plutarch.Internal.Term\">Term</a> s <a href=\"Plutarch-Builtin-Bool.html#t:PBool\" title=\"Plutarch.Builtin.Bool\">PBool</a></li></ul>",
     "name": "PEq #==",
@@ -237377,6 +237383,12 @@
     "module": "Plutarch.Prelude",
     "link": "plutarch/html/Plutarch-Prelude.html#v:-35--124--124-"
   },
+  {
+    "display_html": "<a href=\"#v:pcond\">pcond</a> :: <span class=\"keyword\">forall</span> (a :: <a href=\"Plutarch-Prelude.html#t:S\" title=\"Plutarch.Prelude\">S</a> -&gt; <a href=\"Plutarch-Prelude.html#t:Type\" title=\"Plutarch.Prelude\">Type</a>) (s :: <a href=\"Plutarch-Prelude.html#t:S\" title=\"Plutarch.Prelude\">S</a>). [(<a href=\"Plutarch-Prelude.html#t:Term\" title=\"Plutarch.Prelude\">Term</a> s <a href=\"Plutarch-Prelude.html#t:PBool\" title=\"Plutarch.Prelude\">PBool</a>, <a href=\"Plutarch-Prelude.html#t:Term\" title=\"Plutarch.Prelude\">Term</a> s a)] -&gt; <a href=\"Plutarch-Prelude.html#t:Term\" title=\"Plutarch.Prelude\">Term</a> s a -&gt; <a href=\"Plutarch-Prelude.html#t:Term\" title=\"Plutarch.Prelude\">Term</a> s a",
+    "name": "pcond",
+    "module": "Plutarch.Prelude",
+    "link": "plutarch/html/Plutarch-Prelude.html#v:pcond"
+  },
   {
     "display_html": "<span class=\"keyword\">data</span> <a href=\"#t:PByteString\">PByteString</a> s",
     "name": "PByteString",

haddock/plutarch/html/plutarch.txt

@@ -1056,6 +1056,25 @@ pand' :: forall (s :: S). Term s (PBool :--> (PBool :--> PBool))
 --   
 --   @since WIP
 por' :: Term s (PBool :--> (PBool :--> PBool))
+
+-- | Essentially multi-way <a>pif</a>. More precisely, given a list of
+--   condition-action pairs, and an 'action of last resort', construct a
+--   left-to-right 'chain' of <tt>pif</tt>s, using the conditions to
+--   determine which action gets taken. The 'action of last resort'
+--   finishes the 'chain'. For example:
+--   
+--   <pre>
+--   pcond [(cond1, act1), (cond2, act2)] act3
+--   </pre>
+--   
+--   does the same thing as
+--   
+--   <pre>
+--   pif cond1 act1 (pif cond2 act2 act3)
+--   </pre>
+--   
+--   @since WIP
+pcond :: forall (a :: S -> Type) (s :: S). [(Term s PBool, Term s a)] -> Term s a -> Term s a
 instance forall (s :: Plutarch.Internal.Term.S). GHC.Show.Show (Plutarch.Builtin.Bool.PBool s)
 instance Plutarch.Internal.Lift.PLiftable Plutarch.Builtin.Bool.PBool
 instance Plutarch.Internal.PlutusType.PlutusType Plutarch.Builtin.Bool.PBool
@@ -3046,6 +3065,25 @@ infixr 3 #&&
 (#||) :: forall (s :: S). Term s PBool -> Term s PBool -> Term s PBool
 infixr 2 #||
 
+-- | Essentially multi-way <a>pif</a>. More precisely, given a list of
+--   condition-action pairs, and an 'action of last resort', construct a
+--   left-to-right 'chain' of <tt>pif</tt>s, using the conditions to
+--   determine which action gets taken. The 'action of last resort'
+--   finishes the 'chain'. For example:
+--   
+--   <pre>
+--   pcond [(cond1, act1), (cond2, act2)] act3
+--   </pre>
+--   
+--   does the same thing as
+--   
+--   <pre>
+--   pif cond1 act1 (pif cond2 act2 act3)
+--   </pre>
+--   
+--   @since WIP
+pcond :: forall (a :: S -> Type) (s :: S). [(Term s PBool, Term s a)] -> Term s a -> Term s a
+
 -- | Plutus <tt>BuiltinByteString</tt>
 data PByteString s