cardano-ledger-shelley-1.20.0.0: Shelley Ledger Executable Model
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Shelley.TxCert

Synopsis

Documentation

class (EraTxCert era, AtMostEra "Conway" era) ⇒ ShelleyEraTxCert era where Source #

All of the Shelley related certificate functionality that has been fully deprecated in Dijkstra.

Methods

mkRegTxCert ∷ Credential 'Staking → TxCert era Source #

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

mkUnRegTxCert ∷ Credential 'Staking → TxCert era Source #

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

mkDelegStakeTxCert ∷ Credential 'Staking → KeyHash 'StakePool → TxCert era Source #

getDelegStakeTxCert ∷ TxCert era → Maybe (Credential 'Staking, KeyHash 'StakePool) Source #

mkGenesisDelegTxCert ∷ GenesisDelegCert → TxCert era Source #

getGenesisDelegTxCert ∷ TxCert era → Maybe GenesisDelegCert Source #

mkMirTxCert ∷ MIRCert → TxCert era Source #

getMirTxCert ∷ TxCert era → Maybe MIRCert Source #

Instances

Instances details
ShelleyEraTxCert ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

mkRegTxCert ∷ Credential 'Staking → TxCert ShelleyEra Source #

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

mkUnRegTxCert ∷ Credential 'Staking → TxCert ShelleyEra Source #

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

mkDelegStakeTxCert ∷ Credential 'Staking → KeyHash 'StakePool → TxCert ShelleyEra Source #

getDelegStakeTxCert ∷ TxCert ShelleyEra → Maybe (Credential 'Staking, KeyHash 'StakePool) Source #

mkGenesisDelegTxCert ∷ GenesisDelegCert → TxCert ShelleyEra Source #

getGenesisDelegTxCert ∷ TxCert ShelleyEra → Maybe GenesisDelegCert Source #

mkMirTxCert ∷ MIRCert → TxCert ShelleyEra Source #

getMirTxCert ∷ TxCert ShelleyEra → Maybe MIRCert Source #

pattern MirTxCert ∷ (ShelleyEraTxCert era, AtMostEra "Babbage" era) ⇒ MIRCert → TxCert era Source #

pattern GenesisDelegTxCert ∷ (ShelleyEraTxCert era, AtMostEra "Babbage" era) ⇒ KeyHash 'GenesisRole → KeyHash 'GenesisDelegate → VRFVerKeyHash 'GenDelegVRF → TxCert era Source #

pattern RegTxCert ∷ ShelleyEraTxCert era ⇒ Credential 'Staking → TxCert era Source #

pattern UnRegTxCert ∷ ShelleyEraTxCert era ⇒ Credential 'Staking → TxCert era Source #

pattern DelegStakeTxCert ∷ ShelleyEraTxCert era ⇒ Credential 'Staking → KeyHash 'StakePool → TxCert era Source #

data ShelleyDelegCert Source #

Constructors

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
FromJSON ShelleyDelegCert Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

parseJSON ∷ Value → Parser ShelleyDelegCert Source #

parseJSONList ∷ Value → Parser [ShelleyDelegCert] Source #

omittedField ∷ Maybe ShelleyDelegCert Source #

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.20.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.20.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 era) 
ShelleyTxCertGenesisDeleg !GenesisDelegCert 
ShelleyTxCertMir !MIRCert 

Instances

Instances details
Era era ⇒ FromJSON (ShelleyTxCert era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

parseJSON ∷ Value → Parser (ShelleyTxCert era) Source #

parseJSONList ∷ Value → Parser [ShelleyTxCert era] Source #

omittedField ∷ Maybe (ShelleyTxCert era) Source #

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.20.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 era)))) :+: (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.20.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 era)))) :+: (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
FromJSON GenesisDelegCert Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

parseJSON ∷ Value → Parser GenesisDelegCert Source #

parseJSONList ∷ Value → Parser [GenesisDelegCert] Source #

omittedField ∷ Maybe GenesisDelegCert Source #

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.20.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.20.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

Instances

Instances details
FromJSON MIRCert Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

parseJSON ∷ Value → Parser MIRCert Source #

parseJSONList ∷ Value → Parser [MIRCert] Source #

omittedField ∷ Maybe MIRCert Source #

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.20.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.20.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
FromJSON MIRPot Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

parseJSON ∷ Value → Parser MIRPot Source #

parseJSONList ∷ Value → Parser [MIRPot] Source #

omittedField ∷ Maybe MIRPot Source #

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.20.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.20.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 account addresses or instead transfered to the opposite pot.

Constructors

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

Instances

Instances details
FromJSON MIRTarget Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

parseJSON ∷ Value → Parser MIRTarget Source #

parseJSONList ∷ Value → Parser [MIRTarget] Source #

omittedField ∷ Maybe MIRTarget Source #

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.20.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.20.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 era → 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 era → TxCert era Source #

getRegPoolTxCert ∷ TxCert era → Maybe (StakePoolParams era) 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

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

getRegPoolTxCert ∷ TxCert ShelleyEra → Maybe (StakePoolParams ShelleyEra) 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) → f (TxCert ShelleyEra) → Coin Source #

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

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

data PoolCert era Source #

Constructors

RegPool !(StakePoolParams era)

A stake pool registration certificate.

RetirePool !(KeyHash 'StakePool) !EpochNo

A stake pool retirement certificate.

Instances

Instances details
FromJSON (PoolCert era) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

Methods

parseJSON ∷ Value → Parser (PoolCert era) Source #

parseJSONList ∷ Value → Parser [PoolCert era] Source #

omittedField ∷ Maybe (PoolCert era) Source #

ToJSON (PoolCert era) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

Methods

toJSON ∷ PoolCert era → Value Source #

toEncoding ∷ PoolCert era → Encoding Source #

toJSONList ∷ [PoolCert era] → Value Source #

toEncodingList ∷ [PoolCert era] → Encoding Source #

omitField ∷ PoolCert era → Bool Source #

NFData (PoolCert era) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

Methods

rnf ∷ PoolCert era → () #

Generic (PoolCert era) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

Associated Types

type Rep (PoolCert era) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

type Rep (PoolCert era) = D1 ('MetaData "PoolCert" "Cardano.Ledger.Core.TxCert" "cardano-ledger-core-1.22.0.0-inplace" 'False) (C1 ('MetaCons "RegPool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StakePoolParams era))) :+: 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 era → Rep (PoolCert era) x #

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

Show (PoolCert era) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

Methods

showsPrec ∷ Int → PoolCert era → ShowS #

show ∷ PoolCert era → String #

showList ∷ [PoolCert era] → ShowS #

Eq (PoolCert era) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

Methods

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

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

Ord (PoolCert era) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

Methods

compare ∷ PoolCert era → PoolCert era → Ordering #

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

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

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

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

max ∷ PoolCert era → PoolCert era → PoolCert era #

min ∷ PoolCert era → PoolCert era → PoolCert era #

NoThunks (PoolCert era) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

Methods

noThunks ∷ Context → PoolCert era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PoolCert era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (PoolCert era) → String Source #

type Rep (PoolCert era) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

type Rep (PoolCert era) = D1 ('MetaData "PoolCert" "Cardano.Ledger.Core.TxCert" "cardano-ledger-core-1.22.0.0-inplace" 'False) (C1 ('MetaCons "RegPool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StakePoolParams era))) :+: 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