Modulecardano-ledger-api-1.14.0.0

Cardano.Ledger.Api.Tx.Cert

Synopsis

pattern AnyEraAuthCommitteeHotKeyTxCert
pattern AnyEraDelegTxCert
pattern AnyEraGenesisDelegTxCert
pattern AnyEraMirTxCert
pattern AnyEraRegDRepTxCert
pattern AnyEraRegDepositDelegTxCert
pattern AnyEraRegDepositTxCert
pattern AnyEraRegPoolTxCert
pattern AnyEraRegTxCert
pattern AnyEraResignCommitteeColdTxCert
pattern AnyEraRetirePoolTxCert
pattern AnyEraUnRegDRepTxCert
pattern AnyEraUnRegDepositTxCert
pattern AnyEraUnRegTxCert
pattern AnyEraUpdateDRepTxCert
pattern AuthCommitteeHotKeyTxCert
pattern DelegTxCert
pattern RegDRepTxCert
pattern RegDepositDelegTxCert
pattern RegDepositTxCert
pattern ResignCommitteeColdTxCert
pattern UnRegDRepTxCert
pattern UnRegDepositTxCert
value getDelegateeTxCert
value getStakePoolDelegatee
pattern RegPoolTxCert
pattern RetirePoolTxCert
value isRegStakeTxCert
value isUnRegStakeTxCert
pattern DelegStakeTxCert
pattern GenesisDelegTxCert
pattern MirTxCert
pattern RegTxCert
pattern UnRegTxCert
class AnyEraTxCert
class ConwayEraTxCert
data Delegatee
class EraTxCert
class ShelleyEraTxCert

Packagecardano-ledger-api-1.14.0.0
Exports39
LicenceApache-2.0

pattern

pattern AnyEraAuthCommitteeHotKeyTxCert :: AnyEraTxCert era => Credential ColdCommitteeRole -> Credential HotCommitteeRole -> TxCert era

patternpattern AnyEraDelegTxCert :: AnyEraTxCert era => Credential Staking -> Delegatee -> TxCert era

pattern

pattern AnyEraGenesisDelegTxCert :: AnyEraTxCert era => KeyHash GenesisRole -> KeyHash GenesisDelegate -> VRFVerKeyHash GenDelegVRF -> TxCert era

patternpattern AnyEraMirTxCert :: AnyEraTxCert era => MIRCert -> TxCert era

patternpattern AnyEraRegDRepTxCert :: AnyEraTxCert era => Credential DRepRole -> Coin -> StrictMaybe Anchor -> TxCert era

patternpattern AnyEraRegDepositDelegTxCert :: AnyEraTxCert era => Credential Staking -> Delegatee -> Coin -> TxCert era

patternpattern AnyEraRegDepositTxCert :: AnyEraTxCert era => Credential Staking -> Coin -> TxCert era

patternpattern AnyEraRegPoolTxCert :: EraTxCert era => StakePoolParams -> TxCert era

patternpattern AnyEraRegTxCert :: AnyEraTxCert era => Credential Staking -> TxCert era

pattern

pattern AnyEraResignCommitteeColdTxCert :: AnyEraTxCert era => Credential ColdCommitteeRole -> StrictMaybe Anchor -> TxCert era

patternpattern AnyEraRetirePoolTxCert :: EraTxCert era => KeyHash StakePool -> EpochNo -> TxCert era

patternpattern AnyEraUnRegDRepTxCert :: AnyEraTxCert era => Credential DRepRole -> Coin -> TxCert era

patternpattern AnyEraUnRegDepositTxCert :: AnyEraTxCert era => Credential Staking -> Coin -> TxCert era

patternpattern AnyEraUnRegTxCert :: AnyEraTxCert era => Credential Staking -> TxCert era

patternpattern AnyEraUpdateDRepTxCert :: AnyEraTxCert era => Credential DRepRole -> StrictMaybe Anchor -> TxCert era

pattern

pattern AuthCommitteeHotKeyTxCert :: ConwayEraTxCert era => Credential ColdCommitteeRole -> Credential HotCommitteeRole -> TxCert era

patternpattern DelegTxCert :: ConwayEraTxCert era => Credential Staking -> Delegatee -> TxCert era

patternpattern RegDRepTxCert :: ConwayEraTxCert era => Credential DRepRole -> Coin -> StrictMaybe Anchor -> TxCert era

patternpattern RegDepositDelegTxCert :: ConwayEraTxCert era => Credential Staking -> Delegatee -> Coin -> TxCert era

patternpattern RegDepositTxCert :: ConwayEraTxCert era => Credential Staking -> Coin -> TxCert era

pattern

pattern ResignCommitteeColdTxCert :: ConwayEraTxCert era => Credential ColdCommitteeRole -> StrictMaybe Anchor -> TxCert era

patternpattern UnRegDRepTxCert :: ConwayEraTxCert era => Credential DRepRole -> Coin -> TxCert era

patternpattern UnRegDepositTxCert :: ConwayEraTxCert era => Credential Staking -> Coin -> TxCert era

valuegetDelegateeTxCert :: ConwayEraTxCert era => TxCert era -> Maybe Delegatee

valuegetStakePoolDelegatee :: Delegatee -> Maybe (KeyHash StakePool)

patternpattern RegPoolTxCert :: EraTxCert era => StakePoolParams -> TxCert era

patternpattern RetirePoolTxCert :: EraTxCert era => KeyHash StakePool -> EpochNo -> TxCert era

valueisRegStakeTxCert :: EraTxCert era => TxCert era -> Bool

valueisUnRegStakeTxCert :: EraTxCert era => TxCert era -> Bool

patternpattern DelegStakeTxCert :: ShelleyEraTxCert era => Credential Staking -> KeyHash StakePool -> TxCert era

pattern

pattern GenesisDelegTxCert :: (ShelleyEraTxCert era, AtMostEra "Babbage" era) => KeyHash GenesisRole -> KeyHash GenesisDelegate -> VRFVerKeyHash GenDelegVRF -> TxCert era

patternpattern MirTxCert :: (ShelleyEraTxCert era, AtMostEra "Babbage" era) => MIRCert -> TxCert era

patternpattern RegTxCert :: ShelleyEraTxCert era => Credential Staking -> TxCert era

patternpattern UnRegTxCert :: ShelleyEraTxCert era => Credential Staking -> TxCert era

classclass EraTxCert era => AnyEraTxCert era where

Methods

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)

Instances7AnyEraTxCert, …

AnyEraTxCert AllegraEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Cert
AnyEraTxCert AlonzoEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Cert
AnyEraTxCert BabbageEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Cert
AnyEraTxCert ConwayEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Cert
AnyEraTxCert DijkstraEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Cert
AnyEraTxCert MaryEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Cert
AnyEraTxCert ShelleyEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Cert

classclass EraTxCert era => ConwayEraTxCert era where

Methods

getRegDepositTxCert :: TxCert era -> Maybe (Credential Staking, Coin)
getUnRegDepositTxCert :: TxCert era -> Maybe (Credential Staking, Coin)
getDelegTxCert :: TxCert era -> Maybe (Credential Staking, Delegatee)
getRegDepositDelegTxCert :: TxCert era -> Maybe (Credential Staking, 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)

Instances2ConwayEraTxCert

ConwayEraTxCert ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
ConwayEraTxCert DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxCert · orphan

datadata Delegatee

Constructors

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

Instances11Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq DelegateeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
Ord DelegateeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
Show DelegateeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
Generic DelegateeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
NFData DelegateeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
FromJSON DelegateeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
ToJSON DelegateeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
NoThunks DelegateeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
DecCBOR DelegateeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
EncCBOR DelegateeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
type Rep Delegatee = D1 ('MetaData "Delegatee" "Cardano.Ledger.Conway.TxCert" "cardano-ledger-conway-1.23.0.0-34PsTSoOOnQLCCifpEs317" 'False) (C1 ('MetaCons "DelegStake" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash StakePool))) :+: (C1 ('MetaCons "DelegVote" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DRep)) :+: C1 ('MetaCons "DelegStakeVote" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash StakePool)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DRep))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert

class

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

Associated types

type family TxCert era
type family TxCertUpgradeError era

Methods

upgradeTxCert :: EraTxCert (PreviousEra era) => TxCert (PreviousEra era) -> Either (TxCertUpgradeError era) (TxCert era)
getVKeyWitnessTxCert :: TxCert era -> Maybe (KeyHash Witness)
getScriptWitnessTxCert :: TxCert era -> Maybe ScriptHash
getRegPoolTxCert :: TxCert era -> Maybe StakePoolParams
getRetirePoolTxCert :: TxCert era -> Maybe (KeyHash StakePool, EpochNo)
lookupRegStakeTxCert :: TxCert era -> Maybe (Credential Staking)
lookupUnRegStakeTxCert :: TxCert era -> Maybe (Credential Staking)

Instances7EraTxCert, …

EraTxCert AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxCert · orphan
EraTxCert AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxCert · orphan
EraTxCert BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxCert · orphan
EraTxCert ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert · orphan
EraTxCert DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxCert · orphan
EraTxCert MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxCert · orphan
EraTxCert ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert · orphan

classclass (EraTxCert era, AtMostEra "Conway" era) => ShelleyEraTxCert era where

Methods

getRegTxCert :: TxCert era -> Maybe (Credential Staking)
getUnRegTxCert :: TxCert era -> Maybe (Credential Staking)
getDelegStakeTxCert :: TxCert era -> Maybe (Credential Staking, KeyHash StakePool)
getGenesisDelegTxCert :: AtMostEra "Babbage" era => TxCert era -> Maybe GenesisDelegCert
getMirTxCert :: AtMostEra "Babbage" era => TxCert era -> Maybe MIRCert

Instances6ShelleyEraTxCert

ShelleyEraTxCert AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxCert · orphan
ShelleyEraTxCert AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxCert · orphan
ShelleyEraTxCert BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxCert · orphan
ShelleyEraTxCert ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert · orphan
ShelleyEraTxCert MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxCert · orphan
ShelleyEraTxCert ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert