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

Cardano.Ledger.Conway.Core

Documentation

class (BabbageEraTxBody era, ConwayEraTxCert era, ConwayEraPParams era, ConwayEraScript era) ⇒ ConwayEraTxBody era where Source #

Methods

currentTreasuryValueTxBodyL ∷ Lens' (TxBody era) (StrictMaybe Coin) Source #

Lens for getting and setting number of Coin that is expected to be in the Treasury at the current Epoch

votingProceduresTxBodyL ∷ Lens' (TxBody era) (VotingProcedures era) Source #

Lens for getting and setting VotingProcedures.

proposalProceduresTxBodyL ∷ Lens' (TxBody era) (OSet (ProposalProcedure era)) Source #

Lens for getting and setting ProposalProcedures.

treasuryDonationTxBodyL ∷ Lens' (TxBody era) Coin Source #

Instances

Instances details
ConwayEraTxBody ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody.Internal

Methods

currentTreasuryValueTxBodyL ∷ Lens' (TxBody ConwayEra) (StrictMaybe Coin) Source #

votingProceduresTxBodyL ∷ Lens' (TxBody ConwayEra) (VotingProcedures ConwayEra) Source #

proposalProceduresTxBodyL ∷ Lens' (TxBody ConwayEra) (OSet (ProposalProcedure ConwayEra)) Source #

treasuryDonationTxBodyL ∷ Lens' (TxBody ConwayEra) Coin Source #

class BabbageEraPParams era ⇒ ConwayEraPParams era Source #

Minimal complete definition

modifiedPPGroups, ppuWellFormed, hkdPoolVotingThresholdsL, hkdDRepVotingThresholdsL, hkdCommitteeMinSizeL, hkdCommitteeMaxTermLengthL, hkdGovActionLifetimeL, hkdGovActionDepositL, hkdDRepDepositL, hkdDRepActivityL, hkdMinFeeRefScriptCostPerByteL

Instances

Instances details
ConwayEraPParams ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

modifiedPPGroups ∷ PParamsUpdate ConwayEra → Set PPGroups Source #

ppuWellFormed ∷ ProtVer → PParamsUpdate ConwayEra → Bool Source #

hkdPoolVotingThresholdsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f PoolVotingThresholds) Source #

hkdDRepVotingThresholdsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f DRepVotingThresholds) Source #

hkdCommitteeMinSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f Natural) Source #

hkdCommitteeMaxTermLengthL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f EpochInterval) Source #

hkdGovActionLifetimeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f EpochInterval) Source #

hkdGovActionDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f Coin) Source #

hkdDRepDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f Coin) Source #

hkdDRepActivityL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f EpochInterval) Source #

hkdMinFeeRefScriptCostPerByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f NonNegativeInterval) Source #

ppPoolVotingThresholdsL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParams era) PoolVotingThresholds Source #

ppDRepVotingThresholdsL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParams era) DRepVotingThresholds Source #

ppCommitteeMinSizeL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParams era) Natural Source #

ppCommitteeMaxTermLengthL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParams era) EpochInterval Source #

ppGovActionLifetimeL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParams era) EpochInterval Source #

ppGovActionDepositL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParams era) Coin Source #

ppDRepDepositL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParams era) Coin Source #

ppDRepActivityL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParams era) EpochInterval Source #

ppuPoolVotingThresholdsL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe PoolVotingThresholds) Source #

ppuDRepVotingThresholdsL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe DRepVotingThresholds) Source #

ppuCommitteeMinSizeL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Natural) Source #

ppuCommitteeMaxTermLengthL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe EpochInterval) Source #

ppuGovActionLifetimeL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe EpochInterval) Source #

ppuGovActionDepositL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin) Source #

ppuDRepDepositL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin) Source #

ppuDRepActivityL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe EpochInterval) Source #

data PoolVotingThresholds Source #

Constructors

PoolVotingThresholds 

Fields

Instances

Instances details
FromJSON PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

parseJSON ∷ Value → Parser PoolVotingThresholds Source #

parseJSONList ∷ Value → Parser [PoolVotingThresholds] Source #

omittedField ∷ Maybe PoolVotingThresholds Source #

ToJSON PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

toJSON ∷ PoolVotingThresholds → Value Source #

toEncoding ∷ PoolVotingThresholds → Encoding Source #

toJSONList ∷ [PoolVotingThresholds] → Value Source #

toEncodingList ∷ [PoolVotingThresholds] → Encoding Source #

omitField ∷ PoolVotingThresholds → Bool Source #

Generic PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Associated Types

type Rep PoolVotingThresholds ∷ Type → Type Source #

Methods

from ∷ PoolVotingThresholds → Rep PoolVotingThresholds x Source #

to ∷ Rep PoolVotingThresholds x → PoolVotingThresholds Source #

Show PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

showsPrec ∷ Int → PoolVotingThresholds → ShowS Source #

show ∷ PoolVotingThresholds → String Source #

showList ∷ [PoolVotingThresholds] → ShowS Source #

DecCBOR PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

decCBOR ∷ Decoder s PoolVotingThresholds Source #

dropCBOR ∷ Proxy PoolVotingThresholds → Decoder s () Source #

label ∷ Proxy PoolVotingThresholds → Text Source #

EncCBOR PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

encCBOR ∷ PoolVotingThresholds → Encoding Source #

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

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

ToPlutusData PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.Plutus.Context

Methods

toPlutusData ∷ PoolVotingThresholds → Data Source #

fromPlutusData ∷ Data → Maybe PoolVotingThresholds Source #

Default PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

def ∷ PoolVotingThresholds Source #

NFData PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

rnf ∷ PoolVotingThresholds → () Source #

Eq PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

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

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

Ord PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

compare ∷ PoolVotingThresholds → PoolVotingThresholds → Ordering Source #

(<) ∷ PoolVotingThresholds → PoolVotingThresholds → Bool Source #

(<=) ∷ PoolVotingThresholds → PoolVotingThresholds → Bool Source #

(>) ∷ PoolVotingThresholds → PoolVotingThresholds → Bool Source #

(>=) ∷ PoolVotingThresholds → PoolVotingThresholds → Bool Source #

max ∷ PoolVotingThresholds → PoolVotingThresholds → PoolVotingThresholds Source #

min ∷ PoolVotingThresholds → PoolVotingThresholds → PoolVotingThresholds Source #

NoThunks PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

noThunks ∷ Context → PoolVotingThresholds → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PoolVotingThresholds → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy PoolVotingThresholds → String Source #

type Rep PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

type Rep PoolVotingThresholds = D1 ('MetaData "PoolVotingThresholds" "Cardano.Ledger.Conway.PParams" "cardano-ledger-conway-1.19.0.0-inplace" 'False) (C1 ('MetaCons "PoolVotingThresholds" 'PrefixI 'True) ((S1 ('MetaSel ('Just "pvtMotionNoConfidence") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "pvtCommitteeNormal") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval)) :*: (S1 ('MetaSel ('Just "pvtCommitteeNoConfidence") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: (S1 ('MetaSel ('Just "pvtHardForkInitiation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "pvtPPSecurityGroup") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval)))))

data DRepVotingThresholds Source #

Constructors

DRepVotingThresholds 

Fields

Instances

Instances details
FromJSON DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

parseJSON ∷ Value → Parser DRepVotingThresholds Source #

parseJSONList ∷ Value → Parser [DRepVotingThresholds] Source #

omittedField ∷ Maybe DRepVotingThresholds Source #

ToJSON DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

toJSON ∷ DRepVotingThresholds → Value Source #

toEncoding ∷ DRepVotingThresholds → Encoding Source #

toJSONList ∷ [DRepVotingThresholds] → Value Source #

toEncodingList ∷ [DRepVotingThresholds] → Encoding Source #

omitField ∷ DRepVotingThresholds → Bool Source #

Generic DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Associated Types

type Rep DRepVotingThresholds ∷ Type → Type Source #

Methods

from ∷ DRepVotingThresholds → Rep DRepVotingThresholds x Source #

to ∷ Rep DRepVotingThresholds x → DRepVotingThresholds Source #

Show DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

showsPrec ∷ Int → DRepVotingThresholds → ShowS Source #

show ∷ DRepVotingThresholds → String Source #

showList ∷ [DRepVotingThresholds] → ShowS Source #

DecCBOR DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

decCBOR ∷ Decoder s DRepVotingThresholds Source #

dropCBOR ∷ Proxy DRepVotingThresholds → Decoder s () Source #

label ∷ Proxy DRepVotingThresholds → Text Source #

EncCBOR DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

encCBOR ∷ DRepVotingThresholds → Encoding Source #

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

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

ToPlutusData DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.Plutus.Context

Methods

toPlutusData ∷ DRepVotingThresholds → Data Source #

fromPlutusData ∷ Data → Maybe DRepVotingThresholds Source #

Default DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

def ∷ DRepVotingThresholds Source #

NFData DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

rnf ∷ DRepVotingThresholds → () Source #

Eq DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

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

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

Ord DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

compare ∷ DRepVotingThresholds → DRepVotingThresholds → Ordering Source #

(<) ∷ DRepVotingThresholds → DRepVotingThresholds → Bool Source #

(<=) ∷ DRepVotingThresholds → DRepVotingThresholds → Bool Source #

(>) ∷ DRepVotingThresholds → DRepVotingThresholds → Bool Source #

(>=) ∷ DRepVotingThresholds → DRepVotingThresholds → Bool Source #

max ∷ DRepVotingThresholds → DRepVotingThresholds → DRepVotingThresholds Source #

min ∷ DRepVotingThresholds → DRepVotingThresholds → DRepVotingThresholds Source #

NoThunks DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

noThunks ∷ Context → DRepVotingThresholds → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → DRepVotingThresholds → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy DRepVotingThresholds → String Source #

type Rep DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

type Rep DRepVotingThresholds = D1 ('MetaData "DRepVotingThresholds" "Cardano.Ledger.Conway.PParams" "cardano-ledger-conway-1.19.0.0-inplace" 'False) (C1 ('MetaCons "DRepVotingThresholds" 'PrefixI 'True) (((S1 ('MetaSel ('Just "dvtMotionNoConfidence") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "dvtCommitteeNormal") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval)) :*: (S1 ('MetaSel ('Just "dvtCommitteeNoConfidence") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: (S1 ('MetaSel ('Just "dvtUpdateToConstitution") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "dvtHardForkInitiation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval)))) :*: ((S1 ('MetaSel ('Just "dvtPPNetworkGroup") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "dvtPPEconomicGroup") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval)) :*: (S1 ('MetaSel ('Just "dvtPPTechnicalGroup") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: (S1 ('MetaSel ('Just "dvtPPGovGroup") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "dvtTreasuryWithdrawal") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval))))))

dvtPPNetworkGroupL ∷ Lens' DRepVotingThresholds UnitInterval Source #

dvtPPGovGroupL ∷ Lens' DRepVotingThresholds UnitInterval Source #

dvtPPTechnicalGroupL ∷ Lens' DRepVotingThresholds UnitInterval Source #

dvtPPEconomicGroupL ∷ Lens' DRepVotingThresholds UnitInterval Source #

dvtUpdateToConstitutionL ∷ Lens' DRepVotingThresholds UnitInterval Source #

class AlonzoEraScript era ⇒ ConwayEraScript era where Source #

Methods

mkVotingPurpose ∷ f Word32 Voter → PlutusPurpose f era Source #

toVotingPurpose ∷ PlutusPurpose f era → Maybe (f Word32 Voter) Source #

mkProposingPurpose ∷ f Word32 (ProposalProcedure era) → PlutusPurpose f era Source #

toProposingPurpose ∷ PlutusPurpose f era → Maybe (f Word32 (ProposalProcedure era)) Source #

Instances

Instances details
ConwayEraScript ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

mkVotingPurpose ∷ f Word32 Voter → PlutusPurpose f ConwayEra Source #

toVotingPurpose ∷ PlutusPurpose f ConwayEra → Maybe (f Word32 Voter) Source #

mkProposingPurpose ∷ f Word32 (ProposalProcedure ConwayEra) → PlutusPurpose f ConwayEra Source #

toProposingPurpose ∷ PlutusPurpose f ConwayEra → Maybe (f Word32 (ProposalProcedure ConwayEra)) Source #

pattern VotingPurpose ∷ ConwayEraScript era ⇒ f Word32 Voter → PlutusPurpose f era Source #

pattern ProposingPurpose ∷ ConwayEraScript era ⇒ f Word32 (ProposalProcedure era) → PlutusPurpose f era Source #

class ShelleyEraTxCert era ⇒ ConwayEraTxCert era Source #

Minimal complete definition

mkRegDepositTxCert, getRegDepositTxCert, mkUnRegDepositTxCert, getUnRegDepositTxCert, mkDelegTxCert, getDelegTxCert, mkRegDepositDelegTxCert, getRegDepositDelegTxCert, mkAuthCommitteeHotKeyTxCert, getAuthCommitteeHotKeyTxCert, mkResignCommitteeColdTxCert, getResignCommitteeColdTxCert, mkRegDRepTxCert, getRegDRepTxCert, mkUnRegDRepTxCert, getUnRegDRepTxCert, mkUpdateDRepTxCert, getUpdateDRepTxCert

Instances

Instances details
ConwayEraTxCert ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

mkRegDepositTxCert ∷ StakeCredential → Coin → TxCert ConwayEra Source #

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

mkUnRegDepositTxCert ∷ StakeCredential → Coin → TxCert ConwayEra Source #

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

mkDelegTxCert ∷ StakeCredential → Delegatee → TxCert ConwayEra Source #

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

mkRegDepositDelegTxCert ∷ StakeCredential → Delegatee → Coin → TxCert ConwayEra Source #

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

mkAuthCommitteeHotKeyTxCert ∷ Credential 'ColdCommitteeRole → Credential 'HotCommitteeRole → TxCert ConwayEra Source #

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

mkResignCommitteeColdTxCert ∷ Credential 'ColdCommitteeRole → StrictMaybe Anchor → TxCert ConwayEra Source #

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

mkRegDRepTxCert ∷ Credential 'DRepRole → Coin → StrictMaybe Anchor → TxCert ConwayEra Source #

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

mkUnRegDRepTxCert ∷ Credential 'DRepRole → Coin → TxCert ConwayEra Source #

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

mkUpdateDRepTxCert ∷ Credential 'DRepRole → StrictMaybe Anchor → TxCert ConwayEra Source #

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

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

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

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

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

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

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

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

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

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

module Cardano.Ledger.Babbage.Core