cardano-ledger-conway-1.25.0.0: Cardano ledger with an updated on-chain governance system.
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Conway.Core

Documentation

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

Methods

currentTreasuryValueTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l 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 ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) (VotingProcedures era) Source #

Lens for getting and setting VotingProcedures.

proposalProceduresTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) (OSet (ProposalProcedure era)) Source #

Lens for getting and setting ProposalProcedures.

treasuryDonationTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) Coin Source #

Instances

Instances details
ConwayEraTxBody ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

Methods

currentTreasuryValueTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ConwayEra) (StrictMaybe Coin) Source #

votingProceduresTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ConwayEra) (VotingProcedures ConwayEra) Source #

proposalProceduresTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ConwayEra) (OSet (ProposalProcedure ConwayEra)) Source #

treasuryDonationTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ConwayEra) Coin Source #

class BabbageEraPParams era ⇒ ConwayEraPParams era Source #

Minimal complete definition

ppuWellFormed, hkdPoolVotingThresholdsL, hkdDRepVotingThresholdsL, hkdCommitteeMinSizeL, hkdCommitteeMaxTermLengthL, hkdGovActionLifetimeL, hkdGovActionDepositCompactL, hkdDRepDepositCompactL, hkdDRepActivityL, hkdMinFeeRefScriptCostPerByteL, ppMaxRefScriptSizePerTxG, ppMaxRefScriptSizePerBlockG, ppRefScriptCostMultiplierG, ppRefScriptCostStrideG

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 Word16) 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 #

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

hkdDRepDepositCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f (CompactForm 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 #

ppMaxRefScriptSizePerTxG ∷ SimpleGetter (PParams ConwayEra) Word32 Source #

ppMaxRefScriptSizePerBlockG ∷ SimpleGetter (PParams ConwayEra) Word32 Source #

ppRefScriptCostMultiplierG ∷ SimpleGetter (PParams ConwayEra) PositiveInterval Source #

ppRefScriptCostStrideG ∷ SimpleGetter (PParams ConwayEra) (NonZero Word32) Source #

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

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

ppCommitteeMinSizeL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) Word16 Source #

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

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

ppGovActionDepositL ∷ (ConwayEraPParams era, HasCallStack) ⇒ Lens' (PParams era) Coin Source #

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

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

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

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

ppuCommitteeMinSizeL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word16) Source #

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

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

ppuGovActionDepositL ∷ (ConwayEraPParams era, HasCallStack) ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin) Source #

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

ppuDRepActivityL ∷ 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 #

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 #

ToPlutusData PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

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

Generic PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Associated Types

type Rep PoolVotingThresholds 
Instance details

Defined in Cardano.Ledger.Conway.PParams

type Rep PoolVotingThresholds = D1 ('MetaData "PoolVotingThresholds" "Cardano.Ledger.Conway.PParams" "cardano-ledger-conway-1.25.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)))))

Methods

from ∷ PoolVotingThresholds → Rep PoolVotingThresholds x #

to ∷ Rep PoolVotingThresholds x → PoolVotingThresholds #

Show PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

showsPrec ∷ Int → PoolVotingThresholds → ShowS #

show ∷ PoolVotingThresholds → String #

showList ∷ [PoolVotingThresholds] → ShowS #

Eq PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

(==) ∷ PoolVotingThresholds → PoolVotingThresholds → Bool #

(/=) ∷ PoolVotingThresholds → PoolVotingThresholds → Bool #

Ord PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

compare ∷ PoolVotingThresholds → PoolVotingThresholds → Ordering #

(<) ∷ PoolVotingThresholds → PoolVotingThresholds → Bool #

(<=) ∷ PoolVotingThresholds → PoolVotingThresholds → Bool #

(>) ∷ PoolVotingThresholds → PoolVotingThresholds → Bool #

(>=) ∷ PoolVotingThresholds → PoolVotingThresholds → Bool #

max ∷ PoolVotingThresholds → PoolVotingThresholds → PoolVotingThresholds #

min ∷ PoolVotingThresholds → PoolVotingThresholds → PoolVotingThresholds #

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

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 #

ToPlutusData DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

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

Generic DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Associated Types

type Rep DRepVotingThresholds 
Instance details

Defined in Cardano.Ledger.Conway.PParams

type Rep DRepVotingThresholds = D1 ('MetaData "DRepVotingThresholds" "Cardano.Ledger.Conway.PParams" "cardano-ledger-conway-1.25.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))))))

Methods

from ∷ DRepVotingThresholds → Rep DRepVotingThresholds x #

to ∷ Rep DRepVotingThresholds x → DRepVotingThresholds #

Show DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

showsPrec ∷ Int → DRepVotingThresholds → ShowS #

show ∷ DRepVotingThresholds → String #

showList ∷ [DRepVotingThresholds] → ShowS #

Eq DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

(==) ∷ DRepVotingThresholds → DRepVotingThresholds → Bool #

(/=) ∷ DRepVotingThresholds → DRepVotingThresholds → Bool #

Ord DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

compare ∷ DRepVotingThresholds → DRepVotingThresholds → Ordering #

(<) ∷ DRepVotingThresholds → DRepVotingThresholds → Bool #

(<=) ∷ DRepVotingThresholds → DRepVotingThresholds → Bool #

(>) ∷ DRepVotingThresholds → DRepVotingThresholds → Bool #

(>=) ∷ DRepVotingThresholds → DRepVotingThresholds → Bool #

max ∷ DRepVotingThresholds → DRepVotingThresholds → DRepVotingThresholds #

min ∷ DRepVotingThresholds → DRepVotingThresholds → DRepVotingThresholds #

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.25.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 EraTxCert 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 ∷ Credential 'Staking → Coin → TxCert ConwayEra Source #

getRegDepositTxCert ∷ TxCert ConwayEra → Maybe (Credential 'Staking, Coin) Source #

mkUnRegDepositTxCert ∷ Credential 'Staking → Coin → TxCert ConwayEra Source #

getUnRegDepositTxCert ∷ TxCert ConwayEra → Maybe (Credential 'Staking, Coin) Source #

mkDelegTxCert ∷ Credential 'Staking → Delegatee → TxCert ConwayEra Source #

getDelegTxCert ∷ TxCert ConwayEra → Maybe (Credential 'Staking, Delegatee) Source #

mkRegDepositDelegTxCert ∷ Credential 'Staking → Delegatee → Coin → TxCert ConwayEra Source #

getRegDepositDelegTxCert ∷ TxCert ConwayEra → Maybe (Credential 'Staking, 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 ⇒ Credential 'Staking → Coin → TxCert era Source #

pattern UnRegDepositTxCert ∷ ConwayEraTxCert era ⇒ Credential 'Staking → Coin → TxCert era Source #

pattern DelegTxCert ∷ ConwayEraTxCert era ⇒ Credential 'Staking → Delegatee → TxCert era Source #

pattern RegDepositDelegTxCert ∷ ConwayEraTxCert era ⇒ Credential 'Staking → 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