Modulecardano-ledger-shelley-test-1.9.0.0Haskell2010

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

Synopsis

value genAccountState
value ledgersSigGen
value mkGenesisLedgerState

Packagecardano-ledger-shelley-test-1.9.0.0
Exports3
LanguageHaskell2010
LicenceApache-2.0
SourceLedger.hs

valuegenAccountState :: Constants -> Gen ChainAccountState

valueledgersSigGen

:: (Crypto c, ApplyTx era, EraGen 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)
=> GenEnv c era
-> ShelleyLedgersEnv era
-> LedgerState era
-> Gen (Seq (Tx TopTx era))

valuemkGenesisLedgerState

:: (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

2 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)
(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)