| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Shelley.Generator.Trace.Ledger
Contents
Synopsis
- genAccountState ∷ Constants → Gen ChainAccountState
- ledgersSigGen ∷ (Crypto c, ApplyTx era, EraGen era, EraUTxO 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))
- mkGenesisLedgerState ∷ ∀ a era ledger c. (EraGen era, EraGov era, EraStake era) ⇒ GenEnv c era → IRC ledger → Gen (Either a (LedgerState era))
Documentation
ledgersSigGen ∷ (Crypto c, ApplyTx era, EraGen era, EraUTxO 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)) 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).