Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.Block.RealPoint

Contents

Non-genesis points
Derived

Synopsis

data RealPoint blk = RealPoint !SlotNo !(HeaderHash blk)
decodeRealPoint ∷ (∀ s. Decoder s (HeaderHash blk)) → ∀ s. Decoder s (RealPoint blk)
encodeRealPoint ∷ (HeaderHash blk → Encoding) → RealPoint blk → Encoding
blockRealPoint ∷ HasHeader blk ⇒ blk → RealPoint blk
castRealPoint ∷ ∀ blk blk'. Coercible (HeaderHash blk) (HeaderHash blk') ⇒ RealPoint blk → RealPoint blk'
headerRealPoint ∷ (HasHeader (Header blk), HasHeader 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

data RealPoint blk Source #

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

Constructors

RealPoint !SlotNo !(HeaderHash blk)

Instances

Instances details

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 ⇒ 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 #
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, 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 #
Monad m ⇒ ResolvesBlocks (ExceptT e (ReaderT (ResolveBlock m blk) m)) blk Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.Update Methods doResolveBlock ∷ ResolveBlock (ExceptT e (ReaderT (ResolveBlock m blk) m)) blk Source #
Monad m ⇒ ResolvesBlocks (ReaderT (ResolveBlock m blk) m) blk Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.Update Methods doResolveBlock ∷ ResolveBlock (ReaderT (ResolveBlock m blk) m) 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.18.0.0-inplace" '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))))

decodeRealPoint ∷ (∀ s. Decoder s (HeaderHash blk)) → ∀ s. Decoder s (RealPoint blk) Source #

encodeRealPoint ∷ (HeaderHash blk → Encoding) → RealPoint blk → Encoding Source #

Derived

blockRealPoint ∷ HasHeader blk ⇒ blk → RealPoint blk Source #

castRealPoint ∷ ∀ blk blk'. Coercible (HeaderHash blk) (HeaderHash blk') ⇒ RealPoint blk → RealPoint blk' Source #

headerRealPoint ∷ (HasHeader (Header blk), HasHeader blk) ⇒ Header 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 #