cardano-ledger-conway-1.14.0.0: Cardano ledger with an updated on-chain governance system.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Conway.TxCert

Synopsis

Documentation

data ConwayTxCert era Source #

Constructors

ConwayTxCertDeleg !(ConwayDelegCert (EraCrypto era)) 
ConwayTxCertPool !(PoolCert (EraCrypto era)) 
ConwayTxCertGov !(ConwayGovCert (EraCrypto era)) 

Instances

Instances details
Era era ⇒ ToJSON (ConwayTxCert era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

toJSON ∷ ConwayTxCert era → Value Source #

toEncoding ∷ ConwayTxCert era → Encoding Source #

toJSONList ∷ [ConwayTxCert era] → Value Source #

toEncodingList ∷ [ConwayTxCert era] → Encoding Source #

omitField ∷ ConwayTxCert era → Bool Source #

Generic (ConwayTxCert era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Associated Types

type Rep (ConwayTxCert era) ∷ Type → Type Source #

Methods

from ∷ ConwayTxCert era → Rep (ConwayTxCert era) x Source #

to ∷ Rep (ConwayTxCert era) x → ConwayTxCert era Source #

Show (ConwayTxCert era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

showsPrec ∷ Int → ConwayTxCert era → ShowS Source #

show ∷ ConwayTxCert era → String Source #

showList ∷ [ConwayTxCert era] → ShowS Source #

(ShelleyEraTxCert era, TxCert era ~ ConwayTxCert era) ⇒ FromCBOR (ConwayTxCert era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

fromCBOR ∷ Decoder s (ConwayTxCert era) Source #

label ∷ Proxy (ConwayTxCert era) → Text Source #

(Era era, Val (Value era)) ⇒ ToCBOR (ConwayTxCert era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

toCBOR ∷ ConwayTxCert era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ConwayTxCert era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ConwayTxCert era] → Size Source #

(ConwayEraTxCert era, TxCert era ~ ConwayTxCert era) ⇒ DecCBOR (ConwayTxCert era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

decCBOR ∷ Decoder s (ConwayTxCert era) Source #

dropCBOR ∷ Proxy (ConwayTxCert era) → Decoder s () Source #

label ∷ Proxy (ConwayTxCert era) → Text Source #

(Era era, Val (Value era)) ⇒ EncCBOR (ConwayTxCert era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

encCBOR ∷ ConwayTxCert era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ConwayTxCert era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayTxCert era] → Size Source #

Crypto (EraCrypto era) ⇒ NFData (ConwayTxCert era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

rnf ∷ ConwayTxCert era → () Source #

Eq (ConwayTxCert era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

(==) ∷ ConwayTxCert era → ConwayTxCert era → Bool Source #

(/=) ∷ ConwayTxCert era → ConwayTxCert era → Bool Source #

Ord (ConwayTxCert era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

compare ∷ ConwayTxCert era → ConwayTxCert era → Ordering Source #

(<) ∷ ConwayTxCert era → ConwayTxCert era → Bool Source #

(<=) ∷ ConwayTxCert era → ConwayTxCert era → Bool Source #

(>) ∷ ConwayTxCert era → ConwayTxCert era → Bool Source #

(>=) ∷ ConwayTxCert era → ConwayTxCert era → Bool Source #

max ∷ ConwayTxCert era → ConwayTxCert era → ConwayTxCert era Source #

min ∷ ConwayTxCert era → ConwayTxCert era → ConwayTxCert era Source #

NoThunks (ConwayTxCert era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

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

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

showTypeOf ∷ Proxy (ConwayTxCert era) → String Source #

type Rep (ConwayTxCert era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

type Rep (ConwayTxCert era) = D1 ('MetaData "ConwayTxCert" "Cardano.Ledger.Conway.TxCert" "cardano-ledger-conway-1.14.0.0-inplace" 'False) (C1 ('MetaCons "ConwayTxCertDeleg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ConwayDelegCert (EraCrypto era)))) :+: (C1 ('MetaCons "ConwayTxCertPool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PoolCert (EraCrypto era)))) :+: C1 ('MetaCons "ConwayTxCertGov" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ConwayGovCert (EraCrypto era))))))

data ConwayTxCertUpgradeError Source #

Constructors

MirTxCertExpunged 
GenesisDelegTxCertExpunged 

Instances

Instances details
Show ConwayTxCertUpgradeError Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

showsPrec ∷ Int → ConwayTxCertUpgradeError → ShowS Source #

show ∷ ConwayTxCertUpgradeError → String Source #

showList ∷ [ConwayTxCertUpgradeError] → ShowS Source #

Eq ConwayTxCertUpgradeError Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

(==) ∷ ConwayTxCertUpgradeError → ConwayTxCertUpgradeError → Bool Source #

(/=) ∷ ConwayTxCertUpgradeError → ConwayTxCertUpgradeError → Bool Source #

data ConwayDelegCert c Source #

Certificates for registration and delegation of stake to Pools and DReps. Comparing to previous eras, there is now ability to:

  • Register and delegate with a single certificate: ConwayRegDelegCert
  • Ability to delegate to DReps with DelegVote and DelegStakeVote
  • Ability to specify the deposit amount. Deposits during registration and unregistration in Conway are optional, which will change in the future era. They are optional only for the smooth transition from Babbage to Conway. Validity of deposits is checked by the CERT rule.

Constructors

ConwayRegCert !(StakeCredential c) !(StrictMaybe Coin)

Register staking credential. Deposit, when present, must match the expected deposit amount specified by ppKeyDepositL in the protocol parameters.

ConwayUnRegCert !(StakeCredential c) !(StrictMaybe Coin)

De-Register the staking credential. Deposit, if present, must match the amount that was left as a deposit upon stake credential registration.

ConwayDelegCert !(StakeCredential c) !(Delegatee c)

Redelegate to another delegatee. Staking credential must already be registered.

ConwayRegDelegCert !(StakeCredential c) !(Delegatee c) !Coin

This is a new type of certificate, which allows to register staking credential and delegate within a single certificate. Deposit is required and must match the expected deposit amount specified by ppKeyDepositL in the protocol parameters.

Instances

Instances details
Crypto c ⇒ ToJSON (ConwayDelegCert c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

toJSON ∷ ConwayDelegCert c → Value Source #

toEncoding ∷ ConwayDelegCert c → Encoding Source #

toJSONList ∷ [ConwayDelegCert c] → Value Source #

toEncodingList ∷ [ConwayDelegCert c] → Encoding Source #

omitField ∷ ConwayDelegCert c → Bool Source #

Generic (ConwayDelegCert c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Associated Types

type Rep (ConwayDelegCert c) ∷ Type → Type Source #

Methods

from ∷ ConwayDelegCert c → Rep (ConwayDelegCert c) x Source #

to ∷ Rep (ConwayDelegCert c) x → ConwayDelegCert c Source #

Show (ConwayDelegCert c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

showsPrec ∷ Int → ConwayDelegCert c → ShowS Source #

show ∷ ConwayDelegCert c → String Source #

showList ∷ [ConwayDelegCert c] → ShowS Source #

NFData (ConwayDelegCert c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

rnf ∷ ConwayDelegCert c → () Source #

Eq (ConwayDelegCert c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

(==) ∷ ConwayDelegCert c → ConwayDelegCert c → Bool Source #

(/=) ∷ ConwayDelegCert c → ConwayDelegCert c → Bool Source #

Ord (ConwayDelegCert c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

compare ∷ ConwayDelegCert c → ConwayDelegCert c → Ordering Source #

(<) ∷ ConwayDelegCert c → ConwayDelegCert c → Bool Source #

(<=) ∷ ConwayDelegCert c → ConwayDelegCert c → Bool Source #

(>) ∷ ConwayDelegCert c → ConwayDelegCert c → Bool Source #

(>=) ∷ ConwayDelegCert c → ConwayDelegCert c → Bool Source #

max ∷ ConwayDelegCert c → ConwayDelegCert c → ConwayDelegCert c Source #

min ∷ ConwayDelegCert c → ConwayDelegCert c → ConwayDelegCert c Source #

NoThunks (ConwayDelegCert c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

noThunks ∷ Context → ConwayDelegCert c → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConwayDelegCert c → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConwayDelegCert c) → String Source #

type Rep (ConwayDelegCert c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

type Rep (ConwayDelegCert c) = D1 ('MetaData "ConwayDelegCert" "Cardano.Ledger.Conway.TxCert" "cardano-ledger-conway-1.14.0.0-inplace" 'False) ((C1 ('MetaCons "ConwayRegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StakeCredential c)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Coin))) :+: C1 ('MetaCons "ConwayUnRegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StakeCredential c)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Coin)))) :+: (C1 ('MetaCons "ConwayDelegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StakeCredential c)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Delegatee c))) :+: C1 ('MetaCons "ConwayRegDelegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StakeCredential c)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Delegatee c)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)))))

data ConwayGovCert c Source #

Constructors

ConwayRegDRep !(Credential 'DRepRole c) !Coin !(StrictMaybe (Anchor c)) 
ConwayUnRegDRep !(Credential 'DRepRole c) !Coin 
ConwayUpdateDRep !(Credential 'DRepRole c) !(StrictMaybe (Anchor c)) 
ConwayAuthCommitteeHotKey !(Credential 'ColdCommitteeRole c) !(Credential 'HotCommitteeRole c) 
ConwayResignCommitteeColdKey !(Credential 'ColdCommitteeRole c) !(StrictMaybe (Anchor c)) 

Instances

Instances details
Crypto c ⇒ ToJSON (ConwayGovCert c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

toJSON ∷ ConwayGovCert c → Value Source #

toEncoding ∷ ConwayGovCert c → Encoding Source #

toJSONList ∷ [ConwayGovCert c] → Value Source #

toEncodingList ∷ [ConwayGovCert c] → Encoding Source #

omitField ∷ ConwayGovCert c → Bool Source #

Generic (ConwayGovCert c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Associated Types

type Rep (ConwayGovCert c) ∷ Type → Type Source #

Methods

from ∷ ConwayGovCert c → Rep (ConwayGovCert c) x Source #

to ∷ Rep (ConwayGovCert c) x → ConwayGovCert c Source #

Show (ConwayGovCert c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

showsPrec ∷ Int → ConwayGovCert c → ShowS Source #

show ∷ ConwayGovCert c → String Source #

showList ∷ [ConwayGovCert c] → ShowS Source #

Crypto c ⇒ NFData (ConwayGovCert c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

rnf ∷ ConwayGovCert c → () Source #

Eq (ConwayGovCert c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

(==) ∷ ConwayGovCert c → ConwayGovCert c → Bool Source #

(/=) ∷ ConwayGovCert c → ConwayGovCert c → Bool Source #

Ord (ConwayGovCert c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

compare ∷ ConwayGovCert c → ConwayGovCert c → Ordering Source #

(<) ∷ ConwayGovCert c → ConwayGovCert c → Bool Source #

(<=) ∷ ConwayGovCert c → ConwayGovCert c → Bool Source #

(>) ∷ ConwayGovCert c → ConwayGovCert c → Bool Source #

(>=) ∷ ConwayGovCert c → ConwayGovCert c → Bool Source #

max ∷ ConwayGovCert c → ConwayGovCert c → ConwayGovCert c Source #

min ∷ ConwayGovCert c → ConwayGovCert c → ConwayGovCert c Source #

NoThunks (ConwayGovCert c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

noThunks ∷ Context → ConwayGovCert c → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConwayGovCert c → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConwayGovCert c) → String Source #

type Rep (ConwayGovCert c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

type Rep (ConwayGovCert c) = D1 ('MetaData "ConwayGovCert" "Cardano.Ledger.Conway.TxCert" "cardano-ledger-conway-1.14.0.0-inplace" 'False) ((C1 ('MetaCons "ConwayRegDRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'DRepRole c)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Anchor c))))) :+: C1 ('MetaCons "ConwayUnRegDRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'DRepRole c)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))) :+: (C1 ('MetaCons "ConwayUpdateDRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'DRepRole c)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Anchor c)))) :+: (C1 ('MetaCons "ConwayAuthCommitteeHotKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'ColdCommitteeRole c)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'HotCommitteeRole c))) :+: C1 ('MetaCons "ConwayResignCommitteeColdKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'ColdCommitteeRole c)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Anchor c)))))))

data Delegatee c Source #

First type argument is the deposit

Constructors

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

Instances

Instances details
Crypto c ⇒ FromJSON (Delegatee c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

parseJSON ∷ Value → Parser (Delegatee c) Source #

parseJSONList ∷ Value → Parser [Delegatee c] Source #

omittedField ∷ Maybe (Delegatee c) Source #

Crypto c ⇒ ToJSON (Delegatee c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

toJSON ∷ Delegatee c → Value Source #

toEncoding ∷ Delegatee c → Encoding Source #

toJSONList ∷ [Delegatee c] → Value Source #

toEncodingList ∷ [Delegatee c] → Encoding Source #

omitField ∷ Delegatee c → Bool Source #

Generic (Delegatee c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Associated Types

type Rep (Delegatee c) ∷ Type → Type Source #

Methods

from ∷ Delegatee c → Rep (Delegatee c) x Source #

to ∷ Rep (Delegatee c) x → Delegatee c Source #

Show (Delegatee c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

showsPrec ∷ Int → Delegatee c → ShowS Source #

show ∷ Delegatee c → String Source #

showList ∷ [Delegatee c] → ShowS Source #

Crypto c ⇒ DecCBOR (Delegatee c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

decCBOR ∷ Decoder s (Delegatee c) Source #

dropCBOR ∷ Proxy (Delegatee c) → Decoder s () Source #

label ∷ Proxy (Delegatee c) → Text Source #

Crypto c ⇒ EncCBOR (Delegatee c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

encCBOR ∷ Delegatee c → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (Delegatee c) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Delegatee c] → Size Source #

NFData (Delegatee c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

rnf ∷ Delegatee c → () Source #

Eq (Delegatee c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

(==) ∷ Delegatee c → Delegatee c → Bool Source #

(/=) ∷ Delegatee c → Delegatee c → Bool Source #

Ord (Delegatee c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

compare ∷ Delegatee c → Delegatee c → Ordering Source #

(<) ∷ Delegatee c → Delegatee c → Bool Source #

(<=) ∷ Delegatee c → Delegatee c → Bool Source #

(>) ∷ Delegatee c → Delegatee c → Bool Source #

(>=) ∷ Delegatee c → Delegatee c → Bool Source #

max ∷ Delegatee c → Delegatee c → Delegatee c Source #

min ∷ Delegatee c → Delegatee c → Delegatee c Source #

NoThunks (Delegatee c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

noThunks ∷ Context → Delegatee c → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Delegatee c → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Delegatee c) → String Source #

type Rep (Delegatee c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

type Rep (Delegatee c) = D1 ('MetaData "Delegatee" "Cardano.Ledger.Conway.TxCert" "cardano-ledger-conway-1.14.0.0-inplace" 'False) (C1 ('MetaCons "DelegStake" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool c))) :+: (C1 ('MetaCons "DelegVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DRep c))) :+: C1 ('MetaCons "DelegStakeVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool c)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DRep c)))))

class ShelleyEraTxCert era ⇒ ConwayEraTxCert era where Source #

Methods

mkRegDepositTxCert ∷ StakeCredential (EraCrypto era) → Coin → TxCert era Source #

getRegDepositTxCert ∷ TxCert era → Maybe (StakeCredential (EraCrypto era), Coin) Source #

mkUnRegDepositTxCert ∷ StakeCredential (EraCrypto era) → Coin → TxCert era Source #

getUnRegDepositTxCert ∷ TxCert era → Maybe (StakeCredential (EraCrypto era), Coin) Source #

mkDelegTxCert ∷ StakeCredential (EraCrypto era) → Delegatee (EraCrypto era) → TxCert era Source #

getDelegTxCert ∷ TxCert era → Maybe (StakeCredential (EraCrypto era), Delegatee (EraCrypto era)) Source #

mkRegDepositDelegTxCert ∷ StakeCredential (EraCrypto era) → Delegatee (EraCrypto era) → Coin → TxCert era Source #

getRegDepositDelegTxCert ∷ TxCert era → Maybe (StakeCredential (EraCrypto era), Delegatee (EraCrypto era), Coin) Source #

mkAuthCommitteeHotKeyTxCert ∷ Credential 'ColdCommitteeRole (EraCrypto era) → Credential 'HotCommitteeRole (EraCrypto era) → TxCert era Source #

getAuthCommitteeHotKeyTxCert ∷ TxCert era → Maybe (Credential 'ColdCommitteeRole (EraCrypto era), Credential 'HotCommitteeRole (EraCrypto era)) Source #

mkResignCommitteeColdTxCert ∷ Credential 'ColdCommitteeRole (EraCrypto era) → StrictMaybe (Anchor (EraCrypto era)) → TxCert era Source #

getResignCommitteeColdTxCert ∷ TxCert era → Maybe (Credential 'ColdCommitteeRole (EraCrypto era), StrictMaybe (Anchor (EraCrypto era))) Source #

mkRegDRepTxCert ∷ Credential 'DRepRole (EraCrypto era) → Coin → StrictMaybe (Anchor (EraCrypto era)) → TxCert era Source #

getRegDRepTxCert ∷ TxCert era → Maybe (Credential 'DRepRole (EraCrypto era), Coin, StrictMaybe (Anchor (EraCrypto era))) Source #

mkUnRegDRepTxCert ∷ Credential 'DRepRole (EraCrypto era) → Coin → TxCert era Source #

getUnRegDRepTxCert ∷ TxCert era → Maybe (Credential 'DRepRole (EraCrypto era), Coin) Source #

mkUpdateDRepTxCert ∷ Credential 'DRepRole (EraCrypto era) → StrictMaybe (Anchor (EraCrypto era)) → TxCert era Source #

getUpdateDRepTxCert ∷ TxCert era → Maybe (Credential 'DRepRole (EraCrypto era), StrictMaybe (Anchor (EraCrypto era))) Source #

Instances

Instances details
Crypto c ⇒ ConwayEraTxCert (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

mkRegDepositTxCert ∷ StakeCredential (EraCrypto (ConwayEra c)) → Coin → TxCert (ConwayEra c) Source #

getRegDepositTxCert ∷ TxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c)), Coin) Source #

mkUnRegDepositTxCert ∷ StakeCredential (EraCrypto (ConwayEra c)) → Coin → TxCert (ConwayEra c) Source #

getUnRegDepositTxCert ∷ TxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c)), Coin) Source #

mkDelegTxCert ∷ StakeCredential (EraCrypto (ConwayEra c)) → Delegatee (EraCrypto (ConwayEra c)) → TxCert (ConwayEra c) Source #

getDelegTxCert ∷ TxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c)), Delegatee (EraCrypto (ConwayEra c))) Source #

mkRegDepositDelegTxCert ∷ StakeCredential (EraCrypto (ConwayEra c)) → Delegatee (EraCrypto (ConwayEra c)) → Coin → TxCert (ConwayEra c) Source #

getRegDepositDelegTxCert ∷ TxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c)), Delegatee (EraCrypto (ConwayEra c)), Coin) Source #

mkAuthCommitteeHotKeyTxCert ∷ Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)) → Credential 'HotCommitteeRole (EraCrypto (ConwayEra c)) → TxCert (ConwayEra c) Source #

getAuthCommitteeHotKeyTxCert ∷ TxCert (ConwayEra c) → Maybe (Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)), Credential 'HotCommitteeRole (EraCrypto (ConwayEra c))) Source #

mkResignCommitteeColdTxCert ∷ Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)) → StrictMaybe (Anchor (EraCrypto (ConwayEra c))) → TxCert (ConwayEra c) Source #

getResignCommitteeColdTxCert ∷ TxCert (ConwayEra c) → Maybe (Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)), StrictMaybe (Anchor (EraCrypto (ConwayEra c)))) Source #

mkRegDRepTxCert ∷ Credential 'DRepRole (EraCrypto (ConwayEra c)) → Coin → StrictMaybe (Anchor (EraCrypto (ConwayEra c))) → TxCert (ConwayEra c) Source #

getRegDRepTxCert ∷ TxCert (ConwayEra c) → Maybe (Credential 'DRepRole (EraCrypto (ConwayEra c)), Coin, StrictMaybe (Anchor (EraCrypto (ConwayEra c)))) Source #

mkUnRegDRepTxCert ∷ Credential 'DRepRole (EraCrypto (ConwayEra c)) → Coin → TxCert (ConwayEra c) Source #

getUnRegDRepTxCert ∷ TxCert (ConwayEra c) → Maybe (Credential 'DRepRole (EraCrypto (ConwayEra c)), Coin) Source #

mkUpdateDRepTxCert ∷ Credential 'DRepRole (EraCrypto (ConwayEra c)) → StrictMaybe (Anchor (EraCrypto (ConwayEra c))) → TxCert (ConwayEra c) Source #

getUpdateDRepTxCert ∷ TxCert (ConwayEra c) → Maybe (Credential 'DRepRole (EraCrypto (ConwayEra c)), StrictMaybe (Anchor (EraCrypto (ConwayEra c)))) Source #

fromShelleyDelegCert ∷ ShelleyDelegCert c → ConwayDelegCert c Source #

toShelleyDelegCert ∷ ConwayDelegCert c → Maybe (ShelleyDelegCert c) Source #

getScriptWitnessConwayTxCert ∷ ConwayTxCert era → Maybe (ScriptHash (EraCrypto era)) Source #

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

getDelegateeTxCert ∷ ConwayEraTxCert era ⇒ TxCert era → Maybe (Delegatee (EraCrypto era)) Source #

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

getVoteDelegatee ∷ Delegatee c → Maybe (DRep c) Source #

conwayDRepDepositsTxCerts ∷ (ConwayEraPParams era, Foldable f, ConwayEraTxCert era) ⇒ PParams era → f (TxCert era) → Coin Source #

conwayDRepRefundsTxCerts ∷ (Foldable f, ConwayEraTxCert era) ⇒ (Credential 'DRepRole (EraCrypto era) → Maybe Coin) → f (TxCert era) → Coin Source #

Compute the Refunds from a TxBody, given a function that computes a partial Coin for known Credentials.

conwayTotalDepositsTxCerts Source #

Arguments

∷ (ConwayEraPParams era, Foldable f, ConwayEraTxCert era) 
⇒ PParams era 
→ (KeyHash 'StakePool (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.

conwayTotalRefundsTxCerts Source #

Arguments

∷ (EraPParams era, Foldable f, ConwayEraTxCert era) 
⇒ PParams era 
→ (Credential 'Staking (EraCrypto era) → Maybe Coin)

Function that can lookup current deposit, in case when the Staking credential is registered.

→ (Credential 'DRepRole (EraCrypto era) → Maybe Coin)

Function that can lookup current deposit, in case when the DRep credential is registered.

→ f (TxCert era) 
→ Coin 

Compute the key deregistration refunds in a transaction

pattern RegDepositTxCert ∷ ConwayEraTxCert era ⇒ StakeCredential (EraCrypto era) → Coin → TxCert era Source #

pattern UnRegDepositTxCert ∷ ConwayEraTxCert era ⇒ StakeCredential (EraCrypto era) → Coin → TxCert era Source #

pattern DelegTxCert ∷ ConwayEraTxCert era ⇒ StakeCredential (EraCrypto era) → Delegatee (EraCrypto era) → TxCert era Source #

pattern RegDepositDelegTxCert ∷ ConwayEraTxCert era ⇒ StakeCredential (EraCrypto era) → Delegatee (EraCrypto era) → Coin → TxCert era Source #

pattern AuthCommitteeHotKeyTxCert ∷ ConwayEraTxCert era ⇒ Credential 'ColdCommitteeRole (EraCrypto era) → Credential 'HotCommitteeRole (EraCrypto era) → TxCert era Source #

pattern ResignCommitteeColdTxCert ∷ ConwayEraTxCert era ⇒ Credential 'ColdCommitteeRole (EraCrypto era) → StrictMaybe (Anchor (EraCrypto era)) → TxCert era Source #

pattern RegDRepTxCert ∷ ConwayEraTxCert era ⇒ Credential 'DRepRole (EraCrypto era) → Coin → StrictMaybe (Anchor (EraCrypto era)) → TxCert era Source #

pattern UnRegDRepTxCert ∷ ConwayEraTxCert era ⇒ Credential 'DRepRole (EraCrypto era) → Coin → TxCert era Source #

pattern UpdateDRepTxCert ∷ ConwayEraTxCert era ⇒ Credential 'DRepRole (EraCrypto era) → StrictMaybe (Anchor (EraCrypto era)) → TxCert era Source #

Orphan instances

Crypto c ⇒ EraTxCert (ConwayEra c) Source # 
Instance details

Associated Types

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

type TxCertUpgradeError (ConwayEra c) Source #

Methods

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

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

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

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

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

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

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

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

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

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

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

Crypto c ⇒ ShelleyEraTxCert (ConwayEra c) Source # 
Instance details

Methods

mkRegTxCert ∷ StakeCredential (EraCrypto (ConwayEra c)) → TxCert (ConwayEra c) Source #

getRegTxCert ∷ TxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c))) Source #

mkUnRegTxCert ∷ StakeCredential (EraCrypto (ConwayEra c)) → TxCert (ConwayEra c) Source #

getUnRegTxCert ∷ TxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c))) Source #

mkDelegStakeTxCert ∷ StakeCredential (EraCrypto (ConwayEra c)) → KeyHash 'StakePool (EraCrypto (ConwayEra c)) → TxCert (ConwayEra c) Source #

getDelegStakeTxCert ∷ TxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c)), KeyHash 'StakePool (EraCrypto (ConwayEra c))) Source #

mkGenesisDelegTxCert ∷ GenesisDelegCert (EraCrypto (ConwayEra c)) → TxCert (ConwayEra c) Source #

getGenesisDelegTxCert ∷ TxCert (ConwayEra c) → Maybe (GenesisDelegCert (EraCrypto (ConwayEra c))) Source #

mkMirTxCert ∷ MIRCert (EraCrypto (ConwayEra c)) → TxCert (ConwayEra c) Source #

getMirTxCert ∷ TxCert (ConwayEra c) → Maybe (MIRCert (EraCrypto (ConwayEra c))) Source #