| 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 # |
|