Update gh-pages

Store path: /nix/store/760qyqvm266fiicym19mrlvsgxzrhbhr-combined-docs

haddock/plutarch/html/src/Plutarch.DataRepr.Internal.FromData.html

@@ -18,17 +18,17 @@
     pmaybeFromAsData (pdata 3 :: (Term s (PAsData PInteger))) :: (Term (s::S) (PAsData PInteger))
     :: forall (s :: S). Term s (PAsData (PInteger @{S}))
 -}</span></span><span>
-</span><span id="line-21"></span><span class="hs-keyword">class</span><span> </span><span id="PFromDataable"><span class="annot"><a href="Plutarch.DataRepr.Internal.FromData.html#PFromDataable"><span class="hs-identifier hs-var">PFromDataable</span></a></span></span><span> </span><span class="hs-special">(</span><span id="local-6989586621679559788"><span class="annot"><a href="#local-6989586621679559788"><span class="hs-identifier hs-type">a</span></a></span></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="Plutarch.Internal.Term.html#PType"><span class="hs-identifier hs-type">PType</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-special">(</span><span id="local-6989586621679559789"><span class="annot"><a href="#local-6989586621679559789"><span class="hs-identifier hs-type">b</span></a></span></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="Plutarch.Internal.Term.html#PType"><span class="hs-identifier hs-type">PType</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">|</span><span> </span><span class="annot"><a href="#local-6989586621679559789"><span class="hs-identifier hs-type">b</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="#local-6989586621679559788"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="#local-6989586621679559788"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="#local-6989586621679559789"><span class="hs-identifier hs-type">b</span></a></span><span> </span><span class="hs-keyword">where</span><span>
-</span><span id="line-22"></span><span>  </span><span id="pmaybeFromAsData"><span class="annot"><a href="Plutarch.DataRepr.Internal.FromData.html#pmaybeFromAsData"><span class="hs-identifier hs-type">pmaybeFromAsData</span></a></span></span><span> </span><span class="hs-glyph">::</span><span> </span><span id="local-6989586621679559782"><span class="annot"><a href="Plutarch.Internal.Term.html#Term"><span class="hs-identifier hs-type">Term</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679559782"><span class="hs-identifier hs-type">s</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Plutarch.Builtin.html#PAsData"><span class="hs-identifier hs-type">PAsData</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679559788"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="Plutarch.Internal.Term.html#Term"><span class="hs-identifier hs-type">Term</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679559782"><span class="hs-identifier hs-type">s</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679559789"><span class="hs-identifier hs-type">b</span></a></span></span><span>
+</span><span id="line-21"></span><span class="hs-keyword">class</span><span> </span><span id="PFromDataable"><span class="annot"><a href="Plutarch.DataRepr.Internal.FromData.html#PFromDataable"><span class="hs-identifier hs-var">PFromDataable</span></a></span></span><span> </span><span class="hs-special">(</span><span id="local-6989586621679559518"><span class="annot"><a href="#local-6989586621679559518"><span class="hs-identifier hs-type">a</span></a></span></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="Plutarch.Internal.Term.html#PType"><span class="hs-identifier hs-type">PType</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-special">(</span><span id="local-6989586621679559519"><span class="annot"><a href="#local-6989586621679559519"><span class="hs-identifier hs-type">b</span></a></span></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="Plutarch.Internal.Term.html#PType"><span class="hs-identifier hs-type">PType</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">|</span><span> </span><span class="annot"><a href="#local-6989586621679559519"><span class="hs-identifier hs-type">b</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="#local-6989586621679559518"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="#local-6989586621679559518"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="#local-6989586621679559519"><span class="hs-identifier hs-type">b</span></a></span><span> </span><span class="hs-keyword">where</span><span>
+</span><span id="line-22"></span><span>  </span><span id="pmaybeFromAsData"><span class="annot"><a href="Plutarch.DataRepr.Internal.FromData.html#pmaybeFromAsData"><span class="hs-identifier hs-type">pmaybeFromAsData</span></a></span></span><span> </span><span class="hs-glyph">::</span><span> </span><span id="local-6989586621679559512"><span class="annot"><a href="Plutarch.Internal.Term.html#Term"><span class="hs-identifier hs-type">Term</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679559512"><span class="hs-identifier hs-type">s</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Plutarch.Builtin.html#PAsData"><span class="hs-identifier hs-type">PAsData</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679559518"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="Plutarch.Internal.Term.html#Term"><span class="hs-identifier hs-type">Term</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679559512"><span class="hs-identifier hs-type">s</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679559519"><span class="hs-identifier hs-type">b</span></a></span></span><span>
 </span><span id="line-23"></span><span>
-</span><span id="line-24"></span><span class="hs-keyword">instance</span><span> </span><span class="hs-pragma">{-# OVERLAPPABLE</span><span> </span><span class="hs-pragma">#-}</span><span> </span><span id="local-6989586621679559790"><span class="annot"><a href="Plutarch.DataRepr.Internal.FromData.html#PFromDataable"><span class="hs-identifier hs-type">PFromDataable</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679559790"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Plutarch.Builtin.html#PAsData"><span class="hs-identifier hs-type">PAsData</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679559790"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span></span><span> </span><span class="hs-keyword">where</span><span>
-</span><span id="line-25"></span><span>  </span><span id="local-6989586621679559809"><span class="annot"><span class="annottext">pmaybeFromAsData :: forall (s :: S). Term s (PAsData a) -&gt; Term s (PAsData a)
+</span><span id="line-24"></span><span class="hs-keyword">instance</span><span> </span><span class="hs-pragma">{-# OVERLAPPABLE</span><span> </span><span class="hs-pragma">#-}</span><span> </span><span id="local-6989586621679559520"><span class="annot"><a href="Plutarch.DataRepr.Internal.FromData.html#PFromDataable"><span class="hs-identifier hs-type">PFromDataable</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679559520"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Plutarch.Builtin.html#PAsData"><span class="hs-identifier hs-type">PAsData</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679559520"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span></span><span> </span><span class="hs-keyword">where</span><span>
+</span><span id="line-25"></span><span>  </span><span id="local-6989586621679559539"><span class="annot"><span class="annottext">pmaybeFromAsData :: forall (s :: S). Term s (PAsData a) -&gt; Term s (PAsData a)
 </span><a href="Plutarch.DataRepr.Internal.FromData.html#pmaybeFromAsData"><span class="hs-identifier hs-var hs-var hs-var hs-var">pmaybeFromAsData</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Term s (PAsData a) -&gt; Term s (PAsData a)
 forall a. a -&gt; a
 </span><a href="../../../ghc-9.6.6/html/libraries/base-4.18.2.1/src/GHC.Base.html#id"><span class="hs-identifier hs-var">id</span></a></span><span>
 </span><span id="line-26"></span><span>
-</span><span id="line-27"></span><span class="hs-keyword">instance</span><span> </span><span class="hs-pragma">{-# OVERLAPPABLE</span><span> </span><span class="hs-pragma">#-}</span><span> </span><span id="local-6989586621679559796"><span id="local-6989586621679559797"><span class="hs-special">(</span><span class="annot"><a href="Plutarch.Builtin.html#PIsData"><span class="hs-identifier hs-type">PIsData</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679559796"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="#local-6989586621679559797"><span class="hs-identifier hs-type">b</span></a></span><span> </span><span class="annot"><a href="../../../ghc-9.6.6/html/libraries/ghc-prim-0.10.0/src/GHC.Types.html#~"><span class="hs-operator hs-type">~</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679559796"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=&gt;</span><span> </span><span class="annot"><a href="Plutarch.DataRepr.Internal.FromData.html#PFromDataable"><span class="hs-identifier hs-type">PFromDataable</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679559796"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679559797"><span class="hs-identifier hs-type">b</span></a></span></span></span><span> </span><span class="hs-keyword">where</span><span>
-</span><span id="line-28"></span><span>  </span><span id="local-6989586621679559817"><span class="annot"><span class="annottext">pmaybeFromAsData :: forall (s :: S). Term s (PAsData a) -&gt; Term s b
+</span><span id="line-27"></span><span class="hs-keyword">instance</span><span> </span><span class="hs-pragma">{-# OVERLAPPABLE</span><span> </span><span class="hs-pragma">#-}</span><span> </span><span id="local-6989586621679559526"><span id="local-6989586621679559527"><span class="hs-special">(</span><span class="annot"><a href="Plutarch.Builtin.html#PIsData"><span class="hs-identifier hs-type">PIsData</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679559526"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="#local-6989586621679559527"><span class="hs-identifier hs-type">b</span></a></span><span> </span><span class="annot"><a href="../../../ghc-9.6.6/html/libraries/ghc-prim-0.10.0/src/GHC.Types.html#~"><span class="hs-operator hs-type">~</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679559526"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=&gt;</span><span> </span><span class="annot"><a href="Plutarch.DataRepr.Internal.FromData.html#PFromDataable"><span class="hs-identifier hs-type">PFromDataable</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679559526"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679559527"><span class="hs-identifier hs-type">b</span></a></span></span></span><span> </span><span class="hs-keyword">where</span><span>
+</span><span id="line-28"></span><span>  </span><span id="local-6989586621679559547"><span class="annot"><span class="annottext">pmaybeFromAsData :: forall (s :: S). Term s (PAsData a) -&gt; Term s b
 </span><a href="Plutarch.DataRepr.Internal.FromData.html#pmaybeFromAsData"><span class="hs-identifier hs-var hs-var hs-var hs-var">pmaybeFromAsData</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Term s (PAsData a) -&gt; Term s a
 Term s (PAsData a) -&gt; Term s b
 forall (a :: PType) (s :: S).