Deploying to gh-pages from @ b0fc9a3 🚀

master/plutus-ledger-api/html/src/Codec.CBOR.Extras.html

@@ -9,28 +9,28 @@
 </span><span id="line-9"></span><span>
 </span><span id="line-10"></span><span class="hs-comment">-- | Newtype to provide 'Serialise' instances for types with a 'Flat' instance that</span><span>
 </span><span id="line-11"></span><span class="hs-comment">-- just encodes the flat-serialized value as a CBOR bytestring</span><span>
-</span><span id="line-12"></span><span class="hs-keyword">newtype</span><span> </span><span id="SerialiseViaFlat"><span class="annot"><a href="Codec.CBOR.Extras.html#SerialiseViaFlat"><span class="hs-identifier hs-var">SerialiseViaFlat</span></a></span></span><span> </span><span id="local-6989586621679923532"><span class="annot"><a href="#local-6989586621679923532"><span class="hs-identifier hs-type">a</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span id="SerialiseViaFlat"><span class="annot"><a href="Codec.CBOR.Extras.html#SerialiseViaFlat"><span class="hs-identifier hs-var">SerialiseViaFlat</span></a></span></span><span> </span><span class="annot"><a href="#local-6989586621679923532"><span class="hs-identifier hs-type">a</span></a></span><span>
-</span><span id="line-13"></span><span class="hs-keyword">instance</span><span> </span><span id="local-6989586621679923493"><span id="local-6989586621679923495"><span id="local-6989586621679923540"><span class="annot"><span class="hs-identifier hs-type">Flat.Flat</span></span><span> </span><span class="annot"><a href="#local-6989586621679923540"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">=&gt;</span><span> </span><span class="annot"><span class="hs-identifier hs-type">Serialise</span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Codec.CBOR.Extras.html#SerialiseViaFlat"><span class="hs-identifier hs-type">SerialiseViaFlat</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679923540"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span></span></span></span><span> </span><span class="hs-keyword">where</span><span>
-</span><span id="line-14"></span><span>  </span><span id="local-6989586621679923488"><span class="annot"><span class="annottext">encode :: SerialiseViaFlat a -&gt; Encoding
-</span><a href="#local-6989586621679923488"><span class="hs-identifier hs-var hs-var hs-var hs-var">encode</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Codec.CBOR.Extras.html#SerialiseViaFlat"><span class="hs-identifier hs-type">SerialiseViaFlat</span></a></span><span> </span><span id="local-6989586621679923487"><span class="annot"><span class="annottext">a
-</span><a href="#local-6989586621679923487"><span class="hs-identifier hs-var">a</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">forall a. Serialise a =&gt; a -&gt; Encoding
+</span><span id="line-12"></span><span class="hs-keyword">newtype</span><span> </span><span id="SerialiseViaFlat"><span class="annot"><a href="Codec.CBOR.Extras.html#SerialiseViaFlat"><span class="hs-identifier hs-var">SerialiseViaFlat</span></a></span></span><span> </span><span id="local-6989586621679923621"><span class="annot"><a href="#local-6989586621679923621"><span class="hs-identifier hs-type">a</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span id="SerialiseViaFlat"><span class="annot"><a href="Codec.CBOR.Extras.html#SerialiseViaFlat"><span class="hs-identifier hs-var">SerialiseViaFlat</span></a></span></span><span> </span><span class="annot"><a href="#local-6989586621679923621"><span class="hs-identifier hs-type">a</span></a></span><span>
+</span><span id="line-13"></span><span class="hs-keyword">instance</span><span> </span><span id="local-6989586621679923582"><span id="local-6989586621679923584"><span id="local-6989586621679923629"><span class="annot"><span class="hs-identifier hs-type">Flat.Flat</span></span><span> </span><span class="annot"><a href="#local-6989586621679923629"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">=&gt;</span><span> </span><span class="annot"><span class="hs-identifier hs-type">Serialise</span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Codec.CBOR.Extras.html#SerialiseViaFlat"><span class="hs-identifier hs-type">SerialiseViaFlat</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679923629"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span></span></span></span><span> </span><span class="hs-keyword">where</span><span>
+</span><span id="line-14"></span><span>  </span><span id="local-6989586621679923577"><span class="annot"><span class="annottext">encode :: SerialiseViaFlat a -&gt; Encoding
+</span><a href="#local-6989586621679923577"><span class="hs-identifier hs-var hs-var hs-var hs-var">encode</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Codec.CBOR.Extras.html#SerialiseViaFlat"><span class="hs-identifier hs-type">SerialiseViaFlat</span></a></span><span> </span><span id="local-6989586621679923576"><span class="annot"><span class="annottext">a
+</span><a href="#local-6989586621679923576"><span class="hs-identifier hs-var">a</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">forall a. Serialise a =&gt; a -&gt; Encoding
 </span><span class="hs-identifier hs-var">encode</span></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.4.0/src"><span class="hs-operator hs-var">$</span></a></span><span> </span><span class="annot"><span class="annottext">forall a. Flat a =&gt; a -&gt; ByteString
 </span><span class="hs-identifier hs-var">Flat.flat</span></span><span> </span><span class="annot"><span class="annottext">a
-</span><a href="#local-6989586621679923487"><span class="hs-identifier hs-var">a</span></a></span><span>
-</span><span id="line-15"></span><span>  </span><span id="local-6989586621679923482"><span class="annot"><span class="annottext">decode :: forall s. Decoder s (SerialiseViaFlat a)
-</span><a href="#local-6989586621679923482"><span class="hs-identifier hs-var hs-var hs-var hs-var">decode</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">forall a. a -&gt; SerialiseViaFlat a
+</span><a href="#local-6989586621679923576"><span class="hs-identifier hs-var">a</span></a></span><span>
+</span><span id="line-15"></span><span>  </span><span id="local-6989586621679923571"><span class="annot"><span class="annottext">decode :: forall s. Decoder s (SerialiseViaFlat a)
+</span><a href="#local-6989586621679923571"><span class="hs-identifier hs-var hs-var hs-var hs-var">decode</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">forall a. a -&gt; SerialiseViaFlat a
 </span><a href="Codec.CBOR.Extras.html#SerialiseViaFlat"><span class="hs-identifier hs-var">SerialiseViaFlat</span></a></span><span> </span><span class="annot"><span class="annottext">forall (f :: * -&gt; *) a b. Functor f =&gt; (a -&gt; b) -&gt; f a -&gt; f b
 </span><a href="../../../../ghc/html/libraries/base-4.16.4.0/src"><span class="hs-operator hs-var">&lt;$&gt;</span></a></span><span> </span><span class="annot"><span class="annottext">forall a s. Get a -&gt; Decoder s a
 </span><a href="Codec.CBOR.Extras.html#decodeViaFlat"><span class="hs-identifier hs-var">decodeViaFlat</span></a></span><span> </span><span class="annot"><span class="annottext">forall a. Flat a =&gt; Get a
 </span><span class="hs-identifier hs-var">Flat.decode</span></span><span>
 </span><span id="line-16"></span><span>
-</span><span id="line-17"></span><span id="local-6989586621679923526"><span id="local-6989586621679923528"><span class="annot"><a href="Codec.CBOR.Extras.html#decodeViaFlat"><span class="hs-identifier hs-type">decodeViaFlat</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><span class="hs-identifier hs-type">Flat.Get</span></span><span> </span><span class="annot"><a href="#local-6989586621679923528"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><span class="hs-identifier hs-type">CBOR.Decoder</span></span><span> </span><span class="annot"><a href="#local-6989586621679923526"><span class="hs-identifier hs-type">s</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679923528"><span class="hs-identifier hs-type">a</span></a></span></span></span><span>
+</span><span id="line-17"></span><span id="local-6989586621679923615"><span id="local-6989586621679923617"><span class="annot"><a href="Codec.CBOR.Extras.html#decodeViaFlat"><span class="hs-identifier hs-type">decodeViaFlat</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><span class="hs-identifier hs-type">Flat.Get</span></span><span> </span><span class="annot"><a href="#local-6989586621679923617"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><span class="hs-identifier hs-type">CBOR.Decoder</span></span><span> </span><span class="annot"><a href="#local-6989586621679923615"><span class="hs-identifier hs-type">s</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679923617"><span class="hs-identifier hs-type">a</span></a></span></span></span><span>
 </span><span id="line-18"></span><span id="decodeViaFlat"><span class="annot"><span class="annottext">decodeViaFlat :: forall a s. Get a -&gt; Decoder s a
-</span><a href="Codec.CBOR.Extras.html#decodeViaFlat"><span class="hs-identifier hs-var hs-var">decodeViaFlat</span></a></span></span><span> </span><span id="local-6989586621679923469"><span class="annot"><span class="annottext">Get a
-</span><a href="#local-6989586621679923469"><span class="hs-identifier hs-var">decoder</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="hs-keyword">do</span><span>
-</span><span id="line-19"></span><span>    </span><span id="local-6989586621679923468"><span class="annot"><span class="annottext">ByteString
-</span><a href="#local-6989586621679923468"><span class="hs-identifier hs-var">bs</span></a></span></span><span> </span><span class="hs-glyph">&lt;-</span><span> </span><span class="annot"><span class="annottext">forall s. Decoder s ByteString
+</span><a href="Codec.CBOR.Extras.html#decodeViaFlat"><span class="hs-identifier hs-var hs-var">decodeViaFlat</span></a></span></span><span> </span><span id="local-6989586621679923558"><span class="annot"><span class="annottext">Get a
+</span><a href="#local-6989586621679923558"><span class="hs-identifier hs-var">decoder</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="hs-keyword">do</span><span>
+</span><span id="line-19"></span><span>    </span><span id="local-6989586621679923557"><span class="annot"><span class="annottext">ByteString
+</span><a href="#local-6989586621679923557"><span class="hs-identifier hs-var">bs</span></a></span></span><span> </span><span class="hs-glyph">&lt;-</span><span> </span><span class="annot"><span class="annottext">forall s. Decoder s ByteString
 </span><span class="hs-identifier hs-var">decodeBytes</span></span><span>
 </span><span id="line-20"></span><span>    </span><span class="hs-comment">-- lift any flat's failures to be cborg failures (MonadFail)</span><span>
 </span><span id="line-21"></span><span>    </span><span class="annot"><span class="annottext">forall (m :: * -&gt; *) a b.
@@ -43,6 +43,6 @@
 </span><a href="../../../../ghc/html/libraries/base-4.16.4.0/src"><span class="hs-operator hs-var">$</span></a></span><span>
 </span><span id="line-22"></span><span>        </span><span class="annot"><span class="annottext">forall b a. AsByteString b =&gt; Get a -&gt; b -&gt; Decoded a
 </span><span class="hs-identifier hs-var">Flat.unflatWith</span></span><span> </span><span class="annot"><span class="annottext">Get a
-</span><a href="#local-6989586621679923469"><span class="hs-identifier hs-var">decoder</span></a></span><span> </span><span class="annot"><span class="annottext">ByteString
-</span><a href="#local-6989586621679923468"><span class="hs-identifier hs-var">bs</span></a></span><span>
+</span><a href="#local-6989586621679923558"><span class="hs-identifier hs-var">decoder</span></a></span><span> </span><span class="annot"><span class="annottext">ByteString
+</span><a href="#local-6989586621679923557"><span class="hs-identifier hs-var">bs</span></a></span><span>
 </span><span id="line-23"></span></pre></body></html>