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.0-inplace" 'True) (C1 ('MetaCons "BlockNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBlockNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))