cardano-ledger-conway-1.14.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
Crypto c ⇒ ConwayEraTxBody (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

Methods

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

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

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

treasuryDonationTxBodyL ∷ Lens' (TxBody (ConwayEra c)) 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
Crypto c ⇒ ConwayEraPParams (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

modifiedPPGroups ∷ PParamsUpdate (ConwayEra c) → Set PPGroups Source #

ppuWellFormed ∷ PParamsUpdate (ConwayEra c) → Bool Source #

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

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

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

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

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

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

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

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

hkdMinFeeRefScriptCostPerByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (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.14.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.14.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 (EraCrypto era)) → PlutusPurpose f era Source #

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

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

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

Instances

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

Defined in Cardano.Ledger.Conway.Scripts

Methods

mkVotingPurpose ∷ f Word32 (Voter (EraCrypto (ConwayEra c))) → PlutusPurpose f (ConwayEra c) Source #

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

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

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

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

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

module Cardano.Ledger.Babbage.Core