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 Source # maxBound :: BlockNo Source #
Enum BlockNo Source #
Instance details Defined in Cardano.Slotting.Block Methods succ :: BlockNo -> BlockNo Source # pred :: BlockNo -> BlockNo Source # toEnum :: Int -> BlockNo Source # fromEnum :: BlockNo -> Int Source # enumFrom :: BlockNo -> [ BlockNo ] Source # enumFromThen :: BlockNo -> BlockNo -> [ BlockNo ] Source # enumFromTo :: BlockNo -> BlockNo -> [ BlockNo ] Source # enumFromThenTo :: BlockNo -> BlockNo -> BlockNo -> [ BlockNo ] Source #
Eq BlockNo Source #
Instance details Defined in Cardano.Slotting.Block Methods (==) :: BlockNo -> BlockNo -> Bool Source # (/=) :: BlockNo -> BlockNo -> Bool Source #
Num BlockNo Source #
Instance details Defined in Cardano.Slotting.Block Methods (+) :: BlockNo -> BlockNo -> BlockNo Source # (-) :: BlockNo -> BlockNo -> BlockNo Source # (*) :: BlockNo -> BlockNo -> BlockNo Source # negate :: BlockNo -> BlockNo Source # abs :: BlockNo -> BlockNo Source # signum :: BlockNo -> BlockNo Source # fromInteger :: Integer -> BlockNo Source #
Ord BlockNo Source #
Instance details Defined in Cardano.Slotting.Block Methods compare :: BlockNo -> BlockNo -> Ordering Source # (<) :: BlockNo -> BlockNo -> Bool Source # (<=) :: BlockNo -> BlockNo -> Bool Source # (>) :: BlockNo -> BlockNo -> Bool Source # (>=) :: BlockNo -> BlockNo -> Bool Source # max :: BlockNo -> BlockNo -> BlockNo Source # min :: BlockNo -> BlockNo -> BlockNo Source #
Show BlockNo Source #
Instance details Defined in Cardano.Slotting.Block Methods showsPrec :: Int -> BlockNo -> ShowS Source # show :: BlockNo -> String Source # showList :: [ BlockNo ] -> ShowS Source #
Generic BlockNo Source #
Instance details Defined in Cardano.Slotting.Block Associated Types type Rep BlockNo :: Type -> Type Source # Methods from :: BlockNo -> Rep BlockNo x Source # to :: Rep BlockNo x -> BlockNo Source #
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 #
NFData BlockNo Source #
Instance details Defined in Cardano.Slotting.Block Methods rnf :: BlockNo -> () 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.2-j5NuF73p5IFfcfvmth6tS" ' True ) ( C1 (' MetaCons "BlockNo" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "unBlockNo") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Word64 )))