cardano-api:internal
Safe HaskellNone
LanguageHaskell2010

Cardano.Api.Certificate

Description

Certificates embedded in transactions

Synopsis

Documentation

data Certificate era where Source #

Constructors

ShelleyRelatedCertificate :: forall era. ShelleyToBabbageEra era -> ShelleyTxCert (ShelleyLedgerEra era) -> Certificate era 
ConwayCertificate :: forall era. ConwayEraOnwards era -> ConwayTxCert (ShelleyLedgerEra era) -> Certificate era 

Instances

Instances details
Show (Certificate era) Source # 
Instance details

Defined in Cardano.Api.Certificate

Methods

showsPrec :: Int -> Certificate era -> ShowS Source #

show :: Certificate era -> String Source #

showList :: [Certificate era] -> ShowS Source #

Typeable era => HasTypeProxy (Certificate era) Source # 
Instance details

Defined in Cardano.Api.Certificate

Associated Types

data AsType (Certificate era) 
Instance details

Defined in Cardano.Api.Certificate

data AsType (Certificate era) = AsCertificate

Methods

proxyToAsType :: Proxy (Certificate era) -> AsType (Certificate era) Source #

IsShelleyBasedEra era => SerialiseAsCBOR (Certificate era) Source # 
Instance details

Defined in Cardano.Api.Certificate

Methods

serialiseToCBOR :: Certificate era -> ByteString Source #

deserialiseFromCBOR :: AsType (Certificate era) -> ByteString -> Either DecoderError (Certificate era) Source #

IsShelleyBasedEra era => HasTextEnvelope (Certificate era) Source # 
Instance details

Defined in Cardano.Api.Certificate

Methods

textEnvelopeType :: AsType (Certificate era) -> TextEnvelopeType Source #

textEnvelopeDefaultDescr :: Certificate era -> TextEnvelopeDescr Source #

IsShelleyBasedEra era => FromCBOR (Certificate era) Source # 
Instance details

Defined in Cardano.Api.Certificate

Methods

fromCBOR :: Decoder s (Certificate era) Source #

label :: Proxy (Certificate era) -> Text Source #

IsShelleyBasedEra era => ToCBOR (Certificate era) Source # 
Instance details

Defined in Cardano.Api.Certificate

Methods

toCBOR :: Certificate era -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Certificate era) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Certificate era] -> Size Source #

Eq (Certificate era) Source # 
Instance details

Defined in Cardano.Api.Certificate

Methods

(==) :: Certificate era -> Certificate era -> Bool Source #

(/=) :: Certificate era -> Certificate era -> Bool Source #

data AsType (Certificate era) Source # 
Instance details

Defined in Cardano.Api.Certificate

data AsType (Certificate era) = AsCertificate

Registering stake address and delegating

data StakeAddressRequirements era where Source #

Constructors

StakeAddrRegistrationConway :: forall era. ConwayEraOnwards era -> Coin -> StakeCredential -> StakeAddressRequirements era 
StakeAddrRegistrationPreConway :: forall era. ShelleyToBabbageEra era -> StakeCredential -> StakeAddressRequirements era 

data StakeDelegationRequirements era where Source #

Constructors

StakeDelegationRequirementsConwayOnwards :: forall era. ConwayEraOnwards era -> StakeCredential -> Delegatee (EraCrypto (ShelleyLedgerEra era)) -> StakeDelegationRequirements era 
StakeDelegationRequirementsPreConway :: forall era. ShelleyToBabbageEra era -> StakeCredential -> PoolId -> StakeDelegationRequirements era 

makeStakeAddressDelegationCertificate :: StakeDelegationRequirements era -> Certificate era Source #

makeStakeAddressRegistrationCertificate :: StakeAddressRequirements era -> Certificate era Source #

makeStakeAddressUnregistrationCertificate :: StakeAddressRequirements era -> Certificate era Source #

type PoolId = Hash StakePoolKey Source #

Registering stake pools

data StakePoolRegistrationRequirements era where Source #

Constructors

StakePoolRegistrationRequirementsConwayOnwards :: forall era. ConwayEraOnwards era -> PoolParams (EraCrypto (ShelleyLedgerEra era)) -> StakePoolRegistrationRequirements era 
StakePoolRegistrationRequirementsPreConway :: forall era. ShelleyToBabbageEra era -> PoolParams (EraCrypto (ShelleyLedgerEra era)) -> StakePoolRegistrationRequirements era 

data StakePoolRetirementRequirements era where Source #

Constructors

StakePoolRetirementRequirementsConwayOnwards :: forall era. ConwayEraOnwards era -> PoolId -> EpochNo -> StakePoolRetirementRequirements era 
StakePoolRetirementRequirementsPreConway :: forall era. ShelleyToBabbageEra era -> PoolId -> EpochNo -> StakePoolRetirementRequirements era 

makeStakePoolRegistrationCertificate :: StakePoolRegistrationRequirements era -> Certificate era Source #

makeStakePoolRetirementCertificate :: StakePoolRetirementRequirements era -> Certificate era Source #

data StakePoolParameters Source #

Constructors

StakePoolParameters 

Fields

Instances

Instances details
Show StakePoolParameters Source # 
Instance details

Defined in Cardano.Api.Certificate

Methods

showsPrec :: Int -> StakePoolParameters -> ShowS Source #

show :: StakePoolParameters -> String Source #

showList :: [StakePoolParameters] -> ShowS Source #

Eq StakePoolParameters Source # 
Instance details

Defined in Cardano.Api.Certificate

Methods

(==) :: StakePoolParameters -> StakePoolParameters -> Bool Source #

(/=) :: StakePoolParameters -> StakePoolParameters -> Bool Source #

data StakePoolRelay Source #

Constructors

StakePoolRelayIp (Maybe IPv4) (Maybe IPv6) (Maybe PortNumber)

One or both of IPv4 & IPv6

StakePoolRelayDnsARecord ByteString (Maybe PortNumber)

An DNS name pointing to a A or AAAA record.

StakePoolRelayDnsSrvRecord ByteString

A DNS name pointing to a SRV record.

Instances

Instances details
Show StakePoolRelay Source # 
Instance details

Defined in Cardano.Api.Certificate

Methods

showsPrec :: Int -> StakePoolRelay -> ShowS Source #

show :: StakePoolRelay -> String Source #

showList :: [StakePoolRelay] -> ShowS Source #

Eq StakePoolRelay Source # 
Instance details

Defined in Cardano.Api.Certificate

Methods

(==) :: StakePoolRelay -> StakePoolRelay -> Bool Source #

(/=) :: StakePoolRelay -> StakePoolRelay -> Bool Source #

data StakePoolMetadataReference Source #

Constructors

StakePoolMetadataReference 

Fields

Instances

Instances details
Show StakePoolMetadataReference Source # 
Instance details

Defined in Cardano.Api.Certificate

Methods

showsPrec :: Int -> StakePoolMetadataReference -> ShowS Source #

show :: StakePoolMetadataReference -> String Source #

showList :: [StakePoolMetadataReference] -> ShowS Source #

Eq StakePoolMetadataReference Source # 
Instance details

Defined in Cardano.Api.Certificate

Methods

(==) :: StakePoolMetadataReference -> StakePoolMetadataReference -> Bool Source #

(/=) :: StakePoolMetadataReference -> StakePoolMetadataReference -> Bool Source #

Conway specific certificates

data CommitteeColdkeyResignationRequirements era where Source #

Constructors

CommitteeColdkeyResignationRequirements :: forall era. ConwayEraOnwards era -> Credential 'ColdCommitteeRole (EraCrypto (ShelleyLedgerEra era)) -> Maybe (Anchor (EraCrypto (ShelleyLedgerEra era))) -> CommitteeColdkeyResignationRequirements era 

data CommitteeHotKeyAuthorizationRequirements era where Source #

Constructors

CommitteeHotKeyAuthorizationRequirements :: forall era. ConwayEraOnwards era -> Credential 'ColdCommitteeRole (EraCrypto (ShelleyLedgerEra era)) -> Credential 'HotCommitteeRole (EraCrypto (ShelleyLedgerEra era)) -> CommitteeHotKeyAuthorizationRequirements era 

data DRepRegistrationRequirements era where Source #

Constructors

DRepRegistrationRequirements :: forall era. ConwayEraOnwards era -> Credential 'DRepRole (EraCrypto (ShelleyLedgerEra era)) -> Coin -> DRepRegistrationRequirements era 

data DRepUnregistrationRequirements era where Source #

Constructors

DRepUnregistrationRequirements :: forall era. ConwayEraOnwards era -> Credential 'DRepRole (EraCrypto (ShelleyLedgerEra era)) -> Coin -> DRepUnregistrationRequirements era 

data DRepUpdateRequirements era where Source #

Constructors

DRepUpdateRequirements :: forall era. ConwayEraOnwards era -> Credential 'DRepRole (EraCrypto (ShelleyLedgerEra era)) -> DRepUpdateRequirements era 

makeCommitteeColdkeyResignationCertificate :: CommitteeColdkeyResignationRequirements era -> Certificate era Source #

makeCommitteeHotKeyAuthorizationCertificate :: CommitteeHotKeyAuthorizationRequirements era -> Certificate era Source #

makeDrepRegistrationCertificate :: DRepRegistrationRequirements era -> Maybe (Anchor (EraCrypto (ShelleyLedgerEra era))) -> Certificate era Source #

makeDrepUnregistrationCertificate :: DRepUnregistrationRequirements era -> Certificate era Source #

makeDrepUpdateCertificate :: DRepUpdateRequirements era -> Maybe (Anchor (EraCrypto (ShelleyLedgerEra era))) -> Certificate era Source #

makeStakeAddressAndDRepDelegationCertificate :: ConwayEraOnwards era -> StakeCredential -> Delegatee (EraCrypto (ShelleyLedgerEra era)) -> Coin -> Certificate era Source #

Registering DReps

data DRepMetadataReference Source #

Constructors

DRepMetadataReference 

Fields

Instances

Instances details
Show DRepMetadataReference Source # 
Instance details

Defined in Cardano.Api.Certificate

Methods

showsPrec :: Int -> DRepMetadataReference -> ShowS Source #

show :: DRepMetadataReference -> String Source #

showList :: [DRepMetadataReference] -> ShowS Source #

Eq DRepMetadataReference Source # 
Instance details

Defined in Cardano.Api.Certificate

Methods

(==) :: DRepMetadataReference -> DRepMetadataReference -> Bool Source #

(/=) :: DRepMetadataReference -> DRepMetadataReference -> Bool Source #

Special certificates

data GenesisKeyDelegationRequirements ere where Source #

Constructors

GenesisKeyDelegationRequirements :: forall ere. ShelleyToBabbageEra ere -> Hash GenesisKey -> Hash GenesisDelegateKey -> Hash VrfKey -> GenesisKeyDelegationRequirements ere 

data MirCertificateRequirements era where Source #

Constructors

MirCertificateRequirements :: forall era. ShelleyToBabbageEra era -> MIRPot -> MIRTarget (EraCrypto (ShelleyLedgerEra era)) -> MirCertificateRequirements era 

makeMIRCertificate :: MirCertificateRequirements era -> Certificate era Source #

makeGenesisKeyDelegationCertificate :: GenesisKeyDelegationRequirements era -> Certificate era Source #

data MIRTarget c Source #

MIRTarget specifies if funds from either the reserves or the treasury are to be handed out to a collection of reward accounts or instead transfered to the opposite pot.

Constructors

StakeAddressesMIR !(Map (Credential 'Staking c) DeltaCoin) 
SendToOppositePotMIR !Coin 

Instances

Instances details
Crypto c => ToJSON (MIRTarget c) 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

toJSON :: MIRTarget c -> Value #

toEncoding :: MIRTarget c -> Encoding #

toJSONList :: [MIRTarget c] -> Value #

toEncodingList :: [MIRTarget c] -> Encoding #

omitField :: MIRTarget c -> Bool #

Generic (MIRTarget c) 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Associated Types

type Rep (MIRTarget c) 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type Rep (MIRTarget c) = D1 ('MetaData "MIRTarget" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.14.1.0-6da62eb4db0139bb466588c0f3bf17f53ad859af8a090c113a1a960870dce943" 'False) (C1 ('MetaCons "StakeAddressesMIR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking c) DeltaCoin))) :+: C1 ('MetaCons "SendToOppositePotMIR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)))

Methods

from :: MIRTarget c -> Rep (MIRTarget c) x Source #

to :: Rep (MIRTarget c) x -> MIRTarget c Source #

Show (MIRTarget c) 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

showsPrec :: Int -> MIRTarget c -> ShowS Source #

show :: MIRTarget c -> String Source #

showList :: [MIRTarget c] -> ShowS Source #

Crypto c => DecCBOR (MIRTarget c) 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

decCBOR :: Decoder s (MIRTarget c) Source #

dropCBOR :: Proxy (MIRTarget c) -> Decoder s () Source #

label :: Proxy (MIRTarget c) -> Text Source #

Crypto c => EncCBOR (MIRTarget c) 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

encCBOR :: MIRTarget c -> Encoding Source #

encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (MIRTarget c) -> Size Source #

encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [MIRTarget c] -> Size Source #

NFData (MIRTarget c) 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

rnf :: MIRTarget c -> () Source #

Eq (MIRTarget c) 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

(==) :: MIRTarget c -> MIRTarget c -> Bool Source #

(/=) :: MIRTarget c -> MIRTarget c -> Bool Source #

Ord (MIRTarget c) 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

compare :: MIRTarget c -> MIRTarget c -> Ordering Source #

(<) :: MIRTarget c -> MIRTarget c -> Bool Source #

(<=) :: MIRTarget c -> MIRTarget c -> Bool Source #

(>) :: MIRTarget c -> MIRTarget c -> Bool Source #

(>=) :: MIRTarget c -> MIRTarget c -> Bool Source #

max :: MIRTarget c -> MIRTarget c -> MIRTarget c Source #

min :: MIRTarget c -> MIRTarget c -> MIRTarget c Source #

NoThunks (MIRTarget c) 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

noThunks :: Context -> MIRTarget c -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> MIRTarget c -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (MIRTarget c) -> String #

type Rep (MIRTarget c) 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type Rep (MIRTarget c) = D1 ('MetaData "MIRTarget" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.14.1.0-6da62eb4db0139bb466588c0f3bf17f53ad859af8a090c113a1a960870dce943" 'False) (C1 ('MetaCons "StakeAddressesMIR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking c) DeltaCoin))) :+: C1 ('MetaCons "SendToOppositePotMIR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)))

data MIRPot Source #

Constructors

ReservesMIR 
TreasuryMIR 

Instances

Instances details
ToJSON MIRPot 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

toJSON :: MIRPot -> Value #

toEncoding :: MIRPot -> Encoding #

toJSONList :: [MIRPot] -> Value #

toEncodingList :: [MIRPot] -> Encoding #

omitField :: MIRPot -> Bool #

Bounded MIRPot 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

minBound :: MIRPot Source #

maxBound :: MIRPot Source #

Enum MIRPot 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

succ :: MIRPot -> MIRPot Source #

pred :: MIRPot -> MIRPot Source #

toEnum :: Int -> MIRPot Source #

fromEnum :: MIRPot -> Int Source #

enumFrom :: MIRPot -> [MIRPot] Source #

enumFromThen :: MIRPot -> MIRPot -> [MIRPot] Source #

enumFromTo :: MIRPot -> MIRPot -> [MIRPot] Source #

enumFromThenTo :: MIRPot -> MIRPot -> MIRPot -> [MIRPot] Source #

Generic MIRPot 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Associated Types

type Rep MIRPot 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type Rep MIRPot = D1 ('MetaData "MIRPot" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.14.1.0-6da62eb4db0139bb466588c0f3bf17f53ad859af8a090c113a1a960870dce943" 'False) (C1 ('MetaCons "ReservesMIR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TreasuryMIR" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: MIRPot -> Rep MIRPot x Source #

to :: Rep MIRPot x -> MIRPot Source #

Show MIRPot 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

showsPrec :: Int -> MIRPot -> ShowS Source #

show :: MIRPot -> String Source #

showList :: [MIRPot] -> ShowS Source #

DecCBOR MIRPot 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

decCBOR :: Decoder s MIRPot Source #

dropCBOR :: Proxy MIRPot -> Decoder s () Source #

label :: Proxy MIRPot -> Text Source #

EncCBOR MIRPot 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

encCBOR :: MIRPot -> Encoding Source #

encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy MIRPot -> Size Source #

encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [MIRPot] -> Size Source #

NFData MIRPot 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

rnf :: MIRPot -> () Source #

Eq MIRPot 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

(==) :: MIRPot -> MIRPot -> Bool Source #

(/=) :: MIRPot -> MIRPot -> Bool Source #

Ord MIRPot 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

compare :: MIRPot -> MIRPot -> Ordering Source #

(<) :: MIRPot -> MIRPot -> Bool Source #

(<=) :: MIRPot -> MIRPot -> Bool Source #

(>) :: MIRPot -> MIRPot -> Bool Source #

(>=) :: MIRPot -> MIRPot -> Bool Source #

max :: MIRPot -> MIRPot -> MIRPot Source #

min :: MIRPot -> MIRPot -> MIRPot Source #

NoThunks MIRPot 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

noThunks :: Context -> MIRPot -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> MIRPot -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy MIRPot -> String #

type Rep MIRPot 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type Rep MIRPot = D1 ('MetaData "MIRPot" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.14.1.0-6da62eb4db0139bb466588c0f3bf17f53ad859af8a090c113a1a960870dce943" 'False) (C1 ('MetaCons "ReservesMIR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TreasuryMIR" 'PrefixI 'False) (U1 :: Type -> Type))

selectStakeCredentialWitness :: Certificate era -> Maybe StakeCredential Source #

Get the stake credential witness for a certificate that requires it. Only stake address deregistration and delegation requires witnessing (witness can be script or key).

Anchor data

data AnchorDataFromCertificateError Source #

Constructors

InvalidPoolMetadataHashError Url ByteString 

Instances

Instances details
Show AnchorDataFromCertificateError Source # 
Instance details

Defined in Cardano.Api.Certificate

Methods

showsPrec :: Int -> AnchorDataFromCertificateError -> ShowS Source #

show :: AnchorDataFromCertificateError -> String Source #

showList :: [AnchorDataFromCertificateError] -> ShowS Source #

Error AnchorDataFromCertificateError Source # 
Instance details

Defined in Cardano.Api.Certificate

Methods

prettyError :: AnchorDataFromCertificateError -> Doc ann Source #

Eq AnchorDataFromCertificateError Source # 
Instance details

Defined in Cardano.Api.Certificate

Methods

(==) :: AnchorDataFromCertificateError -> AnchorDataFromCertificateError -> Bool Source #

(/=) :: AnchorDataFromCertificateError -> AnchorDataFromCertificateError -> Bool Source #

getAnchorDataFromCertificate :: Certificate era -> Either AnchorDataFromCertificateError (Maybe (Anchor StandardCrypto)) Source #

Get anchor data url and hash from a certificate. A return value of Nothing means that the certificate does not contain anchor data.

Internal conversion functions

toShelleyCertificate :: Certificate era -> TxCert (ShelleyLedgerEra era) Source #

fromShelleyCertificate :: ShelleyBasedEra era -> TxCert (ShelleyLedgerEra era) -> Certificate era Source #

toShelleyPoolParams :: StakePoolParameters -> PoolParams StandardCrypto Source #

fromShelleyPoolParams :: PoolParams StandardCrypto -> StakePoolParameters Source #

Data family instances

data family AsType t Source #

A family of singleton types used in this API to indicate which type to use where it would otherwise be ambiguous or merely unclear.

Values of this type are passed to deserialisation functions for example.

Instances

Instances details
data AsType AddressAny Source # 
Instance details

Defined in Cardano.Api.Address

data AsType AddressAny = AsAddressAny
data AsType ByronAddr Source # 
Instance details

Defined in Cardano.Api.Address

data AsType ByronAddr = AsByronAddr
data AsType ShelleyAddr Source # 
Instance details

Defined in Cardano.Api.Address

data AsType ShelleyAddr = AsShelleyAddr
data AsType StakeAddress Source # 
Instance details

Defined in Cardano.Api.Address

data AsType StakeAddress = AsStakeAddress
data AsType BlockHeader Source # 
Instance details

Defined in Cardano.Api.Block

data AsType BlockHeader = AsBlockHeader
data AsType DRepMetadata Source # 
Instance details

Defined in Cardano.Api.DRepMetadata

data AsType DRepMetadata = AsDRepMetadata
data AsType AllegraEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType AllegraEra = AsAllegraEra
data AsType AlonzoEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType AlonzoEra = AsAlonzoEra
data AsType BabbageEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType BabbageEra = AsBabbageEra
data AsType ByronEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType ByronEra = AsByronEra
data AsType ConwayEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType ConwayEra = AsConwayEra
data AsType MaryEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType MaryEra = AsMaryEra
data AsType ShelleyEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType ShelleyEra = AsShelleyEra
data AsType GovernancePoll Source # 
Instance details

Defined in Cardano.Api.Governance.Poll

data AsType GovernancePoll = AsGovernancePoll
data AsType GovernancePollAnswer Source # 
Instance details

Defined in Cardano.Api.Governance.Poll

data AsType GovernancePollAnswer = AsGovernancePollAnswer
data AsType ByronKey Source # 
Instance details

Defined in Cardano.Api.Keys.Byron

data AsType ByronKey = AsByronKey
data AsType ByronKeyLegacy Source # 
Instance details

Defined in Cardano.Api.Keys.Byron

data AsType ByronKeyLegacy = AsByronKeyLegacy
data AsType KesKey Source # 
Instance details

Defined in Cardano.Api.Keys.Praos

data AsType KesKey = AsKesKey
data AsType VrfKey Source # 
Instance details

Defined in Cardano.Api.Keys.Praos

data AsType VrfKey = AsVrfKey
data AsType CommitteeColdExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType CommitteeColdExtendedKey = AsCommitteeColdExtendedKey
data AsType CommitteeColdKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType CommitteeColdKey = AsCommitteeColdKey
data AsType CommitteeHotExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType CommitteeHotExtendedKey = AsCommitteeHotExtendedKey
data AsType CommitteeHotKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType CommitteeHotKey = AsCommitteeHotKey
data AsType DRepExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType DRepExtendedKey = AsDRepExtendedKey
data AsType DRepKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType DRepKey = AsDRepKey
data AsType GenesisDelegateExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType GenesisDelegateExtendedKey = AsGenesisDelegateExtendedKey
data AsType GenesisDelegateKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType GenesisDelegateKey = AsGenesisDelegateKey
data AsType GenesisExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType GenesisExtendedKey = AsGenesisExtendedKey
data AsType GenesisKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType GenesisKey = AsGenesisKey
data AsType GenesisUTxOKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType GenesisUTxOKey = AsGenesisUTxOKey
data AsType PaymentExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType PaymentExtendedKey = AsPaymentExtendedKey
data AsType PaymentKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType PaymentKey = AsPaymentKey
data AsType StakeExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType StakeExtendedKey = AsStakeExtendedKey
data AsType StakeKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType StakeKey = AsStakeKey
data AsType StakePoolKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType StakePoolKey = AsStakePoolKey
data AsType OperationalCertificate Source # 
Instance details

Defined in Cardano.Api.OperationalCertificate

data AsType OperationalCertificate = AsOperationalCertificate
data AsType OperationalCertificateIssueCounter Source # 
Instance details

Defined in Cardano.Api.OperationalCertificate

data AsType OperationalCertificateIssueCounter = AsOperationalCertificateIssueCounter
data AsType PraosNonce Source # 
Instance details

Defined in Cardano.Api.ProtocolParameters

data AsType PraosNonce = AsPraosNonce
data AsType UpdateProposal Source # 
Instance details

Defined in Cardano.Api.ProtocolParameters

data AsType UpdateProposal = AsUpdateProposal
data AsType PlutusScriptV1 Source # 
Instance details

Defined in Cardano.Api.Script

data AsType PlutusScriptV1 = AsPlutusScriptV1
data AsType PlutusScriptV2 Source # 
Instance details

Defined in Cardano.Api.Script

data AsType PlutusScriptV2 = AsPlutusScriptV2
data AsType PlutusScriptV3 Source # 
Instance details

Defined in Cardano.Api.Script

data AsType PlutusScriptV3 = AsPlutusScriptV3
data AsType ScriptHash Source # 
Instance details

Defined in Cardano.Api.Script

data AsType ScriptHash = AsScriptHash
data AsType ScriptInAnyLang Source # 
Instance details

Defined in Cardano.Api.Script

data AsType ScriptInAnyLang = AsScriptInAnyLang
data AsType SimpleScript' Source # 
Instance details

Defined in Cardano.Api.Script

data AsType SimpleScript' = AsSimpleScript
data AsType HashableScriptData Source # 
Instance details

Defined in Cardano.Api.ScriptData

data AsType HashableScriptData = AsHashableScriptData
data AsType ScriptData Source # 
Instance details

Defined in Cardano.Api.ScriptData

data AsType ScriptData = AsScriptData
data AsType TextEnvelope Source # 
Instance details

Defined in Cardano.Api.SerialiseTextEnvelope

data AsType TextEnvelope = AsTextEnvelope
data AsType ByronUpdateProposal Source # 
Instance details

Defined in Cardano.Api.SpecialByron

data AsType ByronUpdateProposal = AsByronUpdateProposal
data AsType ByronVote Source # 
Instance details

Defined in Cardano.Api.SpecialByron

data AsType ByronVote = AsByronVote
data AsType StakePoolMetadata Source # 
Instance details

Defined in Cardano.Api.StakePoolMetadata

data AsType StakePoolMetadata = AsStakePoolMetadata
data AsType TxId Source # 
Instance details

Defined in Cardano.Api.TxIn

data AsType TxId = AsTxId
data AsType TxMetadata Source # 
Instance details

Defined in Cardano.Api.TxMetadata

data AsType TxMetadata = AsTxMetadata
data AsType AssetName Source # 
Instance details

Defined in Cardano.Api.Value

data AsType AssetName = AsAssetName
data AsType PolicyId Source # 
Instance details

Defined in Cardano.Api.Value

data AsType PolicyId = AsPolicyId
data AsType (Address addrtype) Source # 
Instance details

Defined in Cardano.Api.Address

data AsType (Address addrtype) = AsAddress (AsType addrtype)
data AsType (AddressInEra era) Source # 
Instance details

Defined in Cardano.Api.Address

data AsType (AddressInEra era) = AsAddressInEra (AsType era)
data AsType (Certificate era) Source # 
Instance details

Defined in Cardano.Api.Certificate

data AsType (Certificate era) = AsCertificate
data AsType (Proposal era) Source # 
Instance details

Defined in Cardano.Api.Governance.Actions.ProposalProcedure

data AsType (Proposal era) = AsProposal
data AsType (VotingProcedure era) Source # 
Instance details

Defined in Cardano.Api.Governance.Actions.VotingProcedure

data AsType (VotingProcedure era) = AsVote
data AsType (VotingProcedures era) Source # 
Instance details

Defined in Cardano.Api.Governance.Actions.VotingProcedure

data AsType (VotingProcedures era) = AsVotingProcedures
data AsType (Hash a) Source # 
Instance details

Defined in Cardano.Api.Hash

data AsType (Hash a) = AsHash (AsType a)
data AsType (SigningKey a) Source # 
Instance details

Defined in Cardano.Api.Keys.Class

data AsType (SigningKey a) = AsSigningKey (AsType a)
data AsType (VerificationKey a) Source # 
Instance details

Defined in Cardano.Api.Keys.Class

data AsType (VerificationKey a) = AsVerificationKey (AsType a)
data AsType (PlutusScript lang) Source # 
Instance details

Defined in Cardano.Api.Script

data AsType (PlutusScript lang) = AsPlutusScript (AsType lang)
data AsType (Script lang) Source # 
Instance details

Defined in Cardano.Api.Script

data AsType (Script lang) = AsScript (AsType lang)
data AsType (ScriptInEra era) Source # 
Instance details

Defined in Cardano.Api.Script

data AsType (ScriptInEra era) = AsScriptInEra (AsType era)
data AsType (KeyWitness era) Source # 
Instance details

Defined in Cardano.Api.Tx.Sign

data AsType (KeyWitness era) = AsKeyWitness (AsType era)
data AsType (Tx era) Source # 
Instance details

Defined in Cardano.Api.Tx.Sign

data AsType (Tx era) = AsTx (AsType era)
data AsType (TxBody era) Source # 
Instance details

Defined in Cardano.Api.Tx.Sign

data AsType (TxBody era) = AsTxBody (AsType era)

Internal functions

filterUnRegCreds :: Certificate era -> Maybe StakeCredential Source #

filterUnRegDRepCreds :: Certificate era -> Maybe (Credential 'DRepRole StandardCrypto) Source #