module Test.Cardano.Ledger.Mary.ImpTest

class (MaryEraImp era, AlonzoEraScript era, AlonzoEraTxWits era, AlonzoEraTx era, AlonzoEraUTxO era, EraPlutusContext era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, TxAuxData era ~ AlonzoTxAuxData era) ⇒ AlonzoEraImp era where Source #

impLookupPlutusScriptMaybe ∷ ∀ era. AlonzoEraImp era ⇒ ScriptHash → Maybe (PlutusScript era) Source #

malformedPlutus ∷ Plutus l Source #

addCollateralInput ∷ AlonzoEraImp era ⇒ Tx era → ImpTestM era (Tx era) Source #

impGetPlutusContexts ∷ ∀ era. AlonzoEraImp era ⇒ Tx era → ImpTestM era [(PlutusPurpose AsIxItem era, ScriptHash, ScriptTestContext)] Source #

alonzoFixupTx ∷ (HasCallStack, AlonzoEraImp era) ⇒ Tx era → ImpTestM era (Tx era) Source #

plutusTestScripts ∷ ∀ l. PlutusLanguage l ⇒ SLanguage l → Map ScriptHash ScriptTestContext Source #

impGetScriptContext ∷ ∀ era. AlonzoEraImp era ⇒ ScriptHash → ImpTestM era ScriptTestContext Source #

impGetScriptContextMaybe ∷ ∀ era. AlonzoEraImp era ⇒ ScriptHash → Maybe ScriptTestContext Source #

impPlutusWithContexts ∷ (HasCallStack, AlonzoEraImp era) ⇒ Tx era → ImpTestM era [PlutusWithContext] Source #

impScriptPredicateFailure ∷ (HasCallStack, AlonzoEraImp era) ⇒ Tx era → ImpTestM era (AlonzoUtxosPredFailure era) Source #

submitPhase2Invalid_ ∷ (HasCallStack, AlonzoEraImp era, InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure era) ⇒ Tx era → ImpTestM era () Source #

submitPhase2Invalid ∷ (HasCallStack, AlonzoEraImp era, InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure era) ⇒ Tx era → ImpTestM era (Tx era) Source #

expectTxSuccess ∷ (HasCallStack, AlonzoEraImp era) ⇒ Tx era → ImpTestM era () Source #

fixupDatums ∷ ∀ era. (HasCallStack, AlonzoEraImp era) ⇒ Tx era → ImpTestM era (Tx era) Source #

fixupOutputDatums ∷ ∀ era. AlonzoEraImp era ⇒ Tx era → ImpTestM era (Tx era) Source #

fixupPPHash ∷ ∀ era. AlonzoEraImp era ⇒ Tx era → ImpTestM era (Tx era) Source #

fixupRedeemers ∷ ∀ era. (AlonzoEraImp era, HasCallStack) ⇒ Tx era → ImpTestM era (Tx era) Source #

fixupRedeemerIndices ∷ ∀ era. AlonzoEraImp era ⇒ Tx era → ImpTestM era (Tx era) Source #

fixupScriptWits ∷ ∀ era. AlonzoEraImp era ⇒ Tx era → ImpTestM era (Tx era) Source #