Moduleouroboros-consensus-4.2.1.0
Ouroboros.Consensus.Block.SupportsDiffusionPipelining
- 3 types
- 1 class
- 1 value
- Packageouroboros-consensus-4.2.1.0
- Exports11
- LicenceApache-2.0
Instances7Isomorphic, NoThunks, BlockConfig, …
Isomorphic BlockConfigDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryNoThunks (BlockConfig (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualCanHardFork xs => NoThunks (BlockConfig (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basicsdata BlockConfig (DisableDiffusionPipelining blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipeliningdata BlockConfig (SelectViewDiffusionPipelining blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipeliningdata BlockConfig (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basicsdata BlockConfig (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Instances33GetHeader1, Inject, Isomorphic, StandardHash, ShowProxy, HasNestedContent, …
GetHeader1 HeaderDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.AbstractInject HeaderDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.NaryIsomorphic HeaderDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryStandardHash blk => StandardHash (Header blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.AbstractTypeable xs => ShowProxy (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphanCanHardFork xs => HasNestedContent Header (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphanSerialiseHFC xs => ReconstructNestedCtxt Header (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan(Typeable m, Typeable a) => ShowProxy (DualHeader m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualHasNestedContent Header m => HasNestedContent Header (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualCanHardFork xs => SameDepIndex (NestedCtxt_ (HardForkBlock xs) Header)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphanReconstructNestedCtxt Header m => ReconstructNestedCtxt Header (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualAll (Compose Eq Header) xs => Eq (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphanCanHardFork xs => Show (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphanNoThunks (Header (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualCanHardFork xs => NoThunks (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphanCanHardFork xs => HasHeader (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphanAll CondenseConstraints xs => Condense (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Condense · orphanSerialiseHFC xs => DecodeDiskDep (NestedCtxt Header) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphanSerialiseHFC xs => DecodeDiskDepIx (NestedCtxt Header) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphanSerialiseHFC xs => EncodeDiskDepIx (NestedCtxt Header) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphanSerialiseHFC xs => EncodeDiskDep (NestedCtxt Header) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphanSerialiseHFC xs => SerialiseNodeToNode (HardForkBlock xs) (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode · orphanEncodeDiskDepIx (NestedCtxt Header) m => EncodeDiskDepIx (NestedCtxt Header) (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualEncodeDiskDep (NestedCtxt Header) m => EncodeDiskDep (NestedCtxt Header) (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualShow (Header m) => Show (DualHeader m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualBridge m a => HasHeader (DualHeader m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualAll SingleEraBlock xs => Show (NestedCtxt_ (HardForkBlock xs) Header a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphantype HeaderHash (Header blk) = HeaderHash blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstracttype BlockProtocol (Header blk) = BlockProtocol blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstractdata Header (DisableDiffusionPipelining blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipeliningdata Header (SelectViewDiffusionPipelining blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipeliningdata Header (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphandata Header (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
class
class (Show (TentativeHeaderState blk), NoThunks (TentativeHeaderState blk), Show (TentativeHeaderView blk)) => BlockSupportsDiffusionPipelining blk whereAssociated types
type family TentativeHeaderState blktype family TentativeHeaderView blk
Methods
initialTentativeHeaderState :: Proxy blk -> TentativeHeaderState blktentativeHeaderView :: BlockConfig blk -> Header blk -> TentativeHeaderView blkapplyTentativeHeaderView :: Proxy blk -> TentativeHeaderView blk -> TentativeHeaderState blk -> Maybe (TentativeHeaderState blk)
Instances3BlockSupportsDiffusionPipelining
BlockSupportsDiffusionPipelining (DisableDiffusionPipelining blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipeliningCanHardFork xs => BlockSupportsDiffusionPipelining (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Node.DiffusionPipelining · orphan(BlockSupportsProtocol blk, Show (SelectView (BlockProtocol blk))) => BlockSupportsDiffusionPipelining (SelectViewDiffusionPipelining blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
Constructors
Instances5BlockSupportsDiffusionPipelining, BlockConfig, Header, TentativeHeaderState, TentativeHeaderView
BlockSupportsDiffusionPipelining (DisableDiffusionPipelining blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipeliningdata BlockConfig (DisableDiffusionPipelining blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipeliningdata Header (DisableDiffusionPipelining blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipeliningtype TentativeHeaderState (DisableDiffusionPipelining blk) = ()Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipeliningtype TentativeHeaderView (DisableDiffusionPipelining blk) = ()Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
Constructors
Instances5BlockSupportsDiffusionPipelining, BlockConfig, Header, TentativeHeaderState, TentativeHeaderView
(BlockSupportsProtocol blk, Show (SelectView (BlockProtocol blk))) => BlockSupportsDiffusionPipelining (SelectViewDiffusionPipelining blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipeliningdata BlockConfig (SelectViewDiffusionPipelining blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipeliningdata Header (SelectViewDiffusionPipelining blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipeliningtype TentativeHeaderState (SelectViewDiffusionPipelining blk) = SelectViewTentativeState (BlockProtocol blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipeliningtype TentativeHeaderView (SelectViewDiffusionPipelining blk) = SelectView (BlockProtocol blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
Constructors
Instances5Eq, Show, Generic, NoThunks, Rep
ConsensusProtocol proto => Eq (SelectViewTentativeState proto)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipeliningConsensusProtocol proto => Show (SelectViewTentativeState proto)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipeliningGeneric (SelectViewTentativeState proto)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipeliningConsensusProtocol proto => NoThunks (SelectViewTentativeState proto)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipeliningtype Rep (SelectViewTentativeState proto) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining"SelectViewTentativeState"
"Ouroboros.Consensus.Block.SupportsDiffusionPipelining"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons"LastInvalidSelectView"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SelectView proto))) :+: C1 ('MetaCons"NoLastInvalidSelectView"
'PrefixI 'False) U1)