ouroboros-consensus-0.26.0.0: Consensus layer for the Ouroboros blockchain protocol
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Block.RealPoint

Synopsis

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.26.0.0-inplace" 'False) (C1 ('MetaCons "RealPoint" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HeaderHash blk))))

Methods

fromRealPoint blk → Rep (RealPoint blk) x #

toRep (RealPoint blk) x → RealPoint blk #

StandardHash blk ⇒ Show (RealPoint blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Block.RealPoint

Methods

showsPrecIntRealPoint blk → ShowS #

showRealPoint 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

compareRealPoint blk → RealPoint blk → Ordering #

(<)RealPoint blk → RealPoint blk → Bool #

(<=)RealPoint blk → RealPoint blk → Bool #

(>)RealPoint blk → RealPoint blk → Bool #

(>=)RealPoint blk → RealPoint blk → Bool #

maxRealPoint blk → RealPoint blk → RealPoint blk #

minRealPoint blk → RealPoint blk → RealPoint blk #

(StandardHash blk, Typeable blk) ⇒ NoThunks (RealPoint blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Block.RealPoint

Condense (HeaderHash blk) ⇒ Condense (RealPoint blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Block.RealPoint

Methods

condenseRealPoint 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.26.0.0-inplace" 'False) (C1 ('MetaCons "RealPoint" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HeaderHash blk))))

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

Derived

blockRealPointHasHeader blk ⇒ blk → RealPoint blk Source #