type TxCert AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxCert type TxCert AllegraEra = ShelleyTxCert AllegraEra
type TxCertUpgradeError AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxCert type TxCertUpgradeError AllegraEra = Void

Methods

upgradeTxCert ∷ TxCert (PreviousEra AllegraEra) → Either (TxCertUpgradeError AllegraEra) (TxCert AllegraEra) Source #

getVKeyWitnessTxCert ∷ TxCert AllegraEra → Maybe (KeyHash 'Witness) Source #

getScriptWitnessTxCert ∷ TxCert AllegraEra → Maybe ScriptHash Source #

mkRegPoolTxCert ∷ StakePoolParams AllegraEra → TxCert AllegraEra Source #

getRegPoolTxCert ∷ TxCert AllegraEra → Maybe (StakePoolParams AllegraEra) Source #

mkRetirePoolTxCert ∷ KeyHash 'StakePool → EpochNo → TxCert AllegraEra Source #

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

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

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

getTotalDepositsTxCerts ∷ Foldable f ⇒ PParams AllegraEra → (KeyHash 'StakePool → Bool) → f (TxCert AllegraEra) → Coin Source #

getTotalRefundsTxCerts ∷ Foldable f ⇒ PParams AllegraEra → (Credential 'Staking → Maybe Coin) → f (TxCert AllegraEra) → Coin Source #

EraTxCert AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.TxCert

Associated Types

type TxCert AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxCert type TxCert AlonzoEra = ShelleyTxCert AlonzoEra
type TxCertUpgradeError AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxCert type TxCertUpgradeError AlonzoEra = Void

Methods

upgradeTxCert ∷ TxCert (PreviousEra AlonzoEra) → Either (TxCertUpgradeError AlonzoEra) (TxCert AlonzoEra) Source #

getVKeyWitnessTxCert ∷ TxCert AlonzoEra → Maybe (KeyHash 'Witness) Source #

getScriptWitnessTxCert ∷ TxCert AlonzoEra → Maybe ScriptHash Source #

mkRegPoolTxCert ∷ StakePoolParams AlonzoEra → TxCert AlonzoEra Source #

getRegPoolTxCert ∷ TxCert AlonzoEra → Maybe (StakePoolParams AlonzoEra) Source #

mkRetirePoolTxCert ∷ KeyHash 'StakePool → EpochNo → TxCert AlonzoEra Source #

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

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

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

getTotalDepositsTxCerts ∷ Foldable f ⇒ PParams AlonzoEra → (KeyHash 'StakePool → Bool) → f (TxCert AlonzoEra) → Coin Source #

getTotalRefundsTxCerts ∷ Foldable f ⇒ PParams AlonzoEra → (Credential 'Staking → Maybe Coin) → f (TxCert AlonzoEra) → Coin Source #

EraTxCert BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.TxCert

Associated Types

type TxCert BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxCert type TxCert BabbageEra = ShelleyTxCert BabbageEra
type TxCertUpgradeError BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxCert type TxCertUpgradeError BabbageEra = Void

Methods

upgradeTxCert ∷ TxCert (PreviousEra BabbageEra) → Either (TxCertUpgradeError BabbageEra) (TxCert BabbageEra) Source #

getVKeyWitnessTxCert ∷ TxCert BabbageEra → Maybe (KeyHash 'Witness) Source #

getScriptWitnessTxCert ∷ TxCert BabbageEra → Maybe ScriptHash Source #

mkRegPoolTxCert ∷ StakePoolParams BabbageEra → TxCert BabbageEra Source #

getRegPoolTxCert ∷ TxCert BabbageEra → Maybe (StakePoolParams BabbageEra) Source #

mkRetirePoolTxCert ∷ KeyHash 'StakePool → EpochNo → TxCert BabbageEra Source #

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

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

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

getTotalDepositsTxCerts ∷ Foldable f ⇒ PParams BabbageEra → (KeyHash 'StakePool → Bool) → f (TxCert BabbageEra) → Coin Source #

getTotalRefundsTxCerts ∷ Foldable f ⇒ PParams BabbageEra → (Credential 'Staking → Maybe Coin) → f (TxCert BabbageEra) → Coin Source #

EraTxCert ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.TxCert

Associated Types

type TxCert ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxCert type TxCert ConwayEra = ConwayTxCert ConwayEra
type TxCertUpgradeError ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxCert type TxCertUpgradeError ConwayEra = ConwayTxCertUpgradeError

Methods

upgradeTxCert ∷ TxCert (PreviousEra ConwayEra) → Either (TxCertUpgradeError ConwayEra) (TxCert ConwayEra) Source #

getVKeyWitnessTxCert ∷ TxCert ConwayEra → Maybe (KeyHash 'Witness) Source #

getScriptWitnessTxCert ∷ TxCert ConwayEra → Maybe ScriptHash Source #

mkRegPoolTxCert ∷ StakePoolParams ConwayEra → TxCert ConwayEra Source #

getRegPoolTxCert ∷ TxCert ConwayEra → Maybe (StakePoolParams ConwayEra) Source #

mkRetirePoolTxCert ∷ KeyHash 'StakePool → EpochNo → TxCert ConwayEra Source #

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

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

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

getTotalDepositsTxCerts ∷ Foldable f ⇒ PParams ConwayEra → (KeyHash 'StakePool → Bool) → f (TxCert ConwayEra) → Coin Source #

getTotalRefundsTxCerts ∷ Foldable f ⇒ PParams ConwayEra → (Credential 'Staking → Maybe Coin) → f (TxCert ConwayEra) → Coin Source #

EraTxCert DijkstraEra

Instance details

Defined in Cardano.Ledger.Dijkstra.TxCert

Associated Types

type TxCert DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.TxCert type TxCert DijkstraEra = DijkstraTxCert DijkstraEra
type TxCertUpgradeError DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.TxCert type TxCertUpgradeError DijkstraEra = DijkstraTxCertUpgradeError

Methods

upgradeTxCert ∷ TxCert (PreviousEra DijkstraEra) → Either (TxCertUpgradeError DijkstraEra) (TxCert DijkstraEra) Source #

getVKeyWitnessTxCert ∷ TxCert DijkstraEra → Maybe (KeyHash 'Witness) Source #

getScriptWitnessTxCert ∷ TxCert DijkstraEra → Maybe ScriptHash Source #

mkRegPoolTxCert ∷ StakePoolParams DijkstraEra → TxCert DijkstraEra Source #

getRegPoolTxCert ∷ TxCert DijkstraEra → Maybe (StakePoolParams DijkstraEra) Source #

mkRetirePoolTxCert ∷ KeyHash 'StakePool → EpochNo → TxCert DijkstraEra Source #

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

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

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

getTotalDepositsTxCerts ∷ Foldable f ⇒ PParams DijkstraEra → (KeyHash 'StakePool → Bool) → f (TxCert DijkstraEra) → Coin Source #

getTotalRefundsTxCerts ∷ Foldable f ⇒ PParams DijkstraEra → (Credential 'Staking → Maybe Coin) → f (TxCert DijkstraEra) → Coin Source #

EraTxCert MaryEra

Instance details

Defined in Cardano.Ledger.Mary.TxCert

Associated Types

type TxCert MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxCert type TxCert MaryEra = ShelleyTxCert MaryEra
type TxCertUpgradeError MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxCert type TxCertUpgradeError MaryEra = Void

Methods

upgradeTxCert ∷ TxCert (PreviousEra MaryEra) → Either (TxCertUpgradeError MaryEra) (TxCert MaryEra) Source #

getVKeyWitnessTxCert ∷ TxCert MaryEra → Maybe (KeyHash 'Witness) Source #

getScriptWitnessTxCert ∷ TxCert MaryEra → Maybe ScriptHash Source #

mkRegPoolTxCert ∷ StakePoolParams MaryEra → TxCert MaryEra Source #

getRegPoolTxCert ∷ TxCert MaryEra → Maybe (StakePoolParams MaryEra) Source #

mkRetirePoolTxCert ∷ KeyHash 'StakePool → EpochNo → TxCert MaryEra Source #

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

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

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

getTotalDepositsTxCerts ∷ Foldable f ⇒ PParams MaryEra → (KeyHash 'StakePool → Bool) → f (TxCert MaryEra) → Coin Source #

getTotalRefundsTxCerts ∷ Foldable f ⇒ PParams MaryEra → (Credential 'Staking → Maybe Coin) → f (TxCert MaryEra) → Coin Source #

EraTxCert ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Associated Types

type TxCert ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxCert type TxCert ShelleyEra = ShelleyTxCert ShelleyEra
type TxCertUpgradeError ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxCert type TxCertUpgradeError ShelleyEra = Void

Methods

upgradeTxCert ∷ TxCert (PreviousEra ShelleyEra) → Either (TxCertUpgradeError ShelleyEra) (TxCert ShelleyEra) Source #

getVKeyWitnessTxCert ∷ TxCert ShelleyEra → Maybe (KeyHash 'Witness) Source #

getScriptWitnessTxCert ∷ TxCert ShelleyEra → Maybe ScriptHash Source #

mkRegPoolTxCert ∷ StakePoolParams ShelleyEra → TxCert ShelleyEra Source #

getRegPoolTxCert ∷ TxCert ShelleyEra → Maybe (StakePoolParams ShelleyEra) Source #

mkRetirePoolTxCert ∷ KeyHash 'StakePool → EpochNo → TxCert ShelleyEra Source #

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

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

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

getTotalDepositsTxCerts ∷ Foldable f ⇒ PParams ShelleyEra → (KeyHash 'StakePool → Bool) → f (TxCert ShelleyEra) → Coin Source #

getTotalRefundsTxCerts ∷ Foldable f ⇒ PParams ShelleyEra → (Credential 'Staking → Maybe Coin) → f (TxCert ShelleyEra) → Coin Source #

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 ⇒ StakePoolParams era → 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 ⇒ StakePoolParams era → 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 'GenesisRole → 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, AtMostEra "Conway" era) ⇒ ShelleyEraTxCert era where Source #

All of the Shelley related certificate functionality that has been fully deprecated in Dijkstra.

Minimal complete definition

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

Methods

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

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

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

getGenesisDelegTxCert ∷ TxCert era → Maybe GenesisDelegCert Source #

getMirTxCert ∷ TxCert era → Maybe MIRCert Source #

Instances

Instances details

ShelleyEraTxCert AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxCert Methods mkRegTxCert ∷ Credential 'Staking → TxCert AllegraEra Source # getRegTxCert ∷ TxCert AllegraEra → Maybe (Credential 'Staking) Source # mkUnRegTxCert ∷ Credential 'Staking → TxCert AllegraEra Source # getUnRegTxCert ∷ TxCert AllegraEra → Maybe (Credential 'Staking) Source # mkDelegStakeTxCert ∷ Credential 'Staking → KeyHash 'StakePool → TxCert AllegraEra Source # getDelegStakeTxCert ∷ TxCert AllegraEra → Maybe (Credential 'Staking, KeyHash 'StakePool) Source # mkGenesisDelegTxCert ∷ GenesisDelegCert → TxCert AllegraEra Source # getGenesisDelegTxCert ∷ TxCert AllegraEra → Maybe GenesisDelegCert Source # mkMirTxCert ∷ MIRCert → TxCert AllegraEra Source # getMirTxCert ∷ TxCert AllegraEra → Maybe MIRCert Source #
ShelleyEraTxCert AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxCert Methods mkRegTxCert ∷ Credential 'Staking → TxCert AlonzoEra Source # getRegTxCert ∷ TxCert AlonzoEra → Maybe (Credential 'Staking) Source # mkUnRegTxCert ∷ Credential 'Staking → TxCert AlonzoEra Source # getUnRegTxCert ∷ TxCert AlonzoEra → Maybe (Credential 'Staking) Source # mkDelegStakeTxCert ∷ Credential 'Staking → KeyHash 'StakePool → TxCert AlonzoEra Source # getDelegStakeTxCert ∷ TxCert AlonzoEra → Maybe (Credential 'Staking, KeyHash 'StakePool) Source # mkGenesisDelegTxCert ∷ GenesisDelegCert → TxCert AlonzoEra Source # getGenesisDelegTxCert ∷ TxCert AlonzoEra → Maybe GenesisDelegCert Source # mkMirTxCert ∷ MIRCert → TxCert AlonzoEra Source # getMirTxCert ∷ TxCert AlonzoEra → Maybe MIRCert Source #
ShelleyEraTxCert BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxCert Methods mkRegTxCert ∷ Credential 'Staking → TxCert BabbageEra Source # getRegTxCert ∷ TxCert BabbageEra → Maybe (Credential 'Staking) Source # mkUnRegTxCert ∷ Credential 'Staking → TxCert BabbageEra Source # getUnRegTxCert ∷ TxCert BabbageEra → Maybe (Credential 'Staking) Source # mkDelegStakeTxCert ∷ Credential 'Staking → KeyHash 'StakePool → TxCert BabbageEra Source # getDelegStakeTxCert ∷ TxCert BabbageEra → Maybe (Credential 'Staking, KeyHash 'StakePool) Source # mkGenesisDelegTxCert ∷ GenesisDelegCert → TxCert BabbageEra Source # getGenesisDelegTxCert ∷ TxCert BabbageEra → Maybe GenesisDelegCert Source # mkMirTxCert ∷ MIRCert → TxCert BabbageEra Source # getMirTxCert ∷ TxCert BabbageEra → Maybe MIRCert Source #
ShelleyEraTxCert ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods mkRegTxCert ∷ Credential 'Staking → TxCert ConwayEra Source # getRegTxCert ∷ TxCert ConwayEra → Maybe (Credential 'Staking) Source # mkUnRegTxCert ∷ Credential 'Staking → TxCert ConwayEra Source # getUnRegTxCert ∷ TxCert ConwayEra → Maybe (Credential 'Staking) Source # mkDelegStakeTxCert ∷ Credential 'Staking → KeyHash 'StakePool → TxCert ConwayEra Source # getDelegStakeTxCert ∷ TxCert ConwayEra → Maybe (Credential 'Staking, KeyHash 'StakePool) Source # mkGenesisDelegTxCert ∷ GenesisDelegCert → TxCert ConwayEra Source # getGenesisDelegTxCert ∷ TxCert ConwayEra → Maybe GenesisDelegCert Source # mkMirTxCert ∷ MIRCert → TxCert ConwayEra Source # getMirTxCert ∷ TxCert ConwayEra → Maybe MIRCert Source #
ShelleyEraTxCert MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxCert Methods mkRegTxCert ∷ Credential 'Staking → TxCert MaryEra Source # getRegTxCert ∷ TxCert MaryEra → Maybe (Credential 'Staking) Source # mkUnRegTxCert ∷ Credential 'Staking → TxCert MaryEra Source # getUnRegTxCert ∷ TxCert MaryEra → Maybe (Credential 'Staking) Source # mkDelegStakeTxCert ∷ Credential 'Staking → KeyHash 'StakePool → TxCert MaryEra Source # getDelegStakeTxCert ∷ TxCert MaryEra → Maybe (Credential 'Staking, KeyHash 'StakePool) Source # mkGenesisDelegTxCert ∷ GenesisDelegCert → TxCert MaryEra Source # getGenesisDelegTxCert ∷ TxCert MaryEra → Maybe GenesisDelegCert Source # mkMirTxCert ∷ MIRCert → TxCert MaryEra Source # getMirTxCert ∷ TxCert MaryEra → Maybe MIRCert Source #
ShelleyEraTxCert ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods mkRegTxCert ∷ Credential 'Staking → TxCert ShelleyEra Source # getRegTxCert ∷ TxCert ShelleyEra → Maybe (Credential 'Staking) Source # mkUnRegTxCert ∷ Credential 'Staking → TxCert ShelleyEra Source # getUnRegTxCert ∷ TxCert ShelleyEra → Maybe (Credential 'Staking) Source # mkDelegStakeTxCert ∷ Credential 'Staking → KeyHash 'StakePool → TxCert ShelleyEra Source # getDelegStakeTxCert ∷ TxCert ShelleyEra → Maybe (Credential 'Staking, 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 'GenesisRole → KeyHash 'GenesisDelegate → VRFVerKeyHash 'GenDelegVRF → TxCert era Source #

pattern RegTxCert ∷ ShelleyEraTxCert era ⇒ Credential 'Staking → TxCert era Source #

pattern UnRegTxCert ∷ ShelleyEraTxCert era ⇒ Credential 'Staking → TxCert era Source #

pattern DelegStakeTxCert ∷ ShelleyEraTxCert era ⇒ Credential 'Staking → 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 (Credential 'Staking, Coin) Source #

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

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

getRegDepositDelegTxCert ∷ TxCert era → Maybe (Credential 'Staking, 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 ∷ Credential 'Staking → Coin → TxCert ConwayEra Source # getRegDepositTxCert ∷ TxCert ConwayEra → Maybe (Credential 'Staking, Coin) Source # mkUnRegDepositTxCert ∷ Credential 'Staking → Coin → TxCert ConwayEra Source # getUnRegDepositTxCert ∷ TxCert ConwayEra → Maybe (Credential 'Staking, Coin) Source # mkDelegTxCert ∷ Credential 'Staking → Delegatee → TxCert ConwayEra Source # getDelegTxCert ∷ TxCert ConwayEra → Maybe (Credential 'Staking, Delegatee) Source # mkRegDepositDelegTxCert ∷ Credential 'Staking → Delegatee → Coin → TxCert ConwayEra Source # getRegDepositDelegTxCert ∷ TxCert ConwayEra → Maybe (Credential 'Staking, 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 #
ConwayEraTxCert DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.TxCert Methods mkRegDepositTxCert ∷ Credential 'Staking → Coin → TxCert DijkstraEra Source # getRegDepositTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'Staking, Coin) Source # mkUnRegDepositTxCert ∷ Credential 'Staking → Coin → TxCert DijkstraEra Source # getUnRegDepositTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'Staking, Coin) Source # mkDelegTxCert ∷ Credential 'Staking → Delegatee → TxCert DijkstraEra Source # getDelegTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'Staking, Delegatee) Source # mkRegDepositDelegTxCert ∷ Credential 'Staking → Delegatee → Coin → TxCert DijkstraEra Source # getRegDepositDelegTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'Staking, Delegatee, Coin) Source # mkAuthCommitteeHotKeyTxCert ∷ Credential 'ColdCommitteeRole → Credential 'HotCommitteeRole → TxCert DijkstraEra Source # getAuthCommitteeHotKeyTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'ColdCommitteeRole, Credential 'HotCommitteeRole) Source # mkResignCommitteeColdTxCert ∷ Credential 'ColdCommitteeRole → StrictMaybe Anchor → TxCert DijkstraEra Source # getResignCommitteeColdTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'ColdCommitteeRole, StrictMaybe Anchor) Source # mkRegDRepTxCert ∷ Credential 'DRepRole → Coin → StrictMaybe Anchor → TxCert DijkstraEra Source # getRegDRepTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'DRepRole, Coin, StrictMaybe Anchor) Source # mkUnRegDRepTxCert ∷ Credential 'DRepRole → Coin → TxCert DijkstraEra Source # getUnRegDRepTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'DRepRole, Coin) Source # mkUpdateDRepTxCert ∷ Credential 'DRepRole → StrictMaybe Anchor → TxCert DijkstraEra Source # getUpdateDRepTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'DRepRole, StrictMaybe Anchor) Source #