Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Slotting.Block

Synopsis

newtype BlockNo = BlockNo {
- unBlockNo ∷ Word64
}

Documentation

newtype BlockNo Source #

The 0-based index of the block in the blockchain. BlockNo is <= SlotNo and is only equal at slot N if there is a block for every slot where N <= SlotNo.

Constructors

BlockNo
Fields unBlockNo ∷ Word64

Instances

Instances details

FromJSON BlockNo Source #
Instance details Defined in Cardano.Slotting.Block Methods parseJSON ∷ Value → Parser BlockNo Source # parseJSONList ∷ Value → Parser [BlockNo] Source # omittedField ∷ Maybe BlockNo Source #
ToJSON BlockNo Source #
Instance details Defined in Cardano.Slotting.Block Methods toJSON ∷ BlockNo → Value Source # toEncoding ∷ BlockNo → Encoding Source # toJSONList ∷ [BlockNo] → Value Source # toEncodingList ∷ [BlockNo] → Encoding Source # omitField ∷ BlockNo → Bool Source #
Bounded BlockNo Source #
Instance details Defined in Cardano.Slotting.Block Methods minBound ∷ BlockNo # maxBound ∷ BlockNo #
Enum BlockNo Source #
Instance details Defined in Cardano.Slotting.Block Methods succ ∷ BlockNo → BlockNo # pred ∷ BlockNo → BlockNo # toEnum ∷ Int → BlockNo # fromEnum ∷ BlockNo → Int # enumFrom ∷ BlockNo → [BlockNo] # enumFromThen ∷ BlockNo → BlockNo → [BlockNo] # enumFromTo ∷ BlockNo → BlockNo → [BlockNo] # enumFromThenTo ∷ BlockNo → BlockNo → BlockNo → [BlockNo] #
Generic BlockNo Source #
Instance details Defined in Cardano.Slotting.Block Associated Types type Rep BlockNo ∷ Type → Type # Methods from ∷ BlockNo → Rep BlockNo x # to ∷ Rep BlockNo x → BlockNo #
Num BlockNo Source #
Instance details Defined in Cardano.Slotting.Block Methods (+) ∷ BlockNo → BlockNo → BlockNo # (-) ∷ BlockNo → BlockNo → BlockNo # (*) ∷ BlockNo → BlockNo → BlockNo # negate ∷ BlockNo → BlockNo # abs ∷ BlockNo → BlockNo # signum ∷ BlockNo → BlockNo # fromInteger ∷ Integer → BlockNo #
Show BlockNo Source #
Instance details Defined in Cardano.Slotting.Block Methods showsPrec ∷ Int → BlockNo → ShowS # show ∷ BlockNo → String # showList ∷ [BlockNo] → ShowS #
FromCBOR BlockNo Source #
Instance details Defined in Cardano.Slotting.Block Methods fromCBOR ∷ Decoder s BlockNo Source # label ∷ Proxy BlockNo → Text Source #
ToCBOR BlockNo Source #
Instance details Defined in Cardano.Slotting.Block Methods toCBOR ∷ BlockNo → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy BlockNo → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [BlockNo] → Size Source #
NFData BlockNo Source #
Instance details Defined in Cardano.Slotting.Block Methods rnf ∷ BlockNo → () #
Eq BlockNo Source #
Instance details Defined in Cardano.Slotting.Block Methods (==) ∷ BlockNo → BlockNo → Bool # (/=) ∷ BlockNo → BlockNo → Bool #
Ord BlockNo Source #
Instance details Defined in Cardano.Slotting.Block Methods compare ∷ BlockNo → BlockNo → Ordering # (<) ∷ BlockNo → BlockNo → Bool # (<=) ∷ BlockNo → BlockNo → Bool # (>) ∷ BlockNo → BlockNo → Bool # (>=) ∷ BlockNo → BlockNo → Bool # max ∷ BlockNo → BlockNo → BlockNo # min ∷ BlockNo → BlockNo → BlockNo #
NoThunks BlockNo Source #
Instance details Defined in Cardano.Slotting.Block Methods noThunks ∷ Context → BlockNo → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BlockNo → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy BlockNo → String Source #
Serialise BlockNo Source #
Instance details Defined in Cardano.Slotting.Block Methods encode ∷ BlockNo → Encoding Source # decode ∷ Decoder s BlockNo Source # encodeList ∷ [BlockNo] → Encoding Source # decodeList ∷ Decoder s [BlockNo] Source #
type Rep BlockNo Source #
Instance details Defined in Cardano.Slotting.Block type Rep BlockNo = D1 ('MetaData "BlockNo" "Cardano.Slotting.Block" "cardano-slotting-0.2.0.1-inplace" 'True) (C1 ('MetaCons "BlockNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBlockNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))