ouroboros-consensus-0.1.0.1: Consensus layer for the Ouroboros blockchain protocol
Safe Haskell None
Language Haskell2010

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

compare :: RealPoint 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 #

max :: RealPoint blk -> RealPoint blk -> RealPoint blk Source #

min :: RealPoint blk -> RealPoint blk -> RealPoint blk Source #

StandardHash blk => Show ( RealPoint blk) Source #
Instance details

Defined in Ouroboros.Consensus.Block.RealPoint

Methods

showsPrec :: Int -> RealPoint blk -> ShowS Source #

show :: RealPoint 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) :: Type -> Type Source #

Methods

from :: RealPoint blk -> Rep ( RealPoint blk) x Source #

to :: Rep ( 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 ) 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 ( ReaderT ( ResolveBlock m blk) m) blk Source #
Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.InMemory

Methods

resolveBlock :: ResolveBlock ( ReaderT ( ResolveBlock m blk) m) blk Source #

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

Defined in Ouroboros.Consensus.Storage.LedgerDB.InMemory

Methods

resolveBlock :: ResolveBlock ( ExceptT e ( 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.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' 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 :: ( forall s. Decoder s ( HeaderHash blk)) -> forall s. Decoder s ( RealPoint blk) Source #

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

Derived

blockRealPoint :: HasHeader blk => 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 #