cardano-ledger-alonzo-test-1.4.0.1: Tests for Cardano ledger introducing Plutus Core

Safe Haskell	None
Language	Haskell2010

Test.Cardano.Ledger.Alonzo.Trace

Contents

Orphan instances

Description

Export HasTrace instance for AlonzoLEDGE Alonzo Era.

Orphan instances

(ApplyTx era, EraGen era, EraGov era, EraUTxO era, AlonzoEraTx era, ShelleyEraAccounts 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) (LEDGER era), Embed (EraRule "UTXOW" era) (LEDGER era), Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "UTXOW" era) ~ UTxOState era, Signal (EraRule "UTXOW" era) ~ StAnnTx 'TopTx era, Environment (EraRule "DELEGS" era) ~ DelegsEnv era, State (EraRule "DELEGS" era) ~ CertState era, Signal (EraRule "DELEGS" era) ~ Seq (TxCert era), AtMostEra "Babbage" era, EraCertState era, Crypto c, EraRuleFailure "LEDGER" era ~ ShelleyLedgerPredFailure era, EraRule "LEDGER" era ~ LEDGER era) ⇒ HasTrace (LEDGER era) (GenEnv c era) Source #

Instance details

Associated Types

type BaseEnv (LEDGER era)
Instance details Defined in Test.Cardano.Ledger.Alonzo.Trace type BaseEnv (LEDGER era) = Globals

Methods

interpretSTS ∷ HasCallStack ⇒ BaseEnv (LEDGER era) → BaseM (LEDGER era) a → a Source #

envGen ∷ GenEnv c era → Gen (Environment (LEDGER era)) Source #

sigGen ∷ GenEnv c era → Environment (LEDGER era) → State (LEDGER era) → Gen (Signal (LEDGER era)) Source #

shrinkSignal ∷ Signal (LEDGER era) → [Signal (LEDGER era)] Source #

(Crypto c, ApplyTx era, EraGen era, EraGov era, EraUTxO era, EraStake era, EraCertState era, ShelleyEraAccounts 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 "DELEG" era) (DELPL era), Embed (EraRule "LEDGER" era) (LEDGERS era), AtMostEra "Babbage" era) ⇒ HasTrace (LEDGERS era) (GenEnv c era) Source #

Instance details

Associated Types

type BaseEnv (LEDGERS era)
Instance details Defined in Test.Cardano.Ledger.Alonzo.Trace type BaseEnv (LEDGERS era) = Globals

Methods

interpretSTS ∷ HasCallStack ⇒ BaseEnv (LEDGERS era) → BaseM (LEDGERS era) a → a Source #

envGen ∷ GenEnv c era → Gen (Environment (LEDGERS era)) Source #

sigGen ∷ GenEnv c era → Environment (LEDGERS era) → State (LEDGERS era) → Gen (Signal (LEDGERS era)) Source #

shrinkSignal ∷ Signal (LEDGERS era) → [Signal (LEDGERS era)] Source #