cardano-ledger-dijkstra-0.1.0.0: Cardano ledger with nested transactions
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Dijkstra.PParams

Synopsis

Documentation

data DijkstraPParams f era Source #

Dijkstra Protocol parameters. The following parameters have been added since Dijkstra: * maxRefScriptSizePerBlock * maxRefScriptSizePerTx * refScriptCostStride * refScriptCostMultiplier

Constructors

DijkstraPParams 

Fields

Instances

Instances details
Generic (DijkstraPParams f era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

Associated Types

type Rep (DijkstraPParams f era) ∷ TypeType #

Methods

fromDijkstraPParams f era → Rep (DijkstraPParams f era) x #

toRep (DijkstraPParams f era) x → DijkstraPParams f era #

Show (DijkstraPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

Show (DijkstraPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

NFData (DijkstraPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

Methods

rnfDijkstraPParams Identity era → () #

NFData (DijkstraPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

Methods

rnfDijkstraPParams StrictMaybe era → () #

Eq (DijkstraPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

Eq (DijkstraPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

Ord (DijkstraPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

Ord (DijkstraPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

NoThunks (DijkstraPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

NoThunks (DijkstraPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

type Rep (DijkstraPParams f era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

type Rep (DijkstraPParams f era) = D1 ('MetaData "DijkstraPParams" "Cardano.Ledger.Dijkstra.PParams" "cardano-ledger-dijkstra-0.1.0.0-inplace" 'False) (C1 ('MetaCons "DijkstraPParams" 'PrefixI 'True) (((((S1 ('MetaSel ('Just "dppMinFeeA") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f Coin)) :*: S1 ('MetaSel ('Just "dppMinFeeB") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f Coin))) :*: (S1 ('MetaSel ('Just "dppMaxBBSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32)) :*: S1 ('MetaSel ('Just "dppMaxTxSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32)))) :*: ((S1 ('MetaSel ('Just "dppMaxBHSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word16)) :*: S1 ('MetaSel ('Just "dppKeyDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Coin))) :*: (S1 ('MetaSel ('Just "dppPoolDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f (CompactForm Coin))) :*: S1 ('MetaSel ('Just "dppEMax") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f EpochInterval))))) :*: (((S1 ('MetaSel ('Just "dppNOpt") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f Word16)) :*: S1 ('MetaSel ('Just "dppA0") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f NonNegativeInterval))) :*: (S1 ('MetaSel ('Just "dppRho") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f UnitInterval)) :*: S1 ('MetaSel ('Just "dppTau") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f UnitInterval)))) :*: ((S1 ('MetaSel ('Just "dppProtocolVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKDNoUpdate f ProtVer)) :*: S1 ('MetaSel ('Just "dppMinPoolCost") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Coin))) :*: (S1 ('MetaSel ('Just "dppCoinsPerUTxOByte") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f CoinPerByte)) :*: (S1 ('MetaSel ('Just "dppCostModels") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f CostModels)) :*: S1 ('MetaSel ('Just "dppPrices") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Prices))))))) :*: ((((S1 ('MetaSel ('Just "dppMaxTxExUnits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'NoStakePoolGroup) f OrdExUnits)) :*: S1 ('MetaSel ('Just "dppMaxBlockExUnits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f OrdExUnits))) :*: (S1 ('MetaSel ('Just "dppMaxValSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32)) :*: S1 ('MetaSel ('Just "dppCollateralPercentage") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f Word16)))) :*: ((S1 ('MetaSel ('Just "dppMaxCollateralInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'NoStakePoolGroup) f Word16)) :*: S1 ('MetaSel ('Just "dppPoolVotingThresholds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f PoolVotingThresholds))) :*: (S1 ('MetaSel ('Just "dppDRepVotingThresholds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f DRepVotingThresholds)) :*: (S1 ('MetaSel ('Just "dppCommitteeMinSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f Word16)) :*: S1 ('MetaSel ('Just "dppCommitteeMaxTermLength") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval)))))) :*: (((S1 ('MetaSel ('Just "dppGovActionLifetime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval)) :*: S1 ('MetaSel ('Just "dppGovActionDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'GovGroup 'SecurityGroup) f Coin))) :*: (S1 ('MetaSel ('Just "dppDRepDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f (CompactForm Coin))) :*: S1 ('MetaSel ('Just "dppDRepActivity") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval)))) :*: ((S1 ('MetaSel ('Just "dppMinFeeRefScriptCostPerByte") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f NonNegativeInterval)) :*: S1 ('MetaSel ('Just "dppMaxRefScriptSizePerBlock") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32))) :*: (S1 ('MetaSel ('Just "dppMaxRefScriptSizePerTx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32)) :*: (S1 ('MetaSel ('Just "dppRefScriptCostStride") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f (NonZero Word32))) :*: S1 ('MetaSel ('Just "dppRefScriptCostMultiplier") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f PositiveInterval)))))))))

data UpgradeDijkstraPParams f era Source #

Instances

Instances details
FromJSON (UpgradeDijkstraPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

Generic (UpgradeDijkstraPParams f era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

Associated Types

type Rep (UpgradeDijkstraPParams f era) ∷ TypeType #

Show (UpgradeDijkstraPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

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

Defined in Cardano.Ledger.Dijkstra.PParams

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

Defined in Cardano.Ledger.Dijkstra.PParams

ToKeyValuePairs (UpgradeDijkstraPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

Eq (UpgradeDijkstraPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

NoThunks (UpgradeDijkstraPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

type Rep (UpgradeDijkstraPParams f era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

type Rep (UpgradeDijkstraPParams f era) = D1 ('MetaData "UpgradeDijkstraPParams" "Cardano.Ledger.Dijkstra.PParams" "cardano-ledger-dijkstra-0.1.0.0-inplace" 'False) (C1 ('MetaCons "UpgradeDijkstraPParams" 'PrefixI 'True) ((S1 ('MetaSel ('Just "udppMaxRefScriptSizePerBlock") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Word32)) :*: S1 ('MetaSel ('Just "udppMaxRefScriptSizePerTx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Word32))) :*: (S1 ('MetaSel ('Just "udppRefScriptCostStride") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f (NonZero Word32))) :*: S1 ('MetaSel ('Just "udppRefScriptCostMultiplier") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f PositiveInterval)))))

Orphan instances

AlonzoEraPParams DijkstraEra Source # 
Instance details

BabbageEraPParams DijkstraEra Source # 
Instance details

ConwayEraPParams DijkstraEra Source # 
Instance details

Methods

modifiedPPGroupsPParamsUpdate DijkstraEraSet PPGroups Source #

ppuWellFormedProtVerPParamsUpdate DijkstraEraBool Source #

hkdPoolVotingThresholdsL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f PoolVotingThresholds) Source #

hkdDRepVotingThresholdsL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f DRepVotingThresholds) Source #

hkdCommitteeMinSizeL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f Natural) Source #

hkdCommitteeMaxTermLengthL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f EpochInterval) Source #

hkdGovActionLifetimeL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f EpochInterval) Source #

hkdGovActionDepositL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f Coin) Source #

hkdDRepDepositCompactL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f (CompactForm Coin)) Source #

hkdDRepActivityL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f EpochInterval) Source #

hkdMinFeeRefScriptCostPerByteL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f NonNegativeInterval) Source #

ppMaxRefScriptSizePerTxGSimpleGetter (PParams DijkstraEra) Word32 Source #

ppMaxRefScriptSizePerBlockGSimpleGetter (PParams DijkstraEra) Word32 Source #

ppRefScriptCostMultiplierGSimpleGetter (PParams DijkstraEra) PositiveInterval Source #

ppRefScriptCostStrideGSimpleGetter (PParams DijkstraEra) (NonZero Word32) Source #

EraPParams DijkstraEra Source # 
Instance details

Methods

applyPPUpdatesPParams DijkstraEraPParamsUpdate DijkstraEraPParams DijkstraEra Source #

emptyPParamsIdentityPParamsHKD Identity DijkstraEra Source #

emptyPParamsStrictMaybePParamsHKD StrictMaybe DijkstraEra Source #

emptyUpgradePParamsUpdateUpgradePParams StrictMaybe DijkstraEra Source #

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

downgradePParamsHKD ∷ ∀ (f ∷ TypeType). (HKDFunctor f, EraPParams (PreviousEra DijkstraEra)) ⇒ DowngradePParams f DijkstraEraPParamsHKD f DijkstraEraPParamsHKD f (PreviousEra DijkstraEra) Source #

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

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

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

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

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

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

hkdPoolDepositCompactL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f (CompactForm Coin)) Source #

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

hkdNOptL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f Word16) Source #

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

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

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

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

ppDGSimpleGetter (PParams DijkstraEra) UnitInterval Source #

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

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

ppProtocolVersionLLens' (PParams DijkstraEra) ProtVer Source #

ppuProtocolVersionLLens' (PParamsUpdate DijkstraEra) (StrictMaybe ProtVer) Source #

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

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

eraPParams ∷ [PParam DijkstraEra] Source #