ouroboros-consensus-0.1.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
StandardHash blk ⇒ Eq (RealPoint blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Block.RealPoint

Methods

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

(/=)RealPoint blk → RealPoint blk → Bool Source #

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

Defined in Ouroboros.Consensus.Block.RealPoint

Methods

compareRealPoint blk → RealPoint blk → Ordering Source #

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

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

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

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

maxRealPoint blk → RealPoint blk → RealPoint blk Source #

minRealPoint blk → RealPoint blk → RealPoint blk Source #

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

Defined in Ouroboros.Consensus.Block.RealPoint

Methods

showsPrecIntRealPoint blk → ShowS Source #

showRealPoint blk → String Source #

showList ∷ [RealPoint blk] → ShowS Source #

Generic (RealPoint blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Block.RealPoint

Associated Types

type Rep (RealPoint blk) ∷ TypeType Source #

Methods

fromRealPoint blk → Rep (RealPoint blk) x Source #

toRep (RealPoint blk) x → RealPoint blk Source #

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

Defined in Ouroboros.Consensus.Block.RealPoint

Methods

noThunks ∷ Context → RealPoint blk → IO (Maybe ThunkInfo) #

wNoThunks ∷ Context → RealPoint blk → IO (Maybe ThunkInfo) #

showTypeOfProxy (RealPoint blk) → String #

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

Defined in Ouroboros.Consensus.Block.RealPoint

Methods

condenseRealPoint blk → String Source #

Monad m ⇒ ResolvesBlocks (ExceptT e (ReaderT (ResolveBlock m blk) m)) blk Source # 
Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.InMemory

Monad m ⇒ ResolvesBlocks (ReaderT (ResolveBlock m blk) m) blk Source # 
Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.InMemory

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-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 #

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

Derived

blockRealPointHasHeader blk ⇒ blk → RealPoint blk Source #