cardano-ledger-shelley-test-1.7.0.1: Test helpers from cardano-ledger-shelley exposed to other packages

Safe Haskell	None
Language	Haskell2010

Test.Cardano.Ledger.Shelley.Rules.CollisionFreeness

Synopsis

tests ∷ (EraGen era, EraStake era, ChainProperty era, BaseM (EraRule "LEDGER" era) ~ ShelleyBase, HasTrace (CHAIN era) (GenEnv MockCrypto era), State (EraRule "LEDGER" era) ~ LedgerState era, Environment (EraRule "LEDGER" era) ~ LedgerEnv era, Signal (EraRule "LEDGER" era) ~ Tx 'TopTx era, STS (EraRule "LEDGER" era)) ⇒ TestTree

Documentation

tests ∷ (EraGen era, EraStake era, ChainProperty era, BaseM (EraRule "LEDGER" era) ~ ShelleyBase, HasTrace (CHAIN era) (GenEnv MockCrypto era), State (EraRule "LEDGER" era) ~ LedgerState era, Environment (EraRule "LEDGER" era) ~ LedgerEnv era, Signal (EraRule "LEDGER" era) ~ Tx 'TopTx era, STS (EraRule "LEDGER" era)) ⇒ TestTree Source #

Tx inputs are eliminated, outputs added to utxo and TxIds are unique