| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Conway.TxCert
Contents
Synopsis
- data ConwayTxCert era
- data ConwayTxCertUpgradeError
- data ConwayDelegCert
- data ConwayGovCert
- = ConwayRegDRep !(Credential 'DRepRole) !Coin !(StrictMaybe Anchor)
- | ConwayUnRegDRep !(Credential 'DRepRole) !Coin
- | ConwayUpdateDRep !(Credential 'DRepRole) !(StrictMaybe Anchor)
- | ConwayAuthCommitteeHotKey !(Credential 'ColdCommitteeRole) !(Credential 'HotCommitteeRole)
- | ConwayResignCommitteeColdKey !(Credential 'ColdCommitteeRole) !(StrictMaybe Anchor)
- data Delegatee
- = DelegStake !(KeyHash 'StakePool)
- | DelegVote !DRep
- | DelegStakeVote !(KeyHash 'StakePool) !DRep
- mkDelegatee ∷ Maybe (KeyHash 'StakePool) → Maybe DRep → Maybe Delegatee
- class EraTxCert era ⇒ ConwayEraTxCert era where
- mkRegDepositTxCert ∷ StakeCredential → Coin → TxCert era
- getRegDepositTxCert ∷ TxCert era → Maybe (StakeCredential, Coin)
- mkUnRegDepositTxCert ∷ StakeCredential → Coin → TxCert era
- getUnRegDepositTxCert ∷ TxCert era → Maybe (StakeCredential, Coin)
- mkDelegTxCert ∷ StakeCredential → Delegatee → TxCert era
- getDelegTxCert ∷ TxCert era → Maybe (StakeCredential, Delegatee)
- mkRegDepositDelegTxCert ∷ StakeCredential → Delegatee → Coin → TxCert era
- getRegDepositDelegTxCert ∷ TxCert era → Maybe (StakeCredential, Delegatee, Coin)
- mkAuthCommitteeHotKeyTxCert ∷ Credential 'ColdCommitteeRole → Credential 'HotCommitteeRole → TxCert era
- getAuthCommitteeHotKeyTxCert ∷ TxCert era → Maybe (Credential 'ColdCommitteeRole, Credential 'HotCommitteeRole)
- mkResignCommitteeColdTxCert ∷ Credential 'ColdCommitteeRole → StrictMaybe Anchor → TxCert era
- getResignCommitteeColdTxCert ∷ TxCert era → Maybe (Credential 'ColdCommitteeRole, StrictMaybe Anchor)
- mkRegDRepTxCert ∷ Credential 'DRepRole → Coin → StrictMaybe Anchor → TxCert era
- getRegDRepTxCert ∷ TxCert era → Maybe (Credential 'DRepRole, Coin, StrictMaybe Anchor)
- mkUnRegDRepTxCert ∷ Credential 'DRepRole → Coin → TxCert era
- getUnRegDRepTxCert ∷ TxCert era → Maybe (Credential 'DRepRole, Coin)
- mkUpdateDRepTxCert ∷ Credential 'DRepRole → StrictMaybe Anchor → TxCert era
- getUpdateDRepTxCert ∷ TxCert era → Maybe (Credential 'DRepRole, StrictMaybe Anchor)
- conwayTxCertDelegDecoder ∷ ConwayEraTxCert era ⇒ Word → Decoder s (Int, TxCert era)
- fromShelleyDelegCert ∷ ShelleyDelegCert → ConwayDelegCert
- toShelleyDelegCert ∷ ConwayDelegCert → Maybe ShelleyDelegCert
- getScriptWitnessConwayTxCert ∷ ConwayTxCert era → Maybe ScriptHash
- getVKeyWitnessConwayTxCert ∷ ConwayTxCert era → Maybe (KeyHash 'Witness)
- conwayGovCertVKeyWitness ∷ ConwayGovCert → Maybe (KeyHash 'Witness)
- getDelegateeTxCert ∷ ConwayEraTxCert era ⇒ TxCert era → Maybe Delegatee
- getStakePoolDelegatee ∷ Delegatee → Maybe (KeyHash 'StakePool)
- getDRepDelegatee ∷ Delegatee → Maybe DRep
- conwayDRepDepositsTxCerts ∷ (ConwayEraPParams era, Foldable f, ConwayEraTxCert era) ⇒ PParams era → f (TxCert era) → Coin
- conwayDRepRefundsTxCerts ∷ (Foldable f, ConwayEraTxCert era) ⇒ (Credential 'DRepRole → Maybe Coin) → f (TxCert era) → Coin
- conwayTotalDepositsTxCerts ∷ (ConwayEraPParams era, Foldable f, ConwayEraTxCert era) ⇒ PParams era → (KeyHash 'StakePool → Bool) → f (TxCert era) → Coin
- conwayTotalRefundsTxCerts ∷ (EraPParams era, Foldable f, ConwayEraTxCert era) ⇒ PParams era → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → f (TxCert era) → Coin
- pattern RegDepositTxCert ∷ ConwayEraTxCert era ⇒ StakeCredential → Coin → TxCert era
- pattern UnRegDepositTxCert ∷ ConwayEraTxCert era ⇒ StakeCredential → Coin → TxCert era
- pattern DelegTxCert ∷ ConwayEraTxCert era ⇒ StakeCredential → Delegatee → TxCert era
- pattern RegDepositDelegTxCert ∷ ConwayEraTxCert era ⇒ StakeCredential → Delegatee → Coin → TxCert era
- pattern AuthCommitteeHotKeyTxCert ∷ ConwayEraTxCert era ⇒ Credential 'ColdCommitteeRole → Credential 'HotCommitteeRole → TxCert era
- pattern ResignCommitteeColdTxCert ∷ ConwayEraTxCert era ⇒ Credential 'ColdCommitteeRole → StrictMaybe Anchor → TxCert era
- pattern RegDRepTxCert ∷ ConwayEraTxCert era ⇒ Credential 'DRepRole → Coin → StrictMaybe Anchor → TxCert era
- pattern UnRegDRepTxCert ∷ ConwayEraTxCert era ⇒ Credential 'DRepRole → Coin → TxCert era
- pattern UpdateDRepTxCert ∷ ConwayEraTxCert era ⇒ Credential 'DRepRole → StrictMaybe Anchor → TxCert era
Documentation
data ConwayTxCert era Source #
Constructors
| ConwayTxCertDeleg !ConwayDelegCert | |
| ConwayTxCertPool !PoolCert | |
| ConwayTxCertGov !ConwayGovCert |
Instances
data ConwayTxCertUpgradeError Source #
Constructors
| MirTxCertExpunged | |
| GenesisDelegTxCertExpunged |
Instances
| Show ConwayTxCertUpgradeError Source # | |
Defined in Cardano.Ledger.Conway.TxCert Methods showsPrec ∷ Int → ConwayTxCertUpgradeError → ShowS # | |
| Eq ConwayTxCertUpgradeError Source # | |
Defined in Cardano.Ledger.Conway.TxCert | |
data ConwayDelegCert Source #
Certificates for registration and delegation of stake to Pools and DReps. Comparing to previous eras, there is now ability to:
- Register and delegate with a single certificate:
ConwayRegDelegCert - Ability to delegate to DReps with
DelegVoteandDelegStakeVote - Ability to specify the deposit amount. Deposits during registration and
unregistration in Conway are optional, which will change in the future era. They are
optional only for the smooth transition from Babbage to Conway. Validity of deposits
is checked by the
CERTrule.
Constructors
| ConwayRegCert !StakeCredential !(StrictMaybe Coin) | Register staking credential. Deposit, when present, must match the expected deposit
amount specified by |
| ConwayUnRegCert !StakeCredential !(StrictMaybe Coin) | De-Register the staking credential. Deposit, if present, must match the amount that was left as a deposit upon stake credential registration. |
| ConwayDelegCert !StakeCredential !Delegatee | Delegate staking credentials to a delegatee. Staking credential must already be registered. |
| ConwayRegDelegCert !StakeCredential !Delegatee !Coin | This is a new type of certificate, which allows to register staking credential
and delegate within a single certificate. Deposit is required and must match the
expected deposit amount specified by |
Instances
| ToJSON ConwayDelegCert Source # | |||||
Defined in Cardano.Ledger.Conway.TxCert Methods toJSON ∷ ConwayDelegCert → Value Source # toEncoding ∷ ConwayDelegCert → Encoding Source # toJSONList ∷ [ConwayDelegCert] → Value Source # | |||||
| EncCBOR ConwayDelegCert Source # | |||||
Defined in Cardano.Ledger.Conway.TxCert Methods | |||||
| NFData ConwayDelegCert Source # | |||||
Defined in Cardano.Ledger.Conway.TxCert Methods rnf ∷ ConwayDelegCert → () # | |||||
| Generic ConwayDelegCert Source # | |||||
Defined in Cardano.Ledger.Conway.TxCert Associated Types
Methods from ∷ ConwayDelegCert → Rep ConwayDelegCert x # to ∷ Rep ConwayDelegCert x → ConwayDelegCert # | |||||
| Show ConwayDelegCert Source # | |||||
Defined in Cardano.Ledger.Conway.TxCert Methods showsPrec ∷ Int → ConwayDelegCert → ShowS # show ∷ ConwayDelegCert → String # showList ∷ [ConwayDelegCert] → ShowS # | |||||
| Eq ConwayDelegCert Source # | |||||
Defined in Cardano.Ledger.Conway.TxCert Methods (==) ∷ ConwayDelegCert → ConwayDelegCert → Bool # (/=) ∷ ConwayDelegCert → ConwayDelegCert → Bool # | |||||
| Ord ConwayDelegCert Source # | |||||
Defined in Cardano.Ledger.Conway.TxCert Methods compare ∷ ConwayDelegCert → ConwayDelegCert → Ordering # (<) ∷ ConwayDelegCert → ConwayDelegCert → Bool # (<=) ∷ ConwayDelegCert → ConwayDelegCert → Bool # (>) ∷ ConwayDelegCert → ConwayDelegCert → Bool # (>=) ∷ ConwayDelegCert → ConwayDelegCert → Bool # | |||||
| NoThunks ConwayDelegCert Source # | |||||
Defined in Cardano.Ledger.Conway.TxCert | |||||
| type Rep ConwayDelegCert Source # | |||||
Defined in Cardano.Ledger.Conway.TxCert type Rep ConwayDelegCert = D1 ('MetaData "ConwayDelegCert" "Cardano.Ledger.Conway.TxCert" "cardano-ledger-conway-1.21.0.0-inplace" 'False) ((C1 ('MetaCons "ConwayRegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StakeCredential) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Coin))) :+: C1 ('MetaCons "ConwayUnRegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StakeCredential) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Coin)))) :+: (C1 ('MetaCons "ConwayDelegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StakeCredential) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Delegatee)) :+: C1 ('MetaCons "ConwayRegDelegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StakeCredential) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Delegatee) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))))) | |||||
data ConwayGovCert Source #
Constructors
| ConwayRegDRep !(Credential 'DRepRole) !Coin !(StrictMaybe Anchor) | |
| ConwayUnRegDRep !(Credential 'DRepRole) !Coin | |
| ConwayUpdateDRep !(Credential 'DRepRole) !(StrictMaybe Anchor) | |
| ConwayAuthCommitteeHotKey !(Credential 'ColdCommitteeRole) !(Credential 'HotCommitteeRole) | |
| ConwayResignCommitteeColdKey !(Credential 'ColdCommitteeRole) !(StrictMaybe Anchor) |
Instances
| ToJSON ConwayGovCert Source # | |||||
Defined in Cardano.Ledger.Conway.TxCert Methods toJSON ∷ ConwayGovCert → Value Source # toEncoding ∷ ConwayGovCert → Encoding Source # toJSONList ∷ [ConwayGovCert] → Value Source # | |||||
| EncCBOR ConwayGovCert Source # | |||||
Defined in Cardano.Ledger.Conway.TxCert Methods | |||||
| NFData ConwayGovCert Source # | |||||
Defined in Cardano.Ledger.Conway.TxCert Methods rnf ∷ ConwayGovCert → () # | |||||
| Generic ConwayGovCert Source # | |||||
Defined in Cardano.Ledger.Conway.TxCert Associated Types
| |||||
| Show ConwayGovCert Source # | |||||
Defined in Cardano.Ledger.Conway.TxCert Methods showsPrec ∷ Int → ConwayGovCert → ShowS # show ∷ ConwayGovCert → String # showList ∷ [ConwayGovCert] → ShowS # | |||||
| Eq ConwayGovCert Source # | |||||
Defined in Cardano.Ledger.Conway.TxCert | |||||
| Ord ConwayGovCert Source # | |||||
Defined in Cardano.Ledger.Conway.TxCert Methods compare ∷ ConwayGovCert → ConwayGovCert → Ordering # (<) ∷ ConwayGovCert → ConwayGovCert → Bool # (<=) ∷ ConwayGovCert → ConwayGovCert → Bool # (>) ∷ ConwayGovCert → ConwayGovCert → Bool # (>=) ∷ ConwayGovCert → ConwayGovCert → Bool # | |||||
| NoThunks ConwayGovCert Source # | |||||
Defined in Cardano.Ledger.Conway.TxCert | |||||
| type Rep ConwayGovCert Source # | |||||
Defined in Cardano.Ledger.Conway.TxCert type Rep ConwayGovCert = D1 ('MetaData "ConwayGovCert" "Cardano.Ledger.Conway.TxCert" "cardano-ledger-conway-1.21.0.0-inplace" 'False) ((C1 ('MetaCons "ConwayRegDRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'DRepRole)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Anchor)))) :+: C1 ('MetaCons "ConwayUnRegDRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'DRepRole)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))) :+: (C1 ('MetaCons "ConwayUpdateDRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'DRepRole)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Anchor))) :+: (C1 ('MetaCons "ConwayAuthCommitteeHotKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'ColdCommitteeRole)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'HotCommitteeRole))) :+: C1 ('MetaCons "ConwayResignCommitteeColdKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'ColdCommitteeRole)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Anchor)))))) | |||||
First type argument is the deposit
Constructors
| DelegStake !(KeyHash 'StakePool) | |
| DelegVote !DRep | |
| DelegStakeVote !(KeyHash 'StakePool) !DRep |
Instances
| FromJSON Delegatee Source # | |||||
| ToJSON Delegatee Source # | |||||
| DecCBOR Delegatee Source # | |||||
| EncCBOR Delegatee Source # | |||||
| NFData Delegatee Source # | |||||
Defined in Cardano.Ledger.Conway.TxCert | |||||
| Generic Delegatee Source # | |||||
Defined in Cardano.Ledger.Conway.TxCert Associated Types
| |||||
| Show Delegatee Source # | |||||
| Eq Delegatee Source # | |||||
| Ord Delegatee Source # | |||||
Defined in Cardano.Ledger.Conway.TxCert | |||||
| NoThunks Delegatee Source # | |||||
| type Rep Delegatee Source # | |||||
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)))) | |||||
class EraTxCert era ⇒ ConwayEraTxCert era where Source #
Methods
mkRegDepositTxCert ∷ StakeCredential → Coin → TxCert era Source #
getRegDepositTxCert ∷ TxCert era → Maybe (StakeCredential, Coin) Source #
mkUnRegDepositTxCert ∷ StakeCredential → Coin → TxCert era Source #
getUnRegDepositTxCert ∷ TxCert era → Maybe (StakeCredential, Coin) Source #
mkDelegTxCert ∷ StakeCredential → Delegatee → TxCert era Source #
getDelegTxCert ∷ TxCert era → Maybe (StakeCredential, Delegatee) Source #
mkRegDepositDelegTxCert ∷ StakeCredential → Delegatee → Coin → TxCert era Source #
getRegDepositDelegTxCert ∷ TxCert era → Maybe (StakeCredential, Delegatee, Coin) Source #
mkAuthCommitteeHotKeyTxCert ∷ Credential 'ColdCommitteeRole → Credential 'HotCommitteeRole → TxCert era Source #
getAuthCommitteeHotKeyTxCert ∷ TxCert era → Maybe (Credential 'ColdCommitteeRole, Credential 'HotCommitteeRole) Source #
mkResignCommitteeColdTxCert ∷ Credential 'ColdCommitteeRole → StrictMaybe Anchor → TxCert era Source #
getResignCommitteeColdTxCert ∷ TxCert era → Maybe (Credential 'ColdCommitteeRole, StrictMaybe Anchor) Source #
mkRegDRepTxCert ∷ Credential 'DRepRole → Coin → StrictMaybe Anchor → TxCert era Source #
getRegDRepTxCert ∷ TxCert era → Maybe (Credential 'DRepRole, Coin, StrictMaybe Anchor) Source #
mkUnRegDRepTxCert ∷ Credential 'DRepRole → Coin → TxCert era Source #
getUnRegDRepTxCert ∷ TxCert era → Maybe (Credential 'DRepRole, Coin) Source #
mkUpdateDRepTxCert ∷ Credential 'DRepRole → StrictMaybe Anchor → TxCert era Source #
getUpdateDRepTxCert ∷ TxCert era → Maybe (Credential 'DRepRole, StrictMaybe Anchor) Source #
Instances
| ConwayEraTxCert ConwayEra Source # | |
Defined in Cardano.Ledger.Conway.TxCert Methods mkRegDepositTxCert ∷ StakeCredential → Coin → TxCert ConwayEra Source # getRegDepositTxCert ∷ TxCert ConwayEra → Maybe (StakeCredential, Coin) Source # mkUnRegDepositTxCert ∷ StakeCredential → Coin → TxCert ConwayEra Source # getUnRegDepositTxCert ∷ TxCert ConwayEra → Maybe (StakeCredential, Coin) Source # mkDelegTxCert ∷ StakeCredential → Delegatee → TxCert ConwayEra Source # getDelegTxCert ∷ TxCert ConwayEra → Maybe (StakeCredential, Delegatee) Source # mkRegDepositDelegTxCert ∷ StakeCredential → Delegatee → Coin → TxCert ConwayEra Source # getRegDepositDelegTxCert ∷ TxCert ConwayEra → Maybe (StakeCredential, 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 # | |
conwayTxCertDelegDecoder ∷ ConwayEraTxCert era ⇒ Word → Decoder s (Int, TxCert era) Source #
getVKeyWitnessConwayTxCert ∷ ConwayTxCert era → Maybe (KeyHash 'Witness) Source #
getDelegateeTxCert ∷ ConwayEraTxCert era ⇒ TxCert era → Maybe Delegatee Source #
conwayDRepDepositsTxCerts ∷ (ConwayEraPParams era, Foldable f, ConwayEraTxCert era) ⇒ PParams era → f (TxCert era) → Coin Source #
conwayDRepRefundsTxCerts ∷ (Foldable f, ConwayEraTxCert era) ⇒ (Credential 'DRepRole → Maybe Coin) → f (TxCert era) → Coin Source #
Compute the Refunds from a TxBody, given a function that computes a partial Coin for known Credentials.
conwayTotalDepositsTxCerts Source #
Arguments
| ∷ (ConwayEraPParams era, Foldable f, ConwayEraTxCert era) | |
| ⇒ PParams era | |
| → (KeyHash 'StakePool → Bool) | Check whether a pool with a supplied PoolStakeId is already registered. |
| → f (TxCert era) | |
| → Coin |
Determine the total deposit amount needed from a TxBody. The block may (legitimately) contain multiple registration certificates for the same pool, where the first will be treated as a registration and any subsequent ones as re-registration. As such, we must only take a deposit for the first such registration. It is even possible for a single transaction to have multiple pool registration for the same pool, so as we process pool registrations, we must keep track of those that are already registered, so we do not add a Deposit for the same pool twice.
Note that this is not an issue for key registrations since subsequent registration certificates would be invalid.
conwayTotalRefundsTxCerts Source #
Arguments
| ∷ (EraPParams era, Foldable f, ConwayEraTxCert era) | |
| ⇒ PParams era | |
| → (Credential 'Staking → Maybe Coin) | Function that can lookup current deposit, in case when the Staking credential is registered. |
| → (Credential 'DRepRole → Maybe Coin) | Function that can lookup current deposit, in case when the DRep credential is registered. |
| → f (TxCert era) | |
| → Coin |
Compute the key deregistration refunds in a transaction
pattern RegDepositTxCert ∷ ConwayEraTxCert era ⇒ StakeCredential → Coin → TxCert era Source #
pattern UnRegDepositTxCert ∷ ConwayEraTxCert era ⇒ StakeCredential → Coin → TxCert era Source #
pattern DelegTxCert ∷ ConwayEraTxCert era ⇒ StakeCredential → Delegatee → TxCert era Source #
pattern RegDepositDelegTxCert ∷ ConwayEraTxCert era ⇒ StakeCredential → 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 #
pattern UpdateDRepTxCert ∷ ConwayEraTxCert era ⇒ Credential 'DRepRole → StrictMaybe Anchor → TxCert era Source #
Orphan instances
| EraTxCert ConwayEra Source # | |||||||||
Associated Types
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 # | |||||||||
| ShelleyEraTxCert ConwayEra Source # | |||||||||
Methods mkRegTxCert ∷ StakeCredential → TxCert ConwayEra Source # getRegTxCert ∷ TxCert ConwayEra → Maybe StakeCredential Source # mkUnRegTxCert ∷ StakeCredential → TxCert ConwayEra Source # getUnRegTxCert ∷ TxCert ConwayEra → Maybe StakeCredential Source # mkDelegStakeTxCert ∷ StakeCredential → KeyHash 'StakePool → TxCert ConwayEra Source # getDelegStakeTxCert ∷ TxCert ConwayEra → Maybe (StakeCredential, KeyHash 'StakePool) Source # mkGenesisDelegTxCert ∷ GenesisDelegCert → TxCert ConwayEra Source # getGenesisDelegTxCert ∷ TxCert ConwayEra → Maybe GenesisDelegCert Source # | |||||||||