| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Util.Header
Synopsis
- attachSlotTime ∷ (ImmutableEraParams blk, BlockSupportsProtocol blk, LedgerView (BlockProtocol blk) ~ ()) ⇒ TopLevelConfig blk → WithOrigin SlotNo → Header blk → HeaderWithTime blk
- attachSlotTimeToFragment ∷ (ImmutableEraParams blk, BlockSupportsProtocol blk, LedgerView (BlockProtocol blk) ~ ()) ⇒ TopLevelConfig blk → AnchoredFragment (Header blk) → AnchoredFragment (HeaderWithTime blk)
- dropTimeFromFragment ∷ HasHeader (Header blk) ⇒ AnchoredFragment (HeaderWithTime blk) → AnchoredFragment (Header blk)
Enriching headers with a relative slot time
Arguments
| ∷ (ImmutableEraParams blk, BlockSupportsProtocol blk, LedgerView (BlockProtocol blk) ~ ()) | |
| ⇒ TopLevelConfig blk | |
| → WithOrigin SlotNo | The slot of the header's predecessor |
| → Header blk | |
| → HeaderWithTime blk |
For a block whose ledger view is trivial, and so is the same at every slot
attachSlotTimeToFragment ∷ (ImmutableEraParams blk, BlockSupportsProtocol blk, LedgerView (BlockProtocol blk) ~ ()) ⇒ TopLevelConfig blk → AnchoredFragment (Header blk) → AnchoredFragment (HeaderWithTime blk) Source #
dropTimeFromFragment ∷ HasHeader (Header blk) ⇒ AnchoredFragment (HeaderWithTime blk) → AnchoredFragment (Header blk) Source #