Safe Haskell	None
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

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] #
Eq BlockNo Source #
Instance details Defined in Cardano.Slotting.Block Methods (==) :: BlockNo -> BlockNo -> Bool # (/=) :: BlockNo -> BlockNo -> Bool #
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 #
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 #
Show BlockNo Source #
Instance details Defined in Cardano.Slotting.Block Methods showsPrec :: Int -> BlockNo -> ShowS # show :: BlockNo -> String # showList :: [BlockNo] -> ShowS #
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 #
ToCBOR BlockNo Source #
Instance details Defined in Cardano.Slotting.Block Methods toCBOR :: BlockNo -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy BlockNo -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [BlockNo] -> Size Source #
FromCBOR BlockNo Source #
Instance details Defined in Cardano.Slotting.Block Methods fromCBOR :: Decoder s BlockNo Source # label :: Proxy BlockNo -> Text Source #
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.1.0.0-FF4Y2O1UhukGzkqFYkcZSv" 'True) (C1 ('MetaCons "BlockNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBlockNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))