| 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 #
mkTxWithInputsAndRefInputs ∷ ∀ era (l ∷ TxLevel). (ShelleyEraImp era, BabbageEraTxBody era, Typeable l) ⇒ [TxIn] → [TxIn] → Tx l era Source #