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

Cardano.Ledger.Conway.PParams

Description

This module contains the type of protocol parameters and EraPParams instance

Synopsis

Documentation

class BabbageEraPParams era ⇒ ConwayEraPParams era where Source #

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

data ConwayPParams f era Source #

Conway Protocol parameters. The following parameters have been added since Babbage: * poolVotingThresholds * dRepVotingThresholds * committeeMinSize * committeeMaxTermLength * govActionLifetime * govActionDeposit * dRepDeposit * dRepActivity

Constructors

ConwayPParams 

Fields

Instances

Instances details
Era era ⇒ FromJSON (ConwayPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Crypto c ⇒ ToJSON (ConwayPParams Identity (ConwayEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

(ConwayEraPParams era, PParamsHKD StrictMaybe era ~ ConwayPParams StrictMaybe era) ⇒ ToJSON (ConwayPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Generic (ConwayPParams f era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Associated Types

type Rep (ConwayPParams f era) ∷ TypeType Source #

Methods

fromConwayPParams f era → Rep (ConwayPParams f era) x Source #

toRep (ConwayPParams f era) x → ConwayPParams f era Source #

Show (ConwayPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Show (ConwayPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Era era ⇒ FromCBOR (ConwayPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Era era ⇒ FromCBOR (ConwayPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Era era ⇒ ToCBOR (ConwayPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

toCBORConwayPParams Identity era → Encoding Source #

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

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

Era era ⇒ ToCBOR (ConwayPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Era era ⇒ DecCBOR (ConwayPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Era era ⇒ DecCBOR (ConwayPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Era era ⇒ EncCBOR (ConwayPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Era era ⇒ EncCBOR (ConwayPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

NFData (ConwayPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

rnfConwayPParams Identity era → () Source #

NFData (ConwayPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

rnfConwayPParams StrictMaybe era → () Source #

Eq (ConwayPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Eq (ConwayPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Ord (ConwayPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Ord (ConwayPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

NoThunks (ConwayPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

NoThunks (ConwayPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

type Rep (ConwayPParams f era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

type Rep (ConwayPParams f era) = D1 ('MetaData "ConwayPParams" "Cardano.Ledger.Conway.PParams" "cardano-ledger-conway-1.16.0.1-inplace" 'False) (C1 ('MetaCons "ConwayPParams" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "cppMinFeeA") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f Coin)) :*: (S1 ('MetaSel ('Just "cppMinFeeB") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f Coin)) :*: S1 ('MetaSel ('Just "cppMaxBBSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32)))) :*: ((S1 ('MetaSel ('Just "cppMaxTxSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32)) :*: S1 ('MetaSel ('Just "cppMaxBHSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word16))) :*: (S1 ('MetaSel ('Just "cppKeyDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Coin)) :*: S1 ('MetaSel ('Just "cppPoolDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Coin))))) :*: (((S1 ('MetaSel ('Just "cppEMax") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f EpochInterval)) :*: S1 ('MetaSel ('Just "cppNOpt") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f Word16))) :*: (S1 ('MetaSel ('Just "cppA0") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f NonNegativeInterval)) :*: S1 ('MetaSel ('Just "cppRho") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f UnitInterval)))) :*: ((S1 ('MetaSel ('Just "cppTau") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f UnitInterval)) :*: S1 ('MetaSel ('Just "cppProtocolVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKDNoUpdate f ProtVer))) :*: (S1 ('MetaSel ('Just "cppMinPoolCost") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Coin)) :*: S1 ('MetaSel ('Just "cppCoinsPerUTxOByte") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f CoinPerByte)))))) :*: ((((S1 ('MetaSel ('Just "cppCostModels") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f CostModels)) :*: S1 ('MetaSel ('Just "cppPrices") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Prices))) :*: (S1 ('MetaSel ('Just "cppMaxTxExUnits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'NoStakePoolGroup) f OrdExUnits)) :*: S1 ('MetaSel ('Just "cppMaxBlockExUnits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f OrdExUnits)))) :*: ((S1 ('MetaSel ('Just "cppMaxValSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32)) :*: S1 ('MetaSel ('Just "cppCollateralPercentage") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f Word16))) :*: (S1 ('MetaSel ('Just "cppMaxCollateralInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'NoStakePoolGroup) f Word16)) :*: S1 ('MetaSel ('Just "cppPoolVotingThresholds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f PoolVotingThresholds))))) :*: (((S1 ('MetaSel ('Just "cppDRepVotingThresholds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f DRepVotingThresholds)) :*: S1 ('MetaSel ('Just "cppCommitteeMinSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f Word16))) :*: (S1 ('MetaSel ('Just "cppCommitteeMaxTermLength") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval)) :*: S1 ('MetaSel ('Just "cppGovActionLifetime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval)))) :*: ((S1 ('MetaSel ('Just "cppGovActionDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'GovGroup 'SecurityGroup) f Coin)) :*: S1 ('MetaSel ('Just "cppDRepDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f Coin))) :*: (S1 ('MetaSel ('Just "cppDRepActivity") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval)) :*: S1 ('MetaSel ('Just "cppMinFeeRefScriptCostPerByte") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f NonNegativeInterval))))))))

data LangDepView Source #

Constructors

LangDepView 

Fields

Instances

Instances details
Generic LangDepView 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Associated Types

type Rep LangDepViewTypeType Source #

Show LangDepView 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Eq LangDepView 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Ord LangDepView 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

NoThunks LangDepView 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type Rep LangDepView 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type Rep LangDepView = D1 ('MetaData "LangDepView" "Cardano.Ledger.Alonzo.PParams" "cardano-ledger-alonzo-1.10.0.1-inplace" 'False) (C1 ('MetaCons "LangDepView" 'PrefixI 'True) (S1 ('MetaSel ('Just "tag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

data UpgradeConwayPParams f Source #

Instances

Instances details
FromJSON (UpgradeConwayPParams Identity) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

ToJSON (UpgradeConwayPParams Identity) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Generic (UpgradeConwayPParams f) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Associated Types

type Rep (UpgradeConwayPParams f) ∷ TypeType Source #

Show (UpgradeConwayPParams Identity) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Show (UpgradeConwayPParams StrictMaybe) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

DecCBOR (UpgradeConwayPParams Identity) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

EncCBOR (UpgradeConwayPParams Identity) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Default (UpgradeConwayPParams StrictMaybe) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

NFData (UpgradeConwayPParams Identity) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

NFData (UpgradeConwayPParams StrictMaybe) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Eq (UpgradeConwayPParams Identity) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Eq (UpgradeConwayPParams StrictMaybe) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Ord (UpgradeConwayPParams Identity) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Ord (UpgradeConwayPParams StrictMaybe) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

NoThunks (UpgradeConwayPParams Identity) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

NoThunks (UpgradeConwayPParams StrictMaybe) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

type Rep (UpgradeConwayPParams f) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

type Rep (UpgradeConwayPParams f) = D1 ('MetaData "UpgradeConwayPParams" "Cardano.Ledger.Conway.PParams" "cardano-ledger-conway-1.16.0.1-inplace" 'False) (C1 ('MetaCons "UpgradeConwayPParams" 'PrefixI 'True) (((S1 ('MetaSel ('Just "ucppPoolVotingThresholds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f PoolVotingThresholds)) :*: S1 ('MetaSel ('Just "ucppDRepVotingThresholds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f DRepVotingThresholds))) :*: (S1 ('MetaSel ('Just "ucppCommitteeMinSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Word16)) :*: (S1 ('MetaSel ('Just "ucppCommitteeMaxTermLength") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f EpochInterval)) :*: S1 ('MetaSel ('Just "ucppGovActionLifetime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f EpochInterval))))) :*: ((S1 ('MetaSel ('Just "ucppGovActionDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Coin)) :*: S1 ('MetaSel ('Just "ucppDRepDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Coin))) :*: (S1 ('MetaSel ('Just "ucppDRepActivity") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f EpochInterval)) :*: (S1 ('MetaSel ('Just "ucppMinFeeRefScriptCostPerByte") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f NonNegativeInterval)) :*: S1 ('MetaSel ('Just "ucppPlutusV3CostModel") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f CostModel)))))))

newtype THKD (t ∷ PPGroups) f a Source #

HKD that is tagged with a group

Constructors

THKD 

Fields

Instances

Instances details
(Typeable t, FromJSON a) ⇒ FromJSON (THKD t Identity a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

(Typeable t, FromJSON a) ⇒ FromJSON (THKD t StrictMaybe a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

(Typeable t, ToJSON a) ⇒ ToJSON (THKD t Identity a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

(Typeable t, ToJSON a) ⇒ ToJSON (THKD t StrictMaybe a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Monoid (HKD f a) ⇒ Monoid (THKD t f a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

memptyTHKD t f a Source #

mappendTHKD t f a → THKD t f a → THKD t f a Source #

mconcat ∷ [THKD t f a] → THKD t f a Source #

Semigroup (HKD f a) ⇒ Semigroup (THKD t f a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

(<>)THKD t f a → THKD t f a → THKD t f a Source #

sconcatNonEmpty (THKD t f a) → THKD t f a Source #

stimesIntegral b ⇒ b → THKD t f a → THKD t f a Source #

Show (HKD f a) ⇒ Show (THKD t f a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

showsPrecIntTHKD t f a → ShowS Source #

showTHKD t f a → String Source #

showList ∷ [THKD t f a] → ShowS Source #

(Typeable t, DecCBOR a) ⇒ DecCBOR (THKD t Identity a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

(Typeable t, DecCBOR a) ⇒ DecCBOR (THKD t StrictMaybe a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

(Typeable t, EncCBOR a) ⇒ EncCBOR (THKD t Identity a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

encCBORTHKD t Identity a → Encoding Source #

encodedSizeExpr ∷ (∀ t0. EncCBOR t0 ⇒ Proxy t0 → Size) → Proxy (THKD t Identity a) → Size Source #

encodedListSizeExpr ∷ (∀ t0. EncCBOR t0 ⇒ Proxy t0 → Size) → Proxy [THKD t Identity a] → Size Source #

(Typeable t, EncCBOR a) ⇒ EncCBOR (THKD t StrictMaybe a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

encCBORTHKD t StrictMaybe a → Encoding Source #

encodedSizeExpr ∷ (∀ t0. EncCBOR t0 ⇒ Proxy t0 → Size) → Proxy (THKD t StrictMaybe a) → Size Source #

encodedListSizeExpr ∷ (∀ t0. EncCBOR t0 ⇒ Proxy t0 → Size) → Proxy [THKD t StrictMaybe a] → Size Source #

NFData (HKD f a) ⇒ NFData (THKD t f a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

rnfTHKD t f a → () Source #

Eq (HKD f a) ⇒ Eq (THKD t f a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

(==)THKD t f a → THKD t f a → Bool Source #

(/=)THKD t f a → THKD t f a → Bool Source #

Ord (HKD f a) ⇒ Ord (THKD t f a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

compareTHKD t f a → THKD t f a → Ordering Source #

(<)THKD t f a → THKD t f a → Bool Source #

(<=)THKD t f a → THKD t f a → Bool Source #

(>)THKD t f a → THKD t f a → Bool Source #

(>=)THKD t f a → THKD t f a → Bool Source #

maxTHKD t f a → THKD t f a → THKD t f a Source #

minTHKD t f a → THKD t f a → THKD t f a Source #

NoThunks (HKD f a) ⇒ NoThunks (THKD t f a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

noThunksContextTHKD t f a → IO (Maybe ThunkInfo) Source #

wNoThunksContextTHKD t f a → IO (Maybe ThunkInfo) Source #

showTypeOfProxy (THKD t f a) → String Source #

data DRepGroup Source #

Protocol parameter groups that dictate different thresholds for DReps.

Orphan instances

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

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

Methods

hkdCoinsPerUTxOByteL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f CoinPerByte) Source #

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

Associated Types

type PParamsHKD f (ConwayEra c) = (r ∷ Type) Source #

type UpgradePParams f (ConwayEra c) Source #

type DowngradePParams f (ConwayEra c) Source #

Methods

applyPPUpdatesPParams (ConwayEra c) → PParamsUpdate (ConwayEra c) → PParams (ConwayEra c) Source #

emptyPParamsIdentityPParamsHKD Identity (ConwayEra c) Source #

emptyPParamsStrictMaybePParamsHKD StrictMaybe (ConwayEra c) Source #

upgradePParamsHKD ∷ ∀ (f ∷ TypeType). (HKDApplicative f, EraPParams (PreviousEra (ConwayEra c))) ⇒ UpgradePParams f (ConwayEra c) → PParamsHKD f (PreviousEra (ConwayEra c)) → PParamsHKD f (ConwayEra c) Source #

downgradePParamsHKD ∷ ∀ (f ∷ TypeType). (HKDFunctor f, EraPParams (PreviousEra (ConwayEra c))) ⇒ DowngradePParams f (ConwayEra c) → PParamsHKD f (ConwayEra c) → PParamsHKD f (PreviousEra (ConwayEra c)) Source #

hkdMinFeeAL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Coin) Source #

hkdMinFeeBL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Coin) Source #

hkdMaxBBSizeL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Word32) Source #

hkdMaxTxSizeL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Word32) Source #

hkdMaxBHSizeL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Word16) Source #

hkdKeyDepositL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Coin) Source #

hkdPoolDepositL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Coin) Source #

hkdEMaxL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f EpochInterval) Source #

hkdNOptL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Natural) Source #

hkdA0L ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f NonNegativeInterval) Source #

hkdRhoL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f UnitInterval) Source #

hkdTauL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f UnitInterval) Source #

hkdDL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, ProtVerAtMost (ConwayEra c) 6) ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f UnitInterval) Source #

ppDGSimpleGetter (PParams (ConwayEra c)) UnitInterval Source #

hkdExtraEntropyL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, ProtVerAtMost (ConwayEra c) 6) ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Nonce) Source #

hkdProtocolVersionL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, ProtVerAtMost (ConwayEra c) 8) ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f ProtVer) Source #

ppProtocolVersionLLens' (PParams (ConwayEra c)) ProtVer Source #

ppuProtocolVersionLLens' (PParamsUpdate (ConwayEra c)) (StrictMaybe ProtVer) Source #

hkdMinUTxOValueL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, ProtVerAtMost (ConwayEra c) 4) ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Coin) Source #

hkdMinPoolCostL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Coin) Source #