cardano-ledger-test-9.9.9.9: Testing harness, tests and benchmarks for Shelley style cardano ledgers
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Alonzo.Tools

Documentation

class EraTest era ⇒ EraModel era where Source #

Instances

Instances details
EraModel AllegraEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Instances

EraModel AlonzoEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Instances

EraModel BabbageEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Instances

EraModel ConwayEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Instances

EraModel MaryEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Instances

EraModel ShelleyEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.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 #