Deploying to gh-pages from @ 1bf2d74 🚀

plutus-core/html/src/Data.Aeson.THReader.html

@@ -6,24 +6,24 @@
 </span><span id="line-6"></span><span class="hs-keyword">import</span><span> </span><span class="annot"><a href="../../../../th-compat/html/src"><span class="hs-identifier">Language.Haskell.TH.Syntax.Compat</span></a></span><span>
 </span><span id="line-7"></span><span class="hs-keyword">import</span><span> </span><span class="annot"><a href="../../../../th-utilities/html/src"><span class="hs-identifier">TH.RelativePaths</span></a></span><span>
 </span><span id="line-8"></span><span>
-</span><span id="line-9"></span><span id="local-6989586621681046037"><span class="annot"><a href="Data.Aeson.THReader.html#readJSONFromFile"><span class="hs-identifier hs-type">readJSONFromFile</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="hs-special">(</span><span class="annot"><a href="../../../../aeson/html/src"><span class="hs-identifier hs-type">FromJSON</span></a></span><span> </span><span class="annot"><a href="#local-6989586621681046037"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="../../../../ghc/html/libraries/template-haskell-2.18.0.0/src"><span class="hs-identifier hs-type">Lift</span></a></span><span> </span><span class="annot"><a href="#local-6989586621681046037"><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="../../../../ghc/html/libraries/base-4.16.3.0/src"><span class="hs-identifier hs-type">String</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="../../../../th-compat/html/src"><span class="hs-identifier hs-type">SpliceQ</span></a></span><span> </span><span class="annot"><a href="#local-6989586621681046037"><span class="hs-identifier hs-type">a</span></a></span></span><span>
+</span><span id="line-9"></span><span id="local-6989586621681046038"><span class="annot"><a href="Data.Aeson.THReader.html#readJSONFromFile"><span class="hs-identifier hs-type">readJSONFromFile</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="hs-special">(</span><span class="annot"><a href="../../../../aeson/html/src"><span class="hs-identifier hs-type">FromJSON</span></a></span><span> </span><span class="annot"><a href="#local-6989586621681046038"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="../../../../ghc/html/libraries/template-haskell-2.18.0.0/src"><span class="hs-identifier hs-type">Lift</span></a></span><span> </span><span class="annot"><a href="#local-6989586621681046038"><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="../../../../ghc/html/libraries/base-4.16.3.0/src"><span class="hs-identifier hs-type">String</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="../../../../th-compat/html/src"><span class="hs-identifier hs-type">SpliceQ</span></a></span><span> </span><span class="annot"><a href="#local-6989586621681046038"><span class="hs-identifier hs-type">a</span></a></span></span><span>
 </span><span id="line-10"></span><span id="readJSONFromFile"><span class="annot"><span class="annottext">readJSONFromFile :: forall a. (FromJSON a, Lift a) =&gt; String -&gt; SpliceQ a
-</span><a href="Data.Aeson.THReader.html#readJSONFromFile"><span class="hs-identifier hs-var hs-var">readJSONFromFile</span></a></span></span><span> </span><span id="local-6989586621681046007"><span class="annot"><span class="annottext">String
-</span><a href="#local-6989586621681046007"><span class="hs-identifier hs-var">name</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">forall a (m :: * -&gt; *). m (TExp a) -&gt; Splice m a
+</span><a href="Data.Aeson.THReader.html#readJSONFromFile"><span class="hs-identifier hs-var hs-var">readJSONFromFile</span></a></span></span><span> </span><span id="local-6989586621681046008"><span class="annot"><span class="annottext">String
+</span><a href="#local-6989586621681046008"><span class="hs-identifier hs-var">name</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">forall a (m :: * -&gt; *). m (TExp a) -&gt; Splice m a
 </span><a href="../../../../th-compat/html/src"><span class="hs-identifier hs-var">liftSplice</span></a></span><span> </span><span class="annot"><span class="annottext">forall a b. (a -&gt; b) -&gt; a -&gt; b
 </span><a href="../../../../ghc/html/libraries/base-4.16.3.0/src"><span class="hs-operator hs-var">$</span></a></span><span> </span><span class="hs-keyword">do</span><span>
-</span><span id="line-11"></span><span>    </span><span id="local-6989586621681046005"><span class="annot"><span class="annottext">ByteString
-</span><a href="#local-6989586621681046005"><span class="hs-identifier hs-var">contents</span></a></span></span><span> </span><span class="hs-glyph">&lt;-</span><span> </span><span class="annot"><span class="annottext">String -&gt; Q ByteString
+</span><span id="line-11"></span><span>    </span><span id="local-6989586621681046006"><span class="annot"><span class="annottext">ByteString
+</span><a href="#local-6989586621681046006"><span class="hs-identifier hs-var">contents</span></a></span></span><span> </span><span class="hs-glyph">&lt;-</span><span> </span><span class="annot"><span class="annottext">String -&gt; Q ByteString
 </span><a href="../../../../th-utilities/html/src"><span class="hs-identifier hs-var">qReadFileLBS</span></a></span><span> </span><span class="annot"><span class="annottext">String
-</span><a href="#local-6989586621681046007"><span class="hs-identifier hs-var">name</span></a></span><span>
+</span><a href="#local-6989586621681046008"><span class="hs-identifier hs-var">name</span></a></span><span>
 </span><span id="line-12"></span><span>    </span><span class="hs-keyword">case</span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">forall a. FromJSON a =&gt; ByteString -&gt; Either String a
 </span><a href="../../../../aeson/html/src"><span class="hs-identifier hs-var">eitherDecode</span></a></span><span> </span><span class="annot"><span class="annottext">ByteString
-</span><a href="#local-6989586621681046005"><span class="hs-identifier hs-var">contents</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-keyword">of</span><span>
-</span><span id="line-13"></span><span>        </span><span class="annot"><a href="../../../../ghc/html/libraries/base-4.16.3.0/src"><span class="hs-identifier hs-type">Left</span></a></span><span> </span><span id="local-6989586621681046002"><span class="annot"><span class="annottext">String
-</span><a href="#local-6989586621681046002"><span class="hs-identifier hs-var">err</span></a></span></span><span>  </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><span class="annottext">forall (m :: * -&gt; *) a. MonadFail m =&gt; String -&gt; m a
+</span><a href="#local-6989586621681046006"><span class="hs-identifier hs-var">contents</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-keyword">of</span><span>
+</span><span id="line-13"></span><span>        </span><span class="annot"><a href="../../../../ghc/html/libraries/base-4.16.3.0/src"><span class="hs-identifier hs-type">Left</span></a></span><span> </span><span id="local-6989586621681046003"><span class="annot"><span class="annottext">String
+</span><a href="#local-6989586621681046003"><span class="hs-identifier hs-var">err</span></a></span></span><span>  </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><span class="annottext">forall (m :: * -&gt; *) a. MonadFail m =&gt; String -&gt; m a
 </span><a href="../../../../ghc/html/libraries/base-4.16.3.0/src"><span class="hs-identifier hs-var">fail</span></a></span><span> </span><span class="annot"><span class="annottext">String
-</span><a href="#local-6989586621681046002"><span class="hs-identifier hs-var">err</span></a></span><span>
-</span><span id="line-14"></span><span>        </span><span class="annot"><a href="../../../../ghc/html/libraries/base-4.16.3.0/src"><span class="hs-identifier hs-type">Right</span></a></span><span> </span><span id="local-6989586621681046001"><span class="annot"><span class="annottext">a
-</span><a href="#local-6989586621681046001"><span class="hs-identifier hs-var">res</span></a></span></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><span class="annottext">forall (m :: * -&gt; *) a. Splice m a -&gt; m (TExp a)
+</span><a href="#local-6989586621681046003"><span class="hs-identifier hs-var">err</span></a></span><span>
+</span><span id="line-14"></span><span>        </span><span class="annot"><a href="../../../../ghc/html/libraries/base-4.16.3.0/src"><span class="hs-identifier hs-type">Right</span></a></span><span> </span><span id="local-6989586621681046002"><span class="annot"><span class="annottext">a
+</span><a href="#local-6989586621681046002"><span class="hs-identifier hs-var">res</span></a></span></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><span class="annottext">forall (m :: * -&gt; *) a. Splice m a -&gt; m (TExp a)
 </span><a href="../../../../th-compat/html/src"><span class="hs-identifier hs-var">examineSplice</span></a></span><span> </span><span class="hs-special">[||</span><span class="hs-identifier">res</span><span class="hs-special">||]</span><span>
 </span><span id="line-15"></span></pre></body></html>

plutus-core/html/src/Data.Either.Extras.html

@@ -7,7 +7,7 @@
 </span><span id="line-7"></span><span>
 </span><span id="line-8"></span><span class="hs-pragma">{-# INLINE</span><span> </span><span class="annot"><a href="Data.Either.Extras.html#unsafeFromEither"><span class="hs-pragma hs-type">unsafeFromEither</span></a></span><span> </span><span class="hs-pragma">#-}</span><span>
 </span><span id="line-9"></span><span class="hs-comment">-- | If argument is `Left` throw an exception, otherwise return the value inside `Right`.</span><span>
-</span><span id="line-10"></span><span id="local-6989586621681046088"><span id="local-6989586621681046090"><span class="annot"><a href="Data.Either.Extras.html#unsafeFromEither"><span class="hs-identifier hs-type">unsafeFromEither</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="../../../../ghc/html/libraries/base-4.16.3.0/src"><span class="hs-identifier hs-type">Exception</span></a></span><span> </span><span class="annot"><a href="#local-6989586621681046090"><span class="hs-identifier hs-type">e</span></a></span><span> </span><span class="hs-glyph">=&gt;</span><span> </span><span class="annot"><a href="../../../../ghc/html/libraries/base-4.16.3.0/src"><span class="hs-identifier hs-type">Either</span></a></span><span> </span><span class="annot"><a href="#local-6989586621681046090"><span class="hs-identifier hs-type">e</span></a></span><span> </span><span class="annot"><a href="#local-6989586621681046088"><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-6989586621681046088"><span class="hs-identifier hs-type">a</span></a></span></span></span><span>
+</span><span id="line-10"></span><span id="local-6989586621681046089"><span id="local-6989586621681046091"><span class="annot"><a href="Data.Either.Extras.html#unsafeFromEither"><span class="hs-identifier hs-type">unsafeFromEither</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="../../../../ghc/html/libraries/base-4.16.3.0/src"><span class="hs-identifier hs-type">Exception</span></a></span><span> </span><span class="annot"><a href="#local-6989586621681046091"><span class="hs-identifier hs-type">e</span></a></span><span> </span><span class="hs-glyph">=&gt;</span><span> </span><span class="annot"><a href="../../../../ghc/html/libraries/base-4.16.3.0/src"><span class="hs-identifier hs-type">Either</span></a></span><span> </span><span class="annot"><a href="#local-6989586621681046091"><span class="hs-identifier hs-type">e</span></a></span><span> </span><span class="annot"><a href="#local-6989586621681046089"><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-6989586621681046089"><span class="hs-identifier hs-type">a</span></a></span></span></span><span>
 </span><span id="line-11"></span><span id="unsafeFromEither"><span class="annot"><span class="annottext">unsafeFromEither :: forall e a. Exception e =&gt; Either e a -&gt; a
 </span><a href="Data.Either.Extras.html#unsafeFromEither"><span class="hs-identifier hs-var hs-var">unsafeFromEither</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">forall a c b. (a -&gt; c) -&gt; (b -&gt; c) -&gt; Either a b -&gt; c
 </span><a href="../../../../ghc/html/libraries/base-4.16.3.0/src"><span class="hs-identifier hs-var">either</span></a></span><span> </span><span class="annot"><span class="annottext">forall a e. Exception e =&gt; e -&gt; a
@@ -17,13 +17,13 @@
 </span><span id="line-13"></span><span class="hs-pragma">{-# INLINE</span><span> </span><span class="annot"><a href="Data.Either.Extras.html#fromRightM"><span class="hs-pragma hs-type">fromRightM</span></a></span><span> </span><span class="hs-pragma">#-}</span><span>
 </span><span id="line-14"></span><span class="hs-comment">-- | If argument is `Right` return its value,</span><span>
 </span><span id="line-15"></span><span class="hs-comment">-- otherwise apply the given action to the value of Left and return its result.</span><span>
-</span><span id="line-16"></span><span id="local-6989586621681046077"><span id="local-6989586621681046078"><span id="local-6989586621681046079"><span class="annot"><a href="Data.Either.Extras.html#fromRightM"><span class="hs-identifier hs-type">fromRightM</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="../../../../ghc/html/libraries/base-4.16.3.0/src"><span class="hs-identifier hs-type">Monad</span></a></span><span> </span><span class="annot"><a href="#local-6989586621681046079"><span class="hs-identifier hs-type">m</span></a></span><span> </span><span class="hs-glyph">=&gt;</span><span> </span><span class="hs-special">(</span><span class="annot"><a href="#local-6989586621681046078"><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-6989586621681046079"><span class="hs-identifier hs-type">m</span></a></span><span> </span><span class="annot"><a href="#local-6989586621681046077"><span class="hs-identifier hs-type">b</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="../../../../ghc/html/libraries/base-4.16.3.0/src"><span class="hs-identifier hs-type">Either</span></a></span><span> </span><span class="annot"><a href="#local-6989586621681046078"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="annot"><a href="#local-6989586621681046077"><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-6989586621681046079"><span class="hs-identifier hs-type">m</span></a></span><span> </span><span class="annot"><a href="#local-6989586621681046077"><span class="hs-identifier hs-type">b</span></a></span></span></span></span><span>
+</span><span id="line-16"></span><span id="local-6989586621681046078"><span id="local-6989586621681046079"><span id="local-6989586621681046080"><span class="annot"><a href="Data.Either.Extras.html#fromRightM"><span class="hs-identifier hs-type">fromRightM</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="../../../../ghc/html/libraries/base-4.16.3.0/src"><span class="hs-identifier hs-type">Monad</span></a></span><span> </span><span class="annot"><a href="#local-6989586621681046080"><span class="hs-identifier hs-type">m</span></a></span><span> </span><span class="hs-glyph">=&gt;</span><span> </span><span class="hs-special">(</span><span class="annot"><a href="#local-6989586621681046079"><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-6989586621681046080"><span class="hs-identifier hs-type">m</span></a></span><span> </span><span class="annot"><a href="#local-6989586621681046078"><span class="hs-identifier hs-type">b</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="../../../../ghc/html/libraries/base-4.16.3.0/src"><span class="hs-identifier hs-type">Either</span></a></span><span> </span><span class="annot"><a href="#local-6989586621681046079"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="annot"><a href="#local-6989586621681046078"><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-6989586621681046080"><span class="hs-identifier hs-type">m</span></a></span><span> </span><span class="annot"><a href="#local-6989586621681046078"><span class="hs-identifier hs-type">b</span></a></span></span></span></span><span>
 </span><span id="line-17"></span><span id="fromRightM"><span class="annot"><span class="annottext">fromRightM :: forall (m :: * -&gt; *) a b.
 Monad m =&gt;
 (a -&gt; m b) -&gt; Either a b -&gt; m b
-</span><a href="Data.Either.Extras.html#fromRightM"><span class="hs-identifier hs-var hs-var">fromRightM</span></a></span></span><span> </span><span id="local-6989586621681046059"><span class="annot"><span class="annottext">a -&gt; m b
-</span><a href="#local-6989586621681046059"><span class="hs-identifier hs-var">f</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">forall a c b. (a -&gt; c) -&gt; (b -&gt; c) -&gt; Either a b -&gt; c
+</span><a href="Data.Either.Extras.html#fromRightM"><span class="hs-identifier hs-var hs-var">fromRightM</span></a></span></span><span> </span><span id="local-6989586621681046060"><span class="annot"><span class="annottext">a -&gt; m b
+</span><a href="#local-6989586621681046060"><span class="hs-identifier hs-var">f</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">forall a c b. (a -&gt; c) -&gt; (b -&gt; c) -&gt; Either a b -&gt; c
 </span><a href="../../../../ghc/html/libraries/base-4.16.3.0/src"><span class="hs-identifier hs-var">either</span></a></span><span> </span><span class="annot"><span class="annottext">a -&gt; m b
-</span><a href="#local-6989586621681046059"><span class="hs-identifier hs-var">f</span></a></span><span> </span><span class="annot"><span class="annottext">forall (f :: * -&gt; *) a. Applicative f =&gt; a -&gt; f a
+</span><a href="#local-6989586621681046060"><span class="hs-identifier hs-var">f</span></a></span><span> </span><span class="annot"><span class="annottext">forall (f :: * -&gt; *) a. Applicative f =&gt; a -&gt; f a
 </span><a href="../../../../ghc/html/libraries/base-4.16.3.0/src"><span class="hs-identifier hs-var">pure</span></a></span><span>
 </span><span id="line-18"></span></pre></body></html>