ShelleyRegCert !StakeCredential	A stake credential registration certificate.
ShelleyUnRegCert !StakeCredential	A stake credential deregistration certificate.
ShelleyDelegCert !StakeCredential !(KeyHash 'StakePool)	A stake delegation certificate.

Instances

Instances details

ToJSON ShelleyDelegCert Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods toJSON ∷ ShelleyDelegCert → Value Source # toEncoding ∷ ShelleyDelegCert → Encoding Source # toJSONList ∷ [ShelleyDelegCert] → Value Source # toEncodingList ∷ [ShelleyDelegCert] → Encoding Source # omitField ∷ ShelleyDelegCert → Bool Source #
Generic ShelleyDelegCert Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Associated Types type Rep ShelleyDelegCert ∷ Type → Type Source # Methods from ∷ ShelleyDelegCert → Rep ShelleyDelegCert x Source # to ∷ Rep ShelleyDelegCert x → ShelleyDelegCert Source #
Show ShelleyDelegCert Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods showsPrec ∷ Int → ShelleyDelegCert → ShowS Source # show ∷ ShelleyDelegCert → String Source # showList ∷ [ShelleyDelegCert] → ShowS Source #
NFData ShelleyDelegCert Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods rnf ∷ ShelleyDelegCert → () Source #
Eq ShelleyDelegCert Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods (==) ∷ ShelleyDelegCert → ShelleyDelegCert → Bool Source # (/=) ∷ ShelleyDelegCert → ShelleyDelegCert → Bool Source #
Ord ShelleyDelegCert Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods compare ∷ ShelleyDelegCert → ShelleyDelegCert → Ordering Source # (<) ∷ ShelleyDelegCert → ShelleyDelegCert → Bool Source # (<=) ∷ ShelleyDelegCert → ShelleyDelegCert → Bool Source # (>) ∷ ShelleyDelegCert → ShelleyDelegCert → Bool Source # (>=) ∷ ShelleyDelegCert → ShelleyDelegCert → Bool Source # max ∷ ShelleyDelegCert → ShelleyDelegCert → ShelleyDelegCert Source # min ∷ ShelleyDelegCert → ShelleyDelegCert → ShelleyDelegCert Source #
NoThunks ShelleyDelegCert Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods noThunks ∷ Context → ShelleyDelegCert → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyDelegCert → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ShelleyDelegCert → String Source #
type Rep ShelleyDelegCert Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert type Rep ShelleyDelegCert = D1 ('MetaData "ShelleyDelegCert" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.16.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyRegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StakeCredential)) :+: (C1 ('MetaCons "ShelleyUnRegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StakeCredential)) :+: C1 ('MetaCons "ShelleyDelegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StakeCredential) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool)))))

getVKeyWitnessShelleyTxCert ∷ ShelleyTxCert era → Maybe (KeyHash 'Witness) Source #

getScriptWitnessShelleyTxCert ∷ ShelleyTxCert era → Maybe ScriptHash Source #

data ShelleyTxCert era Source #

A heavyweight certificate.

Constructors

ShelleyTxCertDelegCert !ShelleyDelegCert
ShelleyTxCertPool !PoolCert
ShelleyTxCertGenesisDeleg !GenesisDelegCert
ShelleyTxCertMir !MIRCert

Instances

Instances details

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

upgradeShelleyTxCert ∷ ShelleyTxCert era1 → ShelleyTxCert era2 Source #

GenesisDelegCert

data GenesisDelegCert Source #

Genesis key delegation certificate

Constructors

GenesisDelegCert !(KeyHash 'Genesis) !(KeyHash 'GenesisDelegate) !(VRFVerKeyHash 'GenDelegVRF)

Instances

Instances details

ToJSON GenesisDelegCert Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods toJSON ∷ GenesisDelegCert → Value Source # toEncoding ∷ GenesisDelegCert → Encoding Source # toJSONList ∷ [GenesisDelegCert] → Value Source # toEncodingList ∷ [GenesisDelegCert] → Encoding Source # omitField ∷ GenesisDelegCert → Bool Source #
Generic GenesisDelegCert Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Associated Types type Rep GenesisDelegCert ∷ Type → Type Source # Methods from ∷ GenesisDelegCert → Rep GenesisDelegCert x Source # to ∷ Rep GenesisDelegCert x → GenesisDelegCert Source #
Show GenesisDelegCert Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods showsPrec ∷ Int → GenesisDelegCert → ShowS Source # show ∷ GenesisDelegCert → String Source # showList ∷ [GenesisDelegCert] → ShowS Source #
NFData GenesisDelegCert Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods rnf ∷ GenesisDelegCert → () Source #
Eq GenesisDelegCert Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods (==) ∷ GenesisDelegCert → GenesisDelegCert → Bool Source # (/=) ∷ GenesisDelegCert → GenesisDelegCert → Bool Source #
Ord GenesisDelegCert Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods compare ∷ GenesisDelegCert → GenesisDelegCert → Ordering Source # (<) ∷ GenesisDelegCert → GenesisDelegCert → Bool Source # (<=) ∷ GenesisDelegCert → GenesisDelegCert → Bool Source # (>) ∷ GenesisDelegCert → GenesisDelegCert → Bool Source # (>=) ∷ GenesisDelegCert → GenesisDelegCert → Bool Source # max ∷ GenesisDelegCert → GenesisDelegCert → GenesisDelegCert Source # min ∷ GenesisDelegCert → GenesisDelegCert → GenesisDelegCert Source #
NoThunks GenesisDelegCert Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods noThunks ∷ Context → GenesisDelegCert → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → GenesisDelegCert → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy GenesisDelegCert → String Source #
type Rep GenesisDelegCert Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert type Rep GenesisDelegCert = D1 ('MetaData "GenesisDelegCert" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.16.0.0-inplace" 'False) (C1 ('MetaCons "GenesisDelegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'Genesis)) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'GenesisDelegate)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VRFVerKeyHash 'GenDelegVRF)))))

genesisCWitness ∷ GenesisDelegCert → KeyHash 'Genesis Source #

genesisKeyHashWitness ∷ GenesisDelegCert → KeyHash 'Witness Source #

MIRCert

data MIRCert Source #

Move instantaneous rewards certificate

Constructors

MIRCert
Fields mirPot ∷ !MIRPot mirRewards ∷ !MIRTarget

Instances

Instances details

ToJSON MIRCert Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods toJSON ∷ MIRCert → Value Source # toEncoding ∷ MIRCert → Encoding Source # toJSONList ∷ [MIRCert] → Value Source # toEncodingList ∷ [MIRCert] → Encoding Source # omitField ∷ MIRCert → Bool Source #
Generic MIRCert Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Associated Types type Rep MIRCert ∷ Type → Type Source # Methods from ∷ MIRCert → Rep MIRCert x Source # to ∷ Rep MIRCert x → MIRCert Source #
Show MIRCert Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods showsPrec ∷ Int → MIRCert → ShowS Source # show ∷ MIRCert → String Source # showList ∷ [MIRCert] → ShowS Source #
DecCBOR MIRCert Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods decCBOR ∷ Decoder s MIRCert Source # dropCBOR ∷ Proxy MIRCert → Decoder s () Source # label ∷ Proxy MIRCert → Text Source #
EncCBOR MIRCert Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods encCBOR ∷ MIRCert → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy MIRCert → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [MIRCert] → Size Source #
NFData MIRCert Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods rnf ∷ MIRCert → () Source #
Eq MIRCert Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods (==) ∷ MIRCert → MIRCert → Bool Source # (/=) ∷ MIRCert → MIRCert → Bool Source #
Ord MIRCert Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods compare ∷ MIRCert → MIRCert → Ordering Source # (<) ∷ MIRCert → MIRCert → Bool Source # (<=) ∷ MIRCert → MIRCert → Bool Source # (>) ∷ MIRCert → MIRCert → Bool Source # (>=) ∷ MIRCert → MIRCert → Bool Source # max ∷ MIRCert → MIRCert → MIRCert Source # min ∷ MIRCert → MIRCert → MIRCert Source #
NoThunks MIRCert Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods noThunks ∷ Context → MIRCert → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → MIRCert → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy MIRCert → String Source #
type Rep MIRCert Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert type Rep MIRCert = D1 ('MetaData "MIRCert" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.16.0.0-inplace" 'False) (C1 ('MetaCons "MIRCert" 'PrefixI 'True) (S1 ('MetaSel ('Just "mirPot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MIRPot) :*: S1 ('MetaSel ('Just "mirRewards") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MIRTarget)))

data MIRPot Source #

Constructors

ReservesMIR
TreasuryMIR

Instances

Instances details

ToJSON MIRPot Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods toJSON ∷ MIRPot → Value Source # toEncoding ∷ MIRPot → Encoding Source # toJSONList ∷ [MIRPot] → Value Source # toEncodingList ∷ [MIRPot] → Encoding Source # omitField ∷ MIRPot → Bool Source #
Bounded MIRPot Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods minBound ∷ MIRPot Source # maxBound ∷ MIRPot Source #
Enum MIRPot Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods succ ∷ MIRPot → MIRPot Source # pred ∷ MIRPot → MIRPot Source # toEnum ∷ Int → MIRPot Source # fromEnum ∷ MIRPot → Int Source # enumFrom ∷ MIRPot → [MIRPot] Source # enumFromThen ∷ MIRPot → MIRPot → [MIRPot] Source # enumFromTo ∷ MIRPot → MIRPot → [MIRPot] Source # enumFromThenTo ∷ MIRPot → MIRPot → MIRPot → [MIRPot] Source #
Generic MIRPot Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Associated Types type Rep MIRPot ∷ Type → Type Source # Methods from ∷ MIRPot → Rep MIRPot x Source # to ∷ Rep MIRPot x → MIRPot Source #
Show MIRPot Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods showsPrec ∷ Int → MIRPot → ShowS Source # show ∷ MIRPot → String Source # showList ∷ [MIRPot] → ShowS Source #
DecCBOR MIRPot Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods decCBOR ∷ Decoder s MIRPot Source # dropCBOR ∷ Proxy MIRPot → Decoder s () Source # label ∷ Proxy MIRPot → Text Source #
EncCBOR MIRPot Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods encCBOR ∷ MIRPot → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy MIRPot → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [MIRPot] → Size Source #
NFData MIRPot Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods rnf ∷ MIRPot → () Source #
Eq MIRPot Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods (==) ∷ MIRPot → MIRPot → Bool Source # (/=) ∷ MIRPot → MIRPot → Bool Source #
Ord MIRPot Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods compare ∷ MIRPot → MIRPot → Ordering Source # (<) ∷ MIRPot → MIRPot → Bool Source # (<=) ∷ MIRPot → MIRPot → Bool Source # (>) ∷ MIRPot → MIRPot → Bool Source # (>=) ∷ MIRPot → MIRPot → Bool Source # max ∷ MIRPot → MIRPot → MIRPot Source # min ∷ MIRPot → MIRPot → MIRPot Source #
NoThunks MIRPot Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods noThunks ∷ Context → MIRPot → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → MIRPot → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy MIRPot → String Source #
type Rep MIRPot Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert type Rep MIRPot = D1 ('MetaData "MIRPot" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.16.0.0-inplace" 'False) (C1 ('MetaCons "ReservesMIR" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "TreasuryMIR" 'PrefixI 'False) (U1 ∷ Type → Type))

data MIRTarget Source #

MIRTarget specifies if funds from either the reserves or the treasury are to be handed out to a collection of reward accounts or instead transfered to the opposite pot.

Constructors

StakeAddressesMIR !(Map (Credential 'Staking) DeltaCoin)
SendToOppositePotMIR !Coin

Instances

Instances details

ToJSON MIRTarget Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods toJSON ∷ MIRTarget → Value Source # toEncoding ∷ MIRTarget → Encoding Source # toJSONList ∷ [MIRTarget] → Value Source # toEncodingList ∷ [MIRTarget] → Encoding Source # omitField ∷ MIRTarget → Bool Source #
Generic MIRTarget Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Associated Types type Rep MIRTarget ∷ Type → Type Source # Methods from ∷ MIRTarget → Rep MIRTarget x Source # to ∷ Rep MIRTarget x → MIRTarget Source #
Show MIRTarget Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods showsPrec ∷ Int → MIRTarget → ShowS Source # show ∷ MIRTarget → String Source # showList ∷ [MIRTarget] → ShowS Source #
DecCBOR MIRTarget Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods decCBOR ∷ Decoder s MIRTarget Source # dropCBOR ∷ Proxy MIRTarget → Decoder s () Source # label ∷ Proxy MIRTarget → Text Source #
EncCBOR MIRTarget Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods encCBOR ∷ MIRTarget → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy MIRTarget → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [MIRTarget] → Size Source #
NFData MIRTarget Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods rnf ∷ MIRTarget → () Source #
Eq MIRTarget Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods (==) ∷ MIRTarget → MIRTarget → Bool Source # (/=) ∷ MIRTarget → MIRTarget → Bool Source #
Ord MIRTarget Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods compare ∷ MIRTarget → MIRTarget → Ordering Source # (<) ∷ MIRTarget → MIRTarget → Bool Source # (<=) ∷ MIRTarget → MIRTarget → Bool Source # (>) ∷ MIRTarget → MIRTarget → Bool Source # (>=) ∷ MIRTarget → MIRTarget → Bool Source # max ∷ MIRTarget → MIRTarget → MIRTarget Source # min ∷ MIRTarget → MIRTarget → MIRTarget Source #
NoThunks MIRTarget Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods noThunks ∷ Context → MIRTarget → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → MIRTarget → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy MIRTarget → String Source #
type Rep MIRTarget Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert type Rep MIRTarget = D1 ('MetaData "MIRTarget" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.16.0.0-inplace" 'False) (C1 ('MetaCons "StakeAddressesMIR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking) DeltaCoin))) :+: C1 ('MetaCons "SendToOppositePotMIR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)))

isDelegation ∷ ShelleyEraTxCert era ⇒ TxCert era → Bool Source #

Check for ShelleyDelegCert constructor

isRegPool ∷ EraTxCert era ⇒ TxCert era → Bool Source #

Check for RegPool constructor

isRetirePool ∷ EraTxCert era ⇒ TxCert era → Bool Source #

Check for RetirePool constructor

isGenesisDelegation ∷ (ShelleyEraTxCert era, ProtVerAtMost era 8) ⇒ TxCert era → Bool Source #

Check for GenesisDelegate constructor

isInstantaneousRewards ∷ (ShelleyEraTxCert era, ProtVerAtMost era 8) ⇒ TxCert era → Bool Source #

isReservesMIRCert ∷ (ShelleyEraTxCert era, ProtVerAtMost era 8) ⇒ TxCert era → Bool Source #

isTreasuryMIRCert ∷ (ShelleyEraTxCert era, ProtVerAtMost era 8) ⇒ TxCert era → Bool Source #

Serialization helpers

shelleyTxCertDelegDecoder ∷ ShelleyEraTxCert era ⇒ Word → Decoder s (Int, TxCert era) Source #

poolTxCertDecoder ∷ EraTxCert era ⇒ Word → Decoder s (Int, TxCert era) Source #

encodeShelleyDelegCert ∷ ShelleyDelegCert → Encoding Source #

encodePoolCert ∷ PoolCert → Encoding Source #

encodeGenesisDelegCert ∷ GenesisDelegCert → Encoding Source #

Deposits and Refunds

shelleyTotalDepositsTxCerts Source #

Arguments

∷ (EraPParams era, Foldable f, EraTxCert 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.

shelleyTotalRefundsTxCerts Source #

Arguments

∷ (EraPParams era, Foldable f, EraTxCert era)
⇒ PParams era
→ (StakeCredential → Maybe Coin)	Function that can lookup current deposit, in case when the stake key is registered.
→ f (TxCert era)
→ Coin

Compute the key deregistration refunds in a transaction

Re-exports

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 Source #

Associated Types

type TxCert era = (r ∷ Type) | r → era Source #

type TxCertUpgradeError era Source #

type TxCertUpgradeError era = Void

Methods

upgradeTxCert ∷ TxCert (PreviousEra era) → Either (TxCertUpgradeError era) (TxCert era) Source #

Every era, except Shelley, must be able to upgrade a TxCert from a previous era. However, not all certificates can be upgraded, because some eras lose some of the certificates, thus return type is an Either. Eg. from Babbage to Conway: MIR and Genesis certificates were removed.

getVKeyWitnessTxCert ∷ TxCert era → Maybe (KeyHash 'Witness) Source #

Return a witness key whenever a certificate requires one

getScriptWitnessTxCert ∷ TxCert era → Maybe ScriptHash Source #

Return a ScriptHash for certificate types that require a witness

mkRegPoolTxCert ∷ PoolParams → TxCert era Source #

getRegPoolTxCert ∷ TxCert era → Maybe PoolParams Source #

mkRetirePoolTxCert ∷ KeyHash 'StakePool → EpochNo → TxCert era Source #

getRetirePoolTxCert ∷ TxCert era → Maybe (KeyHash 'StakePool, EpochNo) Source #

lookupRegStakeTxCert ∷ TxCert era → Maybe (Credential 'Staking) Source #

Extract staking credential from any certificate that can register such credential

lookupUnRegStakeTxCert ∷ TxCert era → Maybe (Credential 'Staking) Source #

Extract staking credential from any certificate that can unregister such credential

getTotalDepositsTxCerts Source #

Arguments

∷ Foldable f
⇒ PParams era
→ (KeyHash 'StakePool → Bool)	Check whether stake pool is registered or not
→ f (TxCert era)
→ Coin

Compute the total deposits from a list of certificates.

getTotalRefundsTxCerts Source #

Arguments

∷ Foldable f
⇒ PParams era
→ (Credential 'Staking → Maybe Coin)	Lookup current deposit for Staking credential if one is registered
→ (Credential 'DRepRole → Maybe Coin)	Lookup current deposit for DRep credential if one is registered
→ f (TxCert era)
→ Coin

Compute the total refunds from a list of certificates.

Instances

Instances details

EraTxCert ShelleyEra Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Associated Types

type TxCert ShelleyEra = (r ∷ Type) Source #

type TxCertUpgradeError ShelleyEra Source #

Methods

upgradeTxCert ∷ TxCert (PreviousEra ShelleyEra) → Either (TxCertUpgradeError ShelleyEra) (TxCert ShelleyEra) Source #

getVKeyWitnessTxCert ∷ TxCert ShelleyEra → Maybe (KeyHash 'Witness) Source #

getScriptWitnessTxCert ∷ TxCert ShelleyEra → Maybe ScriptHash Source #

mkRegPoolTxCert ∷ PoolParams → TxCert ShelleyEra Source #

getRegPoolTxCert ∷ TxCert ShelleyEra → Maybe PoolParams Source #

mkRetirePoolTxCert ∷ KeyHash 'StakePool → EpochNo → TxCert ShelleyEra Source #

getRetirePoolTxCert ∷ TxCert ShelleyEra → Maybe (KeyHash 'StakePool, EpochNo) Source #

lookupRegStakeTxCert ∷ TxCert ShelleyEra → Maybe (Credential 'Staking) Source #

lookupUnRegStakeTxCert ∷ TxCert ShelleyEra → Maybe (Credential 'Staking) Source #

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

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

pattern RegPoolTxCert ∷ EraTxCert era ⇒ PoolParams → TxCert era Source #

pattern RetirePoolTxCert ∷ EraTxCert era ⇒ KeyHash 'StakePool → EpochNo → TxCert era Source #

data PoolCert Source #

Constructors

RegPool !PoolParams	A stake pool registration certificate.
RetirePool !(KeyHash 'StakePool) !EpochNo	A stake pool retirement certificate.

Instances

Instances details

ToJSON PoolCert
Instance details Defined in Cardano.Ledger.Core.TxCert Methods toJSON ∷ PoolCert → Value Source # toEncoding ∷ PoolCert → Encoding Source # toJSONList ∷ [PoolCert] → Value Source # toEncodingList ∷ [PoolCert] → Encoding Source # omitField ∷ PoolCert → Bool Source #
Generic PoolCert
Instance details Defined in Cardano.Ledger.Core.TxCert Associated Types type Rep PoolCert ∷ Type → Type Source # Methods from ∷ PoolCert → Rep PoolCert x Source # to ∷ Rep PoolCert x → PoolCert Source #
Show PoolCert
Instance details Defined in Cardano.Ledger.Core.TxCert Methods showsPrec ∷ Int → PoolCert → ShowS Source # show ∷ PoolCert → String Source # showList ∷ [PoolCert] → ShowS Source #
EncCBOR PoolCert
Instance details Defined in Cardano.Ledger.Core.TxCert Methods encCBOR ∷ PoolCert → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy PoolCert → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [PoolCert] → Size Source #
NFData PoolCert
Instance details Defined in Cardano.Ledger.Core.TxCert Methods rnf ∷ PoolCert → () Source #
Eq PoolCert
Instance details Defined in Cardano.Ledger.Core.TxCert Methods (==) ∷ PoolCert → PoolCert → Bool Source # (/=) ∷ PoolCert → PoolCert → Bool Source #
Ord PoolCert
Instance details Defined in Cardano.Ledger.Core.TxCert Methods compare ∷ PoolCert → PoolCert → Ordering Source # (<) ∷ PoolCert → PoolCert → Bool Source # (<=) ∷ PoolCert → PoolCert → Bool Source # (>) ∷ PoolCert → PoolCert → Bool Source # (>=) ∷ PoolCert → PoolCert → Bool Source # max ∷ PoolCert → PoolCert → PoolCert Source # min ∷ PoolCert → PoolCert → PoolCert Source #
NoThunks PoolCert
Instance details Defined in Cardano.Ledger.Core.TxCert Methods noThunks ∷ Context → PoolCert → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PoolCert → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy PoolCert → String Source #
type Rep PoolCert
Instance details Defined in Cardano.Ledger.Core.TxCert type Rep PoolCert = D1 ('MetaData "PoolCert" "Cardano.Ledger.Core.TxCert" "cardano-ledger-core-1.17.0.0-inplace" 'False) (C1 ('MetaCons "RegPool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PoolParams)) :+: C1 ('MetaCons "RetirePool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 EpochNo)))