module Test.Cardano.Ledger.Mary.ImpTest

class (MaryEraImp era, AlonzoEraTest era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, TxAuxData era ~ AlonzoTxAuxData era, ToExpr (ContextError era), ToExpr (PlutusPurpose AsItem era), InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure era, InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure era, InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure era) ⇒ AlonzoEraImp era where Source #

impLookupPlutusScript ∷ AlonzoEraImp era ⇒ ScriptHash → Maybe (PlutusScript era) Source #

malformedPlutus ∷ ∀ (l ∷ Language). Plutus l Source #

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

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

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

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

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

impLookupScriptContext ∷ AlonzoEraImp era ⇒ ScriptHash → Maybe ScriptTestContext Source #

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

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

submitPhase2Invalid_ ∷ (HasCallStack, AlonzoEraImp era) ⇒ Tx 'TopTx era → ImpTestM era () Source #

submitPhase2Invalid ∷ (HasCallStack, AlonzoEraImp era) ⇒ Tx 'TopTx era → ImpTestM era (Tx 'TopTx era) Source #

impAlonzoExpectTxSuccess ∷ (HasCallStack, AlonzoEraImp era) ⇒ Tx 'TopTx era → ImpTestM era () Source #

impComputeScriptIntegrity ∷ ∀ era (l ∷ TxLevel). AlonzoEraImp era ⇒ Tx l era → ImpTestM era (StrictMaybe (ScriptIntegrity era)) Source #

computeScriptIntegrityHash ∷ ∀ era (l ∷ TxLevel). AlonzoEraImp era ⇒ Tx l era → ImpTestM era (StrictMaybe ScriptIntegrityHash) Source #

computeScriptIntegrity ∷ ∀ era (l ∷ TxLevel). AlonzoEraImp era ⇒ PParams era → UTxO era → Tx l era → StrictMaybe (ScriptIntegrity era) Source #

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

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

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

fixupRedeemers ∷ (AlonzoEraImp era, HasCallStack) ⇒ Tx 'TopTx era → ImpTestM era (Tx 'TopTx era) Source #

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

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

alonzoFixupFees ∷ (HasCallStack, AlonzoEraImp era) ⇒ Tx 'TopTx era → ImpTestM era (Tx 'TopTx era) Source #