| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Babbage.ImpTest
Contents
Documentation
class (AlonzoEraImp era, BabbageEraTest era, InjectRuleFailure "LEDGER" BabbageUtxowPredFailure era, InjectRuleFailure "LEDGER" BabbageUtxoPredFailure era, Inject (BabbageContextError era) (ContextError era)) ⇒ BabbageEraImp era Source #
Instances
babbageFixupTx ∷ (HasCallStack, AlonzoEraImp era, BabbageEraTxBody era) ⇒ Tx 'TopTx era → ImpTestM era (Tx 'TopTx era) Source #
fixupCollateralReturn ∷ (ShelleyEraImp era, BabbageEraTxBody era) ⇒ Tx 'TopTx era → ImpTestM era (Tx 'TopTx era) Source #
impBabbageExpectTxSuccess ∷ (HasCallStack, AlonzoEraImp era, BabbageEraTxBody era) ⇒ Tx 'TopTx era → ImpTestM era () Source #
produceRefScript ∷ (ShelleyEraImp era, BabbageEraTxOut era) ⇒ Script era → ImpTestM era TxIn Source #
produceRefScripts ∷ (ShelleyEraImp era, BabbageEraTxOut era) ⇒ NonEmpty (Script era) → ImpTestM era (NonEmpty TxIn) Source #
produceRefScriptsTx ∷ (ShelleyEraImp era, BabbageEraTxOut era) ⇒ NonEmpty (Script era) → ImpTestM era (Tx 'TopTx era) Source #
mkTxWithRefInputs ∷ (ShelleyEraImp era, BabbageEraTxBody era) ⇒ TxIn → NonEmpty TxIn → Tx 'TopTx era Source #
submitTxWithRefInputs ∷ (ShelleyEraImp era, BabbageEraTxBody era) ⇒ TxIn → NonEmpty TxIn → ImpTestM era (Tx 'TopTx era) Source #