cardano-ledger-api-1.13.0.0: Public API for the cardano ledger codebase
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Api.Tx.Cert

Synopsis

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 StakePoolParams 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

Instances

Instances details
EraTxCert AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxCert

Associated Types

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 → TxCert AllegraEra Source #

getRegPoolTxCert ∷ TxCert AllegraEra → Maybe StakePoolParams 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) → (Credential 'DRepRole → 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 → TxCert AlonzoEra Source #

getRegPoolTxCert ∷ TxCert AlonzoEra → Maybe StakePoolParams 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) → (Credential 'DRepRole → 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 → TxCert BabbageEra Source #

getRegPoolTxCert ∷ TxCert BabbageEra → Maybe StakePoolParams 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) → (Credential 'DRepRole → 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 → TxCert ConwayEra Source #

getRegPoolTxCert ∷ TxCert ConwayEra → Maybe StakePoolParams 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) → (Credential 'DRepRole → 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 → TxCert DijkstraEra Source #

getRegPoolTxCert ∷ TxCert DijkstraEra → Maybe StakePoolParams 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) → (Credential 'DRepRole → 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 → TxCert MaryEra Source #

getRegPoolTxCert ∷ TxCert MaryEra → Maybe StakePoolParams 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) → (Credential 'DRepRole → 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 → TxCert ShelleyEra Source #

getRegPoolTxCert ∷ TxCert ShelleyEra → Maybe StakePoolParams 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) → (Credential 'DRepRole → 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 → 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 → 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 #

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 #

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 → () #

Generic Delegatee 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Associated Types

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))))

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 #

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 ⇒ Credential 'Staking → Coin → TxCert era Source #

pattern UnRegDepositTxCert ∷ ConwayEraTxCert era ⇒ Credential 'Staking → Coin → TxCert era Source #

pattern DelegTxCert ∷ ConwayEraTxCert era ⇒ Credential 'Staking → Delegatee → TxCert era Source #

pattern RegDepositDelegTxCert ∷ ConwayEraTxCert era ⇒ Credential 'Staking → 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 #