cardano-ledger-allegra-1.4.1.0: Allegra ledger era that introduces time lock support.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Allegra.TxCert

Orphan instances

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

Associated Types

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

type TxCertUpgradeError (AllegraEra c) Source #

Methods

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

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

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

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

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

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

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

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

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

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

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

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

Methods

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

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

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

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

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

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

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

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

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

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