Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Test.Cardano.Ledger.Alonzo.Tools
Documentation
class EraTest era ⇒ EraModel era where Source #
Minimal complete definition
applyTx, applyCert, always, never, collateralReturnTxBodyT, validTxOut
Methods
applyTx ∷ Int → SlotNo → Model era → Tx era → Model era Source #
applyCert ∷ Model era → TxCert era → Model era Source #
mkRedeemersFromTags ∷ [((PlutusPurposeTag, Word32), (Data era, ExUnits))] → Redeemers era Source #
mkRedeemers ∷ [(PlutusPurpose AsIx era, (Data era, ExUnits))] → Redeemers era Source #
newScriptIntegrityHash ∷ PParams era → [Language] → Redeemers era → TxDats era → StrictMaybe ScriptIntegrityHash Source #
mkPlutusPurposePointer ∷ PlutusPurposeTag → Word32 → PlutusPurpose AsIx era Source #
always ∷ Natural → Script era Source #
never ∷ Natural → Script era Source #
collateralReturnTxBodyT ∷ Lens' (TxBody era) (StrictMaybe (TxOut era)) Source #
validTxOut ∷ Map ScriptHash (Script era) → TxOut era → Bool Source #
Instances
testExUnitCalculation ∷ ∀ era m. (MonadFail m, BaseM (EraRule "UTXOS" era) ~ ShelleyBase, State (EraRule "UTXOS" era) ~ UTxOState era, Environment (EraRule "UTXOS" era) ~ UtxoEnv era, Signal (EraRule "UTXOS" era) ~ Tx era, ToExpr (PredicateFailure (EraRule "UTXOS" era)), AlonzoEraTx era, STS (EraRule "UTXOS" era), ScriptsNeeded era ~ AlonzoScriptsNeeded era, EraPlutusContext era, EraGenericGen era, ToExpr (TransactionScriptFailure era)) ⇒ Tx era → UTxOState era → UtxoEnv era → EpochInfo (Either Text) → SystemStart → (∀ a. String → m a) → m () Source #
exampleExUnitCalc ∷ ∀ era. (BaseM (EraRule "UTXOS" era) ~ ShelleyBase, State (EraRule "UTXOS" era) ~ UTxOState era, Environment (EraRule "UTXOS" era) ~ UtxoEnv era, Signal (EraRule "UTXOS" era) ~ Tx era, STS (EraRule "UTXOS" era), AlonzoEraTx era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, PlutusPurpose AsIx era ~ AlonzoPlutusPurpose AsIx era, EraGenericGen era, EraPlutusTxInfo PlutusV1 era, ToExpr (PredicateFailure (EraRule "UTXOS" era)), ToExpr (TransactionScriptFailure era)) ⇒ IO () Source #
exampleInvalidExUnitCalc ∷ ∀ era. (AlonzoEraTx era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, PlutusPurpose AsIx era ~ AlonzoPlutusPurpose AsIx era, EraGenericGen era, EraPlutusTxInfo PlutusV1 era) ⇒ IO () Source #