| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Alonzo.ImpTest
Contents
Synopsis
- 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, InjectRuleFailure "BBODY" AlonzoBbodyPredFailure era) ⇒ AlonzoEraImp era
- scriptTestContexts ∷ AlonzoEraImp era ⇒ Map ScriptHash ScriptTestContext
- impLookupPlutusScript ∷ AlonzoEraImp era ⇒ ScriptHash → Maybe (PlutusScript era)
- malformedPlutus ∷ ∀ (l ∷ Language). Plutus l
- addCollateralInput ∷ AlonzoEraImp era ⇒ Tx 'TopTx era → ImpTestM era (Tx 'TopTx era)
- makeCollateralInput ∷ ShelleyEraImp era ⇒ ImpTestM era TxIn
- txWithMaxRedeemers ∷ ∀ era (l ∷ TxLevel). AlonzoEraImp era ⇒ Tx l era → ImpTestM era (Tx l era)
- impGetPlutusContexts ∷ ∀ era (l ∷ TxLevel). AlonzoEraImp era ⇒ Tx l era → ImpTestM era [(PlutusPurpose AsIxItem era, ScriptHash, ScriptTestContext)]
- alonzoFixupTx ∷ (HasCallStack, AlonzoEraImp era) ⇒ Tx 'TopTx era → ImpTestM era (Tx 'TopTx era)
- plutusTestScripts ∷ ∀ (l ∷ Language). PlutusLanguage l ⇒ SLanguage l → Map ScriptHash ScriptTestContext
- impGetScriptContext ∷ AlonzoEraImp era ⇒ ScriptHash → ImpTestM era ScriptTestContext
- impLookupScriptContext ∷ AlonzoEraImp era ⇒ ScriptHash → Maybe ScriptTestContext
- impPlutusWithContexts ∷ (HasCallStack, AlonzoEraImp era) ⇒ Tx 'TopTx era → ImpTestM era [PlutusWithContext]
- impScriptPredicateFailure ∷ (HasCallStack, AlonzoEraImp era) ⇒ Tx 'TopTx era → ImpTestM era (AlonzoUtxosPredFailure era)
- submitPhase2Invalid_ ∷ (HasCallStack, AlonzoEraImp era) ⇒ Tx 'TopTx era → ImpTestM era ()
- submitPhase2Invalid ∷ (HasCallStack, AlonzoEraImp era) ⇒ Tx 'TopTx era → ImpTestM era (Tx 'TopTx era)
- impAlonzoExpectTxSuccess ∷ (HasCallStack, AlonzoEraImp era) ⇒ Tx 'TopTx era → ImpTestM era ()
- impComputeScriptIntegrity ∷ ∀ era (l ∷ TxLevel). AlonzoEraImp era ⇒ Tx l era → ImpTestM era (StrictMaybe (ScriptIntegrity era))
- computeScriptIntegrityHash ∷ ∀ era (l ∷ TxLevel). AlonzoEraImp era ⇒ Tx l era → ImpTestM era (StrictMaybe ScriptIntegrityHash)
- computeScriptIntegrity ∷ ∀ era (l ∷ TxLevel). AlonzoEraImp era ⇒ PParams era → UTxO era → Tx l era → StrictMaybe (ScriptIntegrity era)
- mkTxWithPlutusAndBootstrapAddress ∷ ∀ era (l ∷ Language). (AlonzoEraImp era, PlutusLanguage l) ⇒ SLanguage l → ImpTestM era (AnyLevelTx era)
- mkTokenMintingTx ∷ AlonzoEraImp era ⇒ ScriptHash → ImpTestM era (AnyLevelTx era)
- freshAssetOutput ∷ AlonzoEraImp era ⇒ ImpTestM era (MultiAsset, TxOut era)
- restrictMaxValSizeToAdaOnly ∷ AlonzoEraImp era ⇒ ImpTestM era ()
- outputTooBigEntry ∷ AlonzoEraImp era ⇒ PParams era → TxOut era → (Int, Int, TxOut era)
- genGoodValidityInterval ∷ MonadGen m ⇒ SlotNo → SlotNo → m ValidityInterval
- genBadValidityInterval ∷ MonadGen m ⇒ SlotNo → SlotNo → m ValidityInterval
- fixupDatums ∷ ∀ era (l ∷ TxLevel). (HasCallStack, AlonzoEraImp era) ⇒ Tx l era → ImpTestM era (Tx l era)
- fixupOutputDatums ∷ ∀ era (l ∷ TxLevel). AlonzoEraImp era ⇒ Tx l era → ImpTestM era (Tx l era)
- fixupPPHash ∷ ∀ era (l ∷ TxLevel). AlonzoEraImp era ⇒ Tx l era → ImpTestM era (Tx l era)
- fixupRedeemers ∷ (AlonzoEraImp era, HasCallStack) ⇒ Tx 'TopTx era → ImpTestM era (Tx 'TopTx era)
- fixupRedeemerIndices ∷ ∀ era (l ∷ TxLevel). AlonzoEraImp era ⇒ Tx l era → ImpTestM era (Tx l era)
- fixupScriptWits ∷ ∀ era (l ∷ TxLevel). AlonzoEraImp era ⇒ Tx l era → ImpTestM era (Tx l era)
- alonzoFixupFees ∷ (HasCallStack, AlonzoEraImp era) ⇒ Tx 'TopTx era → ImpTestM era (Tx 'TopTx era)
Documentation
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, InjectRuleFailure "BBODY" AlonzoBbodyPredFailure era) ⇒ AlonzoEraImp era Source #
Instances
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 #
makeCollateralInput ∷ ShelleyEraImp era ⇒ ImpTestM era TxIn Source #
txWithMaxRedeemers ∷ ∀ era (l ∷ TxLevel). AlonzoEraImp era ⇒ Tx l era → ImpTestM era (Tx l 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 #
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 #
mkTxWithPlutusAndBootstrapAddress ∷ ∀ era (l ∷ Language). (AlonzoEraImp era, PlutusLanguage l) ⇒ SLanguage l → ImpTestM era (AnyLevelTx era) Source #
mkTokenMintingTx ∷ AlonzoEraImp era ⇒ ScriptHash → ImpTestM era (AnyLevelTx era) Source #
freshAssetOutput ∷ AlonzoEraImp era ⇒ ImpTestM era (MultiAsset, TxOut era) Source #
restrictMaxValSizeToAdaOnly ∷ AlonzoEraImp era ⇒ ImpTestM era () Source #
outputTooBigEntry ∷ AlonzoEraImp era ⇒ PParams era → TxOut era → (Int, Int, TxOut era) Source #
genGoodValidityInterval ∷ MonadGen m ⇒ SlotNo → SlotNo → m ValidityInterval Source #
Generate a validity interval where none of its end points are outside the provided range
genBadValidityInterval ∷ MonadGen m ⇒ SlotNo → SlotNo → m ValidityInterval Source #
Generate a validity interval where one or both of its end points are outside the provided range
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 #