cardano-ledger-conway-1.18.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

currentTreasuryValueTxBodyLLens' (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

votingProceduresTxBodyLLens' (TxBody era) (VotingProcedures era) Source #

Lens for getting and setting VotingProcedures.

proposalProceduresTxBodyLLens' (TxBody era) (OSet (ProposalProcedure era)) Source #

Lens for getting and setting ProposalProcedures.

treasuryDonationTxBodyLLens' (TxBody era) Coin Source #

class BabbageEraPParams era ⇒ ConwayEraPParams era Source #

Instances

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

Defined in Cardano.Ledger.Conway.PParams

data PoolVotingThresholds Source #

Instances

Instances details
FromJSON PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

ToJSON PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Generic PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Associated Types

type Rep PoolVotingThresholdsTypeType Source #

Show PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

DecCBOR PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

EncCBOR PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

ToPlutusData PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.Plutus.Context

Default PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

NFData PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

rnfPoolVotingThresholds → () Source #

Eq PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Ord PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

NoThunks PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

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

Instances

Instances details
FromJSON DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

ToJSON DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Generic DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Associated Types

type Rep DRepVotingThresholdsTypeType Source #

Show DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

DecCBOR DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

EncCBOR DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

ToPlutusData DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.Plutus.Context

Default DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

NFData DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

rnfDRepVotingThresholds → () Source #

Eq DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Ord DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

NoThunks DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

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

pattern VotingPurposeConwayEraScript era ⇒ f Word32 (Voter (EraCrypto era)) → PlutusPurpose f era Source #

class ShelleyEraTxCert era ⇒ ConwayEraTxCert era Source #

Instances

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

Defined in Cardano.Ledger.Conway.TxCert

Methods

mkRegDepositTxCertStakeCredential (EraCrypto (ConwayEra c)) → CoinTxCert (ConwayEra c) Source #

getRegDepositTxCertTxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c)), Coin) Source #

mkUnRegDepositTxCertStakeCredential (EraCrypto (ConwayEra c)) → CoinTxCert (ConwayEra c) Source #

getUnRegDepositTxCertTxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c)), Coin) Source #

mkDelegTxCertStakeCredential (EraCrypto (ConwayEra c)) → Delegatee (EraCrypto (ConwayEra c)) → TxCert (ConwayEra c) Source #

getDelegTxCertTxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c)), Delegatee (EraCrypto (ConwayEra c))) Source #

mkRegDepositDelegTxCertStakeCredential (EraCrypto (ConwayEra c)) → Delegatee (EraCrypto (ConwayEra c)) → CoinTxCert (ConwayEra c) Source #

getRegDepositDelegTxCertTxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c)), Delegatee (EraCrypto (ConwayEra c)), Coin) Source #

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

getAuthCommitteeHotKeyTxCertTxCert (ConwayEra c) → Maybe (Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)), Credential 'HotCommitteeRole (EraCrypto (ConwayEra c))) Source #

mkResignCommitteeColdTxCertCredential 'ColdCommitteeRole (EraCrypto (ConwayEra c)) → StrictMaybe (Anchor (EraCrypto (ConwayEra c))) → TxCert (ConwayEra c) Source #

getResignCommitteeColdTxCertTxCert (ConwayEra c) → Maybe (Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)), StrictMaybe (Anchor (EraCrypto (ConwayEra c)))) Source #

mkRegDRepTxCertCredential 'DRepRole (EraCrypto (ConwayEra c)) → CoinStrictMaybe (Anchor (EraCrypto (ConwayEra c))) → TxCert (ConwayEra c) Source #

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

mkUnRegDRepTxCertCredential 'DRepRole (EraCrypto (ConwayEra c)) → CoinTxCert (ConwayEra c) Source #

getUnRegDRepTxCertTxCert (ConwayEra c) → Maybe (Credential 'DRepRole (EraCrypto (ConwayEra c)), Coin) Source #

mkUpdateDRepTxCertCredential 'DRepRole (EraCrypto (ConwayEra c)) → StrictMaybe (Anchor (EraCrypto (ConwayEra c))) → TxCert (ConwayEra c) Source #

getUpdateDRepTxCertTxCert (ConwayEra c) → Maybe (Credential 'DRepRole (EraCrypto (ConwayEra c)), StrictMaybe (Anchor (EraCrypto (ConwayEra c)))) Source #