Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Block.RealPoint

Contents

Non-genesis points
Derived
Bytes32RealPoint

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
data Bytes32RealPoint
bytes32RealPointHash ∷ Bytes32RealPoint → ShortByteString
bytes32RealPointSlot ∷ Bytes32RealPoint → SlotNo
decodeBytes32RealPoint ∷ Decoder s Bytes32RealPoint
encodeBytes32RealPoint ∷ Bytes32RealPoint → Encoding
fromBytes32RealPoint ∷ (ConvertRawHash blk, HashSize blk ~ 32) ⇒ Bytes32RealPoint → RealPoint blk
toBytes32RealPoint ∷ (ConvertRawHash blk, HashSize blk ~ 32) ⇒ RealPoint blk → Bytes32RealPoint

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

Bytes32RealPoint

data Bytes32RealPoint Source #

A RealPoint where the hash is always 32 bytes.

The length of the hash is enforced during decoding.

Instances

Instances details

Generic Bytes32RealPoint Source #

Instance details

Defined in Ouroboros.Consensus.Block.RealPoint

Associated Types

type Rep Bytes32RealPoint

Instance details

Defined in Ouroboros.Consensus.Block.RealPoint

type Rep Bytes32RealPoint = D1 ('MetaData "Bytes32RealPoint" "Ouroboros.Consensus.Block.RealPoint" "ouroboros-consensus-3.0.1.0-inplace" 'False) (C1 ('MetaCons "Bytes32RealPoint" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ShortByteString)))

Methods

from ∷ Bytes32RealPoint → Rep Bytes32RealPoint x #

to ∷ Rep Bytes32RealPoint x → Bytes32RealPoint #

Show Bytes32RealPoint Source #

Instance details

Defined in Ouroboros.Consensus.Block.RealPoint

Methods

showsPrec ∷ Int → Bytes32RealPoint → ShowS #

show ∷ Bytes32RealPoint → String #

showList ∷ [Bytes32RealPoint] → ShowS #

Eq Bytes32RealPoint Source #

Instance details

Defined in Ouroboros.Consensus.Block.RealPoint

Methods

(==) ∷ Bytes32RealPoint → Bytes32RealPoint → Bool #

(/=) ∷ Bytes32RealPoint → Bytes32RealPoint → Bool #

NoThunks Bytes32RealPoint Source #

Instance details

Defined in Ouroboros.Consensus.Block.RealPoint

Methods

noThunks ∷ Context → Bytes32RealPoint → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Bytes32RealPoint → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy Bytes32RealPoint → String Source #

type Rep Bytes32RealPoint Source #

Instance details

Defined in Ouroboros.Consensus.Block.RealPoint

type Rep Bytes32RealPoint = D1 ('MetaData "Bytes32RealPoint" "Ouroboros.Consensus.Block.RealPoint" "ouroboros-consensus-3.0.1.0-inplace" 'False) (C1 ('MetaCons "Bytes32RealPoint" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ShortByteString)))

bytes32RealPointHash ∷ Bytes32RealPoint → ShortByteString Source #

bytes32RealPointSlot ∷ Bytes32RealPoint → SlotNo Source #

decodeBytes32RealPoint ∷ Decoder s Bytes32RealPoint Source #

encodeBytes32RealPoint ∷ Bytes32RealPoint → Encoding Source #

fromBytes32RealPoint ∷ (ConvertRawHash blk, HashSize blk ~ 32) ⇒ Bytes32RealPoint → RealPoint blk Source #

toBytes32RealPoint ∷ (ConvertRawHash blk, HashSize blk ~ 32) ⇒ RealPoint blk → Bytes32RealPoint Source #