Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Constrained.Conway.Instances

Synopsis

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
}
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 StringW ∷ [Type] → Type → Type
type ProposalTree era = (StrictMaybe GovActionId, [Tree (GAS era)])
data ProposalsSplit = ProposalsSplit {
- psPPChange ∷ Integer
- psHFInitiation ∷ Integer
- psUpdateCommittee ∷ Integer
- psNewConstitution ∷ Integer
- psOthers ∷ Integer
}
type ShelleyTxBodyTypes = '[Set TxIn, [TxOut ShelleyEra], [TxCert ShelleyEra], Map RewardAccount Coin, Coin, SlotNo, Maybe (Update ShelleyEra), Maybe TxAuxDataHash]
type AllegraTxBodyTypes = '[Set TxIn, [TxOut AllegraEra], [TxCert AllegraEra], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update AllegraEra), Maybe TxAuxDataHash]
type MaryTxBodyTypes = '[Set TxIn, [TxOut MaryEra], [TxCert MaryEra], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update MaryEra), Maybe TxAuxDataHash, MultiAsset]
type AlonzoTxBodyTypes = '[Set TxIn, Set TxIn, [TxOut AlonzoEra], [TxCert AlonzoEra], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update AlonzoEra), Set (KeyHash 'Witness), MultiAsset, Maybe ScriptIntegrityHash, Maybe TxAuxDataHash, Maybe Network]
type BabbageTxBodyTypes = '[Set TxIn, Set TxIn, Set TxIn, [Sized (TxOut BabbageEra)], Maybe (Sized (TxOut BabbageEra)), Maybe Coin, [TxCert BabbageEra], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update BabbageEra), Set (KeyHash 'Witness), MultiAsset, Maybe ScriptIntegrityHash, Maybe TxAuxDataHash, Maybe Network]
cSNothing_ ∷ (HasSpec a, IsNormalType a) ⇒ Term (StrictMaybe a)
cSJust_ ∷ (HasSpec a, IsNormalType a) ⇒ Term a → Term (StrictMaybe a)
succV_ ∷ Term Version → Term Version
makePrices ∷ Integer → Integer → Prices
makeUnitInterval ∷ Integer → Integer → UnitInterval
makeNonNegativeInterval ∷ Integer → Integer → NonNegativeInterval
prettyE ∷ ToExpr x ⇒ x → Doc
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
cKeyHashObj ∷ Typeable r ⇒ Term (KeyHash r) → Term (Credential r)
cScriptHashObj ∷ Typeable r ⇒ Term ScriptHash → Term (Credential r)
maryValueCoin_ ∷ Term MaryValue → Term Coin
strLen_ ∷ (HasSpec s, StringLike s) ⇒ Term s → Term Int
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)
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)
genProposalsSplit ∷ Integer → Gen ProposalsSplit
proposalSplitSum ∷ ProposalsSplit → Integer
coerce_ ∷ ∀ a b. (HasSpec a, HasSpec b, CoercibleLike a b) ⇒ Term a → Term b
toDelta_ ∷ Term Coin → Term DeltaCoin
simplePParamsSpec ∷ ∀ era. EraSpecPParams era ⇒ Specification (SimplePParams era)
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

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)

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 StringW ∷ [Type] → Type → Type Source #

Instances

Instances details

Syntax StringW Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Methods isInfix ∷ ∀ (dom ∷ [Type]) rng. StringW dom rng → Bool Source # prettySymbol ∷ ∀ deps (dom ∷ [Type]) rng ann. StringW dom rng → List (TermD deps) dom → Int → Maybe (Doc ann) Source #
Logic StringW Source #	In this instance there is no way to bring the type variable `s` into scope so we introduce some local functions that have a signature that bring it into scope.
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Methods propagateTypeSpec ∷ ∀ (as ∷ [Type]) b a. (AppRequires StringW as b, HasSpec a) ⇒ StringW as b → ListCtx Value as (HOLE a) → TypeSpec b → [b] → Specification a Source # propagateMemberSpec ∷ ∀ (as ∷ [Type]) b a. (AppRequires StringW as b, HasSpec a) ⇒ StringW as b → ListCtx Value as (HOLE a) → NonEmpty b → Specification a Source # propagate ∷ ∀ (as ∷ [Type]) b a. (AppRequires StringW as b, HasSpec a) ⇒ StringW as b → ListCtx Value as (HOLE a) → Specification b → Specification a Source # rewriteRules ∷ ∀ (dom ∷ [Type]) rng. (TypeList dom, Typeable dom, HasSpec rng, All HasSpec dom) ⇒ StringW dom rng → List Term dom → Evidence (AppRequires StringW dom rng) → Maybe (Term rng) Source # mapTypeSpec ∷ (HasSpec a, HasSpec b) ⇒ StringW '[a] b → TypeSpec a → Specification b Source # saturate ∷ ∀ (dom ∷ [Type]). StringW dom Bool → List Term dom → [Pred] Source #
Semantics StringW Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Methods semantics ∷ ∀ (d ∷ [Type]) r. StringW d r → FunTy d r Source #
Show (StringW as b) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Methods showsPrec ∷ Int → StringW as b → ShowS # show ∷ StringW as b → String # showList ∷ [StringW as b] → ShowS #
Eq (StringW as b) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Methods (==) ∷ StringW as b → StringW as b → Bool # (/=) ∷ StringW as b → StringW as b → Bool #

type ProposalTree era = (StrictMaybe GovActionId, [Tree (GAS era)]) Source #

data ProposalsSplit Source #

Constructors

ProposalsSplit
Fields psPPChange ∷ Integer psHFInitiation ∷ Integer psUpdateCommittee ∷ Integer psNewConstitution ∷ Integer psOthers ∷ Integer

Instances

Instances details

Generic ProposalsSplit Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Associated Types type Rep ProposalsSplit ∷ Type → Type # Methods from ∷ ProposalsSplit → Rep ProposalsSplit x # to ∷ Rep ProposalsSplit x → ProposalsSplit #
Show ProposalsSplit Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Methods showsPrec ∷ Int → ProposalsSplit → ShowS # show ∷ ProposalsSplit → String # showList ∷ [ProposalsSplit] → ShowS #
DecCBOR ProposalsSplit Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Methods decCBOR ∷ Decoder s ProposalsSplit Source # dropCBOR ∷ Proxy ProposalsSplit → Decoder s () Source # label ∷ Proxy ProposalsSplit → Text Source #
EncCBOR ProposalsSplit Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Methods encCBOR ∷ ProposalsSplit → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy ProposalsSplit → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ProposalsSplit] → Size Source #
NFData ProposalsSplit Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Methods rnf ∷ ProposalsSplit → () #
Eq ProposalsSplit Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Methods (==) ∷ ProposalsSplit → ProposalsSplit → Bool # (/=) ∷ ProposalsSplit → ProposalsSplit → Bool #
ToExpr ProposalsSplit Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Methods toExpr ∷ ProposalsSplit → Expr Source # listToExpr ∷ [ProposalsSplit] → Expr Source #
type Rep ProposalsSplit Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type Rep ProposalsSplit = D1 ('MetaData "ProposalsSplit" "Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger" "cardano-ledger-test-9.9.9.9-inplace" 'False) (C1 ('MetaCons "ProposalsSplit" 'PrefixI 'True) ((S1 ('MetaSel ('Just "psPPChange") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :: S1 ('MetaSel ('Just "psHFInitiation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)) :: (S1 ('MetaSel ('Just "psUpdateCommittee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :: (S1 ('MetaSel ('Just "psNewConstitution") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :: S1 ('MetaSel ('Just "psOthers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))))

type ShelleyTxBodyTypes = '[Set TxIn, [TxOut ShelleyEra], [TxCert ShelleyEra], Map RewardAccount Coin, Coin, SlotNo, Maybe (Update ShelleyEra), 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.

type AllegraTxBodyTypes = '[Set TxIn, [TxOut AllegraEra], [TxCert AllegraEra], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update AllegraEra), 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 MaryTxBodyTypes = '[Set TxIn, [TxOut MaryEra], [TxCert MaryEra], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update MaryEra), 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 AlonzoTxBodyTypes = '[Set TxIn, Set TxIn, [TxOut AlonzoEra], [TxCert AlonzoEra], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update AlonzoEra), 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 BabbageTxBodyTypes = '[Set TxIn, Set TxIn, Set TxIn, [Sized (TxOut BabbageEra)], Maybe (Sized (TxOut BabbageEra)), Maybe Coin, [TxCert BabbageEra], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update BabbageEra), 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.

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 #

makePrices ∷ Integer → Integer → Prices Source #

makeUnitInterval ∷ Integer → Integer → UnitInterval Source #

makeNonNegativeInterval ∷ Integer → Integer → NonNegativeInterval Source #

prettyE ∷ ToExpr x ⇒ x → Doc Source #

onJust' ∷ (HasSpec a, IsNormalType a, IsPred p) ⇒ Term (StrictMaybe a) → (Term a → p) → Pred Source #

onSized ∷ (HasSpec a, IsPred p) ⇒ Term (Sized a) → (Term a → p) → Pred Source #

cKeyHashObj ∷ Typeable r ⇒ Term (KeyHash r) → Term (Credential r) Source #

cScriptHashObj ∷ Typeable r ⇒ Term ScriptHash → Term (Credential r) Source #

maryValueCoin_ ∷ Term MaryValue → Term Coin Source #

strLen_ ∷ (HasSpec s, StringLike s) ⇒ Term s → Term Int Source #

sizedValue_ ∷ (HasSpec (Sized a), HasSpec a) ⇒ Term (Sized a) → Term a Source #

sizedSize_ ∷ (HasSpec (Sized a), HasSpec a) ⇒ Term (Sized a) → Term Int64 Source #

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 #

pProcDeposit_ ∷ Term (ProposalProcedure ConwayEra) → Term Coin Source #

pProcGovAction_ ∷ Term (ProposalProcedure ConwayEra) → Term (GovAction ConwayEra) Source #

gasId_ ∷ Term (GovActionState ConwayEra) → Term GovActionId 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 #

genProposalsSplit ∷ Integer → Gen ProposalsSplit Source #

proposalSplitSum ∷ ProposalsSplit → Integer Source #

coerce_ ∷ ∀ a b. (HasSpec a, HasSpec b, CoercibleLike a b) ⇒ Term a → Term b Source #

toDelta_ ∷ Term Coin → Term DeltaCoin 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)

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 #