Safe Haskell | None |
---|---|
Language | Haskell2010 |
Ouroboros.Consensus.HardFork.Combinator.Block
Synopsis
- data family Header blk
- data family NestedCtxt_ blk ∷ (Type → Type) → Type → Type
- distribAnnTip ∷ ∀ (xs ∷ [Type]). SListI xs ⇒ AnnTip (HardForkBlock xs) → NS AnnTip xs
- undistribAnnTip ∷ ∀ (xs ∷ [Type]). SListI xs ⇒ NS AnnTip xs → AnnTip (HardForkBlock xs)
Type family instances
data family Header blk 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
AnnTip
distribAnnTip ∷ ∀ (xs ∷ [Type]). SListI xs ⇒ AnnTip (HardForkBlock xs) → NS AnnTip xs Source #
undistribAnnTip ∷ ∀ (xs ∷ [Type]). SListI xs ⇒ NS AnnTip xs → AnnTip (HardForkBlock xs) Source #