Safe Haskell | None |
---|---|
Language | Haskell2010 |
Ouroboros.Consensus.Block.SupportsProtocol
Synopsis
- class (GetHeader blk, GetPrevHash blk, ConsensusProtocol (BlockProtocol blk), NoThunks (Header blk), NoThunks (BlockConfig blk), NoThunks (CodecConfig blk), NoThunks (StorageConfig blk)) ⇒ BlockSupportsProtocol blk where
- validateView ∷ BlockConfig blk → Header blk → ValidateView (BlockProtocol blk)
- tiebreakerView ∷ BlockConfig blk → Header blk → TiebreakerView (BlockProtocol blk)
- projectChainOrderConfig ∷ BlockConfig blk → ChainOrderConfig (SelectView (BlockProtocol blk))
- selectView ∷ BlockSupportsProtocol blk ⇒ BlockConfig blk → Header blk → SelectView (BlockProtocol blk)
Documentation
class (GetHeader blk, GetPrevHash blk, ConsensusProtocol (BlockProtocol blk), NoThunks (Header blk), NoThunks (BlockConfig blk), NoThunks (CodecConfig blk), NoThunks (StorageConfig blk)) ⇒ BlockSupportsProtocol blk where Source #
Evidence that a block supports its protocol
Minimal complete definition
Methods
validateView ∷ BlockConfig blk → Header blk → ValidateView (BlockProtocol blk) Source #
tiebreakerView ∷ BlockConfig blk → Header blk → TiebreakerView (BlockProtocol blk) Source #
default tiebreakerView ∷ TiebreakerView (BlockProtocol blk) ~ NoTiebreaker ⇒ BlockConfig blk → Header blk → TiebreakerView (BlockProtocol blk) Source #
projectChainOrderConfig ∷ BlockConfig blk → ChainOrderConfig (SelectView (BlockProtocol blk)) Source #
default projectChainOrderConfig ∷ ChainOrderConfig (SelectView (BlockProtocol blk)) ~ () ⇒ BlockConfig blk → ChainOrderConfig (SelectView (BlockProtocol blk)) Source #
Instances
selectView ∷ BlockSupportsProtocol blk ⇒ BlockConfig blk → Header blk → SelectView (BlockProtocol blk) Source #