Documentation

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 #