Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.HardFork.Combinator.Block

Contents

Type family instances
AnnTip
Orphan instances

Synopsis

data family Header blk ∷ Type
data family NestedCtxt_ blk ∷ (Type → Type) → Type → Type
distribAnnTip ∷ SListI xs ⇒ AnnTip (HardForkBlock xs) → NS AnnTip xs
undistribAnnTip ∷ SListI xs ⇒ NS AnnTip xs → AnnTip (HardForkBlock xs)

Type family instances

data family Header blk ∷ Type Source #

Instances

data family NestedCtxt_ blk ∷ (Type → Type) → Type → Type Source #

Context identifying what kind of block we have

In almost all places we will use NestedCtxt rather than NestedCtxt_.

Instances

Instances details

CanHardFork xs ⇒ SameDepIndex (NestedCtxt_ (HardForkBlock xs) Header) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods sameDepIndex ∷ NestedCtxt_ (HardForkBlock xs) Header a → NestedCtxt_ (HardForkBlock xs) Header b → Maybe (a :~: b) Source #
SameDepIndex (NestedCtxt_ m f) ⇒ SameDepIndex (NestedCtxt_ (DualBlock m a) f) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods sameDepIndex ∷ NestedCtxt_ (DualBlock m a) f a0 → NestedCtxt_ (DualBlock m a) f b → Maybe (a0 :~: b) Source #
All SingleEraBlock xs ⇒ Show (NestedCtxt_ (HardForkBlock xs) Header a) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods showsPrec ∷ Int → NestedCtxt_ (HardForkBlock xs) Header a → ShowS # show ∷ NestedCtxt_ (HardForkBlock xs) Header a → String # showList ∷ [NestedCtxt_ (HardForkBlock xs) Header a] → ShowS #
Show (NestedCtxt_ m f x) ⇒ Show (NestedCtxt_ (DualBlock m a) f x) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showsPrec ∷ Int → NestedCtxt_ (DualBlock m a) f x → ShowS # show ∷ NestedCtxt_ (DualBlock m a) f x → String # showList ∷ [NestedCtxt_ (DualBlock m a) f x] → ShowS #
data NestedCtxt_ (HardForkBlock xs) a b Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block data NestedCtxt_ (HardForkBlock xs) a b where NCZ ∷ ∀ x (a ∷ Type → Type) b (xs1 ∷ [Type]). !(NestedCtxt_ x a b) → NestedCtxt_ (HardForkBlock (x ': xs1)) a b NCS ∷ ∀ (xs1 ∷ [Type]) (a ∷ Type → Type) b x. !(NestedCtxt_ (HardForkBlock xs1) a b) → NestedCtxt_ (HardForkBlock (x ': xs1)) a b
newtype NestedCtxt_ (DualBlock m a) f x Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual newtype NestedCtxt_ (DualBlock m a) f x where CtxtDual ∷ ∀ m (f ∷ Type → Type) x a. NestedCtxt_ m f x → NestedCtxt_ (DualBlock m a) f x

AnnTip

distribAnnTip ∷ SListI xs ⇒ AnnTip (HardForkBlock xs) → NS AnnTip xs Source #

undistribAnnTip ∷ SListI xs ⇒ NS AnnTip xs → AnnTip (HardForkBlock xs) Source #

Orphan instances

CanHardFork xs ⇒ HasNestedContent Header (HardForkBlock xs) Source #
Instance details Methods unnest ∷ Header (HardForkBlock xs) → DepPair (NestedCtxt Header (HardForkBlock xs)) Source # nest ∷ DepPair (NestedCtxt Header (HardForkBlock xs)) → Header (HardForkBlock xs) Source #
CanHardFork xs ⇒ StandardHash (HardForkBlock xs ∷ Type) Source #
Instance details
Typeable xs ⇒ ShowProxy (Header (HardForkBlock xs) ∷ Type) Source #
Instance details Methods showProxy ∷ Proxy (Header (HardForkBlock xs)) → String Source #
CanHardFork xs ⇒ Show (Header (HardForkBlock xs)) Source #
Instance details Methods showsPrec ∷ Int → Header (HardForkBlock xs) → ShowS # show ∷ Header (HardForkBlock xs) → String # showList ∷ [Header (HardForkBlock xs)] → ShowS #
All (Compose Eq Header) xs ⇒ Eq (Header (HardForkBlock xs)) Source #
Instance details Methods (==) ∷ Header (HardForkBlock xs) → Header (HardForkBlock xs) → Bool # (/=) ∷ Header (HardForkBlock xs) → Header (HardForkBlock xs) → Bool #
All Eq xs ⇒ Eq (HardForkBlock xs) Source #
Instance details Methods (==) ∷ HardForkBlock xs → HardForkBlock xs → Bool # (/=) ∷ HardForkBlock xs → HardForkBlock xs → Bool #
CanHardFork xs ⇒ NoThunks (Header (HardForkBlock xs)) Source #
Instance details Methods noThunks ∷ Context → Header (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Header (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Header (HardForkBlock xs)) → String Source #
CanHardFork xs ⇒ ConvertRawHash (HardForkBlock xs) Source #
Instance details Methods toRawHash ∷ proxy (HardForkBlock xs) → HeaderHash (HardForkBlock xs) → ByteString Source # fromRawHash ∷ proxy (HardForkBlock xs) → ByteString → HeaderHash (HardForkBlock xs) Source # toShortRawHash ∷ proxy (HardForkBlock xs) → HeaderHash (HardForkBlock xs) → ShortByteString Source # fromShortRawHash ∷ proxy (HardForkBlock xs) → ShortByteString → HeaderHash (HardForkBlock xs) Source # hashSize ∷ proxy (HardForkBlock xs) → Word32 Source #
CanHardFork xs ⇒ GetHeader (HardForkBlock xs) Source #
Instance details Methods getHeader ∷ HardForkBlock xs → Header (HardForkBlock xs) Source # blockMatchesHeader ∷ Header (HardForkBlock xs) → HardForkBlock xs → Bool Source # headerIsEBB ∷ Header (HardForkBlock xs) → Maybe EpochNo Source #
CanHardFork xs ⇒ GetPrevHash (HardForkBlock xs) Source #
Instance details Methods headerPrevHash ∷ Header (HardForkBlock xs) → ChainHash (HardForkBlock xs) Source #
CanHardFork xs ⇒ BasicEnvelopeValidation (HardForkBlock xs) Source #
Instance details Methods expectedFirstBlockNo ∷ proxy (HardForkBlock xs) → BlockNo Source # expectedNextBlockNo ∷ proxy (HardForkBlock xs) → TipInfo (HardForkBlock xs) → TipInfo (HardForkBlock xs) → BlockNo → BlockNo Source # minimumPossibleSlotNo ∷ Proxy (HardForkBlock xs) → SlotNo Source # minimumNextSlotNo ∷ proxy (HardForkBlock xs) → TipInfo (HardForkBlock xs) → TipInfo (HardForkBlock xs) → SlotNo → SlotNo Source #
CanHardFork xs ⇒ HasAnnTip (HardForkBlock xs) Source #
Instance details Associated Types type TipInfo (HardForkBlock xs) Source # Methods getTipInfo ∷ Header (HardForkBlock xs) → TipInfo (HardForkBlock xs) Source # tipInfoHash ∷ proxy (HardForkBlock xs) → TipInfo (HardForkBlock xs) → HeaderHash (HardForkBlock xs) Source #
CanHardFork xs ⇒ HasHeader (Header (HardForkBlock xs)) Source #
Instance details Methods getHeaderFields ∷ Header (HardForkBlock xs) → HeaderFields (Header (HardForkBlock xs)) Source #
CanHardFork xs ⇒ HasHeader (HardForkBlock xs) Source #
Instance details Methods getHeaderFields ∷ HardForkBlock xs → HeaderFields (HardForkBlock xs) Source #
CanHardFork xs ⇒ SameDepIndex (NestedCtxt_ (HardForkBlock xs) Header) Source #
Instance details Methods sameDepIndex ∷ NestedCtxt_ (HardForkBlock xs) Header a → NestedCtxt_ (HardForkBlock xs) Header b → Maybe (a :~: b) Source #
All SingleEraBlock xs ⇒ Show (NestedCtxt_ (HardForkBlock xs) Header a) Source #
Instance details Methods showsPrec ∷ Int → NestedCtxt_ (HardForkBlock xs) Header a → ShowS # show ∷ NestedCtxt_ (HardForkBlock xs) Header a → String # showList ∷ [NestedCtxt_ (HardForkBlock xs) Header a] → ShowS #

Inject Header Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary Methods inject ∷ ∀ x (xs ∷ [Type]). CanHardFork xs ⇒ Exactly xs Bound → Index xs x → Header x → Header (HardForkBlock xs) Source #
Isomorphic Header Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ Header (HardForkBlock '[blk]) → Header blk Source # inject ∷ NoHardForks blk ⇒ Header blk → Header (HardForkBlock '[blk]) Source #
CanHardFork xs ⇒ HasNestedContent Header (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods unnest ∷ Header (HardForkBlock xs) → DepPair (NestedCtxt Header (HardForkBlock xs)) Source # nest ∷ DepPair (NestedCtxt Header (HardForkBlock xs)) → Header (HardForkBlock xs) Source #
SerialiseHFC xs ⇒ ReconstructNestedCtxt Header (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods reconstructPrefixLen ∷ proxy (Header (HardForkBlock xs)) → PrefixLen Source # reconstructNestedCtxt ∷ proxy (Header (HardForkBlock xs)) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (HardForkBlock xs) Source #
HasHeader blk ⇒ StandardHash (Header blk ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Block.Abstract
Typeable xs ⇒ ShowProxy (Header (HardForkBlock xs) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods showProxy ∷ Proxy (Header (HardForkBlock xs)) → String Source #
HasNestedContent Header m ⇒ HasNestedContent Header (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods unnest ∷ Header (DualBlock m a) → DepPair (NestedCtxt Header (DualBlock m a)) Source # nest ∷ DepPair (NestedCtxt Header (DualBlock m a)) → Header (DualBlock m a) Source #
ReconstructNestedCtxt Header m ⇒ ReconstructNestedCtxt Header (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods reconstructPrefixLen ∷ proxy (Header (DualBlock m a)) → PrefixLen Source # reconstructNestedCtxt ∷ proxy (Header (DualBlock m a)) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (DualBlock m a) Source #
(Typeable m, Typeable a) ⇒ ShowProxy (DualHeader m a ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showProxy ∷ Proxy (DualHeader m a) → String Source #
CanHardFork xs ⇒ Show (Header (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods showsPrec ∷ Int → Header (HardForkBlock xs) → ShowS # show ∷ Header (HardForkBlock xs) → String # showList ∷ [Header (HardForkBlock xs)] → ShowS #
All (Compose Eq Header) xs ⇒ Eq (Header (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods (==) ∷ Header (HardForkBlock xs) → Header (HardForkBlock xs) → Bool # (/=) ∷ Header (HardForkBlock xs) → Header (HardForkBlock xs) → Bool #
CanHardFork xs ⇒ NoThunks (Header (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods noThunks ∷ Context → Header (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Header (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Header (HardForkBlock xs)) → String Source #
NoThunks (Header (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks ∷ Context → Header (DualBlock m a) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Header (DualBlock m a) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Header (DualBlock m a)) → String Source #
All CondenseConstraints xs ⇒ Condense (Header (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Condense Methods condense ∷ Header (HardForkBlock xs) → String Source #
CanHardFork xs ⇒ HasHeader (Header (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods getHeaderFields ∷ Header (HardForkBlock xs) → HeaderFields (Header (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ SerialiseNodeToNode (HardForkBlock xs) (Header (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode Methods encodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → Header (HardForkBlock xs) → Encoding Source # decodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → ∀ s. Decoder s (Header (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ DecodeDiskDep (NestedCtxt Header) (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods decodeDiskDep ∷ CodecConfig (HardForkBlock xs) → NestedCtxt Header (HardForkBlock xs) a → ∀ s. Decoder s (ByteString → a) Source #
SerialiseHFC xs ⇒ DecodeDiskDepIx (NestedCtxt Header) (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods decodeDiskDepIx ∷ CodecConfig (HardForkBlock xs) → Decoder s (SomeSecond (NestedCtxt Header) (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ EncodeDiskDep (NestedCtxt Header) (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods encodeDiskDep ∷ CodecConfig (HardForkBlock xs) → NestedCtxt Header (HardForkBlock xs) a → a → Encoding Source #
SerialiseHFC xs ⇒ EncodeDiskDepIx (NestedCtxt Header) (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods encodeDiskDepIx ∷ CodecConfig (HardForkBlock xs) → SomeSecond (NestedCtxt Header) (HardForkBlock xs) → Encoding Source #
EncodeDiskDep (NestedCtxt Header) m ⇒ EncodeDiskDep (NestedCtxt Header) (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods encodeDiskDep ∷ CodecConfig (DualBlock m a) → NestedCtxt Header (DualBlock m a) a0 → a0 → Encoding Source #
EncodeDiskDepIx (NestedCtxt Header) m ⇒ EncodeDiskDepIx (NestedCtxt Header) (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods encodeDiskDepIx ∷ CodecConfig (DualBlock m a) → SomeSecond (NestedCtxt Header) (DualBlock m a) → Encoding Source #
Show (Header m) ⇒ Show (DualHeader m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showsPrec ∷ Int → DualHeader m a → ShowS # show ∷ DualHeader m a → String # showList ∷ [DualHeader m a] → ShowS #
CanHardFork xs ⇒ SameDepIndex (NestedCtxt_ (HardForkBlock xs) Header) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods sameDepIndex ∷ NestedCtxt_ (HardForkBlock xs) Header a → NestedCtxt_ (HardForkBlock xs) Header b → Maybe (a :~: b) Source #
Bridge m a ⇒ HasHeader (DualHeader m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods getHeaderFields ∷ DualHeader m a → HeaderFields (DualHeader m a) Source #
All SingleEraBlock xs ⇒ Show (NestedCtxt_ (HardForkBlock xs) Header a) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods showsPrec ∷ Int → NestedCtxt_ (HardForkBlock xs) Header a → ShowS # show ∷ NestedCtxt_ (HardForkBlock xs) Header a → String # showList ∷ [NestedCtxt_ (HardForkBlock xs) Header a] → ShowS #
type HeaderHash (Header blk ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Block.Abstract type HeaderHash (Header blk ∷ Type) = HeaderHash blk
type BlockProtocol (Header blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.Abstract type BlockProtocol (Header blk) = BlockProtocol blk
newtype Header (DisableDiffusionPipelining blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining newtype Header (DisableDiffusionPipelining blk) = DisableDiffusionPipeliningHeader (Header blk)
newtype Header (SelectViewDiffusionPipelining blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining newtype Header (SelectViewDiffusionPipelining blk) = SelectViewDiffusionPipeliningHeader (Header blk)
newtype Header (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block newtype Header (HardForkBlock xs) = HardForkHeader { getHardForkHeader ∷ OneEraHeader xs }
newtype Header (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual newtype Header (DualBlock m a) = DualHeader { dualHeaderMain ∷ Header m }