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

alonzoMkRedeemers ∷ ∀ era. AlonzoEraScript era ⇒ [(PlutusPurpose AsIx era, (Data era, ExUnits))] → Redeemers era Source #

genAlonzoTx ∷ ∀ era. EraGenericGen era ⇒ SlotNoGenRS era (UTxO era, Tx era) Source #

runSTSWithContext ∷ ∀ era. (BaseM (EraRule "LEDGER" era) ~ ShelleyBase, STS (EraRule "LEDGER" era)) ⇒ RuleContext 'Transition (EraRule "LEDGER" era) → Either (NonEmpty (PredicateFailure (EraRule "LEDGER" era))) (State (EraRule "LEDGER" era)) Source #

genUTxOEraGenericGen 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