ShelleyRegCert !(Credential 'Staking)	A stake credential registration certificate.
ShelleyUnRegCert !(Credential 'Staking)	A stake credential deregistration certificate.
ShelleyDelegCert !(Credential 'Staking) !(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 #

NFData ShelleyDelegCert Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

rnf ∷ ShelleyDelegCert → () #

Generic ShelleyDelegCert Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Associated Types

type Rep ShelleyDelegCert

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type Rep ShelleyDelegCert = D1 ('MetaData "ShelleyDelegCert" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.18.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyRegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking))) :+: (C1 ('MetaCons "ShelleyUnRegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking))) :+: C1 ('MetaCons "ShelleyDelegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool)))))

Methods

from ∷ ShelleyDelegCert → Rep ShelleyDelegCert x #

to ∷ Rep ShelleyDelegCert x → ShelleyDelegCert #

Show ShelleyDelegCert Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

showsPrec ∷ Int → ShelleyDelegCert → ShowS #

show ∷ ShelleyDelegCert → String #

showList ∷ [ShelleyDelegCert] → ShowS #

Eq ShelleyDelegCert Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

(==) ∷ ShelleyDelegCert → ShelleyDelegCert → Bool #

(/=) ∷ ShelleyDelegCert → ShelleyDelegCert → Bool #

Ord ShelleyDelegCert Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

compare ∷ ShelleyDelegCert → ShelleyDelegCert → Ordering #

(<) ∷ ShelleyDelegCert → ShelleyDelegCert → Bool #

(<=) ∷ ShelleyDelegCert → ShelleyDelegCert → Bool #

(>) ∷ ShelleyDelegCert → ShelleyDelegCert → Bool #

(>=) ∷ ShelleyDelegCert → ShelleyDelegCert → Bool #

max ∷ ShelleyDelegCert → ShelleyDelegCert → ShelleyDelegCert #

min ∷ ShelleyDelegCert → ShelleyDelegCert → ShelleyDelegCert #

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.18.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyRegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking))) :+: (C1 ('MetaCons "ShelleyUnRegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking))) :+: C1 ('MetaCons "ShelleyDelegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking)) :*: 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 #

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

NFData (ShelleyTxCert era) Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

rnf ∷ ShelleyTxCert era → () #

Generic (ShelleyTxCert era) Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Associated Types

type Rep (ShelleyTxCert era)

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type Rep (ShelleyTxCert era) = D1 ('MetaData "ShelleyTxCert" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.18.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))))

Methods

from ∷ ShelleyTxCert era → Rep (ShelleyTxCert era) x #

to ∷ Rep (ShelleyTxCert era) x → ShelleyTxCert era #

Show (ShelleyTxCert era) Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

showsPrec ∷ Int → ShelleyTxCert era → ShowS #

show ∷ ShelleyTxCert era → String #

showList ∷ [ShelleyTxCert era] → ShowS #

Eq (ShelleyTxCert era) Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

(==) ∷ ShelleyTxCert era → ShelleyTxCert era → Bool #

(/=) ∷ ShelleyTxCert era → ShelleyTxCert era → Bool #

Ord (ShelleyTxCert era) Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

compare ∷ ShelleyTxCert era → ShelleyTxCert era → Ordering #

(<) ∷ ShelleyTxCert era → ShelleyTxCert era → Bool #

(<=) ∷ ShelleyTxCert era → ShelleyTxCert era → Bool #

(>) ∷ ShelleyTxCert era → ShelleyTxCert era → Bool #

(>=) ∷ ShelleyTxCert era → ShelleyTxCert era → Bool #

max ∷ ShelleyTxCert era → ShelleyTxCert era → ShelleyTxCert era #

min ∷ ShelleyTxCert era → ShelleyTxCert era → ShelleyTxCert era #

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.18.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 'GenesisRole) !(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 #

NFData GenesisDelegCert Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

rnf ∷ GenesisDelegCert → () #

Generic GenesisDelegCert Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Associated Types

type Rep GenesisDelegCert

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type Rep GenesisDelegCert = D1 ('MetaData "GenesisDelegCert" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.18.0.0-inplace" 'False) (C1 ('MetaCons "GenesisDelegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'GenesisRole)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'GenesisDelegate)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VRFVerKeyHash 'GenDelegVRF)))))

Methods

from ∷ GenesisDelegCert → Rep GenesisDelegCert x #

to ∷ Rep GenesisDelegCert x → GenesisDelegCert #

Show GenesisDelegCert Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

showsPrec ∷ Int → GenesisDelegCert → ShowS #

show ∷ GenesisDelegCert → String #

showList ∷ [GenesisDelegCert] → ShowS #

Eq GenesisDelegCert Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

(==) ∷ GenesisDelegCert → GenesisDelegCert → Bool #

(/=) ∷ GenesisDelegCert → GenesisDelegCert → Bool #

Ord GenesisDelegCert Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

compare ∷ GenesisDelegCert → GenesisDelegCert → Ordering #

(<) ∷ GenesisDelegCert → GenesisDelegCert → Bool #

(<=) ∷ GenesisDelegCert → GenesisDelegCert → Bool #

(>) ∷ GenesisDelegCert → GenesisDelegCert → Bool #

(>=) ∷ GenesisDelegCert → GenesisDelegCert → Bool #

max ∷ GenesisDelegCert → GenesisDelegCert → GenesisDelegCert #

min ∷ GenesisDelegCert → GenesisDelegCert → GenesisDelegCert #

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.18.0.0-inplace" 'False) (C1 ('MetaCons "GenesisDelegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'GenesisRole)) :*: (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 'GenesisRole 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 #

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 #

NFData MIRCert Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

rnf ∷ MIRCert → () #

Generic MIRCert Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Associated Types

type Rep MIRCert

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type Rep MIRCert = D1 ('MetaData "MIRCert" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.18.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)))

Methods

from ∷ MIRCert → Rep MIRCert x #

to ∷ Rep MIRCert x → MIRCert #

Show MIRCert Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

showsPrec ∷ Int → MIRCert → ShowS #

show ∷ MIRCert → String #

showList ∷ [MIRCert] → ShowS #

Eq MIRCert Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

(==) ∷ MIRCert → MIRCert → Bool #

(/=) ∷ MIRCert → MIRCert → Bool #

Ord MIRCert Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

compare ∷ MIRCert → MIRCert → Ordering #

(<) ∷ MIRCert → MIRCert → Bool #

(<=) ∷ MIRCert → MIRCert → Bool #

(>) ∷ MIRCert → MIRCert → Bool #

(>=) ∷ MIRCert → MIRCert → Bool #

max ∷ MIRCert → MIRCert → MIRCert #

min ∷ MIRCert → MIRCert → MIRCert #

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.18.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 #

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 #

NFData MIRPot Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

rnf ∷ MIRPot → () #

Bounded MIRPot Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

minBound ∷ MIRPot #

maxBound ∷ MIRPot #

Enum MIRPot Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

succ ∷ MIRPot → MIRPot #

pred ∷ MIRPot → MIRPot #

toEnum ∷ Int → MIRPot #

fromEnum ∷ MIRPot → Int #

enumFrom ∷ MIRPot → [MIRPot] #

enumFromThen ∷ MIRPot → MIRPot → [MIRPot] #

enumFromTo ∷ MIRPot → MIRPot → [MIRPot] #

enumFromThenTo ∷ MIRPot → MIRPot → MIRPot → [MIRPot] #

Generic MIRPot Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Associated Types

type Rep MIRPot
Instance details Defined in Cardano.Ledger.Shelley.TxCert type Rep MIRPot = D1 ('MetaData "MIRPot" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.18.0.0-inplace" 'False) (C1 ('MetaCons "ReservesMIR" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "TreasuryMIR" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ MIRPot → Rep MIRPot x #

to ∷ Rep MIRPot x → MIRPot #

Show MIRPot Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

showsPrec ∷ Int → MIRPot → ShowS #

show ∷ MIRPot → String #

showList ∷ [MIRPot] → ShowS #

Eq MIRPot Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

(==) ∷ MIRPot → MIRPot → Bool #

(/=) ∷ MIRPot → MIRPot → Bool #

Ord MIRPot Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

compare ∷ MIRPot → MIRPot → Ordering #

(<) ∷ MIRPot → MIRPot → Bool #

(<=) ∷ MIRPot → MIRPot → Bool #

(>) ∷ MIRPot → MIRPot → Bool #

(>=) ∷ MIRPot → MIRPot → Bool #

max ∷ MIRPot → MIRPot → MIRPot #

min ∷ MIRPot → MIRPot → MIRPot #

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.18.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 #

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 #

NFData MIRTarget Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

rnf ∷ MIRTarget → () #

Generic MIRTarget Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Associated Types

type Rep MIRTarget

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type Rep MIRTarget = D1 ('MetaData "MIRTarget" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.18.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)))

Methods

from ∷ MIRTarget → Rep MIRTarget x #

to ∷ Rep MIRTarget x → MIRTarget #

Show MIRTarget Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

showsPrec ∷ Int → MIRTarget → ShowS #

show ∷ MIRTarget → String #

showList ∷ [MIRTarget] → ShowS #

Eq MIRTarget Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

(==) ∷ MIRTarget → MIRTarget → Bool #

(/=) ∷ MIRTarget → MIRTarget → Bool #

Ord MIRTarget Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

compare ∷ MIRTarget → MIRTarget → Ordering #

(<) ∷ MIRTarget → MIRTarget → Bool #

(<=) ∷ MIRTarget → MIRTarget → Bool #

(>) ∷ MIRTarget → MIRTarget → Bool #

(>=) ∷ MIRTarget → MIRTarget → Bool #

max ∷ MIRTarget → MIRTarget → MIRTarget #

min ∷ MIRTarget → MIRTarget → MIRTarget #

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.18.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, AtMostEra "Babbage" era) ⇒ TxCert era → Bool Source #

Check for GenesisDelegate' constructor

isInstantaneousRewards ∷ (ShelleyEraTxCert era, AtMostEra "Babbage" era) ⇒ TxCert era → Bool Source #

isReservesMIRCert ∷ (ShelleyEraTxCert era, AtMostEra "Babbage" era) ⇒ TxCert era → Bool Source #

isTreasuryMIRCert ∷ (ShelleyEraTxCert era, AtMostEra "Babbage" era) ⇒ 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
→ (Credential 'Staking → 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 ∷ StakePoolParams → TxCert era Source #

getRegPoolTxCert ∷ TxCert era → Maybe StakePoolParams 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
Instance details Defined in Cardano.Ledger.Shelley.TxCert type TxCert ShelleyEra = ShelleyTxCert ShelleyEra
type TxCertUpgradeError ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxCert type TxCertUpgradeError ShelleyEra = Void

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 ∷ StakePoolParams → TxCert ShelleyEra Source #

getRegPoolTxCert ∷ TxCert ShelleyEra → Maybe StakePoolParams 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 ⇒ StakePoolParams → TxCert era Source #

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

data PoolCert Source #

Constructors

RegPool !StakePoolParams	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 #

EncCBOR PoolCert

Instance details

Defined in Cardano.Ledger.Core.TxCert

Methods

encCBOR ∷ PoolCert → Encoding Source #

NFData PoolCert

Instance details

Defined in Cardano.Ledger.Core.TxCert

Methods

rnf ∷ PoolCert → () #

Generic PoolCert

Instance details

Defined in Cardano.Ledger.Core.TxCert

Associated Types

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.19.0.0-inplace" 'False) (C1 ('MetaCons "RegPool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StakePoolParams)) :+: 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)))

Methods

from ∷ PoolCert → Rep PoolCert x #

to ∷ Rep PoolCert x → PoolCert #

Show PoolCert

Instance details

Defined in Cardano.Ledger.Core.TxCert

Methods

showsPrec ∷ Int → PoolCert → ShowS #

show ∷ PoolCert → String #

showList ∷ [PoolCert] → ShowS #

Eq PoolCert

Instance details

Defined in Cardano.Ledger.Core.TxCert

Methods

(==) ∷ PoolCert → PoolCert → Bool #

(/=) ∷ PoolCert → PoolCert → Bool #

Ord PoolCert

Instance details

Defined in Cardano.Ledger.Core.TxCert

Methods

compare ∷ PoolCert → PoolCert → Ordering #

(<) ∷ PoolCert → PoolCert → Bool #

(<=) ∷ PoolCert → PoolCert → Bool #

(>) ∷ PoolCert → PoolCert → Bool #

(>=) ∷ PoolCert → PoolCert → Bool #

max ∷ PoolCert → PoolCert → PoolCert #

min ∷ PoolCert → PoolCert → PoolCert #

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.19.0.0-inplace" 'False) (C1 ('MetaCons "RegPool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StakePoolParams)) :+: 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)))

isRegStakeTxCert ∷ EraTxCert era ⇒ TxCert era → Bool Source #

Check if supplied TxCert is a stake registering certificate

isUnRegStakeTxCert ∷ EraTxCert era ⇒ TxCert era → Bool Source #

Check if supplied TxCert is a stake un-registering certificate

Orphan instances

EraTxCert ShelleyEra Source #

Instance details

Associated Types

type TxCert ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxCert type TxCert ShelleyEra = ShelleyTxCert ShelleyEra
type TxCertUpgradeError ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxCert type TxCertUpgradeError ShelleyEra = Void

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 ∷ StakePoolParams → TxCert ShelleyEra Source #

getRegPoolTxCert ∷ TxCert ShelleyEra → Maybe StakePoolParams 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 #