Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Constrained.Conway.Instances.PParams

Contents

Orphan instances

Description

This module provides the necessary instances of HasSpec and HasSimpleRep for the components of PParams. It hides the fact that (PParams era) can have different underlying 'data' types in each era, and provides Term selector functions (e.g. minFeeA_, minFeeB_, etc.) for every PParam field (in every era). The class EraSpecPParams provides this era parametric abstraction. and instances of EraSpecPParams are defined here.

Synopsis

class (Eq (PParamsHKD Identity era), Show (PParamsHKD Identity era), Eq (PParamsHKD StrictMaybe era), Show (PParamsHKD StrictMaybe era), EraPParams era, EraTxOut era, EraGov era, EraTx era) ⇒ EraSpecPParams era where
- subsetToPP ∷ SimplePParams era → PParams era
- ppToSubset ∷ PParams era → SimplePParams era
- updateToPPU ∷ SimplePPUpdate → PParamsUpdate era
- ppuToUpdate ∷ PParamsUpdate era → SimplePPUpdate
data SimplePParams era = SimplePParams {
- minFeeA ∷ Coin
- minFeeB ∷ Coin
- maxBBSize ∷ Word32
- maxTxSize ∷ Word32
- maxBHSize ∷ Word32
- keyDeposit ∷ Coin
- poolDeposit ∷ Coin
- eMax ∷ EpochInterval
- nOpt ∷ Word16
- a0 ∷ NonNegativeInterval
- rho ∷ UnitInterval
- tau ∷ UnitInterval
- decentral ∷ UnitInterval
- protocolVersion ∷ ProtVer
- minUTxOValue ∷ Coin
- minPoolCost ∷ Coin
- coinsPerUTxOWord ∷ Coin
- costModels ∷ CostModels
- prices ∷ Prices
- maxTxExUnits ∷ ExUnits
- maxBlockExUnits ∷ ExUnits
- maxValSize ∷ Natural
- collateralPercentage ∷ Natural
- maxCollateralInputs ∷ Natural
- coinsPerUTxOByte ∷ Coin
- poolVotingThresholds ∷ PoolVotingThresholds
- drepVotingThresholds ∷ DRepVotingThresholds
- committeeMinSize ∷ Natural
- committeeMaxTermLength ∷ EpochInterval
- govActionLifetime ∷ EpochInterval
- govActionDeposit ∷ Coin
- dRepDeposit ∷ Coin
- dRepActivity ∷ EpochInterval
- minFeeRefScriptCostPerByte ∷ NonNegativeInterval
}
data SimplePPUpdate = SimplePPUpdate {
- uminFeeA ∷ StrictMaybe Coin
- uminFeeB ∷ StrictMaybe Coin
- umaxBBSize ∷ StrictMaybe Word32
- umaxTxSize ∷ StrictMaybe Word32
- umaxBHSize ∷ StrictMaybe Word32
- ukeyDeposit ∷ StrictMaybe Coin
- upoolDeposit ∷ StrictMaybe Coin
- ueMax ∷ StrictMaybe EpochInterval
- unOpt ∷ StrictMaybe Word16
- ua0 ∷ StrictMaybe NonNegativeInterval
- urho ∷ StrictMaybe UnitInterval
- utau ∷ StrictMaybe UnitInterval
- udecentral ∷ StrictMaybe UnitInterval
- uprotocolVersion ∷ StrictMaybe ProtVer
- uminUTxOValue ∷ StrictMaybe Coin
- uminPoolCost ∷ StrictMaybe Coin
- ucoinsPerUTxOWord ∷ StrictMaybe Coin
- ucostModels ∷ StrictMaybe CostModels
- uprices ∷ StrictMaybe Prices
- umaxTxExUnits ∷ StrictMaybe ExUnits
- umaxBlockExUnits ∷ StrictMaybe ExUnits
- umaxValSize ∷ StrictMaybe Natural
- ucollateralPercentage ∷ StrictMaybe Natural
- umaxCollateralInputs ∷ StrictMaybe Natural
- ucoinsPerUTxOByte ∷ StrictMaybe Coin
- upoolVotingThresholds ∷ StrictMaybe PoolVotingThresholds
- udrepVotingThresholds ∷ StrictMaybe DRepVotingThresholds
- ucommitteeMinSize ∷ StrictMaybe Natural
- ucommitteeMaxTermLength ∷ StrictMaybe EpochInterval
- ugovActionLifetime ∷ StrictMaybe EpochInterval
- ugovActionDeposit ∷ StrictMaybe Coin
- udRepDeposit ∷ StrictMaybe Coin
- udRepActivity ∷ StrictMaybe EpochInterval
- uminFeeRefScriptCostPerByte ∷ StrictMaybe NonNegativeInterval
}
simplePParamsSpec ∷ ∀ era. EraSpecPParams era ⇒ Specification (SimplePParams era)
cSNothing_ ∷ (HasSpec a, IsNormalType a) ⇒ Term (StrictMaybe a)
cSJust_ ∷ (HasSpec a, IsNormalType a) ⇒ Term a → Term (StrictMaybe a)
succV_ ∷ Term Version → Term Version
minFeeA_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin
minFeeB_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin
maxBBSize_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Word32
maxTxSize_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Word32
maxBHSize_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Word32
keyDeposit_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin
poolDeposit_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin
eMax_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term EpochInterval
nOpt_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Word16
a0_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term NonNegativeInterval
rho_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term UnitInterval
tau_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term UnitInterval
decentral_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term UnitInterval
protocolVersion_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term ProtVer
minUTxOValue_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin
minPoolCost_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin
coinsPerUTxOWord_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin
costModels_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term CostModels
prices_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Prices
maxTxExUnits_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term ExUnits
maxBlockExUnits_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term ExUnits
maxValSize_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Natural
collateralPercentage_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Natural
maxCollateralInputs_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Natural
coinsPerUTxOByte_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin
poolVotingThresholds_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term PoolVotingThresholds
drepVotingThresholds_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term DRepVotingThresholds
committeeMinSize_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Natural
committeeMaxTermLength_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term EpochInterval
govActionLifetime_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term EpochInterval
govActionDeposit_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin
dRepDeposit_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin
dRepActivity_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term EpochInterval
minFeeRefScriptCostPerByte_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term NonNegativeInterval

Documentation

class (Eq (PParamsHKD Identity era), Show (PParamsHKD Identity era), Eq (PParamsHKD StrictMaybe era), Show (PParamsHKD StrictMaybe era), EraPParams era, EraTxOut era, EraGov era, EraTx era) ⇒ EraSpecPParams era where Source #

Methods

subsetToPP ∷ SimplePParams era → PParams era Source #

ppToSubset ∷ PParams era → SimplePParams era Source #

updateToPPU ∷ SimplePPUpdate → PParamsUpdate era Source #

ppuToUpdate ∷ PParamsUpdate era → SimplePPUpdate Source #

Instances

Instances details

EraSpecPParams AllegraEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams Methods subsetToPP ∷ SimplePParams AllegraEra → PParams AllegraEra Source # ppToSubset ∷ PParams AllegraEra → SimplePParams AllegraEra Source # updateToPPU ∷ SimplePPUpdate → PParamsUpdate AllegraEra Source # ppuToUpdate ∷ PParamsUpdate AllegraEra → SimplePPUpdate Source #
EraSpecPParams AlonzoEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams Methods subsetToPP ∷ SimplePParams AlonzoEra → PParams AlonzoEra Source # ppToSubset ∷ PParams AlonzoEra → SimplePParams AlonzoEra Source # updateToPPU ∷ SimplePPUpdate → PParamsUpdate AlonzoEra Source # ppuToUpdate ∷ PParamsUpdate AlonzoEra → SimplePPUpdate Source #
EraSpecPParams BabbageEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams Methods subsetToPP ∷ SimplePParams BabbageEra → PParams BabbageEra Source # ppToSubset ∷ PParams BabbageEra → SimplePParams BabbageEra Source # updateToPPU ∷ SimplePPUpdate → PParamsUpdate BabbageEra Source # ppuToUpdate ∷ PParamsUpdate BabbageEra → SimplePPUpdate Source #
EraSpecPParams ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams Methods subsetToPP ∷ SimplePParams ConwayEra → PParams ConwayEra Source # ppToSubset ∷ PParams ConwayEra → SimplePParams ConwayEra Source # updateToPPU ∷ SimplePPUpdate → PParamsUpdate ConwayEra Source # ppuToUpdate ∷ PParamsUpdate ConwayEra → SimplePPUpdate Source #
EraSpecPParams MaryEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams Methods subsetToPP ∷ SimplePParams MaryEra → PParams MaryEra Source # ppToSubset ∷ PParams MaryEra → SimplePParams MaryEra Source # updateToPPU ∷ SimplePPUpdate → PParamsUpdate MaryEra Source # ppuToUpdate ∷ PParamsUpdate MaryEra → SimplePPUpdate Source #
EraSpecPParams ShelleyEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams Methods subsetToPP ∷ SimplePParams ShelleyEra → PParams ShelleyEra Source # ppToSubset ∷ PParams ShelleyEra → SimplePParams ShelleyEra Source # updateToPPU ∷ SimplePPUpdate → PParamsUpdate ShelleyEra Source # ppuToUpdate ∷ PParamsUpdate ShelleyEra → SimplePPUpdate Source #

data SimplePParams era Source #

Use this as the SimpleRep of (PParams era). It is polymorphic enough to encode PParams in EVERY Era. The EraPParams instances remove the fields that do not appear in that Era.

Constructors

SimplePParams

Fields

minFeeA ∷ Coin
minFeeB ∷ Coin
maxBBSize ∷ Word32
maxTxSize ∷ Word32
maxBHSize ∷ Word32
keyDeposit ∷ Coin
poolDeposit ∷ Coin
eMax ∷ EpochInterval
nOpt ∷ Word16
a0 ∷ NonNegativeInterval
rho ∷ UnitInterval
tau ∷ UnitInterval
decentral ∷ UnitInterval
protocolVersion ∷ ProtVer
minUTxOValue ∷ Coin
minPoolCost ∷ Coin
Alonzo
coinsPerUTxOWord ∷ Coin
costModels ∷ CostModels
prices ∷ Prices
maxTxExUnits ∷ ExUnits
maxBlockExUnits ∷ ExUnits
maxValSize ∷ Natural
collateralPercentage ∷ Natural
maxCollateralInputs ∷ Natural
Babbage
coinsPerUTxOByte ∷ Coin
Conway
poolVotingThresholds ∷ PoolVotingThresholds
drepVotingThresholds ∷ DRepVotingThresholds
committeeMinSize ∷ Natural
committeeMaxTermLength ∷ EpochInterval
govActionLifetime ∷ EpochInterval
govActionDeposit ∷ Coin
dRepDeposit ∷ Coin
dRepActivity ∷ EpochInterval
minFeeRefScriptCostPerByte ∷ NonNegativeInterval

Instances

Instances details

Generic (SimplePParams era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic Associated Types type Rep (SimplePParams era) ∷ Type → Type # Methods from ∷ SimplePParams era → Rep (SimplePParams era) x # to ∷ Rep (SimplePParams era) x → SimplePParams era #
(EraSpecPParams era, EraGov era, EraTxOut era) ⇒ Show (SimplePParams era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic Methods showsPrec ∷ Int → SimplePParams era → ShowS # show ∷ SimplePParams era → String # showList ∷ [SimplePParams era] → ShowS #
(EraSpecPParams era, EraGov era, EraTxOut era) ⇒ HasSpec (SimplePParams era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic Associated Types type TypeSpec (SimplePParams era) Source # type Prerequisites (SimplePParams era) Source # Methods emptySpec ∷ TypeSpec (SimplePParams era) Source # combineSpec ∷ TypeSpec (SimplePParams era) → TypeSpec (SimplePParams era) → Specification (SimplePParams era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (SimplePParams era) → GenT m (SimplePParams era) Source # conformsTo ∷ SimplePParams era → TypeSpec (SimplePParams era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (SimplePParams era) → SimplePParams era → [SimplePParams era] Source # toPreds ∷ Term (SimplePParams era) → TypeSpec (SimplePParams era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (SimplePParams era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (SimplePParams era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (SimplePParams era) → BinaryShow Source # monadConformsTo ∷ SimplePParams era → TypeSpec (SimplePParams era) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec (SimplePParams era) → [SimplePParams era] → Specification (SimplePParams era) Source # guardTypeSpec ∷ [String] → TypeSpec (SimplePParams era) → Specification (SimplePParams era) Source # prerequisites ∷ Evidence (Prerequisites (SimplePParams era)) Source #
HasSimpleRep (SimplePParams era) Source #	Use then generic HasSimpleRep and HasSpec instances for SimplePParams
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic Associated Types type SimpleRep (SimplePParams era) Source # type TheSop (SimplePParams era) ∷ [Type] Source # Methods toSimpleRep ∷ SimplePParams era → SimpleRep (SimplePParams era) Source # fromSimpleRep ∷ SimpleRep (SimplePParams era) → SimplePParams era Source #
Eq (SimplePParams era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic Methods (==) ∷ SimplePParams era → SimplePParams era → Bool # (/=) ∷ SimplePParams era → SimplePParams era → Bool #
type Rep (SimplePParams era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic type Rep (SimplePParams era) = D1 ('MetaData "SimplePParams" "Test.Cardano.Ledger.Constrained.Conway.Instances.Basic" "cardano-ledger-test-9.9.9.9-inplace" 'False) (C1 ('MetaCons "SimplePParams" 'PrefixI 'True) (((((S1 ('MetaSel ('Just "minFeeA") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :: S1 ('MetaSel ('Just "minFeeB") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :: (S1 ('MetaSel ('Just "maxBBSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32) :: S1 ('MetaSel ('Just "maxTxSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32))) :: ((S1 ('MetaSel ('Just "maxBHSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32) :: S1 ('MetaSel ('Just "keyDeposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :: (S1 ('MetaSel ('Just "poolDeposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :: S1 ('MetaSel ('Just "eMax") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochInterval)))) :: (((S1 ('MetaSel ('Just "nOpt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16) :: S1 ('MetaSel ('Just "a0") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NonNegativeInterval)) :: (S1 ('MetaSel ('Just "rho") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnitInterval) :: S1 ('MetaSel ('Just "tau") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnitInterval))) :: ((S1 ('MetaSel ('Just "decentral") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnitInterval) :: S1 ('MetaSel ('Just "protocolVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProtVer)) :: (S1 ('MetaSel ('Just "minUTxOValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :: (S1 ('MetaSel ('Just "minPoolCost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :: S1 ('MetaSel ('Just "coinsPerUTxOWord") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)))))) :: ((((S1 ('MetaSel ('Just "costModels") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostModels) :: S1 ('MetaSel ('Just "prices") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Prices)) :: (S1 ('MetaSel ('Just "maxTxExUnits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExUnits) :: S1 ('MetaSel ('Just "maxBlockExUnits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExUnits))) :: ((S1 ('MetaSel ('Just "maxValSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :: S1 ('MetaSel ('Just "collateralPercentage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)) :: (S1 ('MetaSel ('Just "maxCollateralInputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :: S1 ('MetaSel ('Just "coinsPerUTxOByte") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)))) :: (((S1 ('MetaSel ('Just "poolVotingThresholds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PoolVotingThresholds) :: S1 ('MetaSel ('Just "drepVotingThresholds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DRepVotingThresholds)) :: (S1 ('MetaSel ('Just "committeeMinSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :: S1 ('MetaSel ('Just "committeeMaxTermLength") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochInterval))) :: ((S1 ('MetaSel ('Just "govActionLifetime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochInterval) :: S1 ('MetaSel ('Just "govActionDeposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :: (S1 ('MetaSel ('Just "dRepDeposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :: (S1 ('MetaSel ('Just "dRepActivity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochInterval) :*: S1 ('MetaSel ('Just "minFeeRefScriptCostPerByte") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NonNegativeInterval))))))))
type Prerequisites (SimplePParams era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic type Prerequisites (SimplePParams era) = ()
type TypeSpec (SimplePParams era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic type TypeSpec (SimplePParams era) = TypeSpec (SimpleRep (SimplePParams era))
type SimpleRep (SimplePParams era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic type SimpleRep (SimplePParams era) = SOP (TheSop (SimplePParams era))
type TheSop (SimplePParams era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic type TheSop (SimplePParams era) = SOPOf (Rep (SimplePParams era))

data SimplePPUpdate Source #

Use this as the SimpleRep of (PParamsUpdate era)

Constructors

SimplePPUpdate

Fields

uminFeeA ∷ StrictMaybe Coin
uminFeeB ∷ StrictMaybe Coin
umaxBBSize ∷ StrictMaybe Word32
umaxTxSize ∷ StrictMaybe Word32
umaxBHSize ∷ StrictMaybe Word32
ukeyDeposit ∷ StrictMaybe Coin
upoolDeposit ∷ StrictMaybe Coin
ueMax ∷ StrictMaybe EpochInterval
unOpt ∷ StrictMaybe Word16
ua0 ∷ StrictMaybe NonNegativeInterval
urho ∷ StrictMaybe UnitInterval
utau ∷ StrictMaybe UnitInterval
udecentral ∷ StrictMaybe UnitInterval
uprotocolVersion ∷ StrictMaybe ProtVer
uminUTxOValue ∷ StrictMaybe Coin
uminPoolCost ∷ StrictMaybe Coin
ucoinsPerUTxOWord ∷ StrictMaybe Coin
ucostModels ∷ StrictMaybe CostModels
uprices ∷ StrictMaybe Prices
umaxTxExUnits ∷ StrictMaybe ExUnits
umaxBlockExUnits ∷ StrictMaybe ExUnits
umaxValSize ∷ StrictMaybe Natural
ucollateralPercentage ∷ StrictMaybe Natural
umaxCollateralInputs ∷ StrictMaybe Natural
ucoinsPerUTxOByte ∷ StrictMaybe Coin
upoolVotingThresholds ∷ StrictMaybe PoolVotingThresholds
udrepVotingThresholds ∷ StrictMaybe DRepVotingThresholds
ucommitteeMinSize ∷ StrictMaybe Natural
ucommitteeMaxTermLength ∷ StrictMaybe EpochInterval
ugovActionLifetime ∷ StrictMaybe EpochInterval
ugovActionDeposit ∷ StrictMaybe Coin
udRepDeposit ∷ StrictMaybe Coin
udRepActivity ∷ StrictMaybe EpochInterval
uminFeeRefScriptCostPerByte ∷ StrictMaybe NonNegativeInterval

Instances

Instances details

Generic SimplePPUpdate Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic Associated Types type Rep SimplePPUpdate ∷ Type → Type # Methods from ∷ SimplePPUpdate → Rep SimplePPUpdate x # to ∷ Rep SimplePPUpdate x → SimplePPUpdate #
Show SimplePPUpdate Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic Methods showsPrec ∷ Int → SimplePPUpdate → ShowS # show ∷ SimplePPUpdate → String # showList ∷ [SimplePPUpdate] → ShowS #
HasSpec SimplePPUpdate Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic Associated Types type TypeSpec SimplePPUpdate Source # type Prerequisites SimplePPUpdate Source # Methods emptySpec ∷ TypeSpec SimplePPUpdate Source # combineSpec ∷ TypeSpec SimplePPUpdate → TypeSpec SimplePPUpdate → Specification SimplePPUpdate Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec SimplePPUpdate → GenT m SimplePPUpdate Source # conformsTo ∷ SimplePPUpdate → TypeSpec SimplePPUpdate → Bool Source # shrinkWithTypeSpec ∷ TypeSpec SimplePPUpdate → SimplePPUpdate → [SimplePPUpdate] Source # toPreds ∷ Term SimplePPUpdate → TypeSpec SimplePPUpdate → Pred Source # cardinalTypeSpec ∷ TypeSpec SimplePPUpdate → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec SimplePPUpdate → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec SimplePPUpdate → BinaryShow Source # monadConformsTo ∷ SimplePPUpdate → TypeSpec SimplePPUpdate → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec SimplePPUpdate → [SimplePPUpdate] → Specification SimplePPUpdate Source # guardTypeSpec ∷ [String] → TypeSpec SimplePPUpdate → Specification SimplePPUpdate Source # prerequisites ∷ Evidence (Prerequisites SimplePPUpdate) Source #
HasSimpleRep SimplePPUpdate Source #	Use the generic HasSimpleRep and HasSpec instances for SimplePParams
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic Associated Types type SimpleRep SimplePPUpdate Source # type TheSop SimplePPUpdate ∷ [Type] Source # Methods toSimpleRep ∷ SimplePPUpdate → SimpleRep SimplePPUpdate Source # fromSimpleRep ∷ SimpleRep SimplePPUpdate → SimplePPUpdate Source #
Eq SimplePPUpdate Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic Methods (==) ∷ SimplePPUpdate → SimplePPUpdate → Bool # (/=) ∷ SimplePPUpdate → SimplePPUpdate → Bool #
type Rep SimplePPUpdate Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic type Rep SimplePPUpdate = D1 ('MetaData "SimplePPUpdate" "Test.Cardano.Ledger.Constrained.Conway.Instances.Basic" "cardano-ledger-test-9.9.9.9-inplace" 'False) (C1 ('MetaCons "SimplePPUpdate" 'PrefixI 'True) (((((S1 ('MetaSel ('Just "uminFeeA") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Coin)) :: S1 ('MetaSel ('Just "uminFeeB") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Coin))) :: (S1 ('MetaSel ('Just "umaxBBSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Word32)) :: S1 ('MetaSel ('Just "umaxTxSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Word32)))) :: ((S1 ('MetaSel ('Just "umaxBHSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Word32)) :: S1 ('MetaSel ('Just "ukeyDeposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Coin))) :: (S1 ('MetaSel ('Just "upoolDeposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Coin)) :: S1 ('MetaSel ('Just "ueMax") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe EpochInterval))))) :: (((S1 ('MetaSel ('Just "unOpt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Word16)) :: S1 ('MetaSel ('Just "ua0") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe NonNegativeInterval))) :: (S1 ('MetaSel ('Just "urho") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe UnitInterval)) :: S1 ('MetaSel ('Just "utau") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe UnitInterval)))) :: ((S1 ('MetaSel ('Just "udecentral") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe UnitInterval)) :: S1 ('MetaSel ('Just "uprotocolVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe ProtVer))) :: (S1 ('MetaSel ('Just "uminUTxOValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Coin)) :: (S1 ('MetaSel ('Just "uminPoolCost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Coin)) :: S1 ('MetaSel ('Just "ucoinsPerUTxOWord") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Coin))))))) :: ((((S1 ('MetaSel ('Just "ucostModels") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe CostModels)) :: S1 ('MetaSel ('Just "uprices") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Prices))) :: (S1 ('MetaSel ('Just "umaxTxExUnits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe ExUnits)) :: S1 ('MetaSel ('Just "umaxBlockExUnits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe ExUnits)))) :: ((S1 ('MetaSel ('Just "umaxValSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Natural)) :: S1 ('MetaSel ('Just "ucollateralPercentage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Natural))) :: (S1 ('MetaSel ('Just "umaxCollateralInputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Natural)) :: S1 ('MetaSel ('Just "ucoinsPerUTxOByte") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Coin))))) :: (((S1 ('MetaSel ('Just "upoolVotingThresholds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe PoolVotingThresholds)) :: S1 ('MetaSel ('Just "udrepVotingThresholds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe DRepVotingThresholds))) :: (S1 ('MetaSel ('Just "ucommitteeMinSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Natural)) :: S1 ('MetaSel ('Just "ucommitteeMaxTermLength") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe EpochInterval)))) :: ((S1 ('MetaSel ('Just "ugovActionLifetime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe EpochInterval)) :: S1 ('MetaSel ('Just "ugovActionDeposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Coin))) :: (S1 ('MetaSel ('Just "udRepDeposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Coin)) :: (S1 ('MetaSel ('Just "udRepActivity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe EpochInterval)) :*: S1 ('MetaSel ('Just "uminFeeRefScriptCostPerByte") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe NonNegativeInterval)))))))))
type Prerequisites SimplePPUpdate Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic type Prerequisites SimplePPUpdate = ()
type TypeSpec SimplePPUpdate Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic type TypeSpec SimplePPUpdate = TypeSpec (SimpleRep SimplePPUpdate)
type SimpleRep SimplePPUpdate Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic type SimpleRep SimplePPUpdate = SOP (TheSop SimplePPUpdate)
type TheSop SimplePPUpdate Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic type TheSop SimplePPUpdate = SOPOf (Rep SimplePPUpdate)

simplePParamsSpec ∷ ∀ era. EraSpecPParams era ⇒ Specification (SimplePParams era) Source #

A sample of how to constrain (PParams era) for every Era, by writing a specification for SimplePParams. Constrained but not applicable fields (for that era) are elided in the result. Missing fields are left unconstrained and will appear as random values in the result. This can easily be lifted to PParams: see Test.Cardano.Ledger.Constrained.Conway.PParams(pparamsSpec)

cSNothing_ ∷ (HasSpec a, IsNormalType a) ⇒ Term (StrictMaybe a) Source #

cSJust_ ∷ (HasSpec a, IsNormalType a) ⇒ Term a → Term (StrictMaybe a) Source #

succV_ ∷ Term Version → Term Version Source #

minFeeA_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin Source #

minFeeB_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin Source #

maxBBSize_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Word32 Source #

maxTxSize_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Word32 Source #

maxBHSize_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Word32 Source #

keyDeposit_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin Source #

poolDeposit_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin Source #

eMax_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term EpochInterval Source #

nOpt_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Word16 Source #

a0_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term NonNegativeInterval Source #

rho_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term UnitInterval Source #

tau_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term UnitInterval Source #

decentral_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term UnitInterval Source #

protocolVersion_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term ProtVer Source #

minUTxOValue_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin Source #

minPoolCost_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin Source #

coinsPerUTxOWord_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin Source #

costModels_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term CostModels Source #

prices_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Prices Source #

maxTxExUnits_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term ExUnits Source #

maxBlockExUnits_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term ExUnits Source #

maxValSize_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Natural Source #

collateralPercentage_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Natural Source #

maxCollateralInputs_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Natural Source #

coinsPerUTxOByte_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin Source #

poolVotingThresholds_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term PoolVotingThresholds Source #

drepVotingThresholds_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term DRepVotingThresholds Source #

committeeMinSize_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Natural Source #

committeeMaxTermLength_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term EpochInterval Source #

govActionLifetime_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term EpochInterval Source #

govActionDeposit_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin Source #

dRepDeposit_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin Source #

dRepActivity_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term EpochInterval Source #

minFeeRefScriptCostPerByte_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term NonNegativeInterval Source #

Orphan instances

EraSpecPParams AllegraEra Source #
Instance details Methods subsetToPP ∷ SimplePParams AllegraEra → PParams AllegraEra Source # ppToSubset ∷ PParams AllegraEra → SimplePParams AllegraEra Source # updateToPPU ∷ SimplePPUpdate → PParamsUpdate AllegraEra Source # ppuToUpdate ∷ PParamsUpdate AllegraEra → SimplePPUpdate Source #
EraSpecPParams AlonzoEra Source #
Instance details Methods subsetToPP ∷ SimplePParams AlonzoEra → PParams AlonzoEra Source # ppToSubset ∷ PParams AlonzoEra → SimplePParams AlonzoEra Source # updateToPPU ∷ SimplePPUpdate → PParamsUpdate AlonzoEra Source # ppuToUpdate ∷ PParamsUpdate AlonzoEra → SimplePPUpdate Source #
EraSpecPParams BabbageEra Source #
Instance details Methods subsetToPP ∷ SimplePParams BabbageEra → PParams BabbageEra Source # ppToSubset ∷ PParams BabbageEra → SimplePParams BabbageEra Source # updateToPPU ∷ SimplePPUpdate → PParamsUpdate BabbageEra Source # ppuToUpdate ∷ PParamsUpdate BabbageEra → SimplePPUpdate Source #
EraSpecPParams ConwayEra Source #
Instance details Methods subsetToPP ∷ SimplePParams ConwayEra → PParams ConwayEra Source # ppToSubset ∷ PParams ConwayEra → SimplePParams ConwayEra Source # updateToPPU ∷ SimplePPUpdate → PParamsUpdate ConwayEra Source # ppuToUpdate ∷ PParamsUpdate ConwayEra → SimplePPUpdate Source #
EraSpecPParams MaryEra Source #
Instance details Methods subsetToPP ∷ SimplePParams MaryEra → PParams MaryEra Source # ppToSubset ∷ PParams MaryEra → SimplePParams MaryEra Source # updateToPPU ∷ SimplePPUpdate → PParamsUpdate MaryEra Source # ppuToUpdate ∷ PParamsUpdate MaryEra → SimplePPUpdate Source #
EraSpecPParams ShelleyEra Source #
Instance details Methods subsetToPP ∷ SimplePParams ShelleyEra → PParams ShelleyEra Source # ppToSubset ∷ PParams ShelleyEra → SimplePParams ShelleyEra Source # updateToPPU ∷ SimplePPUpdate → PParamsUpdate ShelleyEra Source # ppuToUpdate ∷ PParamsUpdate ShelleyEra → SimplePPUpdate Source #