Safe Haskell	None
Language	Haskell2010

Test.Cardano.Ledger.Shelley.Generator.Trace.Ledger

Contents

Orphan instances

Synopsis

genAccountState ∷ Constants → Gen ChainAccountState
mkGenesisLedgerState ∷ ∀ a era ledger c. (EraGen era, EraGov era, EraStake era) ⇒ GenEnv c era → IRC ledger → Gen (Either a (LedgerState era))

Documentation

genAccountState ∷ Constants → Gen ChainAccountState Source #

mkGenesisLedgerState ∷ ∀ a era ledger c. (EraGen era, EraGov era, EraStake era) ⇒ GenEnv c era → IRC ledger → Gen (Either a (LedgerState era)) Source #

Generate initial state for the LEDGER STS using the STS environment.

Note: this function must be usable in place of applySTS and needs to align with the signature 'RuleContext sts -> Gen (Either [[PredicateFailure sts]] (State sts))'. To achieve this we (1) use 'IRC LEDGER' (the "initial rule context") instead of simply LedgerEnv and (2) always return Right (since this function does not raise predicate failures).

Orphan instances

(ApplyTx era, EraGen era, EraGov era, EraUTxO 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 "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, EraRule "LEDGER" era ~ LEDGER era, Crypto c) ⇒ HasTrace (LEDGER era) (GenEnv c era) Source #

Instance details

Associated Types

type BaseEnv (LEDGER era)
Instance details Defined in Test.Cardano.Ledger.Shelley.Generator.Trace.Ledger 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.Shelley.Generator.Trace.Ledger 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 #