| 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)
- selectView :: 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 #
selectView :: BlockConfig blk -> Header blk -> SelectView (BlockProtocol blk) Source #
default selectView :: SelectView (BlockProtocol blk) ~ BlockNo => BlockConfig blk -> Header blk -> SelectView (BlockProtocol blk) Source #
Instances
| CanHardFork xs => BlockSupportsProtocol (HardForkBlock xs) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol Methods validateView :: BlockConfig (HardForkBlock xs) -> Header (HardForkBlock xs) -> ValidateView (BlockProtocol (HardForkBlock xs)) Source # selectView :: BlockConfig (HardForkBlock xs) -> Header (HardForkBlock xs) -> SelectView (BlockProtocol (HardForkBlock xs)) Source # | |
| Bridge m a => BlockSupportsProtocol (DualBlock m a) Source # | |
Defined in Ouroboros.Consensus.Ledger.Dual Methods validateView :: BlockConfig (DualBlock m a) -> Header (DualBlock m a) -> ValidateView (BlockProtocol (DualBlock m a)) Source # selectView :: BlockConfig (DualBlock m a) -> Header (DualBlock m a) -> SelectView (BlockProtocol (DualBlock m a)) Source # | |