EraGenericGen AllegraEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Instances Methods setValidity ∷ ValidityInterval → TxBody 'TopTx AllegraEra → TxBody 'TopTx AllegraEra Source # setReferenceInputs ∷ Set TxIn → TxBody 'TopTx AllegraEra → TxBody 'TopTx AllegraEra Source # setCollateralInputs ∷ Set TxIn → TxBody 'TopTx AllegraEra → TxBody 'TopTx AllegraEra Source # setTotalCollateral ∷ StrictMaybe Coin → TxBody 'TopTx AllegraEra → TxBody 'TopTx AllegraEra Source # setCollateralReturn ∷ StrictMaybe (TxOut AllegraEra) → TxBody 'TopTx AllegraEra → TxBody 'TopTx AllegraEra Source # addRedeemers ∷ Redeemers AllegraEra → TxWits AllegraEra → TxWits AllegraEra Source # setScriptIntegrityHash ∷ StrictMaybe ScriptIntegrityHash → TxBody 'TopTx AllegraEra → TxBody 'TopTx AllegraEra Source # setNetworkIdTxBody ∷ StrictMaybe Network → TxBody 'TopTx AllegraEra → TxBody 'TopTx AllegraEra Source # genExUnits ∷ Int → GenRS AllegraEra [ExUnits] Source # genPParams ∷ GenSize → Gen (PParams AllegraEra) Source # ppMaxCollateralInputsT ∷ Lens' (PParams AllegraEra) Natural Source # ppCollateralPercentageT ∷ Lens' (PParams AllegraEra) Natural Source # ppCostModelsT ∷ Lens' (PParams AllegraEra) CostModels Source # ppMaxTxExUnitsT ∷ Lens' (PParams AllegraEra) ExUnits Source # ppMaxBlockExUnitsT ∷ Lens' (PParams AllegraEra) ExUnits Source # ppMaxValSizeT ∷ Lens' (PParams AllegraEra) Natural Source # mkScriptIntegrityHash ∷ PParams AllegraEra → [Language] → TxWits AllegraEra → StrictMaybe ScriptIntegrityHash Source #
EraGenericGen AlonzoEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Instances Methods setValidity ∷ ValidityInterval → TxBody 'TopTx AlonzoEra → TxBody 'TopTx AlonzoEra Source # setReferenceInputs ∷ Set TxIn → TxBody 'TopTx AlonzoEra → TxBody 'TopTx AlonzoEra Source # setCollateralInputs ∷ Set TxIn → TxBody 'TopTx AlonzoEra → TxBody 'TopTx AlonzoEra Source # setTotalCollateral ∷ StrictMaybe Coin → TxBody 'TopTx AlonzoEra → TxBody 'TopTx AlonzoEra Source # setCollateralReturn ∷ StrictMaybe (TxOut AlonzoEra) → TxBody 'TopTx AlonzoEra → TxBody 'TopTx AlonzoEra Source # addRedeemers ∷ Redeemers AlonzoEra → TxWits AlonzoEra → TxWits AlonzoEra Source # setScriptIntegrityHash ∷ StrictMaybe ScriptIntegrityHash → TxBody 'TopTx AlonzoEra → TxBody 'TopTx AlonzoEra Source # setNetworkIdTxBody ∷ StrictMaybe Network → TxBody 'TopTx AlonzoEra → TxBody 'TopTx AlonzoEra Source # genExUnits ∷ Int → GenRS AlonzoEra [ExUnits] Source # genPParams ∷ GenSize → Gen (PParams AlonzoEra) Source # ppMaxCollateralInputsT ∷ Lens' (PParams AlonzoEra) Natural Source # ppCollateralPercentageT ∷ Lens' (PParams AlonzoEra) Natural Source # ppCostModelsT ∷ Lens' (PParams AlonzoEra) CostModels Source # ppMaxTxExUnitsT ∷ Lens' (PParams AlonzoEra) ExUnits Source # ppMaxBlockExUnitsT ∷ Lens' (PParams AlonzoEra) ExUnits Source # ppMaxValSizeT ∷ Lens' (PParams AlonzoEra) Natural Source # mkScriptIntegrityHash ∷ PParams AlonzoEra → [Language] → TxWits AlonzoEra → StrictMaybe ScriptIntegrityHash Source #
EraGenericGen BabbageEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Instances Methods setValidity ∷ ValidityInterval → TxBody 'TopTx BabbageEra → TxBody 'TopTx BabbageEra Source # setReferenceInputs ∷ Set TxIn → TxBody 'TopTx BabbageEra → TxBody 'TopTx BabbageEra Source # setCollateralInputs ∷ Set TxIn → TxBody 'TopTx BabbageEra → TxBody 'TopTx BabbageEra Source # setTotalCollateral ∷ StrictMaybe Coin → TxBody 'TopTx BabbageEra → TxBody 'TopTx BabbageEra Source # setCollateralReturn ∷ StrictMaybe (TxOut BabbageEra) → TxBody 'TopTx BabbageEra → TxBody 'TopTx BabbageEra Source # addRedeemers ∷ Redeemers BabbageEra → TxWits BabbageEra → TxWits BabbageEra Source # setScriptIntegrityHash ∷ StrictMaybe ScriptIntegrityHash → TxBody 'TopTx BabbageEra → TxBody 'TopTx BabbageEra Source # setNetworkIdTxBody ∷ StrictMaybe Network → TxBody 'TopTx BabbageEra → TxBody 'TopTx BabbageEra Source # genExUnits ∷ Int → GenRS BabbageEra [ExUnits] Source # genPParams ∷ GenSize → Gen (PParams BabbageEra) Source # ppMaxCollateralInputsT ∷ Lens' (PParams BabbageEra) Natural Source # ppCollateralPercentageT ∷ Lens' (PParams BabbageEra) Natural Source # ppCostModelsT ∷ Lens' (PParams BabbageEra) CostModels Source # ppMaxTxExUnitsT ∷ Lens' (PParams BabbageEra) ExUnits Source # ppMaxBlockExUnitsT ∷ Lens' (PParams BabbageEra) ExUnits Source # ppMaxValSizeT ∷ Lens' (PParams BabbageEra) Natural Source # mkScriptIntegrityHash ∷ PParams BabbageEra → [Language] → TxWits BabbageEra → StrictMaybe ScriptIntegrityHash Source #
EraGenericGen ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Instances Methods setValidity ∷ ValidityInterval → TxBody 'TopTx ConwayEra → TxBody 'TopTx ConwayEra Source # setReferenceInputs ∷ Set TxIn → TxBody 'TopTx ConwayEra → TxBody 'TopTx ConwayEra Source # setCollateralInputs ∷ Set TxIn → TxBody 'TopTx ConwayEra → TxBody 'TopTx ConwayEra Source # setTotalCollateral ∷ StrictMaybe Coin → TxBody 'TopTx ConwayEra → TxBody 'TopTx ConwayEra Source # setCollateralReturn ∷ StrictMaybe (TxOut ConwayEra) → TxBody 'TopTx ConwayEra → TxBody 'TopTx ConwayEra Source # addRedeemers ∷ Redeemers ConwayEra → TxWits ConwayEra → TxWits ConwayEra Source # setScriptIntegrityHash ∷ StrictMaybe ScriptIntegrityHash → TxBody 'TopTx ConwayEra → TxBody 'TopTx ConwayEra Source # setNetworkIdTxBody ∷ StrictMaybe Network → TxBody 'TopTx ConwayEra → TxBody 'TopTx ConwayEra Source # genExUnits ∷ Int → GenRS ConwayEra [ExUnits] Source # genPParams ∷ GenSize → Gen (PParams ConwayEra) Source # ppMaxCollateralInputsT ∷ Lens' (PParams ConwayEra) Natural Source # ppCollateralPercentageT ∷ Lens' (PParams ConwayEra) Natural Source # ppCostModelsT ∷ Lens' (PParams ConwayEra) CostModels Source # ppMaxTxExUnitsT ∷ Lens' (PParams ConwayEra) ExUnits Source # ppMaxBlockExUnitsT ∷ Lens' (PParams ConwayEra) ExUnits Source # ppMaxValSizeT ∷ Lens' (PParams ConwayEra) Natural Source # mkScriptIntegrityHash ∷ PParams ConwayEra → [Language] → TxWits ConwayEra → StrictMaybe ScriptIntegrityHash Source #
EraGenericGen MaryEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Instances Methods setValidity ∷ ValidityInterval → TxBody 'TopTx MaryEra → TxBody 'TopTx MaryEra Source # setReferenceInputs ∷ Set TxIn → TxBody 'TopTx MaryEra → TxBody 'TopTx MaryEra Source # setCollateralInputs ∷ Set TxIn → TxBody 'TopTx MaryEra → TxBody 'TopTx MaryEra Source # setTotalCollateral ∷ StrictMaybe Coin → TxBody 'TopTx MaryEra → TxBody 'TopTx MaryEra Source # setCollateralReturn ∷ StrictMaybe (TxOut MaryEra) → TxBody 'TopTx MaryEra → TxBody 'TopTx MaryEra Source # addRedeemers ∷ Redeemers MaryEra → TxWits MaryEra → TxWits MaryEra Source # setScriptIntegrityHash ∷ StrictMaybe ScriptIntegrityHash → TxBody 'TopTx MaryEra → TxBody 'TopTx MaryEra Source # setNetworkIdTxBody ∷ StrictMaybe Network → TxBody 'TopTx MaryEra → TxBody 'TopTx MaryEra Source # genExUnits ∷ Int → GenRS MaryEra [ExUnits] Source # genPParams ∷ GenSize → Gen (PParams MaryEra) Source # ppMaxCollateralInputsT ∷ Lens' (PParams MaryEra) Natural Source # ppCollateralPercentageT ∷ Lens' (PParams MaryEra) Natural Source # ppCostModelsT ∷ Lens' (PParams MaryEra) CostModels Source # ppMaxTxExUnitsT ∷ Lens' (PParams MaryEra) ExUnits Source # ppMaxBlockExUnitsT ∷ Lens' (PParams MaryEra) ExUnits Source # ppMaxValSizeT ∷ Lens' (PParams MaryEra) Natural Source # mkScriptIntegrityHash ∷ PParams MaryEra → [Language] → TxWits MaryEra → StrictMaybe ScriptIntegrityHash Source #
EraGenericGen ShelleyEra Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Instances Methods setValidity ∷ ValidityInterval → TxBody 'TopTx ShelleyEra → TxBody 'TopTx ShelleyEra Source # setReferenceInputs ∷ Set TxIn → TxBody 'TopTx ShelleyEra → TxBody 'TopTx ShelleyEra Source # setCollateralInputs ∷ Set TxIn → TxBody 'TopTx ShelleyEra → TxBody 'TopTx ShelleyEra Source # setTotalCollateral ∷ StrictMaybe Coin → TxBody 'TopTx ShelleyEra → TxBody 'TopTx ShelleyEra Source # setCollateralReturn ∷ StrictMaybe (TxOut ShelleyEra) → TxBody 'TopTx ShelleyEra → TxBody 'TopTx ShelleyEra Source # addRedeemers ∷ Redeemers ShelleyEra → TxWits ShelleyEra → TxWits ShelleyEra Source # setScriptIntegrityHash ∷ StrictMaybe ScriptIntegrityHash → TxBody 'TopTx ShelleyEra → TxBody 'TopTx ShelleyEra Source # setNetworkIdTxBody ∷ StrictMaybe Network → TxBody 'TopTx ShelleyEra → TxBody 'TopTx ShelleyEra Source # genExUnits ∷ Int → GenRS ShelleyEra [ExUnits] Source # genPParams ∷ GenSize → Gen (PParams ShelleyEra) Source # ppMaxCollateralInputsT ∷ Lens' (PParams ShelleyEra) Natural Source # ppCollateralPercentageT ∷ Lens' (PParams ShelleyEra) Natural Source # ppCostModelsT ∷ Lens' (PParams ShelleyEra) CostModels Source # ppMaxTxExUnitsT ∷ Lens' (PParams ShelleyEra) ExUnits Source # ppMaxBlockExUnitsT ∷ Lens' (PParams ShelleyEra) ExUnits Source # ppMaxValSizeT ∷ Lens' (PParams ShelleyEra) Natural Source # mkScriptIntegrityHash ∷ PParams ShelleyEra → [Language] → TxWits ShelleyEra → StrictMaybe ScriptIntegrityHash Source #

data GenEnv era Source #

Constructors

GenEnv
Fields gePParams ∷ PParams era geSize ∷ GenSize

Instances

Instances details

Generic (GenEnv era) Source #

Instance details

Defined in Test.Cardano.Ledger.Generic.GenState

Associated Types

type Rep (GenEnv era)

Instance details

Defined in Test.Cardano.Ledger.Generic.GenState

type Rep (GenEnv era) = D1 ('MetaData "GenEnv" "Test.Cardano.Ledger.Generic.GenState" "cardano-ledger-test-9.9.9.9-inplace" 'False) (C1 ('MetaCons "GenEnv" 'PrefixI 'True) (S1 ('MetaSel ('Just "gePParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "geSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GenSize)))

Methods

from ∷ GenEnv era → Rep (GenEnv era) x #

to ∷ Rep (GenEnv era) x → GenEnv era #

EraTest era ⇒ ToExpr (GenEnv era) Source #

Instance details

Defined in Test.Cardano.Ledger.Generic.GenState

Methods

toExpr ∷ GenEnv era → Expr Source #

listToExpr ∷ [GenEnv era] → Expr Source #

type Rep (GenEnv era) Source #

Instance details

Defined in Test.Cardano.Ledger.Generic.GenState

type Rep (GenEnv era) = D1 ('MetaData "GenEnv" "Test.Cardano.Ledger.Generic.GenState" "cardano-ledger-test-9.9.9.9-inplace" 'False) (C1 ('MetaCons "GenEnv" 'PrefixI 'True) (S1 ('MetaSel ('Just "gePParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "geSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GenSize)))

type GenRS era = RWST (GenEnv era) () (GenState era) Gen Source #

data GenState era Source #

Constructors

GenState

Fields

gsValidityInterval ∷ !ValidityInterval
gsKeys ∷ !(Map (KeyHash 'Witness) (KeyPair 'Witness))
gsScripts ∷ !(Map ScriptHash (Script era))
gsPlutusScripts ∷ !(Map (ScriptHash, PlutusPurposeTag) (IsValid, Script era))
gsDatums ∷ !(Map DataHash (Data era))
gsVI ∷ !(Map ValidityInterval (Set ScriptHash))
gsModel ∷ !(ModelNewEpochState era)
gsInitialUtxo ∷ !(Map TxIn (TxOut era))
gsInitialAccounts ∷ !(Map (Credential 'Staking) (AccountState era))
gsInitialStakePoolParams ∷ !(Map (KeyHash 'StakePool) StakePoolParams)
gsInitialPoolDistr ∷ !(Map (KeyHash 'StakePool) IndividualPoolStake)
gsStablePools ∷ !(Set (KeyHash 'StakePool))
gsStableDelegators ∷ !(Set (Credential 'Staking))
gsAvoidCred ∷ !(Set (Credential 'Staking))
gsAvoidKey ∷ !(Set (KeyHash 'StakePool))
gsGenEnv ∷ !(GenEnv era)
gsSeedIdx ∷ !Int

Instances

Instances details

Generic (GenState era) Source #

Instance details

Defined in Test.Cardano.Ledger.Generic.GenState

Associated Types

type Rep (GenState era)

Instance details

Defined in Test.Cardano.Ledger.Generic.GenState

Methods

from ∷ GenState era → Rep (GenState era) x #

to ∷ Rep (GenState era) x → GenState era #

(Reflect era, ShelleyEraTest era) ⇒ Show (GenState era) Source #

Instance details

Defined in Test.Cardano.Ledger.Generic.GenState

Methods

showsPrec ∷ Int → GenState era → ShowS #

show ∷ GenState era → String #

showList ∷ [GenState era] → ShowS #

ShelleyEraTest era ⇒ ToExpr (GenState era) Source #

Instance details

Defined in Test.Cardano.Ledger.Generic.GenState

Methods

toExpr ∷ GenState era → Expr Source #

listToExpr ∷ [GenState era] → Expr Source #

type Rep (GenState era) Source #

Instance details

Defined in Test.Cardano.Ledger.Generic.GenState

data GenSize Source #

Constants that determine how big a GenState is generated.

Constructors

GenSize

Fields

treasury ∷ !Integer
reserves ∷ !Integer
startSlot ∷ !Word64
slotDelta ∷ !(Word64, Word64)
blocksizeMax ∷ !Integer
collInputsMax ∷ !Natural
spendInputsMax ∷ !Int
refInputsMax ∷ !Int
utxoChoicesMax ∷ !Int
certificateMax ∷ !Int
withdrawalMax ∷ !Int
oldUtxoPercent ∷ !Int
maxStablePools ∷ !Int
invalidScriptFreq ∷ !Int
regCertFreq ∷ !Int
delegCertFreq ∷ !Int

Instances

Instances details

Generic GenSize Source #

Instance details

Defined in Test.Cardano.Ledger.Generic.GenState

Associated Types

type Rep GenSize

Instance details

Defined in Test.Cardano.Ledger.Generic.GenState

Methods

from ∷ GenSize → Rep GenSize x #

to ∷ Rep GenSize x → GenSize #

Show GenSize Source #

Instance details

Defined in Test.Cardano.Ledger.Generic.GenState

Methods

showsPrec ∷ Int → GenSize → ShowS #

show ∷ GenSize → String #

showList ∷ [GenSize] → ShowS #

ToExpr GenSize Source #

Instance details

Defined in Test.Cardano.Ledger.Generic.GenState

Methods

toExpr ∷ GenSize → Expr Source #

listToExpr ∷ [GenSize] → Expr Source #

type Rep GenSize Source #

Instance details

Defined in Test.Cardano.Ledger.Generic.GenState

defaultGenSize ∷ GenSize Source #

data PlutusPurposeTag Source #

Constructors

Spending
Minting
Certifying
Rewarding
Voting
Proposing

Instances

Instances details

Bounded PlutusPurposeTag Source #

Instance details

Defined in Test.Cardano.Ledger.Examples.STSTestUtils

Methods

minBound ∷ PlutusPurposeTag #

maxBound ∷ PlutusPurposeTag #

Enum PlutusPurposeTag Source #

Instance details

Defined in Test.Cardano.Ledger.Examples.STSTestUtils

Methods

succ ∷ PlutusPurposeTag → PlutusPurposeTag #

pred ∷ PlutusPurposeTag → PlutusPurposeTag #

toEnum ∷ Int → PlutusPurposeTag #

fromEnum ∷ PlutusPurposeTag → Int #

enumFrom ∷ PlutusPurposeTag → [PlutusPurposeTag] #

enumFromThen ∷ PlutusPurposeTag → PlutusPurposeTag → [PlutusPurposeTag] #

enumFromTo ∷ PlutusPurposeTag → PlutusPurposeTag → [PlutusPurposeTag] #

enumFromThenTo ∷ PlutusPurposeTag → PlutusPurposeTag → PlutusPurposeTag → [PlutusPurposeTag] #

Generic PlutusPurposeTag Source #

Instance details

Defined in Test.Cardano.Ledger.Examples.STSTestUtils

Associated Types

type Rep PlutusPurposeTag

Instance details

Defined in Test.Cardano.Ledger.Examples.STSTestUtils

type Rep PlutusPurposeTag = D1 ('MetaData "PlutusPurposeTag" "Test.Cardano.Ledger.Examples.STSTestUtils" "cardano-ledger-test-9.9.9.9-inplace" 'False) ((C1 ('MetaCons "Spending" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "Minting" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Certifying" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "Rewarding" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "Voting" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Proposing" 'PrefixI 'False) (U1 ∷ Type → Type))))

Methods

from ∷ PlutusPurposeTag → Rep PlutusPurposeTag x #

to ∷ Rep PlutusPurposeTag x → PlutusPurposeTag #

Show PlutusPurposeTag Source #

Instance details

Defined in Test.Cardano.Ledger.Examples.STSTestUtils

Methods

showsPrec ∷ Int → PlutusPurposeTag → ShowS #

show ∷ PlutusPurposeTag → String #

showList ∷ [PlutusPurposeTag] → ShowS #

Eq PlutusPurposeTag Source #

Instance details

Defined in Test.Cardano.Ledger.Examples.STSTestUtils

Methods

(==) ∷ PlutusPurposeTag → PlutusPurposeTag → Bool #

(/=) ∷ PlutusPurposeTag → PlutusPurposeTag → Bool #

Ord PlutusPurposeTag Source #

Instance details

Defined in Test.Cardano.Ledger.Examples.STSTestUtils

Methods

compare ∷ PlutusPurposeTag → PlutusPurposeTag → Ordering #

(<) ∷ PlutusPurposeTag → PlutusPurposeTag → Bool #

(<=) ∷ PlutusPurposeTag → PlutusPurposeTag → Bool #

(>) ∷ PlutusPurposeTag → PlutusPurposeTag → Bool #

(>=) ∷ PlutusPurposeTag → PlutusPurposeTag → Bool #

max ∷ PlutusPurposeTag → PlutusPurposeTag → PlutusPurposeTag #

min ∷ PlutusPurposeTag → PlutusPurposeTag → PlutusPurposeTag #

ToExpr PlutusPurposeTag Source #

Instance details

Defined in Test.Cardano.Ledger.Examples.STSTestUtils

Methods

toExpr ∷ PlutusPurposeTag → Expr Source #

listToExpr ∷ [PlutusPurposeTag] → Expr Source #

type Rep PlutusPurposeTag Source #

Instance details

Defined in Test.Cardano.Ledger.Examples.STSTestUtils

type Rep PlutusPurposeTag = D1 ('MetaData "PlutusPurposeTag" "Test.Cardano.Ledger.Examples.STSTestUtils" "cardano-ledger-test-9.9.9.9-inplace" 'False) ((C1 ('MetaCons "Spending" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "Minting" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Certifying" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "Rewarding" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "Voting" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Proposing" 'PrefixI 'False) (U1 ∷ Type → Type))))

plutusPurposeTags ∷ Proof era → [PlutusPurposeTag] Source #

elementsT ∷ (Monad (t Gen), MonadTrans t) ⇒ [t Gen b] → t Gen b Source #

frequencyT ∷ (Monad (t Gen), MonadTrans t) ⇒ [(Int, t Gen b)] → t Gen b Source #

positiveSingleDigitInt ∷ Gen Int Source #

Gen a positive single digit Int, on a skewed distribution that favors 2,3,4,5 but occasionally gets others

nonNegativeSingleDigitInt ∷ Gen Int Source #

Gen a non-negative single digit Int, on a skewed distribution that favors 2,3,4,5 but occasionally gets others

genSetElem ∷ Set a → Gen (Maybe a) Source #

genMapElem ∷ Map k a → Gen (Maybe (k, a)) Source #

genMapElemWhere ∷ Map k a → Int → (k → a → Bool) → Gen (Maybe (k, a)) Source #

Use up to tries attempts to choose a random (k,a) pair from m, that meets predicate p

genRewardVal ∷ Val v ⇒ Gen v Source #

Generate a value (which is occaisionally 0) useful in generating Rewards, where we need a few 0's, because we cannot generate a DeReg certificates, without a 0 Reg value. Also used when generating the CollReturn, where an occasional 0 would be nice

genPositiveVal ∷ Val v ⇒ Gen v Source #

Generate a non-zero value

genGenState ∷ EraGenericGen era ⇒ GenSize → Gen (GenState era) Source #

genGenEnv ∷ EraGenericGen era ⇒ GenSize → Gen (GenEnv era) Source #

Generate a random, well-formed, GenEnv

genValidityInterval ∷ SlotNo → Gen ValidityInterval Source #

Generate a transaction body validity interval which is close in proximity (less than a stability window) from the current slot.

getBlocksizeMax ∷ GenState era → Integer Source #

getCertificateMax ∷ GenState era → Int Source #

getOldUtxoPercent ∷ GenState era → Int Source #

getRefInputsMax ∷ GenState era → Int Source #

getReserves ∷ GenState era → Coin Source #

getSlot ∷ GenState era → SlotNo Source #

getSlotDelta ∷ GenState era → (Word64, Word64) Source #

getSpendInputsMax ∷ GenState era → Int Source #

getTreasury ∷ GenState era → Coin Source #

getUtxoChoicesMax ∷ GenState era → Int Source #

getUtxoElem ∷ EraModel era ⇒ GenRS era (Maybe (TxIn, TxOut era)) Source #

Pick a UTxO element where we can use it in a new Tx. Most of the time we generate new elements for each Tx, but once in a while we choose an existing one. We must be carefull that that the Pay credential of the TxOut can run in the curent ValidityInterval A crude but simple way is to insist Pay credential is either Key locked, or locked with Plutus or MultiSig scripts, and return False for any Timelock scripts.

getUtxoTest ∷ GenRS era (TxIn → Bool) Source #

getCollInputsMax ∷ GenState era → Natural Source #

getNewPoolTest ∷ GenRS era (KeyHash 'StakePool → Bool) Source #

To compute deposits we need a function that tells if the KeyHash is a new Pool Compute this function before we do any generation, since such generation may actually add to the mPoolParams, and then the added thing won't appear new.

initialLedgerState ∷ Reflect era ⇒ GenState era → LedgerState era Source #

modifyModel ∷ (ModelNewEpochState era → ModelNewEpochState era) → GenRS era () Source #

runGenRS ∷ EraGenericGen era ⇒ GenSize → GenRS era a → Gen (a, GenState era) Source #

small ∷ GenSize Source #

genDatumWithHash ∷ Era era ⇒ GenRS era (DataHash, Data era) Source #

genKeyHash ∷ ∀ (kr ∷ KeyRole) era. GenRS era (KeyHash kr) Source #

genScript ∷ Reflect era ⇒ PlutusPurposeTag → GenRS era ScriptHash Source #

genFreshKeyHash ∷ ∀ era (kr ∷ KeyRole). GenRS era (KeyHash kr) Source #

genCredential ∷ ∀ (kr ∷ KeyRole) era. Reflect era ⇒ PlutusPurposeTag → GenRS era (Credential kr) Source #

Generate a credential that can be used for supplied purpose (in case of plutus scripts), while occasionally picking out randomly from previously generated set. Returns the credential Adds to both gsKeys and gsScripts and gsPlutusScript via genKeyHash and genScript

genFreshCredential ∷ ∀ era (kr ∷ KeyRole). Reflect era ⇒ Int → PlutusPurposeTag → Set (Credential kr) → GenRS era (Credential kr) Source #

genFreshRegCred ∷ Reflect era ⇒ PlutusPurposeTag → GenRS era (Credential 'Staking) Source #

genPool ∷ Reflect era ⇒ GenRS era (KeyHash 'StakePool, StakePoolParams) Source #

genStakePoolParams ∷ Reflect era ⇒ KeyHash 'StakePool → GenRS era StakePoolParams Source #

genRewards ∷ Reflect era ⇒ GenRS era (Map (Credential 'Staking) Coin) Source #

genNewPool ∷ Reflect era ⇒ GenRS era (KeyHash 'StakePool, StakePoolParams, IndividualPoolStake) Source #

Use this function to get a new pool that should not be used in the future transactions

genRetirementHash ∷ Reflect era ⇒ GenRS era (KeyHash 'StakePool) Source #

initStableFields ∷ Reflect era ⇒ GenRS era () Source #

Initialize (or overwrite if they are not empty) the Stable fields. It is intended that this be called just once at the beginning of a trace generation.

modifyGenStateInitialUtxo ∷ (Map TxIn (TxOut era) → Map TxIn (TxOut era)) → GenRS era () Source #

modifyGenStateInitialAccounts ∷ (Map (Credential 'Staking) (AccountState era) → Map (Credential 'Staking) (AccountState era)) → GenRS era () Source #

modifyModelCount ∷ (Int → Int) → GenRS era () Source #

modifyModelIndex ∷ (Map Int TxId → Map Int TxId) → GenRS era () Source #

modifyModelUTxO ∷ (Map TxIn (TxOut era) → Map TxIn (TxOut era)) → GenRS era () Source #

modifyModelMutFee ∷ (Map TxIn (TxOut era) → Map TxIn (TxOut era)) → GenRS era () Source #