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

Instances

Instances details

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

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

getScriptWitnessShelleyTxCert ∷ ShelleyTxCert era → Maybe (ScriptHash (EraCrypto era)) Source #

data ShelleyTxCert era Source #

A heavyweight certificate.

Constructors

ShelleyTxCertDelegCert !(ShelleyDelegCert (EraCrypto era))
ShelleyTxCertPool !(PoolCert (EraCrypto era))
ShelleyTxCertGenesisDeleg !(GenesisDelegCert (EraCrypto era))
ShelleyTxCertMir !(MIRCert (EraCrypto era))

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.15.0.0-inplace" 'False) ((C1 ('MetaCons "ShelleyTxCertDelegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ShelleyDelegCert (EraCrypto era)))) :+: C1 ('MetaCons "ShelleyTxCertPool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PoolCert (EraCrypto era))))) :+: (C1 ('MetaCons "ShelleyTxCertGenesisDeleg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GenesisDelegCert (EraCrypto era)))) :+: C1 ('MetaCons "ShelleyTxCertMir" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MIRCert (EraCrypto era))))))

upgradeShelleyTxCert ∷ EraCrypto era1 ~ EraCrypto era2 ⇒ ShelleyTxCert era1 → ShelleyTxCert era2 Source #

GenesisDelegCert

data GenesisDelegCert c Source #

Genesis key delegation certificate

Constructors

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

Instances

Instances details

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

genesisCWitness ∷ GenesisDelegCert c → KeyHash 'Genesis c Source #

genesisKeyHashWitness ∷ GenesisDelegCert c → KeyHash 'Witness c Source #

MIRCert

data MIRCert c Source #

Move instantaneous rewards certificate

Constructors

MIRCert
Fields mirPot ∷ !MIRPot mirRewards ∷ !(MIRTarget c)

Instances

Instances details

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

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.15.0.0-inplace" 'False) (C1 ('MetaCons "ReservesMIR" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "TreasuryMIR" 'PrefixI 'False) (U1 ∷ Type → Type))

data MIRTarget c 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 c) DeltaCoin)
SendToOppositePotMIR !Coin

Instances

Instances details

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

encodePoolCert ∷ Crypto c ⇒ PoolCert c → Encoding Source #

encodeGenesisDelegCert ∷ Crypto c ⇒ GenesisDelegCert c → Encoding Source #

Deposits and Refunds

shelleyTotalDepositsTxCerts Source #

Arguments

∷ (EraPParams era, Foldable f, EraTxCert era)
⇒ PParams era
→ (KeyHash 'StakePool (EraCrypto era) → 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 (EraCrypto era) → 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 (EraCrypto era)) Source #

Return a witness key whenever a certificate requires one

getScriptWitnessTxCert ∷ TxCert era → Maybe (ScriptHash (EraCrypto era)) Source #

Return a ScriptHash for certificate types that require a witness

mkRegPoolTxCert ∷ PoolParams (EraCrypto era) → TxCert era Source #

getRegPoolTxCert ∷ TxCert era → Maybe (PoolParams (EraCrypto era)) Source #

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

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

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

Extract staking credential from any certificate that can register such credential

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

Extract staking credential from any certificate that can unregister such credential

getTotalDepositsTxCerts Source #

Arguments

∷ Foldable f
⇒ PParams era
→ (KeyHash 'StakePool (EraCrypto era) → 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 (EraCrypto era) → Maybe Coin)	Lookup current deposit for Staking credential if one is registered
→ (Credential 'DRepRole (EraCrypto era) → 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

Crypto c ⇒ EraTxCert (ShelleyEra c) Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Associated Types

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

type TxCertUpgradeError (ShelleyEra c) Source #

Methods

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

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

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

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

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

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

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

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

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

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

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

pattern RegPoolTxCert ∷ EraTxCert era ⇒ PoolParams (EraCrypto era) → TxCert era Source #

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

data PoolCert c Source #

Constructors

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

Instances

Instances details

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