ouroboros-consensus-0.27.0.0: Consensus layer for the Ouroboros blockchain protocol
Safe HaskellNone
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 #