Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Test.Cardano.Ledger.Shelley.Rules.CollisionFreeness
Synopsis
- tests ∷ ∀ era. (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 era, STS (EraRule "LEDGER" era)) ⇒ TestTree
Documentation
tests ∷ ∀ era. (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 era, STS (EraRule "LEDGER" era)) ⇒ TestTree Source #
Tx inputs are eliminated, outputs added to utxo and TxIds are unique