-
Notifications
You must be signed in to change notification settings - Fork 721
/
Cardano-Api-Certificate.html
7 lines (7 loc) · 121 KB
/
Cardano-Api-Certificate.html
1
2
3
4
5
6
7
<!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.Certificate</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.Certificate.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.Certificate</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">Registering stake address and delegating</a></li><li><a href="#g:2">Registering stake pools</a></li><li><a href="#g:3">Special certificates</a></li><li><a href="#g:4">Internal conversion functions</a></li><li><a href="#g:5">Data family instances</a></li></ul></div></div><div id="description"><p class="caption">Description</p><div class="doc"><p>Certificates 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">data</span> <a href="#t:Certificate">Certificate</a><ul class="subs"><li>= <a href="#v:StakeAddressRegistrationCertificate">StakeAddressRegistrationCertificate</a> <a href="Cardano-Api-Address.html#t:StakeCredential" title="Cardano.Api.Address">StakeCredential</a></li><li>| <a href="#v:StakeAddressDeregistrationCertificate">StakeAddressDeregistrationCertificate</a> <a href="Cardano-Api-Address.html#t:StakeCredential" title="Cardano.Api.Address">StakeCredential</a></li><li>| <a href="#v:StakeAddressDelegationCertificate">StakeAddressDelegationCertificate</a> <a href="Cardano-Api-Address.html#t:StakeCredential" title="Cardano.Api.Address">StakeCredential</a> <a href="Cardano-Api-Certificate.html#t:PoolId" title="Cardano.Api.Certificate">PoolId</a></li><li>| <a href="#v:StakePoolRegistrationCertificate">StakePoolRegistrationCertificate</a> <a href="Cardano-Api-Certificate.html#t:StakePoolParameters" title="Cardano.Api.Certificate">StakePoolParameters</a></li><li>| <a href="#v:StakePoolRetirementCertificate">StakePoolRetirementCertificate</a> <a href="Cardano-Api-Certificate.html#t:PoolId" title="Cardano.Api.Certificate">PoolId</a> <a href="Cardano-Api-ProtocolParameters.html#t:EpochNo" title="Cardano.Api.ProtocolParameters">EpochNo</a></li><li>| <a href="#v:GenesisKeyDelegationCertificate">GenesisKeyDelegationCertificate</a> (<a href="Cardano-Api-Hash.html#t:Hash" title="Cardano.Api.Hash">Hash</a> <a href="Cardano-Api-KeysShelley.html#t:GenesisKey" title="Cardano.Api.KeysShelley">GenesisKey</a>) (<a href="Cardano-Api-Hash.html#t:Hash" title="Cardano.Api.Hash">Hash</a> <a href="Cardano-Api-KeysShelley.html#t:GenesisDelegateKey" title="Cardano.Api.KeysShelley">GenesisDelegateKey</a>) (<a href="Cardano-Api-Hash.html#t:Hash" title="Cardano.Api.Hash">Hash</a> <a href="Cardano-Api-KeysPraos.html#t:VrfKey" title="Cardano.Api.KeysPraos">VrfKey</a>)</li><li>| <a href="#v:MIRCertificate">MIRCertificate</a> MIRPot <a href="Cardano-Api-Certificate.html#t:MIRTarget" title="Cardano.Api.Certificate">MIRTarget</a></li></ul></li><li class="src short"><a href="#v:makeStakeAddressRegistrationCertificate">makeStakeAddressRegistrationCertificate</a> ∷ <a href="Cardano-Api-Address.html#t:StakeCredential" title="Cardano.Api.Address">StakeCredential</a> → <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a></li><li class="src short"><a href="#v:makeStakeAddressDeregistrationCertificate">makeStakeAddressDeregistrationCertificate</a> ∷ <a href="Cardano-Api-Address.html#t:StakeCredential" title="Cardano.Api.Address">StakeCredential</a> → <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a></li><li class="src short"><a href="#v:makeStakeAddressDelegationCertificate">makeStakeAddressDelegationCertificate</a> ∷ <a href="Cardano-Api-Address.html#t:StakeCredential" title="Cardano.Api.Address">StakeCredential</a> → <a href="Cardano-Api-Certificate.html#t:PoolId" title="Cardano.Api.Certificate">PoolId</a> → <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:PoolId">PoolId</a> = <a href="Cardano-Api-Hash.html#t:Hash" title="Cardano.Api.Hash">Hash</a> <a href="Cardano-Api-KeysShelley.html#t:StakePoolKey" title="Cardano.Api.KeysShelley">StakePoolKey</a></li><li class="src short"><a href="#v:makeStakePoolRegistrationCertificate">makeStakePoolRegistrationCertificate</a> ∷ <a href="Cardano-Api-Certificate.html#t:StakePoolParameters" title="Cardano.Api.Certificate">StakePoolParameters</a> → <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a></li><li class="src short"><a href="#v:makeStakePoolRetirementCertificate">makeStakePoolRetirementCertificate</a> ∷ <a href="Cardano-Api-Certificate.html#t:PoolId" title="Cardano.Api.Certificate">PoolId</a> → <a href="Cardano-Api-ProtocolParameters.html#t:EpochNo" title="Cardano.Api.ProtocolParameters">EpochNo</a> → <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:StakePoolParameters">StakePoolParameters</a> = <a href="#v:StakePoolParameters">StakePoolParameters</a> {<ul class="subs"><li><a href="#v:stakePoolId">stakePoolId</a> ∷ <a href="Cardano-Api-Certificate.html#t:PoolId" title="Cardano.Api.Certificate">PoolId</a></li><li><a href="#v:stakePoolVRF">stakePoolVRF</a> ∷ <a href="Cardano-Api-Hash.html#t:Hash" title="Cardano.Api.Hash">Hash</a> <a href="Cardano-Api-KeysPraos.html#t:VrfKey" title="Cardano.Api.KeysPraos">VrfKey</a></li><li><a href="#v:stakePoolCost">stakePoolCost</a> ∷ <a href="Cardano-Api-Value.html#t:Lovelace" title="Cardano.Api.Value">Lovelace</a></li><li><a href="#v:stakePoolMargin">stakePoolMargin</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:Rational" title="Distribution.Compat.Prelude.Internal">Rational</a></li><li><a href="#v:stakePoolRewardAccount">stakePoolRewardAccount</a> ∷ <a href="Cardano-Api-Address.html#t:StakeAddress" title="Cardano.Api.Address">StakeAddress</a></li><li><a href="#v:stakePoolPledge">stakePoolPledge</a> ∷ <a href="Cardano-Api-Value.html#t:Lovelace" title="Cardano.Api.Value">Lovelace</a></li><li><a href="#v:stakePoolOwners">stakePoolOwners</a> ∷ [<a href="Cardano-Api-Hash.html#t:Hash" title="Cardano.Api.Hash">Hash</a> <a href="Cardano-Api-KeysShelley.html#t:StakeKey" title="Cardano.Api.KeysShelley">StakeKey</a>]</li><li><a href="#v:stakePoolRelays">stakePoolRelays</a> ∷ [<a href="Cardano-Api-Certificate.html#t:StakePoolRelay" title="Cardano.Api.Certificate">StakePoolRelay</a>]</li><li><a href="#v:stakePoolMetadata">stakePoolMetadata</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 href="Cardano-Api-Certificate.html#t:StakePoolMetadataReference" title="Cardano.Api.Certificate">StakePoolMetadataReference</a></li></ul>}</li><li class="src short"><span class="keyword">data</span> <a href="#t:StakePoolRelay">StakePoolRelay</a><ul class="subs"><li>= <a href="#v:StakePoolRelayIp">StakePoolRelayIp</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> IPv4) (<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> IPv6) (<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> PortNumber)</li><li>| <a href="#v:StakePoolRelayDnsARecord">StakePoolRelayDnsARecord</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:Maybe" title="Distribution.Compat.Prelude.Internal">Maybe</a> PortNumber)</li><li>| <a href="#v:StakePoolRelayDnsSrvRecord">StakePoolRelayDnsSrvRecord</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></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:StakePoolMetadataReference">StakePoolMetadataReference</a> = <a href="#v:StakePoolMetadataReference">StakePoolMetadataReference</a> {<ul class="subs"><li><a href="#v:stakePoolMetadataURL">stakePoolMetadataURL</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:stakePoolMetadataHash">stakePoolMetadataHash</a> ∷ <a href="Cardano-Api-Hash.html#t:Hash" title="Cardano.Api.Hash">Hash</a> <a href="Cardano-Api-StakePoolMetadata.html#t:StakePoolMetadata" title="Cardano.Api.StakePoolMetadata">StakePoolMetadata</a></li></ul>}</li><li class="src short"><a href="#v:makeMIRCertificate">makeMIRCertificate</a> ∷ MIRPot → <a href="Cardano-Api-Certificate.html#t:MIRTarget" title="Cardano.Api.Certificate">MIRTarget</a> → <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a></li><li class="src short"><a href="#v:makeGenesisKeyDelegationCertificate">makeGenesisKeyDelegationCertificate</a> ∷ <a href="Cardano-Api-Hash.html#t:Hash" title="Cardano.Api.Hash">Hash</a> <a href="Cardano-Api-KeysShelley.html#t:GenesisKey" title="Cardano.Api.KeysShelley">GenesisKey</a> → <a href="Cardano-Api-Hash.html#t:Hash" title="Cardano.Api.Hash">Hash</a> <a href="Cardano-Api-KeysShelley.html#t:GenesisDelegateKey" title="Cardano.Api.KeysShelley">GenesisDelegateKey</a> → <a href="Cardano-Api-Hash.html#t:Hash" title="Cardano.Api.Hash">Hash</a> <a href="Cardano-Api-KeysPraos.html#t:VrfKey" title="Cardano.Api.KeysPraos">VrfKey</a> → <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:MIRTarget">MIRTarget</a><ul class="subs"><li>= <a href="#v:StakeAddressesMIR">StakeAddressesMIR</a> [(<a href="Cardano-Api-Address.html#t:StakeCredential" title="Cardano.Api.Address">StakeCredential</a>, <a href="Cardano-Api-Value.html#t:Lovelace" title="Cardano.Api.Value">Lovelace</a>)]</li><li>| <a href="#v:SendToReservesMIR">SendToReservesMIR</a> <a href="Cardano-Api-Value.html#t:Lovelace" title="Cardano.Api.Value">Lovelace</a></li><li>| <a href="#v:SendToTreasuryMIR">SendToTreasuryMIR</a> <a href="Cardano-Api-Value.html#t:Lovelace" title="Cardano.Api.Value">Lovelace</a></li></ul></li><li class="src short"><a href="#v:toShelleyCertificate">toShelleyCertificate</a> ∷ <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a> → DCert StandardCrypto</li><li class="src short"><a href="#v:fromShelleyCertificate">fromShelleyCertificate</a> ∷ DCert StandardCrypto → <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a></li><li class="src short"><a href="#v:toShelleyPoolParams">toShelleyPoolParams</a> ∷ <a href="Cardano-Api-Certificate.html#t:StakePoolParameters" title="Cardano.Api.Certificate">StakePoolParameters</a> → PoolParams StandardCrypto</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"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:Certificate" class="def">Certificate</a> <a href="src/Cardano.Api.Certificate.html#Certificate" class="link">Source</a> <a href="#t:Certificate" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:StakeAddressRegistrationCertificate" class="def">StakeAddressRegistrationCertificate</a> <a href="Cardano-Api-Address.html#t:StakeCredential" title="Cardano.Api.Address">StakeCredential</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:StakeAddressDeregistrationCertificate" class="def">StakeAddressDeregistrationCertificate</a> <a href="Cardano-Api-Address.html#t:StakeCredential" title="Cardano.Api.Address">StakeCredential</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:StakeAddressDelegationCertificate" class="def">StakeAddressDelegationCertificate</a> <a href="Cardano-Api-Address.html#t:StakeCredential" title="Cardano.Api.Address">StakeCredential</a> <a href="Cardano-Api-Certificate.html#t:PoolId" title="Cardano.Api.Certificate">PoolId</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:StakePoolRegistrationCertificate" class="def">StakePoolRegistrationCertificate</a> <a href="Cardano-Api-Certificate.html#t:StakePoolParameters" title="Cardano.Api.Certificate">StakePoolParameters</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:StakePoolRetirementCertificate" class="def">StakePoolRetirementCertificate</a> <a href="Cardano-Api-Certificate.html#t:PoolId" title="Cardano.Api.Certificate">PoolId</a> <a href="Cardano-Api-ProtocolParameters.html#t:EpochNo" title="Cardano.Api.ProtocolParameters">EpochNo</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:GenesisKeyDelegationCertificate" class="def">GenesisKeyDelegationCertificate</a> (<a href="Cardano-Api-Hash.html#t:Hash" title="Cardano.Api.Hash">Hash</a> <a href="Cardano-Api-KeysShelley.html#t:GenesisKey" title="Cardano.Api.KeysShelley">GenesisKey</a>) (<a href="Cardano-Api-Hash.html#t:Hash" title="Cardano.Api.Hash">Hash</a> <a href="Cardano-Api-KeysShelley.html#t:GenesisDelegateKey" title="Cardano.Api.KeysShelley">GenesisDelegateKey</a>) (<a href="Cardano-Api-Hash.html#t:Hash" title="Cardano.Api.Hash">Hash</a> <a href="Cardano-Api-KeysPraos.html#t:VrfKey" title="Cardano.Api.KeysPraos">VrfKey</a>)</td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:MIRCertificate" class="def">MIRCertificate</a> MIRPot <a href="Cardano-Api-Certificate.html#t:MIRTarget" title="Cardano.Api.Certificate">MIRTarget</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:Certificate">Instances</h4><details id="i:Certificate" 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:Certificate: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-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a></span> <a href="src/Cardano.Api.Certificate.html#line-96" class="link">Source</a> <a href="#t:Certificate" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:Certificate:Eq:1"><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="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> ∷ <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a> → <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</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-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a> → <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</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:Certificate: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-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a></span> <a href="src/Cardano.Api.Certificate.html#line-96" class="link">Source</a> <a href="#t:Certificate" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:Certificate:Show:2"><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="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-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</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-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</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-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</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:Certificate:FromCBOR:3"></span> <a href="Cardano-Api-SerialiseCBOR.html#t:FromCBOR" title="Cardano.Api.SerialiseCBOR">FromCBOR</a> <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a></span> <a href="src/Cardano.Api.Certificate.html#line-106" class="link">Source</a> <a href="#t:Certificate" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:Certificate:FromCBOR:3"><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="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fromCBOR">fromCBOR</a> ∷ Decoder s <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a> <a href="#v:fromCBOR" class="selflink">#</a></p><p class="src"><a href="#v:label">label</a> ∷ <a href="Cardano-Api-HasTypeProxy.html#t:Proxy" title="Cardano.Api.HasTypeProxy">Proxy</a> <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</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="#v:label" 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:Certificate:ToCBOR:4"></span> <a href="Cardano-Api-SerialiseCBOR.html#t:ToCBOR" title="Cardano.Api.SerialiseCBOR">ToCBOR</a> <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a></span> <a href="src/Cardano.Api.Certificate.html#line-103" class="link">Source</a> <a href="#t:Certificate" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:Certificate:ToCBOR:4"><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="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toCBOR">toCBOR</a> ∷ <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a> → Encoding <a href="#v:toCBOR" class="selflink">#</a></p><p class="src"><a href="#v:encodedSizeExpr">encodedSizeExpr</a> ∷ (∀ t. <a href="Cardano-Api-SerialiseCBOR.html#t:ToCBOR" title="Cardano.Api.SerialiseCBOR">ToCBOR</a> t ⇒ <a href="Cardano-Api-HasTypeProxy.html#t:Proxy" title="Cardano.Api.HasTypeProxy">Proxy</a> t → Size) → <a href="Cardano-Api-HasTypeProxy.html#t:Proxy" title="Cardano.Api.HasTypeProxy">Proxy</a> <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a> → Size <a href="#v:encodedSizeExpr" class="selflink">#</a></p><p class="src"><a href="#v:encodedListSizeExpr">encodedListSizeExpr</a> ∷ (∀ t. <a href="Cardano-Api-SerialiseCBOR.html#t:ToCBOR" title="Cardano.Api.SerialiseCBOR">ToCBOR</a> t ⇒ <a href="Cardano-Api-HasTypeProxy.html#t:Proxy" title="Cardano.Api.HasTypeProxy">Proxy</a> t → Size) → <a href="Cardano-Api-HasTypeProxy.html#t:Proxy" title="Cardano.Api.HasTypeProxy">Proxy</a> [<a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a>] → Size <a href="#v:encodedListSizeExpr" 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:Certificate:HasTypeProxy:5"></span> <a href="Cardano-Api-HasTypeProxy.html#t:HasTypeProxy" title="Cardano.Api.HasTypeProxy">HasTypeProxy</a> <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a></span> <a href="src/Cardano.Api.Certificate.html#line-99" class="link">Source</a> <a href="#t:Certificate" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:Certificate:HasTypeProxy:5"><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="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">data</span> <a href="Cardano-Api-Certificate.html#t:AsType" title="Cardano.Api.Certificate">AsType</a> <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</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-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a> → <a href="Cardano-Api-Certificate.html#t:AsType" title="Cardano.Api.Certificate">AsType</a> <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</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:Certificate:SerialiseAsCBOR:6"></span> <a href="Cardano-Api-SerialiseCBOR.html#t:SerialiseAsCBOR" title="Cardano.Api.SerialiseCBOR">SerialiseAsCBOR</a> <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a></span> <a href="src/Cardano.Api.Certificate.html#line-97" class="link">Source</a> <a href="#t:Certificate" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:Certificate:SerialiseAsCBOR:6"><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="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:serialiseToCBOR">serialiseToCBOR</a> ∷ <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">AsType</a> <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</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-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</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:Certificate:HasTextEnvelope:7"></span> <a href="Cardano-Api-SerialiseTextEnvelope.html#t:HasTextEnvelope" title="Cardano.Api.SerialiseTextEnvelope">HasTextEnvelope</a> <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a></span> <a href="src/Cardano.Api.Certificate.html#line-109" class="link">Source</a> <a href="#t:Certificate" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:Certificate:HasTextEnvelope:7"><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="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:textEnvelopeType">textEnvelopeType</a> ∷ <a href="Cardano-Api-Certificate.html#t:AsType" title="Cardano.Api.Certificate">AsType</a> <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a> → <a href="Cardano-Api-SerialiseTextEnvelope.html#t:TextEnvelopeType" title="Cardano.Api.SerialiseTextEnvelope">TextEnvelopeType</a> <a href="src/Cardano.Api.SerialiseTextEnvelope.html#textEnvelopeType" class="link">Source</a> <a href="#v:textEnvelopeType" class="selflink">#</a></p><p class="src"><a href="#v:textEnvelopeDefaultDescr">textEnvelopeDefaultDescr</a> ∷ <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a> → <a href="Cardano-Api-SerialiseTextEnvelope.html#t:TextEnvelopeDescr" title="Cardano.Api.SerialiseTextEnvelope">TextEnvelopeDescr</a> <a href="src/Cardano.Api.SerialiseTextEnvelope.html#textEnvelopeDefaultDescr" class="link">Source</a> <a href="#v:textEnvelopeDefaultDescr" 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:Certificate:AsType:8"></span> <span class="keyword">data</span> <a href="Cardano-Api-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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:Certificate" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:Certificate:AsType:8"><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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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></table></details></div></div><a href="#g:1" id="g:1"><h1>Registering stake address and delegating</h1></a><div class="top"><p class="src"><a id="v:makeStakeAddressRegistrationCertificate" class="def">makeStakeAddressRegistrationCertificate</a> ∷ <a href="Cardano-Api-Address.html#t:StakeCredential" title="Cardano.Api.Address">StakeCredential</a> → <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a> <a href="src/Cardano.Api.Certificate.html#makeStakeAddressRegistrationCertificate" class="link">Source</a> <a href="#v:makeStakeAddressRegistrationCertificate" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:makeStakeAddressDeregistrationCertificate" class="def">makeStakeAddressDeregistrationCertificate</a> ∷ <a href="Cardano-Api-Address.html#t:StakeCredential" title="Cardano.Api.Address">StakeCredential</a> → <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a> <a href="src/Cardano.Api.Certificate.html#makeStakeAddressDeregistrationCertificate" class="link">Source</a> <a href="#v:makeStakeAddressDeregistrationCertificate" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:makeStakeAddressDelegationCertificate" class="def">makeStakeAddressDelegationCertificate</a> ∷ <a href="Cardano-Api-Address.html#t:StakeCredential" title="Cardano.Api.Address">StakeCredential</a> → <a href="Cardano-Api-Certificate.html#t:PoolId" title="Cardano.Api.Certificate">PoolId</a> → <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a> <a href="src/Cardano.Api.Certificate.html#makeStakeAddressDelegationCertificate" class="link">Source</a> <a href="#v:makeStakeAddressDelegationCertificate" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:PoolId" class="def">PoolId</a> = <a href="Cardano-Api-Hash.html#t:Hash" title="Cardano.Api.Hash">Hash</a> <a href="Cardano-Api-KeysShelley.html#t:StakePoolKey" title="Cardano.Api.KeysShelley">StakePoolKey</a> <a href="src/Cardano.Api.Certificate.html#PoolId" class="link">Source</a> <a href="#t:PoolId" class="selflink">#</a></p></div><a href="#g:2" id="g:2"><h1>Registering stake pools</h1></a><div class="top"><p class="src"><a id="v:makeStakePoolRegistrationCertificate" class="def">makeStakePoolRegistrationCertificate</a> ∷ <a href="Cardano-Api-Certificate.html#t:StakePoolParameters" title="Cardano.Api.Certificate">StakePoolParameters</a> → <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a> <a href="src/Cardano.Api.Certificate.html#makeStakePoolRegistrationCertificate" class="link">Source</a> <a href="#v:makeStakePoolRegistrationCertificate" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:makeStakePoolRetirementCertificate" class="def">makeStakePoolRetirementCertificate</a> ∷ <a href="Cardano-Api-Certificate.html#t:PoolId" title="Cardano.Api.Certificate">PoolId</a> → <a href="Cardano-Api-ProtocolParameters.html#t:EpochNo" title="Cardano.Api.ProtocolParameters">EpochNo</a> → <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a> <a href="src/Cardano.Api.Certificate.html#makeStakePoolRetirementCertificate" class="link">Source</a> <a href="#v:makeStakePoolRetirementCertificate" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:StakePoolParameters" class="def">StakePoolParameters</a> <a href="src/Cardano.Api.Certificate.html#StakePoolParameters" class="link">Source</a> <a href="#t:StakePoolParameters" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:StakePoolParameters" class="def">StakePoolParameters</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><ul><li><dfn class="src"><a id="v:stakePoolId" class="def">stakePoolId</a> ∷ <a href="Cardano-Api-Certificate.html#t:PoolId" title="Cardano.Api.Certificate">PoolId</a></dfn><div class="doc empty"> </div></li><li><dfn class="src"><a id="v:stakePoolVRF" class="def">stakePoolVRF</a> ∷ <a href="Cardano-Api-Hash.html#t:Hash" title="Cardano.Api.Hash">Hash</a> <a href="Cardano-Api-KeysPraos.html#t:VrfKey" title="Cardano.Api.KeysPraos">VrfKey</a></dfn><div class="doc empty"> </div></li><li><dfn class="src"><a id="v:stakePoolCost" class="def">stakePoolCost</a> ∷ <a href="Cardano-Api-Value.html#t:Lovelace" title="Cardano.Api.Value">Lovelace</a></dfn><div class="doc empty"> </div></li><li><dfn class="src"><a id="v:stakePoolMargin" class="def">stakePoolMargin</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:Rational" title="Distribution.Compat.Prelude.Internal">Rational</a></dfn><div class="doc empty"> </div></li><li><dfn class="src"><a id="v:stakePoolRewardAccount" class="def">stakePoolRewardAccount</a> ∷ <a href="Cardano-Api-Address.html#t:StakeAddress" title="Cardano.Api.Address">StakeAddress</a></dfn><div class="doc empty"> </div></li><li><dfn class="src"><a id="v:stakePoolPledge" class="def">stakePoolPledge</a> ∷ <a href="Cardano-Api-Value.html#t:Lovelace" title="Cardano.Api.Value">Lovelace</a></dfn><div class="doc empty"> </div></li><li><dfn class="src"><a id="v:stakePoolOwners" class="def">stakePoolOwners</a> ∷ [<a href="Cardano-Api-Hash.html#t:Hash" title="Cardano.Api.Hash">Hash</a> <a href="Cardano-Api-KeysShelley.html#t:StakeKey" title="Cardano.Api.KeysShelley">StakeKey</a>]</dfn><div class="doc empty"> </div></li><li><dfn class="src"><a id="v:stakePoolRelays" class="def">stakePoolRelays</a> ∷ [<a href="Cardano-Api-Certificate.html#t:StakePoolRelay" title="Cardano.Api.Certificate">StakePoolRelay</a>]</dfn><div class="doc empty"> </div></li><li><dfn class="src"><a id="v:stakePoolMetadata" class="def">stakePoolMetadata</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 href="Cardano-Api-Certificate.html#t:StakePoolMetadataReference" title="Cardano.Api.Certificate">StakePoolMetadataReference</a></dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div><div class="subs instances"><h4 class="instances details-toggle-control details-toggle" data-details-id="i:StakePoolParameters">Instances</h4><details id="i:StakePoolParameters" 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:StakePoolParameters: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-Certificate.html#t:StakePoolParameters" title="Cardano.Api.Certificate">StakePoolParameters</a></span> <a href="src/Cardano.Api.Certificate.html#line-156" class="link">Source</a> <a href="#t:StakePoolParameters" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:StakePoolParameters:Eq:1"><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="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> ∷ <a href="Cardano-Api-Certificate.html#t:StakePoolParameters" title="Cardano.Api.Certificate">StakePoolParameters</a> → <a href="Cardano-Api-Certificate.html#t:StakePoolParameters" title="Cardano.Api.Certificate">StakePoolParameters</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-Certificate.html#t:StakePoolParameters" title="Cardano.Api.Certificate">StakePoolParameters</a> → <a href="Cardano-Api-Certificate.html#t:StakePoolParameters" title="Cardano.Api.Certificate">StakePoolParameters</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:StakePoolParameters: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-Certificate.html#t:StakePoolParameters" title="Cardano.Api.Certificate">StakePoolParameters</a></span> <a href="src/Cardano.Api.Certificate.html#line-156" class="link">Source</a> <a href="#t:StakePoolParameters" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:StakePoolParameters:Show:2"><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="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-Certificate.html#t:StakePoolParameters" title="Cardano.Api.Certificate">StakePoolParameters</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-Certificate.html#t:StakePoolParameters" title="Cardano.Api.Certificate">StakePoolParameters</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-Certificate.html#t:StakePoolParameters" title="Cardano.Api.Certificate">StakePoolParameters</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"><span class="keyword">data</span> <a id="t:StakePoolRelay" class="def">StakePoolRelay</a> <a href="src/Cardano.Api.Certificate.html#StakePoolRelay" class="link">Source</a> <a href="#t:StakePoolRelay" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:StakePoolRelayIp" class="def">StakePoolRelayIp</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> IPv4) (<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> IPv6) (<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> PortNumber)</td><td class="doc"><p>One or both of IPv4 & IPv6</p></td></tr><tr><td class="src"><a id="v:StakePoolRelayDnsARecord" class="def">StakePoolRelayDnsARecord</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:Maybe" title="Distribution.Compat.Prelude.Internal">Maybe</a> PortNumber)</td><td class="doc"><p>An DNS name pointing to a <code>A</code> or <code>AAAA</code> record.</p></td></tr><tr><td class="src"><a id="v:StakePoolRelayDnsSrvRecord" class="def">StakePoolRelayDnsSrvRecord</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"><p>A DNS name pointing to a <code>SRV</code> record.</p></td></tr></table></div><div class="subs instances"><h4 class="instances details-toggle-control details-toggle" data-details-id="i:StakePoolRelay">Instances</h4><details id="i:StakePoolRelay" 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:StakePoolRelay: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-Certificate.html#t:StakePoolRelay" title="Cardano.Api.Certificate">StakePoolRelay</a></span> <a href="src/Cardano.Api.Certificate.html#line-172" class="link">Source</a> <a href="#t:StakePoolRelay" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:StakePoolRelay:Eq:1"><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="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> ∷ <a href="Cardano-Api-Certificate.html#t:StakePoolRelay" title="Cardano.Api.Certificate">StakePoolRelay</a> → <a href="Cardano-Api-Certificate.html#t:StakePoolRelay" title="Cardano.Api.Certificate">StakePoolRelay</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-Certificate.html#t:StakePoolRelay" title="Cardano.Api.Certificate">StakePoolRelay</a> → <a href="Cardano-Api-Certificate.html#t:StakePoolRelay" title="Cardano.Api.Certificate">StakePoolRelay</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:StakePoolRelay: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-Certificate.html#t:StakePoolRelay" title="Cardano.Api.Certificate">StakePoolRelay</a></span> <a href="src/Cardano.Api.Certificate.html#line-172" class="link">Source</a> <a href="#t:StakePoolRelay" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:StakePoolRelay:Show:2"><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="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-Certificate.html#t:StakePoolRelay" title="Cardano.Api.Certificate">StakePoolRelay</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-Certificate.html#t:StakePoolRelay" title="Cardano.Api.Certificate">StakePoolRelay</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-Certificate.html#t:StakePoolRelay" title="Cardano.Api.Certificate">StakePoolRelay</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"><span class="keyword">data</span> <a id="t:StakePoolMetadataReference" class="def">StakePoolMetadataReference</a> <a href="src/Cardano.Api.Certificate.html#StakePoolMetadataReference" class="link">Source</a> <a href="#t:StakePoolMetadataReference" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:StakePoolMetadataReference" class="def">StakePoolMetadataReference</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><ul><li><dfn class="src"><a id="v:stakePoolMetadataURL" class="def">stakePoolMetadataURL</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></dfn><div class="doc empty"> </div></li><li><dfn class="src"><a id="v:stakePoolMetadataHash" class="def">stakePoolMetadataHash</a> ∷ <a href="Cardano-Api-Hash.html#t:Hash" title="Cardano.Api.Hash">Hash</a> <a href="Cardano-Api-StakePoolMetadata.html#t:StakePoolMetadata" title="Cardano.Api.StakePoolMetadata">StakePoolMetadata</a></dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div><div class="subs instances"><h4 class="instances details-toggle-control details-toggle" data-details-id="i:StakePoolMetadataReference">Instances</h4><details id="i:StakePoolMetadataReference" 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:StakePoolMetadataReference: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-Certificate.html#t:StakePoolMetadataReference" title="Cardano.Api.Certificate">StakePoolMetadataReference</a></span> <a href="src/Cardano.Api.Certificate.html#line-179" class="link">Source</a> <a href="#t:StakePoolMetadataReference" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:StakePoolMetadataReference:Eq:1"><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="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> ∷ <a href="Cardano-Api-Certificate.html#t:StakePoolMetadataReference" title="Cardano.Api.Certificate">StakePoolMetadataReference</a> → <a href="Cardano-Api-Certificate.html#t:StakePoolMetadataReference" title="Cardano.Api.Certificate">StakePoolMetadataReference</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-Certificate.html#t:StakePoolMetadataReference" title="Cardano.Api.Certificate">StakePoolMetadataReference</a> → <a href="Cardano-Api-Certificate.html#t:StakePoolMetadataReference" title="Cardano.Api.Certificate">StakePoolMetadataReference</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:StakePoolMetadataReference: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-Certificate.html#t:StakePoolMetadataReference" title="Cardano.Api.Certificate">StakePoolMetadataReference</a></span> <a href="src/Cardano.Api.Certificate.html#line-179" class="link">Source</a> <a href="#t:StakePoolMetadataReference" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:StakePoolMetadataReference:Show:2"><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="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-Certificate.html#t:StakePoolMetadataReference" title="Cardano.Api.Certificate">StakePoolMetadataReference</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-Certificate.html#t:StakePoolMetadataReference" title="Cardano.Api.Certificate">StakePoolMetadataReference</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-Certificate.html#t:StakePoolMetadataReference" title="Cardano.Api.Certificate">StakePoolMetadataReference</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><a href="#g:3" id="g:3"><h1>Special certificates</h1></a><div class="top"><p class="src"><a id="v:makeMIRCertificate" class="def">makeMIRCertificate</a> ∷ MIRPot → <a href="Cardano-Api-Certificate.html#t:MIRTarget" title="Cardano.Api.Certificate">MIRTarget</a> → <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a> <a href="src/Cardano.Api.Certificate.html#makeMIRCertificate" class="link">Source</a> <a href="#v:makeMIRCertificate" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:makeGenesisKeyDelegationCertificate" class="def">makeGenesisKeyDelegationCertificate</a> ∷ <a href="Cardano-Api-Hash.html#t:Hash" title="Cardano.Api.Hash">Hash</a> <a href="Cardano-Api-KeysShelley.html#t:GenesisKey" title="Cardano.Api.KeysShelley">GenesisKey</a> → <a href="Cardano-Api-Hash.html#t:Hash" title="Cardano.Api.Hash">Hash</a> <a href="Cardano-Api-KeysShelley.html#t:GenesisDelegateKey" title="Cardano.Api.KeysShelley">GenesisDelegateKey</a> → <a href="Cardano-Api-Hash.html#t:Hash" title="Cardano.Api.Hash">Hash</a> <a href="Cardano-Api-KeysPraos.html#t:VrfKey" title="Cardano.Api.KeysPraos">VrfKey</a> → <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a> <a href="src/Cardano.Api.Certificate.html#makeGenesisKeyDelegationCertificate" class="link">Source</a> <a href="#v:makeGenesisKeyDelegationCertificate" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:MIRTarget" class="def">MIRTarget</a> <a href="src/Cardano.Api.Certificate.html#MIRTarget" class="link">Source</a> <a href="#t:MIRTarget" class="selflink">#</a></p><div class="doc"><p>The <code><a href="Cardano-Api-Certificate.html#t:MIRTarget" title="Cardano.Api.Certificate">MIRTarget</a></code> determines the target of a <code><a href="Cardano-Api-Certificate.html#v:MIRCertificate" title="Cardano.Api.Certificate">MIRCertificate</a></code>.
A <code><a href="Cardano-Api-Certificate.html#v:MIRCertificate" title="Cardano.Api.Certificate">MIRCertificate</a></code> moves lovelace from either the reserves or the treasury
to either a collection of stake credentials or to the other pot.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:StakeAddressesMIR" class="def">StakeAddressesMIR</a> [(<a href="Cardano-Api-Address.html#t:StakeCredential" title="Cardano.Api.Address">StakeCredential</a>, <a href="Cardano-Api-Value.html#t:Lovelace" title="Cardano.Api.Value">Lovelace</a>)]</td><td class="doc"><p>Use <code><a href="Cardano-Api-Certificate.html#v:StakeAddressesMIR" title="Cardano.Api.Certificate">StakeAddressesMIR</a></code> to make the target of a <code><a href="Cardano-Api-Certificate.html#v:MIRCertificate" title="Cardano.Api.Certificate">MIRCertificate</a></code>
a mapping of stake credentials to lovelace.</p></td></tr><tr><td class="src"><a id="v:SendToReservesMIR" class="def">SendToReservesMIR</a> <a href="Cardano-Api-Value.html#t:Lovelace" title="Cardano.Api.Value">Lovelace</a></td><td class="doc"><p>Use <code><a href="Cardano-Api-Certificate.html#v:SendToReservesMIR" title="Cardano.Api.Certificate">SendToReservesMIR</a></code> to make the target of a <code><a href="Cardano-Api-Certificate.html#v:MIRCertificate" title="Cardano.Api.Certificate">MIRCertificate</a></code>
the reserves pot.</p></td></tr><tr><td class="src"><a id="v:SendToTreasuryMIR" class="def">SendToTreasuryMIR</a> <a href="Cardano-Api-Value.html#t:Lovelace" title="Cardano.Api.Value">Lovelace</a></td><td class="doc"><p>Use <code><a href="Cardano-Api-Certificate.html#v:SendToTreasuryMIR" title="Cardano.Api.Certificate">SendToTreasuryMIR</a></code> to make the target of a <code><a href="Cardano-Api-Certificate.html#v:MIRCertificate" title="Cardano.Api.Certificate">MIRCertificate</a></code>
the treasury pot.</p></td></tr></table></div><div class="subs instances"><h4 class="instances details-toggle-control details-toggle" data-details-id="i:MIRTarget">Instances</h4><details id="i:MIRTarget" 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:MIRTarget: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-Certificate.html#t:MIRTarget" title="Cardano.Api.Certificate">MIRTarget</a></span> <a href="src/Cardano.Api.Certificate.html#line-136" class="link">Source</a> <a href="#t:MIRTarget" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:MIRTarget:Eq:1"><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="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> ∷ <a href="Cardano-Api-Certificate.html#t:MIRTarget" title="Cardano.Api.Certificate">MIRTarget</a> → <a href="Cardano-Api-Certificate.html#t:MIRTarget" title="Cardano.Api.Certificate">MIRTarget</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-Certificate.html#t:MIRTarget" title="Cardano.Api.Certificate">MIRTarget</a> → <a href="Cardano-Api-Certificate.html#t:MIRTarget" title="Cardano.Api.Certificate">MIRTarget</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:MIRTarget: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-Certificate.html#t:MIRTarget" title="Cardano.Api.Certificate">MIRTarget</a></span> <a href="src/Cardano.Api.Certificate.html#line-136" class="link">Source</a> <a href="#t:MIRTarget" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:MIRTarget:Show:2"><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="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-Certificate.html#t:MIRTarget" title="Cardano.Api.Certificate">MIRTarget</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-Certificate.html#t:MIRTarget" title="Cardano.Api.Certificate">MIRTarget</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-Certificate.html#t:MIRTarget" title="Cardano.Api.Certificate">MIRTarget</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><a href="#g:4" id="g:4"><h1>Internal conversion functions</h1></a><div class="top"><p class="src"><a id="v:toShelleyCertificate" class="def">toShelleyCertificate</a> ∷ <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a> → DCert StandardCrypto <a href="src/Cardano.Api.Certificate.html#toShelleyCertificate" class="link">Source</a> <a href="#v:toShelleyCertificate" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:fromShelleyCertificate" class="def">fromShelleyCertificate</a> ∷ DCert StandardCrypto → <a href="Cardano-Api-Certificate.html#t:Certificate" title="Cardano.Api.Certificate">Certificate</a> <a href="src/Cardano.Api.Certificate.html#fromShelleyCertificate" class="link">Source</a> <a href="#v:fromShelleyCertificate" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:toShelleyPoolParams" class="def">toShelleyPoolParams</a> ∷ <a href="Cardano-Api-Certificate.html#t:StakePoolParameters" title="Cardano.Api.Certificate">StakePoolParameters</a> → PoolParams StandardCrypto <a href="src/Cardano.Api.Certificate.html#toShelleyPoolParams" class="link">Source</a> <a href="#v:toShelleyPoolParams" class="selflink">#</a></p></div><a href="#g:5" id="g:5"><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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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-Certificate.html#t:AsType" title="Cardano.Api.Certificate">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>