Safe Haskell | Safe-Inferred |
---|---|
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 era → ImpTestM era (Tx era) Source #
impBabbageExpectTxSuccess ∷ (HasCallStack, AlonzoEraImp era, BabbageEraTxBody era) ⇒ Tx 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 era) Source #
mkTxWithRefInputs ∷ (ShelleyEraImp era, BabbageEraTxBody era) ⇒ TxIn → NonEmpty TxIn → Tx era Source #
submitTxWithRefInputs ∷ (ShelleyEraImp era, BabbageEraTxBody era) ⇒ TxIn → NonEmpty TxIn → ImpTestM era (Tx era) Source #