cardano-ledger-alonzo-test-1.3.0.0: Tests for Cardano ledger introducing Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Alonzo.Trace

Description

Export HasTrace instance for AlonzoLEDGE Alonzo Era.

Orphan instances

(EraGen era, EraGov era, EraUTxO era, AlonzoEraTx era, Mock (EraCrypto era), MinLEDGER_STS era, Embed (EraRule "DELPL" era) (CERTS era), Environment (EraRule "DELPL" era) ~ DelplEnv era, State (EraRule "DELPL" era) ~ CertState era, Signal (EraRule "DELPL" era) ~ TxCert era, PredicateFailure (EraRule "DELPL" era) ~ ShelleyDelplPredFailure era, Embed (EraRule "DELEGS" era) (AlonzoLEDGER era), Embed (EraRule "UTXOW" era) (AlonzoLEDGER era), Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "UTXOW" era) ~ UTxOState era, Signal (EraRule "UTXOW" era) ~ Tx era, Environment (EraRule "DELEGS" era) ~ DelegsEnv era, State (EraRule "DELEGS" era) ~ CertState era, Signal (EraRule "DELEGS" era) ~ Seq (TxCert era), Tx era ~ AlonzoTx era, ProtVerAtMost era 8) ⇒ HasTrace (AlonzoLEDGER era) (GenEnv era) Source # 
Instance details

Associated Types

type BaseEnv (AlonzoLEDGER era) Source #