| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Ouroboros.Consensus.DiffusionPipelining
Synopsis
- prop_diffusionPipeliningSubsequenceConsistency ∷ ∀ blk. BlockSupportsDiffusionPipelining blk ⇒ Proxy blk → [TentativeHeaderView blk] → Property
Documentation
prop_diffusionPipeliningSubsequenceConsistency Source #
Arguments
| ∷ ∀ blk. BlockSupportsDiffusionPipelining blk | |
| ⇒ Proxy blk | |
| → [TentativeHeaderView blk] | Have to satisfy the pipelining criterion. |
| → Property |
See Consistent validity under subsequences in
BlockSupportsDiffusionPipelining.