cardano-slotting-0.2.0.0: Key slotting types for cardano libraries
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Slotting.Block

Synopsis

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

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

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 #

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 #

Show BlockNo Source # 
Instance details

Defined in Cardano.Slotting.Block

Methods

showsPrec ∷ Int → BlockNo → ShowS Source #

show ∷ BlockNo → String Source #

showList ∷ [BlockNo] → ShowS Source #

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 → () Source #

Eq BlockNo Source # 
Instance details

Defined in Cardano.Slotting.Block

Methods

(==) ∷ BlockNo → BlockNo → Bool Source #

(/=) ∷ BlockNo → BlockNo → Bool 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 #

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)))