cardano-ledger-test-9.9.9.9: Testing harness, tests and benchmarks for Shelley style cardano ledgers
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Generic.TxGen

Synopsis

Documentation

genAlonzoTx ∷ ∀ era. Reflect era ⇒ Proof era → SlotNoGenRS era (UTxO era, Tx era) Source #

data Box era Source #

Constructors

Box (Proof era) (TRC (EraRule "LEDGER" era)) (GenState era) 

Instances

Instances details
(Era era, Signal (EraRule "LEDGER" era) ~ Tx era) ⇒ Show (Box era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.TxGen

Methods

showsPrecIntBox era → ShowS #

showBox era → String #

showList ∷ [Box era] → ShowS #

(Era era, Signal (EraRule "LEDGER" era) ~ Tx era) ⇒ ToExpr (Box era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.TxGen

Methods

toExprBox era → Expr Source #

listToExpr ∷ [Box era] → Expr Source #

applySTSByProof ∷ ∀ era. Era era ⇒ Proof era → RuleContext 'Transition (EraRule "LEDGER" era) → Either (NonEmpty (PredicateFailure (EraRule "LEDGER" era))) (State (EraRule "LEDGER" era)) Source #

assembleWitsProof era → [WitnessesField era] → TxWits era Source #

This uses merging semantics, it expects duplicate fields, and merges them together

coreTxProof era → [TxField era] → Tx era Source #

coreTxBodyEraTxBody era ⇒ Proof era → [TxBodyField era] → TxBody era Source #

coreTxOutProof era → [TxOutField era] → TxOut era Source #

genUTxOReflect era ⇒ GenRS era (MUtxo era, Maybe (UtxoEntry era)) Source #

Generate a somewhat arbitrary MUtxo. Occasionally add a bit of the MUtxo in the Model to the one generated. This way the Tx we generate may spend some of the old UTxo. The result has at most 1 entry from the old MUtxo, and If it has only one entry, that entry is not from the old MUtxo