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