Safe Haskell	None
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 ∷ Coercible (HeaderHash blk) (HeaderHash blk') ⇒ RealPoint 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

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)

Instance details

Defined in Ouroboros.Consensus.Block.RealPoint

type Rep (RealPoint blk) = D1 ('MetaData "RealPoint" "Ouroboros.Consensus.Block.RealPoint" "ouroboros-consensus-0.25.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))))

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 #

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.25.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 ∷ Coercible (HeaderHash blk) (HeaderHash blk') ⇒ RealPoint blk → RealPoint blk' Source #

headerRealPoint ∷ HasHeader (Header 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 #