ouroboros-consensus-0.26.0.0: Consensus layer for the Ouroboros blockchain protocol

Safe Haskell	None
Language	Haskell2010

Test.Ouroboros.Consensus.DiffusionPipelining

Synopsis

prop_diffusionPipeliningSubsequenceConsistency ∷ BlockSupportsDiffusionPipelining blk ⇒ Proxy blk → [TentativeHeaderView blk] → Property

Documentation

prop_diffusionPipeliningSubsequenceConsistency Source #

Arguments

∷ BlockSupportsDiffusionPipelining blk
⇒ Proxy blk
→ [TentativeHeaderView blk]	Have to satisfy the pipelining criterion.
→ Property

See Consistent validity under subsequences in BlockSupportsDiffusionPipelining.

You can find any exported type, constructor, class, function or pattern defined in this package by (approximate) name.

Key	Shortcut
s	Open this search box
esc	Close this search box
↓,ctrl + j	Move down in search results
↑,ctrl + k	Move up in search results
↵	Go to active search result