ouroboros-consensus-0.18.0.0: Consensus layer for the Ouroboros blockchain protocol
Safe HaskellSafe-Inferred
LanguageHaskell2010

Ouroboros.Consensus.Block.SupportsProtocol

Synopsis

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

validateView

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 #

projectChainOrderConfig ∷ BlockConfig blk → ChainOrderConfig (SelectView (BlockProtocol blk)) Source #

default projectChainOrderConfig ∷ ChainOrderConfig (SelectView (BlockProtocol blk)) ~ () ⇒ BlockConfig blk → ChainOrderConfig (SelectView (BlockProtocol blk)) Source #

Instances

Instances details
CanHardFork xs ⇒ BlockSupportsProtocol (HardForkBlock xs) Source # 
Instance details

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 #

projectChainOrderConfig ∷ BlockConfig (HardForkBlock xs) → ChainOrderConfig (SelectView (BlockProtocol (HardForkBlock xs))) Source #

Bridge m a ⇒ BlockSupportsProtocol (DualBlock m a) Source # 
Instance details

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 #

projectChainOrderConfig ∷ BlockConfig (DualBlock m a) → ChainOrderConfig (SelectView (BlockProtocol (DualBlock m a))) Source #