Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Block.RealPoint

Contents

Non-genesis points
Derived

Synopsis

data RealPoint blk = RealPoint !SlotNo !(HeaderHash blk)
encodeRealPoint :: (HeaderHash blk -> Encoding) -> RealPoint blk -> Encoding
decodeRealPoint :: (forall s. Decoder s (HeaderHash blk)) -> forall s. Decoder s (RealPoint blk)
realPointSlot :: RealPoint blk -> SlotNo
realPointHash :: RealPoint blk -> HeaderHash blk
blockRealPoint :: HasHeader blk => blk -> RealPoint blk
headerRealPoint :: HasHeader (Header blk) => Header blk -> RealPoint blk
realPointToPoint :: RealPoint blk -> Point blk
withOriginRealPointToPoint :: WithOrigin (RealPoint blk) -> Point blk
pointToWithOriginRealPoint :: Point blk -> WithOrigin (RealPoint blk)

Non-genesis points

data RealPoint blk Source #

Point of an actual block (i.e., not genesis)

Constructors

RealPoint !SlotNo !(HeaderHash blk)

Instances

Instances details

StandardHash blk => Eq (RealPoint blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.RealPoint Methods (==) :: RealPoint blk -> RealPoint blk -> Bool # (/=) :: RealPoint blk -> RealPoint blk -> Bool #
StandardHash blk => Ord (RealPoint blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.RealPoint Methods compare :: RealPoint blk -> RealPoint blk -> Ordering # (<) :: RealPoint blk -> RealPoint blk -> Bool # (<=) :: RealPoint blk -> RealPoint blk -> Bool # (>) :: RealPoint blk -> RealPoint blk -> Bool # (>=) :: RealPoint blk -> RealPoint blk -> Bool # max :: RealPoint blk -> RealPoint blk -> RealPoint blk # min :: RealPoint blk -> RealPoint blk -> RealPoint blk #
StandardHash blk => Show (RealPoint blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.RealPoint Methods showsPrec :: Int -> RealPoint blk -> ShowS # show :: RealPoint blk -> String # showList :: [RealPoint blk] -> ShowS #
Generic (RealPoint blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.RealPoint Associated Types type Rep (RealPoint blk) :: Type -> Type # Methods from :: RealPoint blk -> Rep (RealPoint blk) x # to :: Rep (RealPoint blk) x -> RealPoint blk #
(StandardHash blk, Typeable blk) => NoThunks (RealPoint blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.RealPoint Methods noThunks :: Context -> RealPoint blk -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> RealPoint blk -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (RealPoint blk) -> String Source #
Condense (HeaderHash blk) => Condense (RealPoint blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.RealPoint Methods condense :: RealPoint blk -> String Source #
ApplyBlock l blk => ApplyBlock (LedgerDB l (RealPoint blk)) blk Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.InMemory Methods applyLedgerBlock :: LedgerCfg (LedgerDB l (RealPoint blk)) -> blk -> Ticked (LedgerDB l (RealPoint blk)) -> Except (LedgerErr (LedgerDB l (RealPoint blk))) (LedgerDB l (RealPoint blk)) Source # reapplyLedgerBlock :: LedgerCfg (LedgerDB l (RealPoint blk)) -> blk -> Ticked (LedgerDB l (RealPoint blk)) -> LedgerDB l (RealPoint blk) Source #
type Rep (RealPoint blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.RealPoint type Rep (RealPoint blk) = D1 ('MetaData "RealPoint" "Ouroboros.Consensus.Block.RealPoint" "ouroboros-consensus-0.1.0.0-GfJNvFcM6lj2s5utKAUPEp" 'False) (C1 ('MetaCons "RealPoint" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HeaderHash blk))))

encodeRealPoint :: (HeaderHash blk -> Encoding) -> RealPoint blk -> Encoding Source #

decodeRealPoint :: (forall s. Decoder s (HeaderHash blk)) -> forall s. Decoder s (RealPoint blk) Source #

Derived

realPointSlot :: RealPoint blk -> SlotNo Source #

realPointHash :: RealPoint blk -> HeaderHash blk Source #

blockRealPoint :: HasHeader blk => blk -> RealPoint blk Source #

headerRealPoint :: HasHeader (Header blk) => Header blk -> RealPoint blk Source #

realPointToPoint :: RealPoint blk -> Point blk Source #

withOriginRealPointToPoint :: WithOrigin (RealPoint blk) -> Point blk Source #

pointToWithOriginRealPoint :: Point blk -> WithOrigin (RealPoint blk) Source #