Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Test.Cardano.Ledger.Constrained.Conway.Instances
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 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
- 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
- prettyE ∷ ToExpr x ⇒ x → Doc
- makePrices ∷ Integer → Integer → Prices
- makeUnitInterval ∷ Integer → Integer → UnitInterval
- makeNonNegativeInterval ∷ Integer → Integer → NonNegativeInterval
- 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
- simplePParamsSpec ∷ ∀ era. EraSpecPParams era ⇒ Specification (SimplePParams era)
- data ProposalsSplit = ProposalsSplit {}
- type ProposalTree era = (StrictMaybe GovActionId, [Tree (GAS era)])
- data StringW ∷ [Type] → Type → Type
- sizedValue_ ∷ (HasSpec (Sized a), HasSpec a) ⇒ Term (Sized a) → Term a
- sizedSize_ ∷ (HasSpec (Sized a), HasSpec a) ⇒ Term (Sized a) → Term Int64
- txOutVal_ ∷ (HasSpec (Value era), Era era, HasSpec (Data era), Val (Value era), HasSpec (Script era), HasSpec (BabbageTxOut era), IsNormalType (Script era)) ⇒ Term (BabbageTxOut era) → Term (Value era)
- maryValueCoin_ ∷ Term MaryValue → Term Coin
- cKeyHashObj ∷ Typeable r ⇒ Term (KeyHash r) → Term (Credential r)
- cScriptHashObj ∷ Typeable r ⇒ Term ScriptHash → Term (Credential r)
- strLen_ ∷ (HasSpec s, StringLike s) ⇒ Term s → Term Int
- pProcDeposit_ ∷ Term (ProposalProcedure ConwayEra) → Term Coin
- pProcGovAction_ ∷ Term (ProposalProcedure ConwayEra) → Term (GovAction ConwayEra)
- gasId_ ∷ Term (GovActionState ConwayEra) → Term GovActionId
- gasCommitteeVotes_ ∷ Term (GovActionState ConwayEra) → Term (Map (Credential 'HotCommitteeRole) Vote)
- gasDRepVotes_ ∷ Term (GovActionState ConwayEra) → Term (Map (Credential 'DRepRole) Vote)
- gasProposalProcedure_ ∷ Term (GovActionState ConwayEra) → Term (ProposalProcedure ConwayEra)
- psPParamUpdate_ ∷ (EraSpecPParams era, Arbitrary (Proposals era)) ⇒ Term (Proposals era) → Term (ProposalTree era)
- proposalSplitSum ∷ ProposalsSplit → Integer
- genProposalsSplit ∷ Integer → Gen ProposalsSplit
- onJust' ∷ (HasSpec a, IsNormalType a, IsPred p) ⇒ Term (StrictMaybe a) → (Term a → p) → Pred
- onSized ∷ (HasSpec a, IsPred p) ⇒ Term (Sized a) → (Term a → p) → Pred
- coerce_ ∷ ∀ a b. (HasSpec a, HasSpec b, CoercibleLike a b) ⇒ Term a → Term b
- toDelta_ ∷ Term Coin → Term DeltaCoin
- type BabbageTxBodyTypes era = '[Set TxIn, Set TxIn, Set TxIn, [Sized (TxOut era)], Maybe (Sized (TxOut era)), Maybe Coin, [TxCert era], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update era), Set (KeyHash 'Witness), MultiAsset, Maybe ScriptIntegrityHash, Maybe TxAuxDataHash, Maybe Network]
- type AlonzoTxBodyTypes era = '[Set TxIn, Set TxIn, [TxOut era], [TxCert era], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update era), Set (KeyHash 'Witness), MultiAsset, Maybe ScriptIntegrityHash, Maybe TxAuxDataHash, Maybe Network]
- type MaryTxBodyTypes era = '[Set TxIn, [TxOut era], [TxCert era], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update era), Maybe TxAuxDataHash, MultiAsset]
- type AllegraTxBodyTypes era = '[Set TxIn, [TxOut era], [TxCert era], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update era), Maybe TxAuxDataHash]
- type ShelleyTxBodyTypes era = '[Set TxIn, [TxOut era], [TxCert era], Map RewardAccount Coin, Coin, SlotNo, Maybe (Update era), Maybe TxAuxDataHash]
- fromShelleyBody ∷ ∀ era. EraTxBody era ⇒ ShelleyTxBody era → TxBody era
- fromAllegraBody ∷ ∀ era. AllegraEraTxBody era ⇒ AllegraTxBody era → TxBody era
- fromMaryBody ∷ ∀ era. MaryEraTxBody era ⇒ MaryTxBody era → TxBody era
- fromAlonzoBody ∷ ∀ era. AlonzoEraTxBody era ⇒ AlonzoTxBody era → TxBody era
- fromBabbageBody ∷ ∀ era. BabbageEraTxBody era ⇒ BabbageTxBody era → TxBody era
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
data SimplePPUpdate Source #
Use this as the SimpleRep of (PParamsUpdate era)
Constructors
Instances
Generic SimplePPUpdate Source # | |
Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic Associated Types type Rep SimplePPUpdate ∷ Type → Type # | |
Show SimplePPUpdate Source # | |
Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic Methods showsPrec ∷ Int → SimplePPUpdate → ShowS # show ∷ SimplePPUpdate → String # showList ∷ [SimplePPUpdate] → ShowS # | |
HasSpec SimplePPUpdate Source # | |
Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic 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 |
Eq SimplePPUpdate Source # | |
Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic Methods (==) ∷ SimplePPUpdate → SimplePPUpdate → Bool # (/=) ∷ SimplePPUpdate → SimplePPUpdate → Bool # | |
type Rep SimplePPUpdate Source # | |
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 # | |
type TypeSpec SimplePPUpdate Source # | |
type SimpleRep SimplePPUpdate Source # | |
type TheSop 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
Instances
Generic (SimplePParams era) Source # | |
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 # | |
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 # | |
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 |
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 # | |
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 # | |
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 # | |
type TypeSpec (SimplePParams era) Source # | |
type SimpleRep (SimplePParams era) Source # | |
type TheSop (SimplePParams era) Source # | |
cSNothing_ ∷ (HasSpec a, IsNormalType a) ⇒ Term (StrictMaybe a) Source #
cSJust_ ∷ (HasSpec a, IsNormalType a) ⇒ Term a → Term (StrictMaybe a) 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 #
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)
data ProposalsSplit Source #
Constructors
ProposalsSplit | |
Instances
type ProposalTree era = (StrictMaybe GovActionId, [Tree (GAS era)]) Source #
data StringW ∷ [Type] → Type → Type Source #
Instances
txOutVal_ ∷ (HasSpec (Value era), Era era, HasSpec (Data era), Val (Value era), HasSpec (Script era), HasSpec (BabbageTxOut era), IsNormalType (Script era)) ⇒ Term (BabbageTxOut era) → Term (Value era) Source #
cKeyHashObj ∷ Typeable r ⇒ Term (KeyHash r) → Term (Credential r) Source #
cScriptHashObj ∷ Typeable r ⇒ Term ScriptHash → Term (Credential r) Source #
gasCommitteeVotes_ ∷ Term (GovActionState ConwayEra) → Term (Map (Credential 'HotCommitteeRole) Vote) Source #
gasDRepVotes_ ∷ Term (GovActionState ConwayEra) → Term (Map (Credential 'DRepRole) Vote) Source #
gasProposalProcedure_ ∷ Term (GovActionState ConwayEra) → Term (ProposalProcedure ConwayEra) Source #
psPParamUpdate_ ∷ (EraSpecPParams era, Arbitrary (Proposals era)) ⇒ Term (Proposals era) → Term (ProposalTree era) Source #
onJust' ∷ (HasSpec a, IsNormalType a, IsPred p) ⇒ Term (StrictMaybe a) → (Term a → p) → Pred Source #
type BabbageTxBodyTypes era = '[Set TxIn, Set TxIn, Set TxIn, [Sized (TxOut era)], Maybe (Sized (TxOut era)), Maybe Coin, [TxCert era], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update era), Set (KeyHash 'Witness), MultiAsset, Maybe ScriptIntegrityHash, Maybe TxAuxDataHash, Maybe Network] Source #
This is an abstraction of the Pattern BabbageTxBody, that uses [x] instead of (StrictSeq x) and (Maybe x) instead of (StrictMaybe x). It transforms between the abstractions and the real types in the toSimpleRep and fromSimpleRep methods. This makes it much easier to write Specifications, because the Constrained packaage knows about Lists and Maybe.
type AlonzoTxBodyTypes era = '[Set TxIn, Set TxIn, [TxOut era], [TxCert era], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update era), Set (KeyHash 'Witness), MultiAsset, Maybe ScriptIntegrityHash, Maybe TxAuxDataHash, Maybe Network] Source #
This is an abstraction of the Pattern AlonzoTxBody, that uses [x] instead of (StrictSeq x) and (Maybe x) instead of (StrictMaybe x). It transforms between the abstractions and the real types in the toSimpleRep and fromSimpleRep methods. This makes it much easier to write Specifications, because the Constrained packaage knows about Lists and Maybe.
type MaryTxBodyTypes era = '[Set TxIn, [TxOut era], [TxCert era], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update era), Maybe TxAuxDataHash, MultiAsset] Source #
This is an abstraction of the Pattern MaryTxBody, that uses [x] instead of (StrictSeq x) and (Maybe x) instead of (StrictMaybe x). It transforms between the abstractions and the real types in the toSimpleRep and fromSimpleRep methods. This makes it much easier to write Specifications, because the Constrained packaage knows about Lists and Maybe.
type AllegraTxBodyTypes era = '[Set TxIn, [TxOut era], [TxCert era], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update era), Maybe TxAuxDataHash] Source #
This is an abstraction of the Pattern AllegraTxBody, that uses [x] instead of (StrictSeq x) and (Maybe x) instead of (StrictMaybe x). It transforms bewtween the two, in the toSimpleRep and fromSimpleRep methods. This makes it much easier to write Specifications, because the Constrained packaage knows about Lists and Maybe.
type ShelleyTxBodyTypes era = '[Set TxIn, [TxOut era], [TxCert era], Map RewardAccount Coin, Coin, SlotNo, Maybe (Update era), Maybe TxAuxDataHash] Source #
This is an abstraction of the Pattern ShelleyTxBody, that uses [x] instead of (StrictSeq x) and (Maybe x) instead of (StrictMaybe x). It transforms bewtween the two, in the toSimpleRep and fromSimpleRep methods. This makes it much easier to write Specifications, because the Constrained packaage knows about Lists and Maybe.
fromShelleyBody ∷ ∀ era. EraTxBody era ⇒ ShelleyTxBody era → TxBody era Source #
fromAllegraBody ∷ ∀ era. AllegraEraTxBody era ⇒ AllegraTxBody era → TxBody era Source #
fromMaryBody ∷ ∀ era. MaryEraTxBody era ⇒ MaryTxBody era → TxBody era Source #
fromAlonzoBody ∷ ∀ era. AlonzoEraTxBody era ⇒ AlonzoTxBody era → TxBody era Source #
fromBabbageBody ∷ ∀ era. BabbageEraTxBody era ⇒ BabbageTxBody era → TxBody era Source #