Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Generic.TxGen

Synopsis

genAlonzoTx ∷ ∀ era. Reflect era ⇒ Proof era → SlotNo → GenRS era (UTxO era, Tx era)
data Box era = Box (Proof era) (TRC (EraRule "LEDGER" era)) (GenState era)
applySTSByProof ∷ ∀ era. Era era ⇒ Proof era → RuleContext 'Transition (EraRule "LEDGER" era) → Either (NonEmpty (PredicateFailure (EraRule "LEDGER" era))) (State (EraRule "LEDGER" era))
assembleWits ∷ Proof era → [WitnessesField era] → TxWits era
coreTx ∷ Proof era → [TxField era] → Tx era
coreTxBody ∷ EraTxBody era ⇒ Proof era → [TxBodyField era] → TxBody era
coreTxOut ∷ Proof era → [TxOutField era] → TxOut era
genUTxO ∷ Reflect era ⇒ GenRS era (MUtxo era, Maybe (UtxoEntry era))

Documentation

genAlonzoTx ∷ ∀ era. Reflect era ⇒ Proof era → SlotNo → GenRS 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 showsPrec ∷ Int → Box era → ShowS # show ∷ Box 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 toExpr ∷ Box 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 #

assembleWits ∷ Proof era → [WitnessesField era] → TxWits era Source #

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

coreTx ∷ Proof era → [TxField era] → Tx era Source #

coreTxBody ∷ EraTxBody era ⇒ Proof era → [TxBodyField era] → TxBody era Source #

coreTxOut ∷ Proof era → [TxOutField era] → TxOut era Source #

genUTxO ∷ Reflect 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