Safe Haskell | None |
---|---|
Language | Haskell2010 |
Ouroboros.Consensus.Block.RealPoint
Contents
Synopsis
- data RealPoint blk = RealPoint ! SlotNo !( HeaderHash blk)
- decodeRealPoint :: ( forall s. Decoder s ( HeaderHash blk)) -> forall s. Decoder s ( RealPoint blk)
- encodeRealPoint :: ( HeaderHash blk -> Encoding ) -> RealPoint blk -> Encoding
- blockRealPoint :: HasHeader blk => blk -> RealPoint blk
- headerRealPoint :: HasHeader ( Header blk) => Header blk -> RealPoint blk
- pointToWithOriginRealPoint :: Point blk -> WithOrigin ( RealPoint blk)
- realPointHash :: RealPoint blk -> HeaderHash blk
- realPointSlot :: RealPoint blk -> SlotNo
- realPointToPoint :: RealPoint blk -> Point blk
- withOriginRealPointToPoint :: WithOrigin ( RealPoint blk) -> Point blk
Non-genesis points
Point of an actual block (i.e., not genesis)
Constructors
RealPoint ! SlotNo !( HeaderHash blk) |
Instances
decodeRealPoint :: ( forall s. Decoder s ( HeaderHash blk)) -> forall s. Decoder s ( RealPoint blk) Source #
encodeRealPoint :: ( HeaderHash blk -> Encoding ) -> RealPoint blk -> Encoding Source #
Derived
blockRealPoint :: HasHeader blk => blk -> RealPoint blk Source #
pointToWithOriginRealPoint :: Point blk -> WithOrigin ( RealPoint blk) Source #
realPointHash :: RealPoint blk -> HeaderHash blk Source #
realPointSlot :: RealPoint blk -> SlotNo Source #
realPointToPoint :: RealPoint blk -> Point blk Source #
withOriginRealPointToPoint :: WithOrigin ( RealPoint blk) -> Point blk Source #