cardano-ledger-alonzo-1.8.0.0: Cardano ledger introducing Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Alonzo.TxCert

Orphan instances

Crypto c ⇒ EraTxCert (AlonzoEra c) Source # 
Instance details

Associated Types

type TxCert (AlonzoEra c) = (r ∷ Type) Source #

type TxCertUpgradeError (AlonzoEra c) Source #

Methods

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

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

getScriptWitnessTxCert ∷ TxCert (AlonzoEra c) → Maybe (ScriptHash (EraCrypto (AlonzoEra c))) Source #

mkRegPoolTxCert ∷ PoolParams (EraCrypto (AlonzoEra c)) → TxCert (AlonzoEra c) Source #

getRegPoolTxCert ∷ TxCert (AlonzoEra c) → Maybe (PoolParams (EraCrypto (AlonzoEra c))) Source #

mkRetirePoolTxCert ∷ KeyHash 'StakePool (EraCrypto (AlonzoEra c)) → EpochNo → TxCert (AlonzoEra c) Source #

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

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

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

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

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

Crypto c ⇒ ShelleyEraTxCert (AlonzoEra c) Source # 
Instance details

Methods

mkRegTxCert ∷ StakeCredential (EraCrypto (AlonzoEra c)) → TxCert (AlonzoEra c) Source #

getRegTxCert ∷ TxCert (AlonzoEra c) → Maybe (StakeCredential (EraCrypto (AlonzoEra c))) Source #

mkUnRegTxCert ∷ StakeCredential (EraCrypto (AlonzoEra c)) → TxCert (AlonzoEra c) Source #

getUnRegTxCert ∷ TxCert (AlonzoEra c) → Maybe (StakeCredential (EraCrypto (AlonzoEra c))) Source #

mkDelegStakeTxCert ∷ StakeCredential (EraCrypto (AlonzoEra c)) → KeyHash 'StakePool (EraCrypto (AlonzoEra c)) → TxCert (AlonzoEra c) Source #

getDelegStakeTxCert ∷ TxCert (AlonzoEra c) → Maybe (StakeCredential (EraCrypto (AlonzoEra c)), KeyHash 'StakePool (EraCrypto (AlonzoEra c))) Source #

mkGenesisDelegTxCert ∷ GenesisDelegCert (EraCrypto (AlonzoEra c)) → TxCert (AlonzoEra c) Source #

getGenesisDelegTxCert ∷ TxCert (AlonzoEra c) → Maybe (GenesisDelegCert (EraCrypto (AlonzoEra c))) Source #

mkMirTxCert ∷ MIRCert (EraCrypto (AlonzoEra c)) → TxCert (AlonzoEra c) Source #

getMirTxCert ∷ TxCert (AlonzoEra c) → Maybe (MIRCert (EraCrypto (AlonzoEra c))) Source #