cardano-ledger-test-9.9.9.9: Testing harness, tests and benchmarks for Shelley style cardano ledgers
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Generic.Properties

Synopsis

Documentation

genTxAndUTXOState ∷ (Signal (EraRule "LEDGER" era) ~ Tx era, State (EraRule "LEDGER" era) ~ LedgerState era, Environment (EraRule "LEDGER" era) ~ LedgerEnv era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "UTXOW" era) ~ UTxOState era, Tx era ~ Signal (EraRule "UTXOW" era), EraGenericGen era) ⇒ GenSizeGen (TRC (EraRule "UTXOW" era), GenState era) Source #

genTxAndLEDGERState ∷ ∀ era. (Signal (EraRule "LEDGER" era) ~ Tx era, State (EraRule "LEDGER" era) ~ LedgerState era, Environment (EraRule "LEDGER" era) ~ LedgerEnv era, EraGenericGen era) ⇒ GenSizeGen (TRC (EraRule "LEDGER" era), GenState era) Source #

testTxValidForLEDGER ∷ ∀ era. (Reflect era, Signal (EraRule "LEDGER" era) ~ Tx era, State (EraRule "LEDGER" era) ~ LedgerState era, ToExpr (PredicateFailure (EraRule "LEDGER" era)), EraTest era, BaseM (EraRule "LEDGER" era) ~ ShelleyBase, STS (EraRule "LEDGER" era), ToExpr (Environment (EraRule "LEDGER" era))) ⇒ (TRC (EraRule "LEDGER" era), GenState era) → Property Source #

txPreserveAdaGenSizeTestTree Source #

A single Tx preserves Ada

adaIsPreserved ∷ ∀ era. (HasTrace (MOCKCHAIN era) (Gen1 era), EraGenericGen era) ⇒ IntGenSizeTestTree Source #

Ada is preserved over a trace of length 100

stakeInvariantEraStake era ⇒ MockChainState era → MockChainState era → Property Source #

The incremental Stake invaraint is preserved over a trace of length 100=

adaIsPreservedInEachEpoch ∷ ∀ era. (ShelleyEraImp era, State (EraRule "NEWEPOCH" era) ~ NewEpochState era, State (EraRule "RUPD" era) ~ StrictMaybe PulsingRewUpdate, Environment (EraRule "NEWEPOCH" era) ~ (), Environment (EraRule "RUPD" era) ~ RupdEnv era, Environment (EraRule "LEDGERS" era) ~ ShelleyLedgersEnv era, Signal (EraRule "NEWEPOCH" era) ~ EpochNo, Signal (EraRule "RUPD" era) ~ SlotNo, Signal (EraRule "LEDGERS" era) ~ Seq (Tx era), BaseM (EraRule "NEWEPOCH" era) ~ ShelleyBase, Embed (EraRule "TICK" era) (MOCKCHAIN era), Embed (EraRule "NEWEPOCH" era) (ShelleyTICK era), Embed (EraRule "RUPD" era) (ShelleyTICK era), Embed (EraRule "LEDGERS" era) (MOCKCHAIN era), EraGenericGen era, ToExpr (PredicateFailure (EraRule "NEWEPOCH" era)), ToExpr (PredicateFailure (EraRule "RUPD" era))) ⇒ GenSizeTestTree Source #