Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Conway.TxCert

Contents

Orphan instances

Synopsis

data ConwayTxCert era
- = ConwayTxCertDeleg !ConwayDelegCert
- | ConwayTxCertPool !PoolCert
- | ConwayTxCertGov !ConwayGovCert
data ConwayTxCertUpgradeError
- = MirTxCertExpunged
- | GenesisDelegTxCertExpunged
data ConwayDelegCert
- = ConwayRegCert !StakeCredential !(StrictMaybe Coin)
- | ConwayUnRegCert !StakeCredential !(StrictMaybe Coin)
- | ConwayDelegCert !StakeCredential !Delegatee
- | ConwayRegDelegCert !StakeCredential !Delegatee !Coin
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
class ShelleyEraTxCert 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)
fromShelleyDelegCert ∷ ShelleyDelegCert → ConwayDelegCert
toShelleyDelegCert ∷ ConwayDelegCert → Maybe ShelleyDelegCert
getScriptWitnessConwayTxCert ∷ ConwayTxCert era → Maybe ScriptHash
getVKeyWitnessConwayTxCert ∷ ConwayTxCert era → Maybe (KeyHash 'Witness)
getDelegateeTxCert ∷ ConwayEraTxCert era ⇒ TxCert era → Maybe Delegatee
getStakePoolDelegatee ∷ Delegatee → Maybe (KeyHash 'StakePool)
getVoteDelegatee ∷ 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

Instances details

Era era ⇒ ToJSON (ConwayTxCert era) Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods toJSON ∷ ConwayTxCert era → Value Source # toEncoding ∷ ConwayTxCert era → Encoding Source # toJSONList ∷ [ConwayTxCert era] → Value Source # toEncodingList ∷ [ConwayTxCert era] → Encoding Source # omitField ∷ ConwayTxCert era → Bool Source #
Generic (ConwayTxCert era) Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Associated Types type Rep (ConwayTxCert era) ∷ Type → Type Source # Methods from ∷ ConwayTxCert era → Rep (ConwayTxCert era) x Source # to ∷ Rep (ConwayTxCert era) x → ConwayTxCert era Source #
Show (ConwayTxCert era) Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods showsPrec ∷ Int → ConwayTxCert era → ShowS Source # show ∷ ConwayTxCert era → String Source # showList ∷ [ConwayTxCert era] → ShowS Source #
(ShelleyEraTxCert era, TxCert era ~ ConwayTxCert era) ⇒ FromCBOR (ConwayTxCert era) Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods fromCBOR ∷ Decoder s (ConwayTxCert era) Source # label ∷ Proxy (ConwayTxCert era) → Text Source #
(Era era, Val (Value era)) ⇒ ToCBOR (ConwayTxCert era) Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods toCBOR ∷ ConwayTxCert era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ConwayTxCert era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ConwayTxCert era] → Size Source #
(ConwayEraTxCert era, TxCert era ~ ConwayTxCert era) ⇒ DecCBOR (ConwayTxCert era) Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods decCBOR ∷ Decoder s (ConwayTxCert era) Source # dropCBOR ∷ Proxy (ConwayTxCert era) → Decoder s () Source # label ∷ Proxy (ConwayTxCert era) → Text Source #
(Era era, Val (Value era)) ⇒ EncCBOR (ConwayTxCert era) Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods encCBOR ∷ ConwayTxCert era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ConwayTxCert era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayTxCert era] → Size Source #
NFData (ConwayTxCert era) Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods rnf ∷ ConwayTxCert era → () Source #
Eq (ConwayTxCert era) Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods (==) ∷ ConwayTxCert era → ConwayTxCert era → Bool Source # (/=) ∷ ConwayTxCert era → ConwayTxCert era → Bool Source #
Ord (ConwayTxCert era) Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods compare ∷ ConwayTxCert era → ConwayTxCert era → Ordering Source # (<) ∷ ConwayTxCert era → ConwayTxCert era → Bool Source # (<=) ∷ ConwayTxCert era → ConwayTxCert era → Bool Source # (>) ∷ ConwayTxCert era → ConwayTxCert era → Bool Source # (>=) ∷ ConwayTxCert era → ConwayTxCert era → Bool Source # max ∷ ConwayTxCert era → ConwayTxCert era → ConwayTxCert era Source # min ∷ ConwayTxCert era → ConwayTxCert era → ConwayTxCert era Source #
NoThunks (ConwayTxCert era) Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods noThunks ∷ Context → ConwayTxCert era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConwayTxCert era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConwayTxCert era) → String Source #
type Rep (ConwayTxCert era) Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert type Rep (ConwayTxCert era) = D1 ('MetaData "ConwayTxCert" "Cardano.Ledger.Conway.TxCert" "cardano-ledger-conway-1.19.0.0-inplace" 'False) (C1 ('MetaCons "ConwayTxCertDeleg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ConwayDelegCert)) :+: (C1 ('MetaCons "ConwayTxCertPool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PoolCert)) :+: C1 ('MetaCons "ConwayTxCertGov" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ConwayGovCert))))

data ConwayTxCertUpgradeError Source #

Constructors

MirTxCertExpunged
GenesisDelegTxCertExpunged

Instances

Instances details

Show ConwayTxCertUpgradeError Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods showsPrec ∷ Int → ConwayTxCertUpgradeError → ShowS Source # show ∷ ConwayTxCertUpgradeError → String Source # showList ∷ [ConwayTxCertUpgradeError] → ShowS Source #
Eq ConwayTxCertUpgradeError Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods (==) ∷ ConwayTxCertUpgradeError → ConwayTxCertUpgradeError → Bool Source # (/=) ∷ ConwayTxCertUpgradeError → ConwayTxCertUpgradeError → Bool Source #

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 DelegVote and DelegStakeVote
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 CERT rule.

Constructors

ConwayRegCert !StakeCredential !(StrictMaybe Coin)	Register staking credential. Deposit, when present, must match the expected deposit amount specified by `ppKeyDepositL` in the protocol parameters.
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 `ppKeyDepositL` in the protocol parameters.

Instances

Instances details

ToJSON ConwayDelegCert Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods toJSON ∷ ConwayDelegCert → Value Source # toEncoding ∷ ConwayDelegCert → Encoding Source # toJSONList ∷ [ConwayDelegCert] → Value Source # toEncodingList ∷ [ConwayDelegCert] → Encoding Source # omitField ∷ ConwayDelegCert → Bool Source #
Generic ConwayDelegCert Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Associated Types type Rep ConwayDelegCert ∷ Type → Type Source # Methods from ∷ ConwayDelegCert → Rep ConwayDelegCert x Source # to ∷ Rep ConwayDelegCert x → ConwayDelegCert Source #
Show ConwayDelegCert Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods showsPrec ∷ Int → ConwayDelegCert → ShowS Source # show ∷ ConwayDelegCert → String Source # showList ∷ [ConwayDelegCert] → ShowS Source #
EncCBOR ConwayDelegCert Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods encCBOR ∷ ConwayDelegCert → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy ConwayDelegCert → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayDelegCert] → Size Source #
NFData ConwayDelegCert Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods rnf ∷ ConwayDelegCert → () Source #
Eq ConwayDelegCert Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods (==) ∷ ConwayDelegCert → ConwayDelegCert → Bool Source # (/=) ∷ ConwayDelegCert → ConwayDelegCert → Bool Source #
Ord ConwayDelegCert Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods compare ∷ ConwayDelegCert → ConwayDelegCert → Ordering Source # (<) ∷ ConwayDelegCert → ConwayDelegCert → Bool Source # (<=) ∷ ConwayDelegCert → ConwayDelegCert → Bool Source # (>) ∷ ConwayDelegCert → ConwayDelegCert → Bool Source # (>=) ∷ ConwayDelegCert → ConwayDelegCert → Bool Source # max ∷ ConwayDelegCert → ConwayDelegCert → ConwayDelegCert Source # min ∷ ConwayDelegCert → ConwayDelegCert → ConwayDelegCert Source #
NoThunks ConwayDelegCert Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods noThunks ∷ Context → ConwayDelegCert → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConwayDelegCert → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ConwayDelegCert → String Source #
type Rep ConwayDelegCert Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert type Rep ConwayDelegCert = D1 ('MetaData "ConwayDelegCert" "Cardano.Ledger.Conway.TxCert" "cardano-ledger-conway-1.19.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 #

Instances

Instances details

ToJSON ConwayGovCert Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods toJSON ∷ ConwayGovCert → Value Source # toEncoding ∷ ConwayGovCert → Encoding Source # toJSONList ∷ [ConwayGovCert] → Value Source # toEncodingList ∷ [ConwayGovCert] → Encoding Source # omitField ∷ ConwayGovCert → Bool Source #
Generic ConwayGovCert Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Associated Types type Rep ConwayGovCert ∷ Type → Type Source # Methods from ∷ ConwayGovCert → Rep ConwayGovCert x Source # to ∷ Rep ConwayGovCert x → ConwayGovCert Source #
Show ConwayGovCert Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods showsPrec ∷ Int → ConwayGovCert → ShowS Source # show ∷ ConwayGovCert → String Source # showList ∷ [ConwayGovCert] → ShowS Source #
EncCBOR ConwayGovCert Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods encCBOR ∷ ConwayGovCert → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy ConwayGovCert → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayGovCert] → Size Source #
NFData ConwayGovCert Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods rnf ∷ ConwayGovCert → () Source #
Eq ConwayGovCert Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods (==) ∷ ConwayGovCert → ConwayGovCert → Bool Source # (/=) ∷ ConwayGovCert → ConwayGovCert → Bool Source #
Ord ConwayGovCert Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods compare ∷ ConwayGovCert → ConwayGovCert → Ordering Source # (<) ∷ ConwayGovCert → ConwayGovCert → Bool Source # (<=) ∷ ConwayGovCert → ConwayGovCert → Bool Source # (>) ∷ ConwayGovCert → ConwayGovCert → Bool Source # (>=) ∷ ConwayGovCert → ConwayGovCert → Bool Source # max ∷ ConwayGovCert → ConwayGovCert → ConwayGovCert Source # min ∷ ConwayGovCert → ConwayGovCert → ConwayGovCert Source #
NoThunks ConwayGovCert Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods noThunks ∷ Context → ConwayGovCert → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConwayGovCert → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ConwayGovCert → String Source #
type Rep ConwayGovCert Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert type Rep ConwayGovCert = D1 ('MetaData "ConwayGovCert" "Cardano.Ledger.Conway.TxCert" "cardano-ledger-conway-1.19.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))))))

data Delegatee Source #

First type argument is the deposit

Constructors

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

Instances

Instances details

FromJSON Delegatee Source #
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 Source #
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 #
Generic Delegatee Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Associated Types type Rep Delegatee ∷ Type → Type Source # Methods from ∷ Delegatee → Rep Delegatee x Source # to ∷ Rep Delegatee x → Delegatee Source #
Show Delegatee Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods showsPrec ∷ Int → Delegatee → ShowS Source # show ∷ Delegatee → String Source # showList ∷ [Delegatee] → ShowS Source #
DecCBOR Delegatee Source #
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 Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods encCBOR ∷ Delegatee → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy Delegatee → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Delegatee] → Size Source #
NFData Delegatee Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods rnf ∷ Delegatee → () Source #
Eq Delegatee Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods (==) ∷ Delegatee → Delegatee → Bool Source # (/=) ∷ Delegatee → Delegatee → Bool Source #
Ord Delegatee Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods compare ∷ Delegatee → Delegatee → Ordering Source # (<) ∷ Delegatee → Delegatee → Bool Source # (<=) ∷ Delegatee → Delegatee → Bool Source # (>) ∷ Delegatee → Delegatee → Bool Source # (>=) ∷ Delegatee → Delegatee → Bool Source # max ∷ Delegatee → Delegatee → Delegatee Source # min ∷ Delegatee → Delegatee → Delegatee Source #
NoThunks Delegatee Source #
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 Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert type Rep Delegatee = D1 ('MetaData "Delegatee" "Cardano.Ledger.Conway.TxCert" "cardano-ledger-conway-1.19.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 ShelleyEraTxCert 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

Instances details

ConwayEraTxCert ConwayEra Source #

Instance details

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 #

fromShelleyDelegCert ∷ ShelleyDelegCert → ConwayDelegCert Source #

toShelleyDelegCert ∷ ConwayDelegCert → Maybe ShelleyDelegCert Source #

getScriptWitnessConwayTxCert ∷ ConwayTxCert era → Maybe ScriptHash Source #

getVKeyWitnessConwayTxCert ∷ ConwayTxCert era → Maybe (KeyHash 'Witness) Source #

getDelegateeTxCert ∷ ConwayEraTxCert era ⇒ TxCert era → Maybe Delegatee Source #

getStakePoolDelegatee ∷ Delegatee → Maybe (KeyHash 'StakePool) Source #

getVoteDelegatee ∷ Delegatee → Maybe DRep 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 #
Instance details Associated Types type TxCert ConwayEra = (r ∷ Type) Source # type TxCertUpgradeError ConwayEra Source # 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 ∷ PoolParams → TxCert ConwayEra Source # getRegPoolTxCert ∷ TxCert ConwayEra → Maybe PoolParams 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 #
Instance details 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 # mkMirTxCert ∷ MIRCert → TxCert ConwayEra Source # getMirTxCert ∷ TxCert ConwayEra → Maybe MIRCert Source #

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)