ouroboros-consensus

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)
- tiebreakerView ∷ BlockConfig blk → Header blk → TiebreakerView (BlockProtocol blk)
- projectChainOrderConfig ∷ BlockConfig blk → ChainOrderConfig (SelectView (BlockProtocol blk))
selectView ∷ BlockSupportsProtocol blk ⇒ 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 #

tiebreakerView ∷ BlockConfig blk → Header blk → TiebreakerView (BlockProtocol blk) Source #

default tiebreakerView ∷ TiebreakerView (BlockProtocol blk) ~ NoTiebreaker ⇒ BlockConfig blk → Header blk → TiebreakerView (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 # tiebreakerView ∷ BlockConfig (HardForkBlock xs) → Header (HardForkBlock xs) → TiebreakerView (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 # tiebreakerView ∷ BlockConfig (DualBlock m a) → Header (DualBlock m a) → TiebreakerView (BlockProtocol (DualBlock m a)) Source # projectChainOrderConfig ∷ BlockConfig (DualBlock m a) → ChainOrderConfig (SelectView (BlockProtocol (DualBlock m a))) Source #

selectView ∷ BlockSupportsProtocol blk ⇒ BlockConfig blk → Header blk → SelectView (BlockProtocol blk) Source #