Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Api.Tx.Cert

Contents

Any Era
Shelley Era
Conway Era

Synopsis

class (Era era, ToJSON (TxCert era), DecCBOR (TxCert era), EncCBOR (TxCert era), ToCBOR (TxCert era), FromCBOR (TxCert era), NoThunks (TxCert era), NFData (TxCert era), Show (TxCert era), Ord (TxCert era), Eq (TxCert era)) ⇒ EraTxCert era where
- type TxCert era = (r ∷ Type) | r → era
- type TxCertUpgradeError era
- getRegPoolTxCert ∷ TxCert era → Maybe PoolParams
- getRetirePoolTxCert ∷ TxCert era → Maybe (KeyHash 'StakePool, EpochNo)
- lookupRegStakeTxCert ∷ TxCert era → Maybe (Credential 'Staking)
- lookupUnRegStakeTxCert ∷ TxCert era → Maybe (Credential 'Staking)
upgradeTxCert ∷ EraTxCert era ⇒ TxCert (PreviousEra era) → Either (TxCertUpgradeError era) (TxCert era)
getVKeyWitnessTxCert ∷ EraTxCert era ⇒ TxCert era → Maybe (KeyHash 'Witness)
getScriptWitnessTxCert ∷ EraTxCert era ⇒ TxCert era → Maybe ScriptHash
pattern RegPoolTxCert ∷ EraTxCert era ⇒ PoolParams → TxCert era
pattern RetirePoolTxCert ∷ EraTxCert era ⇒ KeyHash 'StakePool → EpochNo → TxCert era
isRegStakeTxCert ∷ EraTxCert era ⇒ TxCert era → Bool
isUnRegStakeTxCert ∷ EraTxCert era ⇒ TxCert era → Bool
class EraTxCert era ⇒ AnyEraTxCert era where
- anyEraToRegTxCert ∷ TxCert era → Maybe (Credential 'Staking)
- anyEraToUnRegTxCert ∷ TxCert era → Maybe (Credential 'Staking)
- anyEraToGenesisDelegTxCert ∷ TxCert era → Maybe GenesisDelegCert
- anyEraToMirTxCert ∷ TxCert era → Maybe MIRCert
- anyEraToRegDepositTxCert ∷ TxCert era → Maybe (Credential 'Staking, Coin)
- anyEraToUnRegDepositTxCert ∷ TxCert era → Maybe (Credential 'Staking, Coin)
- anyEraToDelegTxCert ∷ TxCert era → Maybe (Credential 'Staking, Delegatee)
- anyEraToRegDepositDelegTxCert ∷ TxCert era → Maybe (Credential 'Staking, Delegatee, Coin)
- anyEraToAuthCommitteeHotKeyTxCert ∷ TxCert era → Maybe (Credential 'ColdCommitteeRole, Credential 'HotCommitteeRole)
- anyEraToResignCommitteeColdTxCert ∷ TxCert era → Maybe (Credential 'ColdCommitteeRole, StrictMaybe Anchor)
- anyEraToRegDRepTxCert ∷ TxCert era → Maybe (Credential 'DRepRole, Coin, StrictMaybe Anchor)
- anyEraToUnRegDRepTxCert ∷ TxCert era → Maybe (Credential 'DRepRole, Coin)
- anyEraToUpdateDRepTxCert ∷ TxCert era → Maybe (Credential 'DRepRole, StrictMaybe Anchor)
pattern AnyEraRegPoolTxCert ∷ EraTxCert era ⇒ PoolParams → TxCert era
pattern AnyEraRetirePoolTxCert ∷ EraTxCert era ⇒ KeyHash 'StakePool → EpochNo → TxCert era
pattern AnyEraRegTxCert ∷ AnyEraTxCert era ⇒ Credential 'Staking → TxCert era
pattern AnyEraUnRegTxCert ∷ AnyEraTxCert era ⇒ Credential 'Staking → TxCert era
pattern AnyEraMirTxCert ∷ AnyEraTxCert era ⇒ MIRCert → TxCert era
pattern AnyEraGenesisDelegTxCert ∷ AnyEraTxCert era ⇒ KeyHash 'Genesis → KeyHash 'GenesisDelegate → VRFVerKeyHash 'GenDelegVRF → TxCert era
pattern AnyEraRegDepositTxCert ∷ AnyEraTxCert era ⇒ Credential 'Staking → Coin → TxCert era
pattern AnyEraUnRegDepositTxCert ∷ AnyEraTxCert era ⇒ Credential 'Staking → Coin → TxCert era
pattern AnyEraDelegTxCert ∷ AnyEraTxCert era ⇒ Credential 'Staking → Delegatee → TxCert era
pattern AnyEraRegDepositDelegTxCert ∷ AnyEraTxCert era ⇒ Credential 'Staking → Delegatee → Coin → TxCert era
pattern AnyEraAuthCommitteeHotKeyTxCert ∷ AnyEraTxCert era ⇒ Credential 'ColdCommitteeRole → Credential 'HotCommitteeRole → TxCert era
pattern AnyEraResignCommitteeColdTxCert ∷ AnyEraTxCert era ⇒ Credential 'ColdCommitteeRole → StrictMaybe Anchor → TxCert era
pattern AnyEraRegDRepTxCert ∷ AnyEraTxCert era ⇒ Credential 'DRepRole → Coin → StrictMaybe Anchor → TxCert era
pattern AnyEraUnRegDRepTxCert ∷ AnyEraTxCert era ⇒ Credential 'DRepRole → Coin → TxCert era
pattern AnyEraUpdateDRepTxCert ∷ AnyEraTxCert era ⇒ Credential 'DRepRole → StrictMaybe Anchor → TxCert era
class EraTxCert era ⇒ ShelleyEraTxCert era where
- getRegTxCert ∷ TxCert era → Maybe StakeCredential
- getUnRegTxCert ∷ TxCert era → Maybe StakeCredential
- getDelegStakeTxCert ∷ TxCert era → Maybe (StakeCredential, KeyHash 'StakePool)
- getGenesisDelegTxCert ∷ TxCert era → Maybe GenesisDelegCert
- getMirTxCert ∷ TxCert era → Maybe MIRCert
pattern MirTxCert ∷ (ShelleyEraTxCert era, AtMostEra "Babbage" era) ⇒ MIRCert → TxCert era
pattern GenesisDelegTxCert ∷ (ShelleyEraTxCert era, AtMostEra "Babbage" era) ⇒ KeyHash 'Genesis → KeyHash 'GenesisDelegate → VRFVerKeyHash 'GenDelegVRF → TxCert era
pattern RegTxCert ∷ ShelleyEraTxCert era ⇒ StakeCredential → TxCert era
pattern UnRegTxCert ∷ ShelleyEraTxCert era ⇒ StakeCredential → TxCert era
pattern DelegStakeTxCert ∷ ShelleyEraTxCert era ⇒ StakeCredential → KeyHash 'StakePool → TxCert era
class EraTxCert era ⇒ ConwayEraTxCert era where
- getRegDepositTxCert ∷ TxCert era → Maybe (StakeCredential, Coin)
- getUnRegDepositTxCert ∷ TxCert era → Maybe (StakeCredential, Coin)
- getDelegTxCert ∷ TxCert era → Maybe (StakeCredential, Delegatee)
- getRegDepositDelegTxCert ∷ TxCert era → Maybe (StakeCredential, Delegatee, Coin)
- getAuthCommitteeHotKeyTxCert ∷ TxCert era → Maybe (Credential 'ColdCommitteeRole, Credential 'HotCommitteeRole)
- getResignCommitteeColdTxCert ∷ TxCert era → Maybe (Credential 'ColdCommitteeRole, StrictMaybe Anchor)
- getRegDRepTxCert ∷ TxCert era → Maybe (Credential 'DRepRole, Coin, StrictMaybe Anchor)
- getUpdateDRepTxCert ∷ TxCert era → Maybe (Credential 'DRepRole, StrictMaybe Anchor)
getDelegateeTxCert ∷ ConwayEraTxCert era ⇒ TxCert era → Maybe Delegatee
data Delegatee
- = DelegStake !(KeyHash 'StakePool)
- | DelegVote !DRep
- | DelegStakeVote !(KeyHash 'StakePool) !DRep
getStakePoolDelegatee ∷ Delegatee → Maybe (KeyHash 'StakePool)
pattern RegDepositTxCert ∷ ConwayEraTxCert era ⇒ StakeCredential → Coin → TxCert era
pattern UnRegDepositTxCert ∷ ConwayEraTxCert era ⇒ StakeCredential → Coin → TxCert era
pattern DelegTxCert ∷ ConwayEraTxCert era ⇒ StakeCredential → Delegatee → TxCert era
pattern RegDepositDelegTxCert ∷ ConwayEraTxCert era ⇒ StakeCredential → Delegatee → Coin → TxCert era
pattern AuthCommitteeHotKeyTxCert ∷ ConwayEraTxCert era ⇒ Credential 'ColdCommitteeRole → Credential 'HotCommitteeRole → TxCert era
pattern ResignCommitteeColdTxCert ∷ ConwayEraTxCert era ⇒ Credential 'ColdCommitteeRole → StrictMaybe Anchor → TxCert era
pattern RegDRepTxCert ∷ ConwayEraTxCert era ⇒ Credential 'DRepRole → Coin → StrictMaybe Anchor → TxCert era
pattern UnRegDRepTxCert ∷ ConwayEraTxCert era ⇒ Credential 'DRepRole → Coin → TxCert era

Documentation

class (Era era, ToJSON (TxCert era), DecCBOR (TxCert era), EncCBOR (TxCert era), ToCBOR (TxCert era), FromCBOR (TxCert era), NoThunks (TxCert era), NFData (TxCert era), Show (TxCert era), Ord (TxCert era), Eq (TxCert era)) ⇒ EraTxCert era where Source #

Minimal complete definition

upgradeTxCert, getVKeyWitnessTxCert, getScriptWitnessTxCert, mkRegPoolTxCert, getRegPoolTxCert, mkRetirePoolTxCert, getRetirePoolTxCert, lookupRegStakeTxCert, lookupUnRegStakeTxCert, getTotalDepositsTxCerts, getTotalRefundsTxCerts

Associated Types

type TxCert era = (r ∷ Type) | r → era Source #

type TxCertUpgradeError era Source #

type TxCertUpgradeError era = Void

Methods

getRegPoolTxCert ∷ TxCert era → Maybe PoolParams Source #

getRetirePoolTxCert ∷ TxCert era → Maybe (KeyHash 'StakePool, EpochNo) Source #

lookupRegStakeTxCert ∷ TxCert era → Maybe (Credential 'Staking) Source #

Extract staking credential from any certificate that can register such credential

lookupUnRegStakeTxCert ∷ TxCert era → Maybe (Credential 'Staking) Source #

Extract staking credential from any certificate that can unregister such credential

upgradeTxCert ∷ EraTxCert era ⇒ TxCert (PreviousEra era) → Either (TxCertUpgradeError era) (TxCert era) Source #

Every era, except Shelley, must be able to upgrade a TxCert from a previous era. However, not all certificates can be upgraded, because some eras lose some of the certificates, thus return type is an Either. Eg. from Babbage to Conway: MIR and Genesis certificates were removed.

getVKeyWitnessTxCert ∷ EraTxCert era ⇒ TxCert era → Maybe (KeyHash 'Witness) Source #

Return a witness key whenever a certificate requires one

getScriptWitnessTxCert ∷ EraTxCert era ⇒ TxCert era → Maybe ScriptHash Source #

Return a ScriptHash for certificate types that require a witness

pattern RegPoolTxCert ∷ EraTxCert era ⇒ PoolParams → TxCert era Source #

pattern RetirePoolTxCert ∷ EraTxCert era ⇒ KeyHash 'StakePool → EpochNo → TxCert era Source #

isRegStakeTxCert ∷ EraTxCert era ⇒ TxCert era → Bool Source #

Check if supplied TxCert is a stake registering certificate

isUnRegStakeTxCert ∷ EraTxCert era ⇒ TxCert era → Bool Source #

Check if supplied TxCert is a stake un-registering certificate

Any Era

class EraTxCert era ⇒ AnyEraTxCert era where Source #

Minimal complete definition

Nothing

Methods

anyEraToRegTxCert ∷ TxCert era → Maybe (Credential 'Staking) Source #

anyEraToUnRegTxCert ∷ TxCert era → Maybe (Credential 'Staking) Source #

anyEraToGenesisDelegTxCert ∷ TxCert era → Maybe GenesisDelegCert Source #

anyEraToMirTxCert ∷ TxCert era → Maybe MIRCert Source #

anyEraToRegDepositTxCert ∷ TxCert era → Maybe (Credential 'Staking, Coin) Source #

default anyEraToRegDepositTxCert ∷ ConwayEraTxCert era ⇒ TxCert era → Maybe (Credential 'Staking, Coin) Source #

anyEraToUnRegDepositTxCert ∷ TxCert era → Maybe (Credential 'Staking, Coin) Source #

default anyEraToUnRegDepositTxCert ∷ ConwayEraTxCert era ⇒ TxCert era → Maybe (Credential 'Staking, Coin) Source #

anyEraToDelegTxCert ∷ TxCert era → Maybe (Credential 'Staking, Delegatee) Source #

default anyEraToDelegTxCert ∷ ConwayEraTxCert era ⇒ TxCert era → Maybe (Credential 'Staking, Delegatee) Source #

anyEraToRegDepositDelegTxCert ∷ TxCert era → Maybe (Credential 'Staking, Delegatee, Coin) Source #

default anyEraToRegDepositDelegTxCert ∷ ConwayEraTxCert era ⇒ TxCert era → Maybe (Credential 'Staking, Delegatee, Coin) Source #

anyEraToAuthCommitteeHotKeyTxCert ∷ TxCert era → Maybe (Credential 'ColdCommitteeRole, Credential 'HotCommitteeRole) Source #

default anyEraToAuthCommitteeHotKeyTxCert ∷ ConwayEraTxCert era ⇒ TxCert era → Maybe (Credential 'ColdCommitteeRole, Credential 'HotCommitteeRole) Source #

anyEraToResignCommitteeColdTxCert ∷ TxCert era → Maybe (Credential 'ColdCommitteeRole, StrictMaybe Anchor) Source #

default anyEraToResignCommitteeColdTxCert ∷ ConwayEraTxCert era ⇒ TxCert era → Maybe (Credential 'ColdCommitteeRole, StrictMaybe Anchor) Source #

anyEraToRegDRepTxCert ∷ TxCert era → Maybe (Credential 'DRepRole, Coin, StrictMaybe Anchor) Source #

default anyEraToRegDRepTxCert ∷ ConwayEraTxCert era ⇒ TxCert era → Maybe (Credential 'DRepRole, Coin, StrictMaybe Anchor) Source #

anyEraToUnRegDRepTxCert ∷ TxCert era → Maybe (Credential 'DRepRole, Coin) Source #

default anyEraToUnRegDRepTxCert ∷ ConwayEraTxCert era ⇒ TxCert era → Maybe (Credential 'DRepRole, Coin) Source #

anyEraToUpdateDRepTxCert ∷ TxCert era → Maybe (Credential 'DRepRole, StrictMaybe Anchor) Source #

default anyEraToUpdateDRepTxCert ∷ ConwayEraTxCert era ⇒ TxCert era → Maybe (Credential 'DRepRole, StrictMaybe Anchor) Source #

Instances

Instances details

AnyEraTxCert AllegraEra Source #
Instance details Defined in Cardano.Ledger.Api.Tx.Cert Methods anyEraToRegTxCert ∷ TxCert AllegraEra → Maybe (Credential 'Staking) Source # anyEraToUnRegTxCert ∷ TxCert AllegraEra → Maybe (Credential 'Staking) Source # anyEraToGenesisDelegTxCert ∷ TxCert AllegraEra → Maybe GenesisDelegCert Source # anyEraToMirTxCert ∷ TxCert AllegraEra → Maybe MIRCert Source # anyEraToRegDepositTxCert ∷ TxCert AllegraEra → Maybe (Credential 'Staking, Coin) Source # anyEraToUnRegDepositTxCert ∷ TxCert AllegraEra → Maybe (Credential 'Staking, Coin) Source # anyEraToDelegTxCert ∷ TxCert AllegraEra → Maybe (Credential 'Staking, Delegatee) Source # anyEraToRegDepositDelegTxCert ∷ TxCert AllegraEra → Maybe (Credential 'Staking, Delegatee, Coin) Source # anyEraToAuthCommitteeHotKeyTxCert ∷ TxCert AllegraEra → Maybe (Credential 'ColdCommitteeRole, Credential 'HotCommitteeRole) Source # anyEraToResignCommitteeColdTxCert ∷ TxCert AllegraEra → Maybe (Credential 'ColdCommitteeRole, StrictMaybe Anchor) Source # anyEraToRegDRepTxCert ∷ TxCert AllegraEra → Maybe (Credential 'DRepRole, Coin, StrictMaybe Anchor) Source # anyEraToUnRegDRepTxCert ∷ TxCert AllegraEra → Maybe (Credential 'DRepRole, Coin) Source # anyEraToUpdateDRepTxCert ∷ TxCert AllegraEra → Maybe (Credential 'DRepRole, StrictMaybe Anchor) Source #
AnyEraTxCert AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Api.Tx.Cert Methods anyEraToRegTxCert ∷ TxCert AlonzoEra → Maybe (Credential 'Staking) Source # anyEraToUnRegTxCert ∷ TxCert AlonzoEra → Maybe (Credential 'Staking) Source # anyEraToGenesisDelegTxCert ∷ TxCert AlonzoEra → Maybe GenesisDelegCert Source # anyEraToMirTxCert ∷ TxCert AlonzoEra → Maybe MIRCert Source # anyEraToRegDepositTxCert ∷ TxCert AlonzoEra → Maybe (Credential 'Staking, Coin) Source # anyEraToUnRegDepositTxCert ∷ TxCert AlonzoEra → Maybe (Credential 'Staking, Coin) Source # anyEraToDelegTxCert ∷ TxCert AlonzoEra → Maybe (Credential 'Staking, Delegatee) Source # anyEraToRegDepositDelegTxCert ∷ TxCert AlonzoEra → Maybe (Credential 'Staking, Delegatee, Coin) Source # anyEraToAuthCommitteeHotKeyTxCert ∷ TxCert AlonzoEra → Maybe (Credential 'ColdCommitteeRole, Credential 'HotCommitteeRole) Source # anyEraToResignCommitteeColdTxCert ∷ TxCert AlonzoEra → Maybe (Credential 'ColdCommitteeRole, StrictMaybe Anchor) Source # anyEraToRegDRepTxCert ∷ TxCert AlonzoEra → Maybe (Credential 'DRepRole, Coin, StrictMaybe Anchor) Source # anyEraToUnRegDRepTxCert ∷ TxCert AlonzoEra → Maybe (Credential 'DRepRole, Coin) Source # anyEraToUpdateDRepTxCert ∷ TxCert AlonzoEra → Maybe (Credential 'DRepRole, StrictMaybe Anchor) Source #
AnyEraTxCert BabbageEra Source #
Instance details Defined in Cardano.Ledger.Api.Tx.Cert Methods anyEraToRegTxCert ∷ TxCert BabbageEra → Maybe (Credential 'Staking) Source # anyEraToUnRegTxCert ∷ TxCert BabbageEra → Maybe (Credential 'Staking) Source # anyEraToGenesisDelegTxCert ∷ TxCert BabbageEra → Maybe GenesisDelegCert Source # anyEraToMirTxCert ∷ TxCert BabbageEra → Maybe MIRCert Source # anyEraToRegDepositTxCert ∷ TxCert BabbageEra → Maybe (Credential 'Staking, Coin) Source # anyEraToUnRegDepositTxCert ∷ TxCert BabbageEra → Maybe (Credential 'Staking, Coin) Source # anyEraToDelegTxCert ∷ TxCert BabbageEra → Maybe (Credential 'Staking, Delegatee) Source # anyEraToRegDepositDelegTxCert ∷ TxCert BabbageEra → Maybe (Credential 'Staking, Delegatee, Coin) Source # anyEraToAuthCommitteeHotKeyTxCert ∷ TxCert BabbageEra → Maybe (Credential 'ColdCommitteeRole, Credential 'HotCommitteeRole) Source # anyEraToResignCommitteeColdTxCert ∷ TxCert BabbageEra → Maybe (Credential 'ColdCommitteeRole, StrictMaybe Anchor) Source # anyEraToRegDRepTxCert ∷ TxCert BabbageEra → Maybe (Credential 'DRepRole, Coin, StrictMaybe Anchor) Source # anyEraToUnRegDRepTxCert ∷ TxCert BabbageEra → Maybe (Credential 'DRepRole, Coin) Source # anyEraToUpdateDRepTxCert ∷ TxCert BabbageEra → Maybe (Credential 'DRepRole, StrictMaybe Anchor) Source #
AnyEraTxCert ConwayEra Source #
Instance details Defined in Cardano.Ledger.Api.Tx.Cert Methods anyEraToRegTxCert ∷ TxCert ConwayEra → Maybe (Credential 'Staking) Source # anyEraToUnRegTxCert ∷ TxCert ConwayEra → Maybe (Credential 'Staking) Source # anyEraToGenesisDelegTxCert ∷ TxCert ConwayEra → Maybe GenesisDelegCert Source # anyEraToMirTxCert ∷ TxCert ConwayEra → Maybe MIRCert Source # anyEraToRegDepositTxCert ∷ TxCert ConwayEra → Maybe (Credential 'Staking, Coin) Source # anyEraToUnRegDepositTxCert ∷ TxCert ConwayEra → Maybe (Credential 'Staking, Coin) Source # anyEraToDelegTxCert ∷ TxCert ConwayEra → Maybe (Credential 'Staking, Delegatee) Source # anyEraToRegDepositDelegTxCert ∷ TxCert ConwayEra → Maybe (Credential 'Staking, Delegatee, Coin) Source # anyEraToAuthCommitteeHotKeyTxCert ∷ TxCert ConwayEra → Maybe (Credential 'ColdCommitteeRole, Credential 'HotCommitteeRole) Source # anyEraToResignCommitteeColdTxCert ∷ TxCert ConwayEra → Maybe (Credential 'ColdCommitteeRole, StrictMaybe Anchor) Source # anyEraToRegDRepTxCert ∷ TxCert ConwayEra → Maybe (Credential 'DRepRole, Coin, StrictMaybe Anchor) Source # anyEraToUnRegDRepTxCert ∷ TxCert ConwayEra → Maybe (Credential 'DRepRole, Coin) Source # anyEraToUpdateDRepTxCert ∷ TxCert ConwayEra → Maybe (Credential 'DRepRole, StrictMaybe Anchor) Source #
AnyEraTxCert DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Api.Tx.Cert Methods anyEraToRegTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'Staking) Source # anyEraToUnRegTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'Staking) Source # anyEraToGenesisDelegTxCert ∷ TxCert DijkstraEra → Maybe GenesisDelegCert Source # anyEraToMirTxCert ∷ TxCert DijkstraEra → Maybe MIRCert Source # anyEraToRegDepositTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'Staking, Coin) Source # anyEraToUnRegDepositTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'Staking, Coin) Source # anyEraToDelegTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'Staking, Delegatee) Source # anyEraToRegDepositDelegTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'Staking, Delegatee, Coin) Source # anyEraToAuthCommitteeHotKeyTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'ColdCommitteeRole, Credential 'HotCommitteeRole) Source # anyEraToResignCommitteeColdTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'ColdCommitteeRole, StrictMaybe Anchor) Source # anyEraToRegDRepTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'DRepRole, Coin, StrictMaybe Anchor) Source # anyEraToUnRegDRepTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'DRepRole, Coin) Source # anyEraToUpdateDRepTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'DRepRole, StrictMaybe Anchor) Source #
AnyEraTxCert MaryEra Source #
Instance details Defined in Cardano.Ledger.Api.Tx.Cert Methods anyEraToRegTxCert ∷ TxCert MaryEra → Maybe (Credential 'Staking) Source # anyEraToUnRegTxCert ∷ TxCert MaryEra → Maybe (Credential 'Staking) Source # anyEraToGenesisDelegTxCert ∷ TxCert MaryEra → Maybe GenesisDelegCert Source # anyEraToMirTxCert ∷ TxCert MaryEra → Maybe MIRCert Source # anyEraToRegDepositTxCert ∷ TxCert MaryEra → Maybe (Credential 'Staking, Coin) Source # anyEraToUnRegDepositTxCert ∷ TxCert MaryEra → Maybe (Credential 'Staking, Coin) Source # anyEraToDelegTxCert ∷ TxCert MaryEra → Maybe (Credential 'Staking, Delegatee) Source # anyEraToRegDepositDelegTxCert ∷ TxCert MaryEra → Maybe (Credential 'Staking, Delegatee, Coin) Source # anyEraToAuthCommitteeHotKeyTxCert ∷ TxCert MaryEra → Maybe (Credential 'ColdCommitteeRole, Credential 'HotCommitteeRole) Source # anyEraToResignCommitteeColdTxCert ∷ TxCert MaryEra → Maybe (Credential 'ColdCommitteeRole, StrictMaybe Anchor) Source # anyEraToRegDRepTxCert ∷ TxCert MaryEra → Maybe (Credential 'DRepRole, Coin, StrictMaybe Anchor) Source # anyEraToUnRegDRepTxCert ∷ TxCert MaryEra → Maybe (Credential 'DRepRole, Coin) Source # anyEraToUpdateDRepTxCert ∷ TxCert MaryEra → Maybe (Credential 'DRepRole, StrictMaybe Anchor) Source #
AnyEraTxCert ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Api.Tx.Cert Methods anyEraToRegTxCert ∷ TxCert ShelleyEra → Maybe (Credential 'Staking) Source # anyEraToUnRegTxCert ∷ TxCert ShelleyEra → Maybe (Credential 'Staking) Source # anyEraToGenesisDelegTxCert ∷ TxCert ShelleyEra → Maybe GenesisDelegCert Source # anyEraToMirTxCert ∷ TxCert ShelleyEra → Maybe MIRCert Source # anyEraToRegDepositTxCert ∷ TxCert ShelleyEra → Maybe (Credential 'Staking, Coin) Source # anyEraToUnRegDepositTxCert ∷ TxCert ShelleyEra → Maybe (Credential 'Staking, Coin) Source # anyEraToDelegTxCert ∷ TxCert ShelleyEra → Maybe (Credential 'Staking, Delegatee) Source # anyEraToRegDepositDelegTxCert ∷ TxCert ShelleyEra → Maybe (Credential 'Staking, Delegatee, Coin) Source # anyEraToAuthCommitteeHotKeyTxCert ∷ TxCert ShelleyEra → Maybe (Credential 'ColdCommitteeRole, Credential 'HotCommitteeRole) Source # anyEraToResignCommitteeColdTxCert ∷ TxCert ShelleyEra → Maybe (Credential 'ColdCommitteeRole, StrictMaybe Anchor) Source # anyEraToRegDRepTxCert ∷ TxCert ShelleyEra → Maybe (Credential 'DRepRole, Coin, StrictMaybe Anchor) Source # anyEraToUnRegDRepTxCert ∷ TxCert ShelleyEra → Maybe (Credential 'DRepRole, Coin) Source # anyEraToUpdateDRepTxCert ∷ TxCert ShelleyEra → Maybe (Credential 'DRepRole, StrictMaybe Anchor) Source #

pattern AnyEraRegPoolTxCert ∷ EraTxCert era ⇒ PoolParams → TxCert era Source #

pattern AnyEraRetirePoolTxCert ∷ EraTxCert era ⇒ KeyHash 'StakePool → EpochNo → TxCert era Source #

pattern AnyEraRegTxCert ∷ AnyEraTxCert era ⇒ Credential 'Staking → TxCert era Source #

pattern AnyEraUnRegTxCert ∷ AnyEraTxCert era ⇒ Credential 'Staking → TxCert era Source #

pattern AnyEraMirTxCert ∷ AnyEraTxCert era ⇒ MIRCert → TxCert era Source #

pattern AnyEraGenesisDelegTxCert ∷ AnyEraTxCert era ⇒ KeyHash 'Genesis → KeyHash 'GenesisDelegate → VRFVerKeyHash 'GenDelegVRF → TxCert era Source #

pattern AnyEraRegDepositTxCert ∷ AnyEraTxCert era ⇒ Credential 'Staking → Coin → TxCert era Source #

pattern AnyEraUnRegDepositTxCert ∷ AnyEraTxCert era ⇒ Credential 'Staking → Coin → TxCert era Source #

pattern AnyEraDelegTxCert ∷ AnyEraTxCert era ⇒ Credential 'Staking → Delegatee → TxCert era Source #

pattern AnyEraRegDepositDelegTxCert ∷ AnyEraTxCert era ⇒ Credential 'Staking → Delegatee → Coin → TxCert era Source #

pattern AnyEraAuthCommitteeHotKeyTxCert ∷ AnyEraTxCert era ⇒ Credential 'ColdCommitteeRole → Credential 'HotCommitteeRole → TxCert era Source #

pattern AnyEraResignCommitteeColdTxCert ∷ AnyEraTxCert era ⇒ Credential 'ColdCommitteeRole → StrictMaybe Anchor → TxCert era Source #

pattern AnyEraRegDRepTxCert ∷ AnyEraTxCert era ⇒ Credential 'DRepRole → Coin → StrictMaybe Anchor → TxCert era Source #

pattern AnyEraUnRegDRepTxCert ∷ AnyEraTxCert era ⇒ Credential 'DRepRole → Coin → TxCert era Source #

pattern AnyEraUpdateDRepTxCert ∷ AnyEraTxCert era ⇒ Credential 'DRepRole → StrictMaybe Anchor → TxCert era Source #

Shelley Era

Complete set of patterns for Shelley through Babbage TxCert:

TxCert =
  RegPoolTxCert
  RetirePoolTxCert
  RegTxCert
  UnRegTxCert
  DelegStakeTxCert
  MirTxCert
  GenesisDelegTxCert

class EraTxCert era ⇒ ShelleyEraTxCert era where Source #

Minimal complete definition

mkRegTxCert, getRegTxCert, mkUnRegTxCert, getUnRegTxCert, mkDelegStakeTxCert, getDelegStakeTxCert, mkGenesisDelegTxCert, getGenesisDelegTxCert, mkMirTxCert, getMirTxCert

Methods

getRegTxCert ∷ TxCert era → Maybe StakeCredential Source #

getUnRegTxCert ∷ TxCert era → Maybe StakeCredential Source #

getDelegStakeTxCert ∷ TxCert era → Maybe (StakeCredential, KeyHash 'StakePool) Source #

getGenesisDelegTxCert ∷ TxCert era → Maybe GenesisDelegCert Source #

getMirTxCert ∷ TxCert era → Maybe MIRCert Source #

Instances

Instances details

ShelleyEraTxCert ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

mkRegTxCert ∷ StakeCredential → TxCert ShelleyEra Source #

getRegTxCert ∷ TxCert ShelleyEra → Maybe StakeCredential Source #

mkUnRegTxCert ∷ StakeCredential → TxCert ShelleyEra Source #

getUnRegTxCert ∷ TxCert ShelleyEra → Maybe StakeCredential Source #

mkDelegStakeTxCert ∷ StakeCredential → KeyHash 'StakePool → TxCert ShelleyEra Source #

getDelegStakeTxCert ∷ TxCert ShelleyEra → Maybe (StakeCredential, KeyHash 'StakePool) Source #

mkGenesisDelegTxCert ∷ GenesisDelegCert → TxCert ShelleyEra Source #

getGenesisDelegTxCert ∷ TxCert ShelleyEra → Maybe GenesisDelegCert Source #

mkMirTxCert ∷ MIRCert → TxCert ShelleyEra Source #

getMirTxCert ∷ TxCert ShelleyEra → Maybe MIRCert Source #

pattern MirTxCert ∷ (ShelleyEraTxCert era, AtMostEra "Babbage" era) ⇒ MIRCert → TxCert era Source #

pattern GenesisDelegTxCert ∷ (ShelleyEraTxCert era, AtMostEra "Babbage" era) ⇒ KeyHash 'Genesis → KeyHash 'GenesisDelegate → VRFVerKeyHash 'GenDelegVRF → TxCert era Source #

pattern RegTxCert ∷ ShelleyEraTxCert era ⇒ StakeCredential → TxCert era Source #

pattern UnRegTxCert ∷ ShelleyEraTxCert era ⇒ StakeCredential → TxCert era Source #

pattern DelegStakeTxCert ∷ ShelleyEraTxCert era ⇒ StakeCredential → KeyHash 'StakePool → TxCert era Source #

Conway Era

Complete set of patterns for Conway TxCert:

TxCert =
  RegPoolTxCert
  RetirePoolTxCert
  RegTxCert
  UnRegTxCert
  RegDepositTxCert
  UnRegDepositTxCert
  DelegTxCert
  RegDepositDelegTxCert
  AuthCommitteeHotKeyTxCert
  ResignCommitteeColdTxCert
  RegDRepTxCert
  UnRegDRepTxCert

class EraTxCert era ⇒ ConwayEraTxCert era where Source #

Minimal complete definition

mkRegDepositTxCert, getRegDepositTxCert, mkUnRegDepositTxCert, getUnRegDepositTxCert, mkDelegTxCert, getDelegTxCert, mkRegDepositDelegTxCert, getRegDepositDelegTxCert, mkAuthCommitteeHotKeyTxCert, getAuthCommitteeHotKeyTxCert, mkResignCommitteeColdTxCert, getResignCommitteeColdTxCert, mkRegDRepTxCert, getRegDRepTxCert, mkUnRegDRepTxCert, getUnRegDRepTxCert, mkUpdateDRepTxCert, getUpdateDRepTxCert

Methods

getRegDepositTxCert ∷ TxCert era → Maybe (StakeCredential, Coin) Source #

getUnRegDepositTxCert ∷ TxCert era → Maybe (StakeCredential, Coin) Source #

getDelegTxCert ∷ TxCert era → Maybe (StakeCredential, Delegatee) Source #

getRegDepositDelegTxCert ∷ TxCert era → Maybe (StakeCredential, Delegatee, Coin) Source #

getAuthCommitteeHotKeyTxCert ∷ TxCert era → Maybe (Credential 'ColdCommitteeRole, Credential 'HotCommitteeRole) Source #

getResignCommitteeColdTxCert ∷ TxCert era → Maybe (Credential 'ColdCommitteeRole, StrictMaybe Anchor) Source #

getRegDRepTxCert ∷ TxCert era → Maybe (Credential 'DRepRole, Coin, StrictMaybe Anchor) Source #

getUpdateDRepTxCert ∷ TxCert era → Maybe (Credential 'DRepRole, StrictMaybe Anchor) Source #

Instances

Instances details

ConwayEraTxCert ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

mkRegDepositTxCert ∷ StakeCredential → Coin → TxCert ConwayEra Source #

getRegDepositTxCert ∷ TxCert ConwayEra → Maybe (StakeCredential, Coin) Source #

mkUnRegDepositTxCert ∷ StakeCredential → Coin → TxCert ConwayEra Source #

getUnRegDepositTxCert ∷ TxCert ConwayEra → Maybe (StakeCredential, Coin) Source #

mkDelegTxCert ∷ StakeCredential → Delegatee → TxCert ConwayEra Source #

getDelegTxCert ∷ TxCert ConwayEra → Maybe (StakeCredential, Delegatee) Source #

mkRegDepositDelegTxCert ∷ StakeCredential → Delegatee → Coin → TxCert ConwayEra Source #

getRegDepositDelegTxCert ∷ TxCert ConwayEra → Maybe (StakeCredential, Delegatee, Coin) Source #

mkAuthCommitteeHotKeyTxCert ∷ Credential 'ColdCommitteeRole → Credential 'HotCommitteeRole → TxCert ConwayEra Source #

getAuthCommitteeHotKeyTxCert ∷ TxCert ConwayEra → Maybe (Credential 'ColdCommitteeRole, Credential 'HotCommitteeRole) Source #

mkResignCommitteeColdTxCert ∷ Credential 'ColdCommitteeRole → StrictMaybe Anchor → TxCert ConwayEra Source #

getResignCommitteeColdTxCert ∷ TxCert ConwayEra → Maybe (Credential 'ColdCommitteeRole, StrictMaybe Anchor) Source #

mkRegDRepTxCert ∷ Credential 'DRepRole → Coin → StrictMaybe Anchor → TxCert ConwayEra Source #

getRegDRepTxCert ∷ TxCert ConwayEra → Maybe (Credential 'DRepRole, Coin, StrictMaybe Anchor) Source #

mkUnRegDRepTxCert ∷ Credential 'DRepRole → Coin → TxCert ConwayEra Source #

getUnRegDRepTxCert ∷ TxCert ConwayEra → Maybe (Credential 'DRepRole, Coin) Source #

mkUpdateDRepTxCert ∷ Credential 'DRepRole → StrictMaybe Anchor → TxCert ConwayEra Source #

getUpdateDRepTxCert ∷ TxCert ConwayEra → Maybe (Credential 'DRepRole, StrictMaybe Anchor) Source #

getDelegateeTxCert ∷ ConwayEraTxCert era ⇒ TxCert era → Maybe Delegatee Source #

data Delegatee Source #

First type argument is the deposit

Constructors

DelegStake !(KeyHash 'StakePool)
DelegVote !DRep
DelegStakeVote !(KeyHash 'StakePool) !DRep

Instances

Instances details

FromJSON Delegatee
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods parseJSON ∷ Value → Parser Delegatee Source # parseJSONList ∷ Value → Parser [Delegatee] Source # omittedField ∷ Maybe Delegatee Source #
ToJSON Delegatee
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods toJSON ∷ Delegatee → Value Source # toEncoding ∷ Delegatee → Encoding Source # toJSONList ∷ [Delegatee] → Value Source # toEncodingList ∷ [Delegatee] → Encoding Source # omitField ∷ Delegatee → Bool Source #
Generic Delegatee
Instance details Defined in Cardano.Ledger.Conway.TxCert Associated Types type Rep Delegatee ∷ Type → Type # Methods from ∷ Delegatee → Rep Delegatee x # to ∷ Rep Delegatee x → Delegatee #
Show Delegatee
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods showsPrec ∷ Int → Delegatee → ShowS # show ∷ Delegatee → String # showList ∷ [Delegatee] → ShowS #
DecCBOR Delegatee
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods decCBOR ∷ Decoder s Delegatee Source # dropCBOR ∷ Proxy Delegatee → Decoder s () Source # label ∷ Proxy Delegatee → Text Source #
EncCBOR Delegatee
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods encCBOR ∷ Delegatee → Encoding Source #
NFData Delegatee
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods rnf ∷ Delegatee → () #
Eq Delegatee
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods (==) ∷ Delegatee → Delegatee → Bool # (/=) ∷ Delegatee → Delegatee → Bool #
Ord Delegatee
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods compare ∷ Delegatee → Delegatee → Ordering # (<) ∷ Delegatee → Delegatee → Bool # (<=) ∷ Delegatee → Delegatee → Bool # (>) ∷ Delegatee → Delegatee → Bool # (>=) ∷ Delegatee → Delegatee → Bool # max ∷ Delegatee → Delegatee → Delegatee # min ∷ Delegatee → Delegatee → Delegatee #
NoThunks Delegatee
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods noThunks ∷ Context → Delegatee → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Delegatee → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Delegatee → String Source #
type Rep Delegatee
Instance details Defined in Cardano.Ledger.Conway.TxCert type Rep Delegatee = D1 ('MetaData "Delegatee" "Cardano.Ledger.Conway.TxCert" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "DelegStake" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool))) :+: (C1 ('MetaCons "DelegVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DRep)) :+: C1 ('MetaCons "DelegStakeVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DRep))))

getStakePoolDelegatee ∷ Delegatee → Maybe (KeyHash 'StakePool) Source #

pattern RegDepositTxCert ∷ ConwayEraTxCert era ⇒ StakeCredential → Coin → TxCert era Source #

pattern UnRegDepositTxCert ∷ ConwayEraTxCert era ⇒ StakeCredential → Coin → TxCert era Source #

pattern DelegTxCert ∷ ConwayEraTxCert era ⇒ StakeCredential → Delegatee → TxCert era Source #

pattern RegDepositDelegTxCert ∷ ConwayEraTxCert era ⇒ StakeCredential → Delegatee → Coin → TxCert era Source #

pattern AuthCommitteeHotKeyTxCert ∷ ConwayEraTxCert era ⇒ Credential 'ColdCommitteeRole → Credential 'HotCommitteeRole → TxCert era Source #

pattern ResignCommitteeColdTxCert ∷ ConwayEraTxCert era ⇒ Credential 'ColdCommitteeRole → StrictMaybe Anchor → TxCert era Source #

pattern RegDRepTxCert ∷ ConwayEraTxCert era ⇒ Credential 'DRepRole → Coin → StrictMaybe Anchor → TxCert era Source #

pattern UnRegDRepTxCert ∷ ConwayEraTxCert era ⇒ Credential 'DRepRole → Coin → TxCert era Source #