Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.HardFork.Combinator.Block

3 values

Packageouroboros-consensus-4.2.1.0
Exports10
LicenceApache-2.0

valuedistribAnnTip :: SListI xs => AnnTip (HardForkBlock xs) -> NS AnnTip xs

valueundistribAnnTip :: SListI xs => NS AnnTip xs -> AnnTip (HardForkBlock xs)

data familydata family Header blk

Instances33GetHeader1, Inject, Isomorphic, StandardHash, ShowProxy, HasNestedContent, …

GetHeader1 HeaderDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
Inject HeaderDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Nary
Isomorphic HeaderDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
StandardHash blk => StandardHash (Header blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
Typeable xs => ShowProxy (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
CanHardFork xs => HasNestedContent Header (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
SerialiseHFC 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.Dual
HasNestedContent Header m => HasNestedContent Header (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => SameDepIndex (NestedCtxt_ (HardForkBlock xs) Header)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
ReconstructNestedCtxt Header m => ReconstructNestedCtxt Header (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
All (Compose Eq Header) xs => Eq (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
CanHardFork xs => Show (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
NoThunks (Header (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => NoThunks (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
CanHardFork xs => HasHeader (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
All CondenseConstraints xs => Condense (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Condense · orphan
SerialiseHFC xs => DecodeDiskDep (NestedCtxt Header) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
SerialiseHFC xs => DecodeDiskDepIx (NestedCtxt Header) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
SerialiseHFC xs => EncodeDiskDepIx (NestedCtxt Header) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
SerialiseHFC xs => EncodeDiskDep (NestedCtxt Header) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
SerialiseHFC xs => SerialiseNodeToNode (HardForkBlock xs) (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode · orphan
EncodeDiskDepIx (NestedCtxt Header) m => EncodeDiskDepIx (NestedCtxt Header) (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
EncodeDiskDep (NestedCtxt Header) m => EncodeDiskDep (NestedCtxt Header) (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Show (Header m) => Show (DualHeader m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => HasHeader (DualHeader m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
All SingleEraBlock xs => Show (NestedCtxt_ (HardForkBlock xs) Header a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
type HeaderHash (Header blk) = HeaderHash blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
type BlockProtocol (Header blk) = BlockProtocol blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
data Header (DisableDiffusionPipelining blk)
- DisableDiffusionPipeliningHeader (Header blk)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
data Header (SelectViewDiffusionPipelining blk)
- SelectViewDiffusionPipeliningHeader (Header blk)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
data Header (HardForkBlock xs)
- HardForkHeadergetHardForkHeader :: OneEraHeader xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
data Header (DualBlock m a)
- DualHeaderdualHeaderMain :: Header m
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

constructorDisableDiffusionPipeliningHeader (Header blk)

constructorSelectViewDiffusionPipeliningHeader (Header blk)

constructorHardForkHeader

Fields

getHardForkHeader :: OneEraHeader xs

valuegetHardForkHeader :: Header (HardForkBlock xs) -> OneEraHeader xs

data familydata family NestedCtxt_ blk :: (Type -> Type) -> Type -> Type

Instances6SameDepIndex, Show, NestedCtxt_

CanHardFork xs => SameDepIndex (NestedCtxt_ (HardForkBlock xs) Header)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
SameDepIndex (NestedCtxt_ m f) => SameDepIndex (NestedCtxt_ (DualBlock m a) f)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Show (NestedCtxt_ m f x) => Show (NestedCtxt_ (DualBlock m a) f x)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
All SingleEraBlock xs => Show (NestedCtxt_ (HardForkBlock xs) Header a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
data NestedCtxt_ (HardForkBlock xs)
- NCZ :: !NestedCtxt_ x a b -> R:NestedCtxt_HardForkBlock (x ': xs1) a b
- NCS :: !NestedCtxt_ (HardForkBlock xs1) a b -> R:NestedCtxt_HardForkBlock (x ': xs1) a b
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
data NestedCtxt_ (DualBlock m a)
- CtxtDual :: NestedCtxt_ m f x -> R:NestedCtxt_DualBlockfx m a f x
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

constructorNCS

:: NestedCtxt_ (HardForkBlock xs1) a b
-> R:NestedCtxt_HardForkBlock (x ': xs1) a b

constructorNCZ :: !NestedCtxt_ x a b -> R:NestedCtxt_HardForkBlock (x ': xs1) a b

Orphan instances

16 instances

CanHardFork xs => StandardHash (HardForkBlock xs)
Typeable xs => ShowProxy (Header (HardForkBlock xs))
CanHardFork xs => HasNestedContent Header (HardForkBlock xs)
CanHardFork xs => SameDepIndex (NestedCtxt_ (HardForkBlock xs) Header)
All Eq xs => Eq (HardForkBlock xs)
All (Compose Eq Header) xs => Eq (Header (HardForkBlock xs))
CanHardFork xs => Show (Header (HardForkBlock xs))
CanHardFork xs => NoThunks (Header (HardForkBlock xs))
CanHardFork xs => HasHeader (Header (HardForkBlock xs))
CanHardFork xs => HasHeader (HardForkBlock xs)
CanHardFork xs => ConvertRawHash (HardForkBlock xs)
CanHardFork xs => GetHeader (HardForkBlock xs)
CanHardFork xs => GetPrevHash (HardForkBlock xs)
CanHardFork xs => BasicEnvelopeValidation (HardForkBlock xs)
CanHardFork xs => HasAnnTip (HardForkBlock xs)
All SingleEraBlock xs => Show (NestedCtxt_ (HardForkBlock xs) Header a)