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 (EraCrypto era) → 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 (EraCrypto era), ScriptTestContext)] Source #

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

plutusTestScripts ∷ ∀ c l. (Crypto c, PlutusLanguage l) ⇒ SLanguage l → Map (ScriptHash c) ScriptTestContext Source #

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

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

impPlutusWithContexts ∷ (HasCallStack, AlonzoEraImp era) ⇒ Tx era → ImpTestM era [PlutusWithContext (EraCrypto era)] 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 #