-
Notifications
You must be signed in to change notification settings - Fork 721
/
Cardano-Api-TxMetadata.html
37 lines (37 loc) · 135 KB
/
Cardano-Api-TxMetadata.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><meta name="viewport" content="width=device-width, initial-scale=1" /><title>Cardano.Api.TxMetadata</title><link href="linuwial.css" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=PT+Sans:400,400i,700" /><script src="haddock-bundle.min.js" async="async" type="text/javascript"></script><script type="text/x-mathjax-config">MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script></head><body><div id="package-header"><span class="caption">cardano-api-1.27.0</span><ul class="links" id="page-menu"><li><a href="src/Cardano.Api.TxMetadata.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>None</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">Cardano.Api.TxMetadata</p></div><div id="table-of-contents"><div id="contents-list"><p class="caption" onclick="window.scrollTo(0,0)">Contents</p><ul><li><a href="#g:1">Types</a></li><li><a href="#g:2">Constructing metadata</a></li><li><a href="#g:3">Validating metadata</a></li><li><a href="#g:4">Converstion to/from JSON</a></li><li><a href="#g:5">Internal conversion functions</a></li><li><a href="#g:6">Shared parsing utils</a></li><li><a href="#g:7">Data family instances</a></li></ul></div></div><div id="description"><p class="caption">Description</p><div class="doc"><p>Metadata embedded in transactions</p></div></div><div id="synopsis"><details id="syn"><summary>Synopsis</summary><ul class="details-toggle" data-details-id="syn"><li class="src short"><span class="keyword">newtype</span> <a href="#t:TxMetadata">TxMetadata</a> = <a href="#v:TxMetadata">TxMetadata</a> (<a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Map" title="Distribution.Compat.Prelude.Internal">Map</a> <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Word64" title="Distribution.Compat.Prelude.Internal">Word64</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a>)</li><li class="src short"><span class="keyword">data</span> <a href="#t:TxMetadataValue">TxMetadataValue</a><ul class="subs"><li>= <a href="#v:TxMetaNumber">TxMetaNumber</a> <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Integer" title="Distribution.Compat.Prelude.Internal">Integer</a></li><li>| <a href="#v:TxMetaBytes">TxMetaBytes</a> <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/bytestring-0.10.12.0/Data-ByteString.html#t:ByteString" title="Data.ByteString">ByteString</a></li><li>| <a href="#v:TxMetaText">TxMetaText</a> <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/text-1.2.4.1/Data-Text.html#t:Text" title="Data.Text">Text</a></li><li>| <a href="#v:TxMetaList">TxMetaList</a> [<a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a>]</li><li>| <a href="#v:TxMetaMap">TxMetaMap</a> [(<a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a>, <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a>)]</li></ul></li><li class="src short"><a href="#v:makeTransactionMetadata">makeTransactionMetadata</a> ∷ <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Map" title="Distribution.Compat.Prelude.Internal">Map</a> <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Word64" title="Distribution.Compat.Prelude.Internal">Word64</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a></li><li class="src short"><a href="#v:validateTxMetadata">validateTxMetadata</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Either" title="Distribution.Compat.Prelude.Internal">Either</a> [(<a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Word64" title="Distribution.Compat.Prelude.Internal">Word64</a>, <a href="Cardano-Api-TxMetadata.html#t:TxMetadataRangeError" title="Cardano.Api.TxMetadata">TxMetadataRangeError</a>)] ()</li><li class="src short"><span class="keyword">data</span> <a href="#t:TxMetadataRangeError">TxMetadataRangeError</a><ul class="subs"><li>= <a href="#v:TxMetadataNumberOutOfRange">TxMetadataNumberOutOfRange</a> !<a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Integer" title="Distribution.Compat.Prelude.Internal">Integer</a></li><li>| <a href="#v:TxMetadataTextTooLong">TxMetadataTextTooLong</a> !<a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Int" title="Distribution.Compat.Prelude.Internal">Int</a></li><li>| <a href="#v:TxMetadataBytesTooLong">TxMetadataBytesTooLong</a> !<a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Int" title="Distribution.Compat.Prelude.Internal">Int</a></li></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:TxMetadataJsonSchema">TxMetadataJsonSchema</a><ul class="subs"><li>= <a href="#v:TxMetadataJsonNoSchema">TxMetadataJsonNoSchema</a></li><li>| <a href="#v:TxMetadataJsonDetailedSchema">TxMetadataJsonDetailedSchema</a></li></ul></li><li class="src short"><a href="#v:metadataFromJson">metadataFromJson</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonSchema" title="Cardano.Api.TxMetadata">TxMetadataJsonSchema</a> → Value → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Either" title="Distribution.Compat.Prelude.Internal">Either</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonError" title="Cardano.Api.TxMetadata">TxMetadataJsonError</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a></li><li class="src short"><a href="#v:metadataToJson">metadataToJson</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonSchema" title="Cardano.Api.TxMetadata">TxMetadataJsonSchema</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a> → Value</li><li class="src short"><a href="#v:metadataValueToJsonNoSchema">metadataValueToJsonNoSchema</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a> → Value</li><li class="src short"><span class="keyword">data</span> <a href="#t:TxMetadataJsonError">TxMetadataJsonError</a><ul class="subs"><li>= <a href="#v:TxMetadataJsonToplevelNotMap">TxMetadataJsonToplevelNotMap</a></li><li>| <a href="#v:TxMetadataJsonToplevelBadKey">TxMetadataJsonToplevelBadKey</a> !<a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/text-1.2.4.1/Data-Text.html#t:Text" title="Data.Text">Text</a></li><li>| <a href="#v:TxMetadataJsonSchemaError">TxMetadataJsonSchemaError</a> !<a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Word64" title="Distribution.Compat.Prelude.Internal">Word64</a> !Value !<a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonSchemaError" title="Cardano.Api.TxMetadata">TxMetadataJsonSchemaError</a></li><li>| <a href="#v:TxMetadataRangeError">TxMetadataRangeError</a> !<a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Word64" title="Distribution.Compat.Prelude.Internal">Word64</a> !Value !<a href="Cardano-Api-TxMetadata.html#t:TxMetadataRangeError" title="Cardano.Api.TxMetadata">TxMetadataRangeError</a></li></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:TxMetadataJsonSchemaError">TxMetadataJsonSchemaError</a><ul class="subs"><li>= <a href="#v:TxMetadataJsonNullNotAllowed">TxMetadataJsonNullNotAllowed</a></li><li>| <a href="#v:TxMetadataJsonBoolNotAllowed">TxMetadataJsonBoolNotAllowed</a></li><li>| <a href="#v:TxMetadataJsonNumberNotInteger">TxMetadataJsonNumberNotInteger</a> !<a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Double" title="Distribution.Compat.Prelude.Internal">Double</a></li><li>| <a href="#v:TxMetadataJsonNotObject">TxMetadataJsonNotObject</a> !Value</li><li>| <a href="#v:TxMetadataJsonBadObject">TxMetadataJsonBadObject</a> ![(<a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/text-1.2.4.1/Data-Text.html#t:Text" title="Data.Text">Text</a>, Value)]</li><li>| <a href="#v:TxMetadataJsonBadMapPair">TxMetadataJsonBadMapPair</a> !Value</li><li>| <a href="#v:TxMetadataJsonTypeMismatch">TxMetadataJsonTypeMismatch</a> !<a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/text-1.2.4.1/Data-Text.html#t:Text" title="Data.Text">Text</a> !Value</li></ul></li><li class="src short"><a href="#v:toShelleyMetadata">toShelleyMetadata</a> ∷ <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Map" title="Distribution.Compat.Prelude.Internal">Map</a> <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Word64" title="Distribution.Compat.Prelude.Internal">Word64</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Map" title="Distribution.Compat.Prelude.Internal">Map</a> <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Word64" title="Distribution.Compat.Prelude.Internal">Word64</a> Metadatum</li><li class="src short"><a href="#v:fromShelleyMetadata">fromShelleyMetadata</a> ∷ <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Map" title="Distribution.Compat.Prelude.Internal">Map</a> <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Word64" title="Distribution.Compat.Prelude.Internal">Word64</a> Metadatum → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Map" title="Distribution.Compat.Prelude.Internal">Map</a> <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Word64" title="Distribution.Compat.Prelude.Internal">Word64</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a></li><li class="src short"><a href="#v:parseAll">parseAll</a> ∷ Parser a → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/text-1.2.4.1/Data-Text.html#t:Text" title="Data.Text">Text</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Maybe" title="Distribution.Compat.Prelude.Internal">Maybe</a> a</li><li class="src short"><a href="#v:pUnsigned">pUnsigned</a> ∷ Parser <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Integer" title="Distribution.Compat.Prelude.Internal">Integer</a></li><li class="src short"><a href="#v:pSigned">pSigned</a> ∷ Parser <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Integer" title="Distribution.Compat.Prelude.Internal">Integer</a></li><li class="src short"><a href="#v:pBytes">pBytes</a> ∷ Parser <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/bytestring-0.10.12.0/Data-ByteString.html#t:ByteString" title="Data.ByteString">ByteString</a></li><li class="src short"><span class="keyword">data family</span> <a href="#t:AsType">AsType</a> t</li></ul></details></div><div id="interface"><a href="#g:1" id="g:1"><h1>Types</h1></a><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:TxMetadata" class="def">TxMetadata</a> <a href="src/Cardano.Api.TxMetadata.html#TxMetadata" class="link">Source</a> <a href="#t:TxMetadata" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:TxMetadata" class="def">TxMetadata</a> (<a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Map" title="Distribution.Compat.Prelude.Internal">Map</a> <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Word64" title="Distribution.Compat.Prelude.Internal">Word64</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a>)</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><h4 class="instances details-toggle-control details-toggle" data-details-id="i:TxMetadata">Instances</h4><details id="i:TxMetadata" open="open"><summary class="hide-when-js-enabled">Instances details</summary><table><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:TxMetadata:Eq:1"></span> <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Eq" title="Distribution.Compat.Prelude.Internal">Eq</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a></span> <a href="src/Cardano.Api.TxMetadata.html#line-84" class="link">Source</a> <a href="#t:TxMetadata" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:TxMetadata:Eq:1"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-TxMetadata.html">Cardano.Api.TxMetadata</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Bool" title="Distribution.Compat.Prelude.Internal">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Bool" title="Distribution.Compat.Prelude.Internal">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:TxMetadata:Show:2"></span> <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Show" title="Distribution.Compat.Prelude.Internal">Show</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a></span> <a href="src/Cardano.Api.TxMetadata.html#line-84" class="link">Source</a> <a href="#t:TxMetadata" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:TxMetadata:Show:2"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-TxMetadata.html">Cardano.Api.TxMetadata</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> ∷ <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Int" title="Distribution.Compat.Prelude.Internal">Int</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:ShowS" title="Distribution.Compat.Prelude.Internal">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:String" title="Distribution.Compat.Prelude.Internal">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> ∷ [<a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a>] → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:ShowS" title="Distribution.Compat.Prelude.Internal">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:TxMetadata:Semigroup:3"></span> <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Semigroup.html#t:Semigroup" title="Distribution.Compat.Semigroup">Semigroup</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a></span> <a href="src/Cardano.Api.TxMetadata.html#line-96" class="link">Source</a> <a href="#t:TxMetadata" class="selflink">#</a></td><td class="doc"><p>Merge metadata maps. When there are clashing entries the left hand side
takes precedence.</p></td></tr><tr><td colspan="2"><details id="i:id:TxMetadata:Semigroup:3"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-TxMetadata.html">Cardano.Api.TxMetadata</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--62-">(<>)</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a> <a href="#v:-60--62-" class="selflink">#</a></p><p class="src"><a href="#v:sconcat">sconcat</a> ∷ <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:NonEmpty" title="Distribution.Compat.Prelude.Internal">NonEmpty</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a> <a href="#v:sconcat" class="selflink">#</a></p><p class="src"><a href="#v:stimes">stimes</a> ∷ <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Integral" title="Distribution.Compat.Prelude.Internal">Integral</a> b ⇒ b → <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a> <a href="#v:stimes" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:TxMetadata:Monoid:4"></span> <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Semigroup.html#t:Monoid" title="Distribution.Compat.Semigroup">Monoid</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a></span> <a href="src/Cardano.Api.TxMetadata.html#line-99" class="link">Source</a> <a href="#t:TxMetadata" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:TxMetadata:Monoid:4"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-TxMetadata.html">Cardano.Api.TxMetadata</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:mempty">mempty</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a> <a href="#v:mempty" class="selflink">#</a></p><p class="src"><a href="#v:mappend">mappend</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a> <a href="#v:mappend" class="selflink">#</a></p><p class="src"><a href="#v:mconcat">mconcat</a> ∷ [<a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a>] → <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a> <a href="#v:mconcat" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:TxMetadata:HasTypeProxy:5"></span> <a href="Cardano-Api-HasTypeProxy.html#t:HasTypeProxy" title="Cardano.Api.HasTypeProxy">HasTypeProxy</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a></span> <a href="src/Cardano.Api.TxMetadata.html#line-102" class="link">Source</a> <a href="#t:TxMetadata" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:TxMetadata:HasTypeProxy:5"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-TxMetadata.html">Cardano.Api.TxMetadata</a></p> <div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a> <a href="src/Cardano.Api.HasTypeProxy.html#AsType" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:proxyToAsType">proxyToAsType</a> ∷ <a href="Cardano-Api-HasTypeProxy.html#t:Proxy" title="Cardano.Api.HasTypeProxy">Proxy</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a> → <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a> <a href="src/Cardano.Api.HasTypeProxy.html#proxyToAsType" class="link">Source</a> <a href="#v:proxyToAsType" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:TxMetadata:SerialiseAsCBOR:6"></span> <a href="Cardano-Api-SerialiseCBOR.html#t:SerialiseAsCBOR" title="Cardano.Api.SerialiseCBOR">SerialiseAsCBOR</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a></span> <a href="src/Cardano.Api.TxMetadata.html#line-106" class="link">Source</a> <a href="#t:TxMetadata" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:TxMetadata:SerialiseAsCBOR:6"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-TxMetadata.html">Cardano.Api.TxMetadata</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:serialiseToCBOR">serialiseToCBOR</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/bytestring-0.10.12.0/Data-ByteString.html#t:ByteString" title="Data.ByteString">ByteString</a> <a href="src/Cardano.Api.SerialiseCBOR.html#serialiseToCBOR" class="link">Source</a> <a href="#v:serialiseToCBOR" class="selflink">#</a></p><p class="src"><a href="#v:deserialiseFromCBOR">deserialiseFromCBOR</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/bytestring-0.10.12.0/Data-ByteString.html#t:ByteString" title="Data.ByteString">ByteString</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Either" title="Distribution.Compat.Prelude.Internal">Either</a> DecoderError <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a> <a href="src/Cardano.Api.SerialiseCBOR.html#deserialiseFromCBOR" class="link">Source</a> <a href="#v:deserialiseFromCBOR" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:TxMetadata:AsType:7"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a></span> <a href="src/Cardano.Api.TxMetadata.html#line-103" class="link">Source</a> <a href="#t:TxMetadata" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:TxMetadata:AsType:7"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-TxMetadata.html">Cardano.Api.TxMetadata</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a> = <a id="v:AsTxMetadata" class="def">AsTxMetadata</a></div></details></td></tr></table></details></div></div><a href="#g:2" id="g:2"><h1>Constructing metadata</h1></a><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:TxMetadataValue" class="def">TxMetadataValue</a> <a href="src/Cardano.Api.TxMetadata.html#TxMetadataValue" class="link">Source</a> <a href="#t:TxMetadataValue" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:TxMetaNumber" class="def">TxMetaNumber</a> <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Integer" title="Distribution.Compat.Prelude.Internal">Integer</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:TxMetaBytes" class="def">TxMetaBytes</a> <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/bytestring-0.10.12.0/Data-ByteString.html#t:ByteString" title="Data.ByteString">ByteString</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:TxMetaText" class="def">TxMetaText</a> <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/text-1.2.4.1/Data-Text.html#t:Text" title="Data.Text">Text</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:TxMetaList" class="def">TxMetaList</a> [<a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a>]</td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:TxMetaMap" class="def">TxMetaMap</a> [(<a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a>, <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a>)]</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><h4 class="instances details-toggle-control details-toggle" data-details-id="i:TxMetadataValue">Instances</h4><details id="i:TxMetadataValue" open="open"><summary class="hide-when-js-enabled">Instances details</summary><table><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:TxMetadataValue:Eq:1"></span> <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Eq" title="Distribution.Compat.Prelude.Internal">Eq</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a></span> <a href="src/Cardano.Api.TxMetadata.html#line-91" class="link">Source</a> <a href="#t:TxMetadataValue" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:TxMetadataValue:Eq:1"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-TxMetadata.html">Cardano.Api.TxMetadata</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Bool" title="Distribution.Compat.Prelude.Internal">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Bool" title="Distribution.Compat.Prelude.Internal">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:TxMetadataValue:Ord:2"></span> <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Ord" title="Distribution.Compat.Prelude.Internal">Ord</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a></span> <a href="src/Cardano.Api.TxMetadata.html#line-91" class="link">Source</a> <a href="#t:TxMetadataValue" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:TxMetadataValue:Ord:2"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-TxMetadata.html">Cardano.Api.TxMetadata</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:compare">compare</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Ordering" title="Distribution.Compat.Prelude.Internal">Ordering</a> <a href="#v:compare" class="selflink">#</a></p><p class="src"><a href="#v:-60-">(<)</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Bool" title="Distribution.Compat.Prelude.Internal">Bool</a> <a href="#v:-60-" class="selflink">#</a></p><p class="src"><a href="#v:-60--61-">(<=)</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Bool" title="Distribution.Compat.Prelude.Internal">Bool</a> <a href="#v:-60--61-" class="selflink">#</a></p><p class="src"><a href="#v:-62-">(>)</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Bool" title="Distribution.Compat.Prelude.Internal">Bool</a> <a href="#v:-62-" class="selflink">#</a></p><p class="src"><a href="#v:-62--61-">(>=)</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Bool" title="Distribution.Compat.Prelude.Internal">Bool</a> <a href="#v:-62--61-" class="selflink">#</a></p><p class="src"><a href="#v:max">max</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a> <a href="#v:max" class="selflink">#</a></p><p class="src"><a href="#v:min">min</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a> <a href="#v:min" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:TxMetadataValue:Show:3"></span> <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Show" title="Distribution.Compat.Prelude.Internal">Show</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a></span> <a href="src/Cardano.Api.TxMetadata.html#line-91" class="link">Source</a> <a href="#t:TxMetadataValue" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:TxMetadataValue:Show:3"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-TxMetadata.html">Cardano.Api.TxMetadata</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> ∷ <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Int" title="Distribution.Compat.Prelude.Internal">Int</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:ShowS" title="Distribution.Compat.Prelude.Internal">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:String" title="Distribution.Compat.Prelude.Internal">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> ∷ [<a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a>] → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:ShowS" title="Distribution.Compat.Prelude.Internal">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></details></td></tr></table></details></div></div><div class="top"><p class="src"><a id="v:makeTransactionMetadata" class="def">makeTransactionMetadata</a> ∷ <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Map" title="Distribution.Compat.Prelude.Internal">Map</a> <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Word64" title="Distribution.Compat.Prelude.Internal">Word64</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a> <a href="src/Cardano.Api.TxMetadata.html#makeTransactionMetadata" class="link">Source</a> <a href="#v:makeTransactionMetadata" class="selflink">#</a></p></div><a href="#g:3" id="g:3"><h1>Validating metadata</h1></a><div class="top"><p class="src"><a id="v:validateTxMetadata" class="def">validateTxMetadata</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Either" title="Distribution.Compat.Prelude.Internal">Either</a> [(<a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Word64" title="Distribution.Compat.Prelude.Internal">Word64</a>, <a href="Cardano-Api-TxMetadata.html#t:TxMetadataRangeError" title="Cardano.Api.TxMetadata">TxMetadataRangeError</a>)] () <a href="src/Cardano.Api.TxMetadata.html#validateTxMetadata" class="link">Source</a> <a href="#v:validateTxMetadata" class="selflink">#</a></p><div class="doc"><p>Validate transaction metadata. This is for use with existing constructed
metadata values, e.g. constructed manually or decoded from CBOR directly.</p></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:TxMetadataRangeError" class="def">TxMetadataRangeError</a> <a href="src/Cardano.Api.TxMetadata.html#TxMetadataRangeError" class="link">Source</a> <a href="#t:TxMetadataRangeError" class="selflink">#</a></p><div class="doc"><p>An error in transaction metadata due to an out-of-range value.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:TxMetadataNumberOutOfRange" class="def">TxMetadataNumberOutOfRange</a> !<a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Integer" title="Distribution.Compat.Prelude.Internal">Integer</a></td><td class="doc"><p>The number is outside the maximum range of <code>-2^64-1 .. 2^64-1</code>.</p></td></tr><tr><td class="src"><a id="v:TxMetadataTextTooLong" class="def">TxMetadataTextTooLong</a> !<a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Int" title="Distribution.Compat.Prelude.Internal">Int</a></td><td class="doc"><p>The length of a text string metadatum value exceeds the maximum of
64 bytes as UTF8.</p></td></tr><tr><td class="src"><a id="v:TxMetadataBytesTooLong" class="def">TxMetadataBytesTooLong</a> !<a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Int" title="Distribution.Compat.Prelude.Internal">Int</a></td><td class="doc"><p>The length of a byte string metadatum value exceeds the maximum of
64 bytes.</p></td></tr></table></div><div class="subs instances"><h4 class="instances details-toggle-control details-toggle" data-details-id="i:TxMetadataRangeError">Instances</h4><details id="i:TxMetadataRangeError" open="open"><summary class="hide-when-js-enabled">Instances details</summary><table><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:TxMetadataRangeError:Eq:1"></span> <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Eq" title="Distribution.Compat.Prelude.Internal">Eq</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadataRangeError" title="Cardano.Api.TxMetadata">TxMetadataRangeError</a></span> <a href="src/Cardano.Api.TxMetadata.html#line-228" class="link">Source</a> <a href="#t:TxMetadataRangeError" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:TxMetadataRangeError:Eq:1"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-TxMetadata.html">Cardano.Api.TxMetadata</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadataRangeError" title="Cardano.Api.TxMetadata">TxMetadataRangeError</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadataRangeError" title="Cardano.Api.TxMetadata">TxMetadataRangeError</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Bool" title="Distribution.Compat.Prelude.Internal">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadataRangeError" title="Cardano.Api.TxMetadata">TxMetadataRangeError</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadataRangeError" title="Cardano.Api.TxMetadata">TxMetadataRangeError</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Bool" title="Distribution.Compat.Prelude.Internal">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:TxMetadataRangeError:Show:2"></span> <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Show" title="Distribution.Compat.Prelude.Internal">Show</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadataRangeError" title="Cardano.Api.TxMetadata">TxMetadataRangeError</a></span> <a href="src/Cardano.Api.TxMetadata.html#line-228" class="link">Source</a> <a href="#t:TxMetadataRangeError" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:TxMetadataRangeError:Show:2"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-TxMetadata.html">Cardano.Api.TxMetadata</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> ∷ <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Int" title="Distribution.Compat.Prelude.Internal">Int</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadataRangeError" title="Cardano.Api.TxMetadata">TxMetadataRangeError</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:ShowS" title="Distribution.Compat.Prelude.Internal">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadataRangeError" title="Cardano.Api.TxMetadata">TxMetadataRangeError</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:String" title="Distribution.Compat.Prelude.Internal">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> ∷ [<a href="Cardano-Api-TxMetadata.html#t:TxMetadataRangeError" title="Cardano.Api.TxMetadata">TxMetadataRangeError</a>] → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:ShowS" title="Distribution.Compat.Prelude.Internal">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:TxMetadataRangeError:Error:3"></span> <a href="Cardano-Api-Error.html#t:Error" title="Cardano.Api.Error">Error</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadataRangeError" title="Cardano.Api.TxMetadata">TxMetadataRangeError</a></span> <a href="src/Cardano.Api.TxMetadata.html#line-230" class="link">Source</a> <a href="#t:TxMetadataRangeError" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:TxMetadataRangeError:Error:3"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-TxMetadata.html">Cardano.Api.TxMetadata</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:displayError">displayError</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadataRangeError" title="Cardano.Api.TxMetadata">TxMetadataRangeError</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:String" title="Distribution.Compat.Prelude.Internal">String</a> <a href="src/Cardano.Api.Error.html#displayError" class="link">Source</a> <a href="#v:displayError" class="selflink">#</a></p></div></details></td></tr></table></details></div></div><a href="#g:4" id="g:4"><h1>Converstion to/from JSON</h1></a><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:TxMetadataJsonSchema" class="def">TxMetadataJsonSchema</a> <a href="src/Cardano.Api.TxMetadata.html#TxMetadataJsonSchema" class="link">Source</a> <a href="#t:TxMetadataJsonSchema" class="selflink">#</a></p><div class="doc"><p>Tx metadata is similar to JSON but not exactly the same. It has some
deliberate limitations such as no support for floating point numbers or
special forms for null or boolean values. It also has limitations on the
length of strings. On the other hand, unlike JSON, it distinguishes between
byte strings and text strings. It also supports any value as map keys rather
than just string.</p><p>We provide two different mappings between tx metadata and JSON, useful
for different purposes:</p><ol><li>A mapping that allows almost any JSON value to be converted into
tx metadata. This does not require a specific JSON schema for the
input. It does not expose the full representation capability of tx
metadata.</li><li>A mapping that exposes the full representation capability of tx
metadata, but relies on a specific JSON schema for the input JSON.</li></ol><p>In the "no schema" mapping, the idea is that (almost) any JSON can be
turned into tx metadata and then converted back, without loss. That is, we
can round-trip the JSON.</p><p>The subset of JSON supported is all JSON except:
* No null or bool values
* No floating point, only integers in the range of a 64bit signed integer
* A limitation on string lengths</p><p>The approach for this mapping is to use whichever representation as tx
metadata is most compact. In particular:</p><ul><li>JSON lists and maps represented as CBOR lists and maps</li><li>JSON strings represented as CBOR strings</li><li>JSON hex strings with "0x" prefix represented as CBOR byte strings</li><li>JSON integer numbers represented as CBOR signed or unsigned numbers</li><li>JSON maps with string keys that parse as numbers or hex byte strings,
represented as CBOR map keys that are actually numbers or byte strings.</li></ul><p>The string length limit depends on whether the hex string representation
is used or not. For text strings the limit is 64 bytes for the UTF8
representation of the text string. For byte strings the limit is 64 bytes
for the raw byte form (ie not the input hex, but after hex decoding).</p><p>In the "detailed schema" mapping, the idea is that we expose the full
representation capability of the tx metadata in the form of a JSON schema.
This means the full representation is available and can be controlled
precisely. It also means any tx metadata can be converted into the JSON and
back without loss. That is we can round-trip the tx metadata via the JSON and
also round-trip schema-compliant JSON via tx metadata.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:TxMetadataJsonNoSchema" class="def">TxMetadataJsonNoSchema</a></td><td class="doc"><p>Use the "no schema" mapping between JSON and tx metadata as
described above.</p></td></tr><tr><td class="src"><a id="v:TxMetadataJsonDetailedSchema" class="def">TxMetadataJsonDetailedSchema</a></td><td class="doc"><p>Use the "detailed schema" mapping between JSON and tx metadata as
described above.</p></td></tr></table></div><div class="subs instances"><h4 class="instances details-toggle-control details-toggle" data-details-id="i:TxMetadataJsonSchema">Instances</h4><details id="i:TxMetadataJsonSchema" open="open"><summary class="hide-when-js-enabled">Instances details</summary><table><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:TxMetadataJsonSchema:Eq:1"></span> <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Eq" title="Distribution.Compat.Prelude.Internal">Eq</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonSchema" title="Cardano.Api.TxMetadata">TxMetadataJsonSchema</a></span> <a href="src/Cardano.Api.TxMetadata.html#line-311" class="link">Source</a> <a href="#t:TxMetadataJsonSchema" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:TxMetadataJsonSchema:Eq:1"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-TxMetadata.html">Cardano.Api.TxMetadata</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonSchema" title="Cardano.Api.TxMetadata">TxMetadataJsonSchema</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonSchema" title="Cardano.Api.TxMetadata">TxMetadataJsonSchema</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Bool" title="Distribution.Compat.Prelude.Internal">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonSchema" title="Cardano.Api.TxMetadata">TxMetadataJsonSchema</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonSchema" title="Cardano.Api.TxMetadata">TxMetadataJsonSchema</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Bool" title="Distribution.Compat.Prelude.Internal">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:TxMetadataJsonSchema:Show:2"></span> <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Show" title="Distribution.Compat.Prelude.Internal">Show</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonSchema" title="Cardano.Api.TxMetadata">TxMetadataJsonSchema</a></span> <a href="src/Cardano.Api.TxMetadata.html#line-311" class="link">Source</a> <a href="#t:TxMetadataJsonSchema" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:TxMetadataJsonSchema:Show:2"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-TxMetadata.html">Cardano.Api.TxMetadata</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> ∷ <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Int" title="Distribution.Compat.Prelude.Internal">Int</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonSchema" title="Cardano.Api.TxMetadata">TxMetadataJsonSchema</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:ShowS" title="Distribution.Compat.Prelude.Internal">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonSchema" title="Cardano.Api.TxMetadata">TxMetadataJsonSchema</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:String" title="Distribution.Compat.Prelude.Internal">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> ∷ [<a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonSchema" title="Cardano.Api.TxMetadata">TxMetadataJsonSchema</a>] → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:ShowS" title="Distribution.Compat.Prelude.Internal">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></details></td></tr></table></details></div></div><div class="top"><p class="src"><a id="v:metadataFromJson" class="def">metadataFromJson</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonSchema" title="Cardano.Api.TxMetadata">TxMetadataJsonSchema</a> → Value → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Either" title="Distribution.Compat.Prelude.Internal">Either</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonError" title="Cardano.Api.TxMetadata">TxMetadataJsonError</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a> <a href="src/Cardano.Api.TxMetadata.html#metadataFromJson" class="link">Source</a> <a href="#v:metadataFromJson" class="selflink">#</a></p><div class="doc"><p>Convert a value from JSON into tx metadata, using the given choice of
mapping between JSON and tx metadata.</p><p>This may fail with a conversion error if the JSON is outside the supported
subset for the chosen mapping. See <code><a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonSchema" title="Cardano.Api.TxMetadata">TxMetadataJsonSchema</a></code> for the details.</p></div></div><div class="top"><p class="src"><a id="v:metadataToJson" class="def">metadataToJson</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonSchema" title="Cardano.Api.TxMetadata">TxMetadataJsonSchema</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a> → Value <a href="src/Cardano.Api.TxMetadata.html#metadataToJson" class="link">Source</a> <a href="#v:metadataToJson" class="selflink">#</a></p><div class="doc"><p>Convert a tx metadata value into JSON , using the given choice of mapping
between JSON and tx metadata.</p><p>This conversion is total but is not necessarily invertible.
See <code><a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonSchema" title="Cardano.Api.TxMetadata">TxMetadataJsonSchema</a></code> for the details.</p></div></div><div class="top"><p class="src"><a id="v:metadataValueToJsonNoSchema" class="def">metadataValueToJsonNoSchema</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a> → Value <a href="src/Cardano.Api.TxMetadata.html#metadataValueToJsonNoSchema" class="link">Source</a> <a href="#v:metadataValueToJsonNoSchema" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:TxMetadataJsonError" class="def">TxMetadataJsonError</a> <a href="src/Cardano.Api.TxMetadata.html#TxMetadataJsonError" class="link">Source</a> <a href="#t:TxMetadataJsonError" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:TxMetadataJsonToplevelNotMap" class="def">TxMetadataJsonToplevelNotMap</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:TxMetadataJsonToplevelBadKey" class="def">TxMetadataJsonToplevelBadKey</a> !<a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/text-1.2.4.1/Data-Text.html#t:Text" title="Data.Text">Text</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:TxMetadataJsonSchemaError" class="def">TxMetadataJsonSchemaError</a> !<a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Word64" title="Distribution.Compat.Prelude.Internal">Word64</a> !Value !<a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonSchemaError" title="Cardano.Api.TxMetadata">TxMetadataJsonSchemaError</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:TxMetadataRangeError" class="def">TxMetadataRangeError</a> !<a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Word64" title="Distribution.Compat.Prelude.Internal">Word64</a> !Value !<a href="Cardano-Api-TxMetadata.html#t:TxMetadataRangeError" title="Cardano.Api.TxMetadata">TxMetadataRangeError</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><h4 class="instances details-toggle-control details-toggle" data-details-id="i:TxMetadataJsonError">Instances</h4><details id="i:TxMetadataJsonError" open="open"><summary class="hide-when-js-enabled">Instances details</summary><table><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:TxMetadataJsonError:Eq:1"></span> <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Eq" title="Distribution.Compat.Prelude.Internal">Eq</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonError" title="Cardano.Api.TxMetadata">TxMetadataJsonError</a></span> <a href="src/Cardano.Api.TxMetadata.html#line-553" class="link">Source</a> <a href="#t:TxMetadataJsonError" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:TxMetadataJsonError:Eq:1"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-TxMetadata.html">Cardano.Api.TxMetadata</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonError" title="Cardano.Api.TxMetadata">TxMetadataJsonError</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonError" title="Cardano.Api.TxMetadata">TxMetadataJsonError</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Bool" title="Distribution.Compat.Prelude.Internal">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonError" title="Cardano.Api.TxMetadata">TxMetadataJsonError</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonError" title="Cardano.Api.TxMetadata">TxMetadataJsonError</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Bool" title="Distribution.Compat.Prelude.Internal">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:TxMetadataJsonError:Show:2"></span> <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Show" title="Distribution.Compat.Prelude.Internal">Show</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonError" title="Cardano.Api.TxMetadata">TxMetadataJsonError</a></span> <a href="src/Cardano.Api.TxMetadata.html#line-553" class="link">Source</a> <a href="#t:TxMetadataJsonError" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:TxMetadataJsonError:Show:2"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-TxMetadata.html">Cardano.Api.TxMetadata</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> ∷ <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Int" title="Distribution.Compat.Prelude.Internal">Int</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonError" title="Cardano.Api.TxMetadata">TxMetadataJsonError</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:ShowS" title="Distribution.Compat.Prelude.Internal">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonError" title="Cardano.Api.TxMetadata">TxMetadataJsonError</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:String" title="Distribution.Compat.Prelude.Internal">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> ∷ [<a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonError" title="Cardano.Api.TxMetadata">TxMetadataJsonError</a>] → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:ShowS" title="Distribution.Compat.Prelude.Internal">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:TxMetadataJsonError:Error:3"></span> <a href="Cardano-Api-Error.html#t:Error" title="Cardano.Api.Error">Error</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonError" title="Cardano.Api.TxMetadata">TxMetadataJsonError</a></span> <a href="src/Cardano.Api.TxMetadata.html#line-570" class="link">Source</a> <a href="#t:TxMetadataJsonError" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:TxMetadataJsonError:Error:3"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-TxMetadata.html">Cardano.Api.TxMetadata</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:displayError">displayError</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonError" title="Cardano.Api.TxMetadata">TxMetadataJsonError</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:String" title="Distribution.Compat.Prelude.Internal">String</a> <a href="src/Cardano.Api.Error.html#displayError" class="link">Source</a> <a href="#v:displayError" class="selflink">#</a></p></div></details></td></tr></table></details></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:TxMetadataJsonSchemaError" class="def">TxMetadataJsonSchemaError</a> <a href="src/Cardano.Api.TxMetadata.html#TxMetadataJsonSchemaError" class="link">Source</a> <a href="#t:TxMetadataJsonSchemaError" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:TxMetadataJsonNullNotAllowed" class="def">TxMetadataJsonNullNotAllowed</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:TxMetadataJsonBoolNotAllowed" class="def">TxMetadataJsonBoolNotAllowed</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:TxMetadataJsonNumberNotInteger" class="def">TxMetadataJsonNumberNotInteger</a> !<a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Double" title="Distribution.Compat.Prelude.Internal">Double</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:TxMetadataJsonNotObject" class="def">TxMetadataJsonNotObject</a> !Value</td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:TxMetadataJsonBadObject" class="def">TxMetadataJsonBadObject</a> ![(<a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/text-1.2.4.1/Data-Text.html#t:Text" title="Data.Text">Text</a>, Value)]</td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:TxMetadataJsonBadMapPair" class="def">TxMetadataJsonBadMapPair</a> !Value</td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:TxMetadataJsonTypeMismatch" class="def">TxMetadataJsonTypeMismatch</a> !<a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/text-1.2.4.1/Data-Text.html#t:Text" title="Data.Text">Text</a> !Value</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><h4 class="instances details-toggle-control details-toggle" data-details-id="i:TxMetadataJsonSchemaError">Instances</h4><details id="i:TxMetadataJsonSchemaError" open="open"><summary class="hide-when-js-enabled">Instances details</summary><table><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:TxMetadataJsonSchemaError:Eq:1"></span> <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Eq" title="Distribution.Compat.Prelude.Internal">Eq</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonSchemaError" title="Cardano.Api.TxMetadata">TxMetadataJsonSchemaError</a></span> <a href="src/Cardano.Api.TxMetadata.html#line-568" class="link">Source</a> <a href="#t:TxMetadataJsonSchemaError" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:TxMetadataJsonSchemaError:Eq:1"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-TxMetadata.html">Cardano.Api.TxMetadata</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonSchemaError" title="Cardano.Api.TxMetadata">TxMetadataJsonSchemaError</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonSchemaError" title="Cardano.Api.TxMetadata">TxMetadataJsonSchemaError</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Bool" title="Distribution.Compat.Prelude.Internal">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonSchemaError" title="Cardano.Api.TxMetadata">TxMetadataJsonSchemaError</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonSchemaError" title="Cardano.Api.TxMetadata">TxMetadataJsonSchemaError</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Bool" title="Distribution.Compat.Prelude.Internal">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:TxMetadataJsonSchemaError:Show:2"></span> <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Show" title="Distribution.Compat.Prelude.Internal">Show</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonSchemaError" title="Cardano.Api.TxMetadata">TxMetadataJsonSchemaError</a></span> <a href="src/Cardano.Api.TxMetadata.html#line-568" class="link">Source</a> <a href="#t:TxMetadataJsonSchemaError" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:TxMetadataJsonSchemaError:Show:2"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-TxMetadata.html">Cardano.Api.TxMetadata</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> ∷ <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Int" title="Distribution.Compat.Prelude.Internal">Int</a> → <a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonSchemaError" title="Cardano.Api.TxMetadata">TxMetadataJsonSchemaError</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:ShowS" title="Distribution.Compat.Prelude.Internal">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonSchemaError" title="Cardano.Api.TxMetadata">TxMetadataJsonSchemaError</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:String" title="Distribution.Compat.Prelude.Internal">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> ∷ [<a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonSchemaError" title="Cardano.Api.TxMetadata">TxMetadataJsonSchemaError</a>] → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:ShowS" title="Distribution.Compat.Prelude.Internal">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:TxMetadataJsonSchemaError:Error:3"></span> <a href="Cardano-Api-Error.html#t:Error" title="Cardano.Api.Error">Error</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonSchemaError" title="Cardano.Api.TxMetadata">TxMetadataJsonSchemaError</a></span> <a href="src/Cardano.Api.TxMetadata.html#line-584" class="link">Source</a> <a href="#t:TxMetadataJsonSchemaError" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:TxMetadataJsonSchemaError:Error:3"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-TxMetadata.html">Cardano.Api.TxMetadata</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:displayError">displayError</a> ∷ <a href="Cardano-Api-TxMetadata.html#t:TxMetadataJsonSchemaError" title="Cardano.Api.TxMetadata">TxMetadataJsonSchemaError</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:String" title="Distribution.Compat.Prelude.Internal">String</a> <a href="src/Cardano.Api.Error.html#displayError" class="link">Source</a> <a href="#v:displayError" class="selflink">#</a></p></div></details></td></tr></table></details></div></div><a href="#g:5" id="g:5"><h1>Internal conversion functions</h1></a><div class="top"><p class="src"><a id="v:toShelleyMetadata" class="def">toShelleyMetadata</a> ∷ <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Map" title="Distribution.Compat.Prelude.Internal">Map</a> <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Word64" title="Distribution.Compat.Prelude.Internal">Word64</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Map" title="Distribution.Compat.Prelude.Internal">Map</a> <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Word64" title="Distribution.Compat.Prelude.Internal">Word64</a> Metadatum <a href="src/Cardano.Api.TxMetadata.html#toShelleyMetadata" class="link">Source</a> <a href="#v:toShelleyMetadata" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:fromShelleyMetadata" class="def">fromShelleyMetadata</a> ∷ <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Map" title="Distribution.Compat.Prelude.Internal">Map</a> <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Word64" title="Distribution.Compat.Prelude.Internal">Word64</a> Metadatum → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Map" title="Distribution.Compat.Prelude.Internal">Map</a> <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Word64" title="Distribution.Compat.Prelude.Internal">Word64</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadataValue" title="Cardano.Api.TxMetadata">TxMetadataValue</a> <a href="src/Cardano.Api.TxMetadata.html#fromShelleyMetadata" class="link">Source</a> <a href="#v:fromShelleyMetadata" class="selflink">#</a></p></div><a href="#g:6" id="g:6"><h1>Shared parsing utils</h1></a><div class="top"><p class="src"><a id="v:parseAll" class="def">parseAll</a> ∷ Parser a → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/text-1.2.4.1/Data-Text.html#t:Text" title="Data.Text">Text</a> → <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Maybe" title="Distribution.Compat.Prelude.Internal">Maybe</a> a <a href="src/Cardano.Api.TxMetadata.html#parseAll" class="link">Source</a> <a href="#v:parseAll" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:pUnsigned" class="def">pUnsigned</a> ∷ Parser <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Integer" title="Distribution.Compat.Prelude.Internal">Integer</a> <a href="src/Cardano.Api.TxMetadata.html#pUnsigned" class="link">Source</a> <a href="#v:pUnsigned" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:pSigned" class="def">pSigned</a> ∷ Parser <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/Cabal-3.2.1.0/Distribution-Compat-Prelude-Internal.html#t:Integer" title="Distribution.Compat.Prelude.Internal">Integer</a> <a href="src/Cardano.Api.TxMetadata.html#pSigned" class="link">Source</a> <a href="#v:pSigned" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:pBytes" class="def">pBytes</a> ∷ Parser <a href="file:///opt/ghc/8.10.4/share/doc/ghc-8.10.4/html/libraries/bytestring-0.10.12.0/Data-ByteString.html#t:ByteString" title="Data.ByteString">ByteString</a> <a href="src/Cardano.Api.TxMetadata.html#pBytes" class="link">Source</a> <a href="#v:pBytes" class="selflink">#</a></p></div><a href="#g:7" id="g:7"><h1>Data family instances</h1></a><div class="top"><p class="src"><span class="keyword">data family</span> <a id="t:AsType" class="def">AsType</a> t <a href="src/Cardano.Api.HasTypeProxy.html#AsType" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></p><div class="doc"><p>A family of singleton types used in this API to indicate which type to
use where it would otherwise be ambiguous or merely unclear.</p><p>Values of this type are passed to deserialisation functions for example.</p></div><div class="subs instances"><h4 class="instances details-toggle-control details-toggle" data-details-id="i:AsType">Instances</h4><details id="i:AsType" open="open"><summary class="hide-when-js-enabled">Instances details</summary><table><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:1"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-Eras.html#t:AlonzoEra" title="Cardano.Api.Eras">AlonzoEra</a></span> <a href="src/Cardano.Api.Eras.html#line-92" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:1"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-Eras.html">Cardano.Api.Eras</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-Eras.html#t:AlonzoEra" title="Cardano.Api.Eras">AlonzoEra</a> = <a id="v:AsAlonzoEra" class="def">AsAlonzoEra</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:2"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-Eras.html#t:MaryEra" title="Cardano.Api.Eras">MaryEra</a></span> <a href="src/Cardano.Api.Eras.html#line-88" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:2"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-Eras.html">Cardano.Api.Eras</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-Eras.html#t:MaryEra" title="Cardano.Api.Eras">MaryEra</a> = <a id="v:AsMaryEra" class="def">AsMaryEra</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:3"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-Eras.html#t:AllegraEra" title="Cardano.Api.Eras">AllegraEra</a></span> <a href="src/Cardano.Api.Eras.html#line-84" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:3"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-Eras.html">Cardano.Api.Eras</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-Eras.html#t:AllegraEra" title="Cardano.Api.Eras">AllegraEra</a> = <a id="v:AsAllegraEra" class="def">AsAllegraEra</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:4"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-Eras.html#t:ShelleyEra" title="Cardano.Api.Eras">ShelleyEra</a></span> <a href="src/Cardano.Api.Eras.html#line-80" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:4"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-Eras.html">Cardano.Api.Eras</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-Eras.html#t:ShelleyEra" title="Cardano.Api.Eras">ShelleyEra</a> = <a id="v:AsShelleyEra" class="def">AsShelleyEra</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:5"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-Eras.html#t:ByronEra" title="Cardano.Api.Eras">ByronEra</a></span> <a href="src/Cardano.Api.Eras.html#line-76" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:5"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-Eras.html">Cardano.Api.Eras</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-Eras.html#t:ByronEra" title="Cardano.Api.Eras">ByronEra</a> = <a id="v:AsByronEra" class="def">AsByronEra</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:6"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-SerialiseTextEnvelope.html#t:TextEnvelope" title="Cardano.Api.SerialiseTextEnvelope">TextEnvelope</a></span> <a href="src/Cardano.Api.SerialiseTextEnvelope.html#line-99" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:6"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-SerialiseTextEnvelope.html">Cardano.Api.SerialiseTextEnvelope</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-SerialiseTextEnvelope.html#t:TextEnvelope" title="Cardano.Api.SerialiseTextEnvelope">TextEnvelope</a> = <a id="v:AsTextEnvelope" class="def">AsTextEnvelope</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:7"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a></span> <a href="src/Cardano.Api.TxMetadata.html#line-103" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:7"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-TxMetadata.html">Cardano.Api.TxMetadata</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-TxMetadata.html#t:TxMetadata" title="Cardano.Api.TxMetadata">TxMetadata</a> = <a id="v:AsTxMetadata" class="def">AsTxMetadata</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:8"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-KeysShelley.html#t:StakePoolKey" title="Cardano.Api.KeysShelley">StakePoolKey</a></span> <a href="src/Cardano.Api.KeysShelley.html#line-1105" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:8"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-KeysShelley.html">Cardano.Api.KeysShelley</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-KeysShelley.html#t:StakePoolKey" title="Cardano.Api.KeysShelley">StakePoolKey</a> = <a id="v:AsStakePoolKey" class="def">AsStakePoolKey</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:9"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-KeysShelley.html#t:GenesisUTxOKey" title="Cardano.Api.KeysShelley">GenesisUTxOKey</a></span> <a href="src/Cardano.Api.KeysShelley.html#line-1006" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:9"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-KeysShelley.html">Cardano.Api.KeysShelley</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-KeysShelley.html#t:GenesisUTxOKey" title="Cardano.Api.KeysShelley">GenesisUTxOKey</a> = <a id="v:AsGenesisUTxOKey" class="def">AsGenesisUTxOKey</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:10"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-KeysShelley.html#t:GenesisDelegateExtendedKey" title="Cardano.Api.KeysShelley">GenesisDelegateExtendedKey</a></span> <a href="src/Cardano.Api.KeysShelley.html#line-886" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:10"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-KeysShelley.html">Cardano.Api.KeysShelley</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-KeysShelley.html#t:GenesisDelegateExtendedKey" title="Cardano.Api.KeysShelley">GenesisDelegateExtendedKey</a> = <a id="v:AsGenesisDelegateExtendedKey" class="def">AsGenesisDelegateExtendedKey</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:11"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-KeysShelley.html#t:GenesisDelegateKey" title="Cardano.Api.KeysShelley">GenesisDelegateKey</a></span> <a href="src/Cardano.Api.KeysShelley.html#line-776" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:11"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-KeysShelley.html">Cardano.Api.KeysShelley</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-KeysShelley.html#t:GenesisDelegateKey" title="Cardano.Api.KeysShelley">GenesisDelegateKey</a> = <a id="v:AsGenesisDelegateKey" class="def">AsGenesisDelegateKey</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:12"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-KeysShelley.html#t:GenesisExtendedKey" title="Cardano.Api.KeysShelley">GenesisExtendedKey</a></span> <a href="src/Cardano.Api.KeysShelley.html#line-656" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:12"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-KeysShelley.html">Cardano.Api.KeysShelley</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-KeysShelley.html#t:GenesisExtendedKey" title="Cardano.Api.KeysShelley">GenesisExtendedKey</a> = <a id="v:AsGenesisExtendedKey" class="def">AsGenesisExtendedKey</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:13"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-KeysShelley.html#t:GenesisKey" title="Cardano.Api.KeysShelley">GenesisKey</a></span> <a href="src/Cardano.Api.KeysShelley.html#line-555" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:13"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-KeysShelley.html">Cardano.Api.KeysShelley</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-KeysShelley.html#t:GenesisKey" title="Cardano.Api.KeysShelley">GenesisKey</a> = <a id="v:AsGenesisKey" class="def">AsGenesisKey</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:14"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-KeysShelley.html#t:StakeExtendedKey" title="Cardano.Api.KeysShelley">StakeExtendedKey</a></span> <a href="src/Cardano.Api.KeysShelley.html#line-427" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:14"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-KeysShelley.html">Cardano.Api.KeysShelley</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-KeysShelley.html#t:StakeExtendedKey" title="Cardano.Api.KeysShelley">StakeExtendedKey</a> = <a id="v:AsStakeExtendedKey" class="def">AsStakeExtendedKey</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:15"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-KeysShelley.html#t:StakeKey" title="Cardano.Api.KeysShelley">StakeKey</a></span> <a href="src/Cardano.Api.KeysShelley.html#line-315" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:15"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-KeysShelley.html">Cardano.Api.KeysShelley</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-KeysShelley.html#t:StakeKey" title="Cardano.Api.KeysShelley">StakeKey</a> = <a id="v:AsStakeKey" class="def">AsStakeKey</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:16"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-KeysShelley.html#t:PaymentExtendedKey" title="Cardano.Api.KeysShelley">PaymentExtendedKey</a></span> <a href="src/Cardano.Api.KeysShelley.html#line-187" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:16"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-KeysShelley.html">Cardano.Api.KeysShelley</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-KeysShelley.html#t:PaymentExtendedKey" title="Cardano.Api.KeysShelley">PaymentExtendedKey</a> = <a id="v:AsPaymentExtendedKey" class="def">AsPaymentExtendedKey</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:17"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-KeysShelley.html#t:PaymentKey" title="Cardano.Api.KeysShelley">PaymentKey</a></span> <a href="src/Cardano.Api.KeysShelley.html#line-77" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:17"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-KeysShelley.html">Cardano.Api.KeysShelley</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-KeysShelley.html#t:PaymentKey" title="Cardano.Api.KeysShelley">PaymentKey</a> = <a id="v:AsPaymentKey" class="def">AsPaymentKey</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:18"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-ScriptData.html#t:ScriptData" title="Cardano.Api.ScriptData">ScriptData</a></span> <a href="src/Cardano.Api.ScriptData.html#line-90" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:18"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-ScriptData.html">Cardano.Api.ScriptData</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-ScriptData.html#t:ScriptData" title="Cardano.Api.ScriptData">ScriptData</a> = <a id="v:AsScriptData" class="def">AsScriptData</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:19"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-Script.html#t:ScriptHash" title="Cardano.Api.Script">ScriptHash</a></span> <a href="src/Cardano.Api.Script.html#line-784" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:19"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-Script.html">Cardano.Api.Script</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-Script.html#t:ScriptHash" title="Cardano.Api.Script">ScriptHash</a> = <a id="v:AsScriptHash" class="def">AsScriptHash</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:20"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-Script.html#t:ScriptInAnyLang" title="Cardano.Api.Script">ScriptInAnyLang</a></span> <a href="src/Cardano.Api.Script.html#line-459" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:20"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-Script.html">Cardano.Api.Script</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-Script.html#t:ScriptInAnyLang" title="Cardano.Api.Script">ScriptInAnyLang</a> = <a id="v:AsScriptInAnyLang" class="def">AsScriptInAnyLang</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:21"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-Script.html#t:SimpleScriptV2" title="Cardano.Api.Script">SimpleScriptV2</a></span> <a href="src/Cardano.Api.Script.html#line-189" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:21"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-Script.html">Cardano.Api.Script</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-Script.html#t:SimpleScriptV2" title="Cardano.Api.Script">SimpleScriptV2</a> = <a id="v:AsSimpleScriptV2" class="def">AsSimpleScriptV2</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:22"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-Script.html#t:SimpleScriptV1" title="Cardano.Api.Script">SimpleScriptV1</a></span> <a href="src/Cardano.Api.Script.html#line-185" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:22"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-Script.html">Cardano.Api.Script</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-Script.html#t:SimpleScriptV1" title="Cardano.Api.Script">SimpleScriptV1</a> = <a id="v:AsSimpleScriptV1" class="def">AsSimpleScriptV1</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:23"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-KeysByron.html#t:ByronKeyLegacy" title="Cardano.Api.KeysByron">ByronKeyLegacy</a></span> <a href="src/Cardano.Api.KeysByron.html#line-214" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:23"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-KeysByron.html">Cardano.Api.KeysByron</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-KeysByron.html#t:ByronKeyLegacy" title="Cardano.Api.KeysByron">ByronKeyLegacy</a> = <a id="v:AsByronKeyLegacy" class="def">AsByronKeyLegacy</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:24"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-KeysByron.html#t:ByronKey" title="Cardano.Api.KeysByron">ByronKey</a></span> <a href="src/Cardano.Api.KeysByron.html#line-129" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:24"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-KeysByron.html">Cardano.Api.KeysByron</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-KeysByron.html#t:ByronKey" title="Cardano.Api.KeysByron">ByronKey</a> = <a id="v:AsByronKey" class="def">AsByronKey</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:25"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-SpecialByron.html#t:ByronVote" title="Cardano.Api.SpecialByron">ByronVote</a></span> <a href="src/Cardano.Api.SpecialByron.html#line-166" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:25"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-SpecialByron.html">Cardano.Api.SpecialByron</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-SpecialByron.html#t:ByronVote" title="Cardano.Api.SpecialByron">ByronVote</a> = <a id="v:AsByronVote" class="def">AsByronVote</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:26"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-SpecialByron.html#t:ByronUpdateProposal" title="Cardano.Api.SpecialByron">ByronUpdateProposal</a></span> <a href="src/Cardano.Api.SpecialByron.html#line-53" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:26"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-SpecialByron.html">Cardano.Api.SpecialByron</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-SpecialByron.html#t:ByronUpdateProposal" title="Cardano.Api.SpecialByron">ByronUpdateProposal</a> = <a id="v:AsByronUpdateProposal" class="def">AsByronUpdateProposal</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:27"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-KeysPraos.html#t:VrfKey" title="Cardano.Api.KeysPraos">VrfKey</a></span> <a href="src/Cardano.Api.KeysPraos.html#line-151" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:27"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-KeysPraos.html">Cardano.Api.KeysPraos</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-KeysPraos.html#t:VrfKey" title="Cardano.Api.KeysPraos">VrfKey</a> = <a id="v:AsVrfKey" class="def">AsVrfKey</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:28"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-KeysPraos.html#t:KesKey" title="Cardano.Api.KeysPraos">KesKey</a></span> <a href="src/Cardano.Api.KeysPraos.html#line-53" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:28"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-KeysPraos.html">Cardano.Api.KeysPraos</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-KeysPraos.html#t:KesKey" title="Cardano.Api.KeysPraos">KesKey</a> = <a id="v:AsKesKey" class="def">AsKesKey</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:29"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-StakePoolMetadata.html#t:StakePoolMetadata" title="Cardano.Api.StakePoolMetadata">StakePoolMetadata</a></span> <a href="src/Cardano.Api.StakePoolMetadata.html#line-76" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:29"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-StakePoolMetadata.html">Cardano.Api.StakePoolMetadata</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-StakePoolMetadata.html#t:StakePoolMetadata" title="Cardano.Api.StakePoolMetadata">StakePoolMetadata</a> = <a id="v:AsStakePoolMetadata" class="def">AsStakePoolMetadata</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:30"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-Address.html#t:StakeAddress" title="Cardano.Api.Address">StakeAddress</a></span> <a href="src/Cardano.Api.Address.html#line-449" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:30"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-Address.html">Cardano.Api.Address</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-Address.html#t:StakeAddress" title="Cardano.Api.Address">StakeAddress</a> = <a id="v:AsStakeAddress" class="def">AsStakeAddress</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:31"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-Address.html#t:AddressAny" title="Cardano.Api.Address">AddressAny</a></span> <a href="src/Cardano.Api.Address.html#line-277" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:31"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-Address.html">Cardano.Api.Address</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-Address.html#t:AddressAny" title="Cardano.Api.Address">AddressAny</a> = <a id="v:AsAddressAny" class="def">AsAddressAny</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:32"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-Address.html#t:ShelleyAddr" title="Cardano.Api.Address">ShelleyAddr</a></span> <a href="src/Cardano.Api.Address.html#line-127" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:32"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-Address.html">Cardano.Api.Address</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-Address.html#t:ShelleyAddr" title="Cardano.Api.Address">ShelleyAddr</a> = <a id="v:AsShelleyAddr" class="def">AsShelleyAddr</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:33"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-Address.html#t:ByronAddr" title="Cardano.Api.Address">ByronAddr</a></span> <a href="src/Cardano.Api.Address.html#line-123" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:33"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-Address.html">Cardano.Api.Address</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-Address.html#t:ByronAddr" title="Cardano.Api.Address">ByronAddr</a> = <a id="v:AsByronAddr" class="def">AsByronAddr</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:34"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-Value.html#t:AssetName" title="Cardano.Api.Value">AssetName</a></span> <a href="src/Cardano.Api.Value.html#line-164" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:34"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-Value.html">Cardano.Api.Value</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-Value.html#t:AssetName" title="Cardano.Api.Value">AssetName</a> = <a id="v:AsAssetName" class="def">AsAssetName</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:35"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-Value.html#t:PolicyId" title="Cardano.Api.Value">PolicyId</a></span> <a href="src/Cardano.Api.Value.html#line-141" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:35"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-Value.html">Cardano.Api.Value</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-Value.html#t:PolicyId" title="Cardano.Api.Value">PolicyId</a> = <a id="v:AsPolicyId" class="def">AsPolicyId</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:36"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-ProtocolParameters.html#t:UpdateProposal" title="Cardano.Api.ProtocolParameters">UpdateProposal</a></span> <a href="src/Cardano.Api.ProtocolParameters.html#line-719" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:36"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-ProtocolParameters.html">Cardano.Api.ProtocolParameters</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-ProtocolParameters.html#t:UpdateProposal" title="Cardano.Api.ProtocolParameters">UpdateProposal</a> = <a id="v:AsUpdateProposal" class="def">AsUpdateProposal</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:37"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a></span> <a href="src/Cardano.Api.Certificate.html#line-100" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:37"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-Certificate.html">Cardano.Api.Certificate</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a> = <a id="v:AsCertificate" class="def">AsCertificate</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:38"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-TxBody.html#t:TxId" title="Cardano.Api.TxBody">TxId</a></span> <a href="src/Cardano.Api.TxBody.html#line-217" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:38"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-TxBody.html">Cardano.Api.TxBody</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-TxBody.html#t:TxId" title="Cardano.Api.TxBody">TxId</a> = <a id="v:AsTxId" class="def">AsTxId</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:39"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-Block.html#t:BlockHeader" title="Cardano.Api.Block">BlockHeader</a></span> <a href="src/Cardano.Api.Block.html#line-247" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:39"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-Block.html">Cardano.Api.Block</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-Block.html#t:BlockHeader" title="Cardano.Api.Block">BlockHeader</a> = <a id="v:AsBlockHeader" class="def">AsBlockHeader</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:40"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-OperationalCertificate.html#t:OperationalCertificateIssueCounter" title="Cardano.Api.OperationalCertificate">OperationalCertificateIssueCounter</a></span> <a href="src/Cardano.Api.OperationalCertificate.html#line-82" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:40"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-OperationalCertificate.html">Cardano.Api.OperationalCertificate</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-OperationalCertificate.html#t:OperationalCertificateIssueCounter" title="Cardano.Api.OperationalCertificate">OperationalCertificateIssueCounter</a> = <a id="v:AsOperationalCertificateIssueCounter" class="def">AsOperationalCertificateIssueCounter</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:41"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-OperationalCertificate.html#t:OperationalCertificate" title="Cardano.Api.OperationalCertificate">OperationalCertificate</a></span> <a href="src/Cardano.Api.OperationalCertificate.html#line-78" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:41"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-OperationalCertificate.html">Cardano.Api.OperationalCertificate</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> <a href="Cardano-Api-OperationalCertificate.html#t:OperationalCertificate" title="Cardano.Api.OperationalCertificate">OperationalCertificate</a> = <a id="v:AsOperationalCertificate" class="def">AsOperationalCertificate</a></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:42"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> (<a href="Cardano-Api-Hash.html#t:Hash" title="Cardano.Api.Hash">Hash</a> a)</span> <a href="src/Cardano.Api.Hash.html#line-23" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:42"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-Hash.html">Cardano.Api.Hash</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> (<a href="Cardano-Api-Hash.html#t:Hash" title="Cardano.Api.Hash">Hash</a> a) = <a id="v:AsHash" class="def">AsHash</a> (<a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> a)</div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:43"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> (<a href="Cardano-Api-Key.html#t:VerificationKey" title="Cardano.Api.Key">VerificationKey</a> a)</span> <a href="src/Cardano.Api.Key.html#line-71" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:43"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-Key.html">Cardano.Api.Key</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> (<a href="Cardano-Api-Key.html#t:VerificationKey" title="Cardano.Api.Key">VerificationKey</a> a) = <a id="v:AsVerificationKey" class="def">AsVerificationKey</a> (<a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> a)</div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:44"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> (<a href="Cardano-Api-Key.html#t:SigningKey" title="Cardano.Api.Key">SigningKey</a> a)</span> <a href="src/Cardano.Api.Key.html#line-75" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:44"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-Key.html">Cardano.Api.Key</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> (<a href="Cardano-Api-Key.html#t:SigningKey" title="Cardano.Api.Key">SigningKey</a> a) = <a id="v:AsSigningKey" class="def">AsSigningKey</a> (<a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> a)</div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:45"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> (<a href="Cardano-Api-Script.html#t:PlutusScript" title="Cardano.Api.Script">PlutusScript</a> lang)</span> <a href="src/Cardano.Api.Script.html#line-917" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:45"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-Script.html">Cardano.Api.Script</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> (<a href="Cardano-Api-Script.html#t:PlutusScript" title="Cardano.Api.Script">PlutusScript</a> lang) = <a id="v:AsPlutusScript" class="def">AsPlutusScript</a> (<a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> lang)</div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:46"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> (<a href="Cardano-Api-Script.html#t:SimpleScript" title="Cardano.Api.Script">SimpleScript</a> lang)</span> <a href="src/Cardano.Api.Script.html#line-852" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:46"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-Script.html">Cardano.Api.Script</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> (<a href="Cardano-Api-Script.html#t:SimpleScript" title="Cardano.Api.Script">SimpleScript</a> lang) = <a id="v:AsSimpleScript" class="def">AsSimpleScript</a> (<a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> lang)</div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:47"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> (<a href="Cardano-Api-Script.html#t:ScriptInEra" title="Cardano.Api.Script">ScriptInEra</a> era)</span> <a href="src/Cardano.Api.Script.html#line-501" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:47"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-Script.html">Cardano.Api.Script</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> (<a href="Cardano-Api-Script.html#t:ScriptInEra" title="Cardano.Api.Script">ScriptInEra</a> era) = <a id="v:AsScriptInEra" class="def">AsScriptInEra</a> (<a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> era)</div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:48"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> (<a href="Cardano-Api-Script.html#t:Script" title="Cardano.Api.Script">Script</a> lang)</span> <a href="src/Cardano.Api.Script.html#line-380" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:48"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-Script.html">Cardano.Api.Script</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> (<a href="Cardano-Api-Script.html#t:Script" title="Cardano.Api.Script">Script</a> lang) = <a id="v:AsScript" class="def">AsScript</a> (<a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> lang)</div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:49"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> (<a href="Cardano-Api-Address.html#t:AddressInEra" title="Cardano.Api.Address">AddressInEra</a> era)</span> <a href="src/Cardano.Api.Address.html#line-345" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:49"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-Address.html">Cardano.Api.Address</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> (<a href="Cardano-Api-Address.html#t:AddressInEra" title="Cardano.Api.Address">AddressInEra</a> era) = <a id="v:AsAddressInEra" class="def">AsAddressInEra</a> (<a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> era)</div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:50"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> (<a href="Cardano-Api-Address.html#t:Address" title="Cardano.Api.Address">Address</a> addrtype)</span> <a href="src/Cardano.Api.Address.html#line-179" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:50"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-Address.html">Cardano.Api.Address</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> (<a href="Cardano-Api-Address.html#t:Address" title="Cardano.Api.Address">Address</a> addrtype) = <a id="v:AsAddress" class="def">AsAddress</a> (<a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> addrtype)</div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:51"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> (<a href="Cardano-Api-TxBody.html#t:TxBody" title="Cardano.Api.TxBody">TxBody</a> era)</span> <a href="src/Cardano.Api.TxBody.html#line-1208" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:51"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-TxBody.html">Cardano.Api.TxBody</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> (<a href="Cardano-Api-TxBody.html#t:TxBody" title="Cardano.Api.TxBody">TxBody</a> era) = <a id="v:AsTxBody" class="def">AsTxBody</a> (<a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> era)</div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:52"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> (<a href="Cardano-Api-Tx.html#t:KeyWitness" title="Cardano.Api.Tx">KeyWitness</a> era)</span> <a href="src/Cardano.Api.Tx.html#line-327" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:52"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-Tx.html">Cardano.Api.Tx</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> (<a href="Cardano-Api-Tx.html#t:KeyWitness" title="Cardano.Api.Tx">KeyWitness</a> era) = <a id="v:AsKeyWitness" class="def">AsKeyWitness</a> (<a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> era)</div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:if:AsType:AsType:53"></span> <span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> (<a href="Cardano-Api-Tx.html#t:Tx" title="Cardano.Api.Tx">Tx</a> era)</span> <a href="src/Cardano.Api.Tx.html#line-173" class="link">Source</a> <a href="#t:AsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:if:AsType:AsType:53"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Cardano-Api-Tx.html">Cardano.Api.Tx</a></p> <div class="src"><span class="keyword">data</span> <a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> (<a href="Cardano-Api-Tx.html#t:Tx" title="Cardano.Api.Tx">Tx</a> era) = <a id="v:AsTx" class="def">AsTx</a> (<a href="Cardano-Api-TxMetadata.html#t:AsType" title="Cardano.Api.TxMetadata">AsType</a> era)</div></details></td></tr></table></details></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.24.0</p></div></body></html>