| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Ouroboros.Consensus.Protocol
Synopsis
- tests_chainOrder ∷ ∀ a. (ChainOrder a, Typeable a, Arbitrary a, Show a, Arbitrary (ChainOrderConfig a), Show (ChainOrderConfig a)) ⇒ Proxy a → TestTree
Documentation
tests_chainOrder ∷ ∀ a. (ChainOrder a, Typeable a, Arbitrary a, Show a, Arbitrary (ChainOrderConfig a), Show (ChainOrderConfig a)) ⇒ Proxy a → TestTree Source #
Test the laws of the ChainOrder class (in particular, that Ord is
lawful) except for the high-level "Chain extension precedence" property.