Safe Haskell	None
Language	Haskell2010

Cardano.Api.Block

Contents

Blocks in the context of an era
- Blocks in the context of a consensus mode
Points on the chain
Tip of the chain
Data family instances

Description

Blocks in the blockchain

Synopsis

data Block era where
- ByronBlock :: ByronBlock -> Block ByronEra
- ShelleyBlock :: forall era. ShelleyBasedEra era -> ShelleyBlock (ConsensusProtocol era) (ShelleyLedgerEra era) -> Block era
pattern Block :: BlockHeader -> [Tx era] -> Block era
data BlockHeader = BlockHeader !SlotNo !(Hash BlockHeader) !BlockNo
getBlockHeader :: Block era -> BlockHeader
data BlockInMode where
- BlockInMode :: forall era. CardanoEra era -> Block era -> BlockInMode
fromConsensusBlock :: CardanoBlock StandardCrypto ~ block => block -> BlockInMode
toConsensusBlock :: CardanoBlock StandardCrypto ~ block => BlockInMode -> block
data ChainPoint
- = ChainPointAtGenesis
- | ChainPoint !SlotNo !(Hash BlockHeader)
newtype SlotNo = SlotNo {
- unSlotNo :: Word64
}
newtype EpochNo = EpochNo {
- unEpochNo :: Word64
}
toConsensusPoint :: forall ledgerera protocol. ShelleyCompatible protocol ledgerera => ChainPoint -> Point (ShelleyBlock protocol ledgerera)
fromConsensusPoint :: ShelleyCompatible protocol ledgerera => Point (ShelleyBlock protocol ledgerera) -> ChainPoint
fromConsensusPointHF :: forall block (xs :: [Type]). HeaderHash block ~ OneEraHash xs => Point block -> ChainPoint
toConsensusPointHF :: forall block (xs :: [Type]). HeaderHash block ~ OneEraHash xs => ChainPoint -> Point block
data ChainTip
- = ChainTipAtGenesis
- | ChainTip !SlotNo !(Hash BlockHeader) !BlockNo
newtype BlockNo = BlockNo {
- unBlockNo :: Word64
}
chainTipToChainPoint :: ChainTip -> ChainPoint
fromConsensusTip :: CardanoBlock StandardCrypto ~ block => Tip block -> ChainTip
data family Hash keyrole
chainPointToHeaderHash :: ChainPoint -> Maybe (Hash BlockHeader)
chainPointToSlotNo :: ChainPoint -> Maybe SlotNo
makeChainTip :: WithOrigin BlockNo -> ChainPoint -> ChainTip

Blocks in the context of an era

data Block era where Source #

A blockchain block in a particular Cardano era.

Constructors

ByronBlock :: ByronBlock -> Block ByronEra
ShelleyBlock :: forall era. ShelleyBasedEra era -> ShelleyBlock (ConsensusProtocol era) (ShelleyLedgerEra era) -> Block era

Instances

Instances details

Show (Block era) Source #
Instance details Defined in Cardano.Api.Block Methods showsPrec :: Int -> Block era -> ShowS Source # show :: Block era -> String Source # showList :: [Block era] -> ShowS Source #

pattern Block :: BlockHeader -> [Tx era] -> Block era Source #

A block consists of a header and a body containing transactions.

data BlockHeader Source #

Constructors

BlockHeader !SlotNo !(Hash BlockHeader) !BlockNo

Instances

Instances details

HasTypeProxy BlockHeader Source #

Instance details

Defined in Cardano.Api.Block

Associated Types

data AsType BlockHeader
Instance details Defined in Cardano.Api.Block data AsType BlockHeader = AsBlockHeader

Methods

proxyToAsType :: Proxy BlockHeader -> AsType BlockHeader Source #

FromJSON (Hash BlockHeader) Source #

Instance details

Defined in Cardano.Api.Block

Methods

parseJSON :: Value -> Parser (Hash BlockHeader) #

parseJSONList :: Value -> Parser [Hash BlockHeader] #

omittedField :: Maybe (Hash BlockHeader) #

ToJSON (Hash BlockHeader) Source #

Instance details

Defined in Cardano.Api.Block

Methods

toJSON :: Hash BlockHeader -> Value #

toEncoding :: Hash BlockHeader -> Encoding #

toJSONList :: [Hash BlockHeader] -> Value #

toEncodingList :: [Hash BlockHeader] -> Encoding #

omitField :: Hash BlockHeader -> Bool #

IsString (Hash BlockHeader) Source #

Instance details

Defined in Cardano.Api.Block

Methods

fromString :: String -> Hash BlockHeader Source #

Show (Hash BlockHeader) Source #

Instance details

Defined in Cardano.Api.Block

Methods

showsPrec :: Int -> Hash BlockHeader -> ShowS Source #

show :: Hash BlockHeader -> String Source #

showList :: [Hash BlockHeader] -> ShowS Source #

SerialiseAsRawBytes (Hash BlockHeader) Source #

Instance details

Defined in Cardano.Api.Block

Methods

serialiseToRawBytes :: Hash BlockHeader -> ByteString Source #

deserialiseFromRawBytes :: AsType (Hash BlockHeader) -> ByteString -> Either SerialiseAsRawBytesError (Hash BlockHeader) Source #

Eq (Hash BlockHeader) Source #

Instance details

Defined in Cardano.Api.Block

Methods

(==) :: Hash BlockHeader -> Hash BlockHeader -> Bool Source #

(/=) :: Hash BlockHeader -> Hash BlockHeader -> Bool Source #

Ord (Hash BlockHeader) Source #

Instance details

Defined in Cardano.Api.Block

Methods

compare :: Hash BlockHeader -> Hash BlockHeader -> Ordering Source #

(<) :: Hash BlockHeader -> Hash BlockHeader -> Bool Source #

(<=) :: Hash BlockHeader -> Hash BlockHeader -> Bool Source #

(>) :: Hash BlockHeader -> Hash BlockHeader -> Bool Source #

(>=) :: Hash BlockHeader -> Hash BlockHeader -> Bool Source #

max :: Hash BlockHeader -> Hash BlockHeader -> Hash BlockHeader Source #

min :: Hash BlockHeader -> Hash BlockHeader -> Hash BlockHeader Source #

data AsType BlockHeader Source #

Instance details

Defined in Cardano.Api.Block

data AsType BlockHeader = AsBlockHeader

newtype Hash BlockHeader Source #

For now at least we use a fixed concrete hash type for all modes and era. The different eras do use different types, but it's all the same underlying representation.

Instance details

Defined in Cardano.Api.Block

newtype Hash BlockHeader = HeaderHash ShortByteString

getBlockHeader :: Block era -> BlockHeader Source #

Blocks in the context of a consensus mode

data BlockInMode where Source #

A Block in one of the eras. TODO Rename this to BlockInEra

Constructors

BlockInMode :: forall era. CardanoEra era -> Block era -> BlockInMode

Instances

Instances details

Show BlockInMode Source #
Instance details Defined in Cardano.Api.Block Methods showsPrec :: Int -> BlockInMode -> ShowS Source # show :: BlockInMode -> String Source # showList :: [BlockInMode] -> ShowS Source #

fromConsensusBlock :: CardanoBlock StandardCrypto ~ block => block -> BlockInMode Source #

toConsensusBlock :: CardanoBlock StandardCrypto ~ block => BlockInMode -> block Source #

Points on the chain

data ChainPoint Source #

Constructors

ChainPointAtGenesis
ChainPoint !SlotNo !(Hash BlockHeader)

Instances

Instances details

FromJSON ChainPoint Source #
Instance details Defined in Cardano.Api.Block Methods parseJSON :: Value -> Parser ChainPoint # parseJSONList :: Value -> Parser [ChainPoint] # omittedField :: Maybe ChainPoint #
ToJSON ChainPoint Source #
Instance details Defined in Cardano.Api.Block Methods toJSON :: ChainPoint -> Value # toEncoding :: ChainPoint -> Encoding # toJSONList :: [ChainPoint] -> Value # toEncodingList :: [ChainPoint] -> Encoding # omitField :: ChainPoint -> Bool #
Show ChainPoint Source #
Instance details Defined in Cardano.Api.Block Methods showsPrec :: Int -> ChainPoint -> ShowS Source # show :: ChainPoint -> String Source # showList :: [ChainPoint] -> ShowS Source #
Eq ChainPoint Source #
Instance details Defined in Cardano.Api.Block Methods (==) :: ChainPoint -> ChainPoint -> Bool Source # (/=) :: ChainPoint -> ChainPoint -> Bool Source #
Ord ChainPoint Source #
Instance details Defined in Cardano.Api.Block Methods compare :: ChainPoint -> ChainPoint -> Ordering Source # (<) :: ChainPoint -> ChainPoint -> Bool Source # (<=) :: ChainPoint -> ChainPoint -> Bool Source # (>) :: ChainPoint -> ChainPoint -> Bool Source # (>=) :: ChainPoint -> ChainPoint -> Bool Source # max :: ChainPoint -> ChainPoint -> ChainPoint Source # min :: ChainPoint -> ChainPoint -> ChainPoint Source #

newtype SlotNo Source #

The 0-based index for the Ourboros time slot.

Constructors

SlotNo
Fields unSlotNo :: Word64

Instances

Instances details

FromJSON SlotNo

Instance details

Defined in Cardano.Slotting.Slot

Methods

parseJSON :: Value -> Parser SlotNo #

parseJSONList :: Value -> Parser [SlotNo] #

omittedField :: Maybe SlotNo #

ToJSON SlotNo

Instance details

Defined in Cardano.Slotting.Slot

Methods

toJSON :: SlotNo -> Value #

toEncoding :: SlotNo -> Encoding #

toJSONList :: [SlotNo] -> Value #

toEncodingList :: [SlotNo] -> Encoding #

omitField :: SlotNo -> Bool #

Bounded SlotNo

Instance details

Defined in Cardano.Slotting.Slot

Methods

minBound :: SlotNo Source #

maxBound :: SlotNo Source #

Enum SlotNo

Instance details

Defined in Cardano.Slotting.Slot

Methods

succ :: SlotNo -> SlotNo Source #

pred :: SlotNo -> SlotNo Source #

toEnum :: Int -> SlotNo Source #

fromEnum :: SlotNo -> Int Source #

enumFrom :: SlotNo -> [SlotNo] Source #

enumFromThen :: SlotNo -> SlotNo -> [SlotNo] Source #

enumFromTo :: SlotNo -> SlotNo -> [SlotNo] Source #

enumFromThenTo :: SlotNo -> SlotNo -> SlotNo -> [SlotNo] Source #

Generic SlotNo

Instance details

Defined in Cardano.Slotting.Slot

Associated Types

type Rep SlotNo
Instance details Defined in Cardano.Slotting.Slot type Rep SlotNo = D1 ('MetaData "SlotNo" "Cardano.Slotting.Slot" "cardano-slotting-0.2.0.0-886a3531c066a8cf893d904908b2d4b5847cecce4ba51139f879cc7ba241da23" 'True) (C1 ('MetaCons "SlotNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSlotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from :: SlotNo -> Rep SlotNo x Source #

to :: Rep SlotNo x -> SlotNo Source #

Num SlotNo

Instance details

Defined in Cardano.Slotting.Slot

Methods

(+) :: SlotNo -> SlotNo -> SlotNo Source #

(-) :: SlotNo -> SlotNo -> SlotNo Source #

(*) :: SlotNo -> SlotNo -> SlotNo Source #

negate :: SlotNo -> SlotNo Source #

abs :: SlotNo -> SlotNo Source #

signum :: SlotNo -> SlotNo Source #

fromInteger :: Integer -> SlotNo Source #

Show SlotNo

Instance details

Defined in Cardano.Slotting.Slot

Methods

showsPrec :: Int -> SlotNo -> ShowS Source #

show :: SlotNo -> String Source #

showList :: [SlotNo] -> ShowS Source #

FromCBOR SlotNo

Instance details

Defined in Cardano.Slotting.Slot

Methods

fromCBOR :: Decoder s SlotNo Source #

label :: Proxy SlotNo -> Text Source #

ToCBOR SlotNo

Instance details

Defined in Cardano.Slotting.Slot

Methods

toCBOR :: SlotNo -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy SlotNo -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SlotNo] -> Size Source #

DecCBOR SlotNo

Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBOR :: Decoder s SlotNo Source #

dropCBOR :: Proxy SlotNo -> Decoder s () Source #

label :: Proxy SlotNo -> Text Source #

EncCBOR SlotNo

Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR :: SlotNo -> Encoding Source #

encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy SlotNo -> Size Source #

encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [SlotNo] -> Size Source #

NFData SlotNo

Instance details

Defined in Cardano.Slotting.Slot

Methods

rnf :: SlotNo -> () Source #

Eq SlotNo

Instance details

Defined in Cardano.Slotting.Slot

Methods

(==) :: SlotNo -> SlotNo -> Bool Source #

(/=) :: SlotNo -> SlotNo -> Bool Source #

Ord SlotNo

Instance details

Defined in Cardano.Slotting.Slot

Methods

compare :: SlotNo -> SlotNo -> Ordering Source #

(<) :: SlotNo -> SlotNo -> Bool Source #

(<=) :: SlotNo -> SlotNo -> Bool Source #

(>) :: SlotNo -> SlotNo -> Bool Source #

(>=) :: SlotNo -> SlotNo -> Bool Source #

max :: SlotNo -> SlotNo -> SlotNo Source #

min :: SlotNo -> SlotNo -> SlotNo Source #

NoThunks SlotNo

Instance details

Defined in Cardano.Slotting.Slot

Methods

noThunks :: Context -> SlotNo -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> SlotNo -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy SlotNo -> String #

Condense SlotNo

Instance details

Defined in Ouroboros.Consensus.Util.Condense

Methods

condense :: SlotNo -> String Source #

Serialise SlotNo

Instance details

Defined in Cardano.Slotting.Slot

Methods

encode :: SlotNo -> Encoding

decode :: Decoder s SlotNo

encodeList :: [SlotNo] -> Encoding

decodeList :: Decoder s [SlotNo]

ShowProxy SlotNo

Instance details

Defined in Ouroboros.Network.Util.ShowProxy

Methods

showProxy :: Proxy SlotNo -> String Source #

(Condense block, HasHeader block, Condense (HeaderHash block)) => Condense (AnchoredFragment block)

Instance details

Defined in Ouroboros.Consensus.Util.Condense

Methods

condense :: AnchoredFragment block -> String Source #

HasHeader block => Anchorable (WithOrigin SlotNo) (Anchor block) block

Instance details

Defined in Ouroboros.Network.AnchoredFragment

Methods

asAnchor :: block -> Anchor block Source #

getAnchorMeasure :: Proxy block -> Anchor block -> WithOrigin SlotNo Source #

Anchorable (WithOrigin SlotNo) (HeaderState blk) (HeaderState blk)

Used by HeaderStateHistory but defined here, where it is not an orphan.

Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Methods

asAnchor :: HeaderState blk -> HeaderState blk Source #

getAnchorMeasure :: Proxy (HeaderState blk) -> HeaderState blk -> WithOrigin SlotNo Source #

GetTip l => Anchorable (WithOrigin SlotNo) (Checkpoint l) (Checkpoint l)

Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.LedgerDB

Methods

asAnchor :: Checkpoint l -> Checkpoint l Source #

getAnchorMeasure :: Proxy (Checkpoint l) -> Checkpoint l -> WithOrigin SlotNo Source #

type Rep SlotNo

Instance details

Defined in Cardano.Slotting.Slot

type Rep SlotNo = D1 ('MetaData "SlotNo" "Cardano.Slotting.Slot" "cardano-slotting-0.2.0.0-886a3531c066a8cf893d904908b2d4b5847cecce4ba51139f879cc7ba241da23" 'True) (C1 ('MetaCons "SlotNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSlotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

newtype EpochNo Source #

An epoch, i.e. the number of the epoch.

Constructors

EpochNo
Fields unEpochNo :: Word64

Instances

Instances details

FromJSON EpochNo

Instance details

Defined in Cardano.Slotting.Slot

Methods

parseJSON :: Value -> Parser EpochNo #

parseJSONList :: Value -> Parser [EpochNo] #

omittedField :: Maybe EpochNo #

ToJSON EpochNo

Instance details

Defined in Cardano.Slotting.Slot

Methods

toJSON :: EpochNo -> Value #

toEncoding :: EpochNo -> Encoding #

toJSONList :: [EpochNo] -> Value #

toEncodingList :: [EpochNo] -> Encoding #

omitField :: EpochNo -> Bool #

Enum EpochNo

Instance details

Defined in Cardano.Slotting.Slot

Methods

succ :: EpochNo -> EpochNo Source #

pred :: EpochNo -> EpochNo Source #

toEnum :: Int -> EpochNo Source #

fromEnum :: EpochNo -> Int Source #

enumFrom :: EpochNo -> [EpochNo] Source #

enumFromThen :: EpochNo -> EpochNo -> [EpochNo] Source #

enumFromTo :: EpochNo -> EpochNo -> [EpochNo] Source #

enumFromThenTo :: EpochNo -> EpochNo -> EpochNo -> [EpochNo] Source #

Generic EpochNo

Instance details

Defined in Cardano.Slotting.Slot

Associated Types

type Rep EpochNo
Instance details Defined in Cardano.Slotting.Slot type Rep EpochNo = D1 ('MetaData "EpochNo" "Cardano.Slotting.Slot" "cardano-slotting-0.2.0.0-886a3531c066a8cf893d904908b2d4b5847cecce4ba51139f879cc7ba241da23" 'True) (C1 ('MetaCons "EpochNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from :: EpochNo -> Rep EpochNo x Source #

to :: Rep EpochNo x -> EpochNo Source #

Show EpochNo

Instance details

Defined in Cardano.Slotting.Slot

Methods

showsPrec :: Int -> EpochNo -> ShowS Source #

show :: EpochNo -> String Source #

showList :: [EpochNo] -> ShowS Source #

FromCBOR EpochNo

Instance details

Defined in Cardano.Slotting.Slot

Methods

fromCBOR :: Decoder s EpochNo Source #

label :: Proxy EpochNo -> Text Source #

ToCBOR EpochNo

Instance details

Defined in Cardano.Slotting.Slot

Methods

toCBOR :: EpochNo -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy EpochNo -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [EpochNo] -> Size Source #

DecCBOR EpochNo

Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBOR :: Decoder s EpochNo Source #

dropCBOR :: Proxy EpochNo -> Decoder s () Source #

label :: Proxy EpochNo -> Text Source #

EncCBOR EpochNo

Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR :: EpochNo -> Encoding Source #

encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy EpochNo -> Size Source #

encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [EpochNo] -> Size Source #

NFData EpochNo

Instance details

Defined in Cardano.Slotting.Slot

Methods

rnf :: EpochNo -> () Source #

Eq EpochNo

Instance details

Defined in Cardano.Slotting.Slot

Methods

(==) :: EpochNo -> EpochNo -> Bool Source #

(/=) :: EpochNo -> EpochNo -> Bool Source #

Ord EpochNo

Instance details

Defined in Cardano.Slotting.Slot

Methods

compare :: EpochNo -> EpochNo -> Ordering Source #

(<) :: EpochNo -> EpochNo -> Bool Source #

(<=) :: EpochNo -> EpochNo -> Bool Source #

(>) :: EpochNo -> EpochNo -> Bool Source #

(>=) :: EpochNo -> EpochNo -> Bool Source #

max :: EpochNo -> EpochNo -> EpochNo Source #

min :: EpochNo -> EpochNo -> EpochNo Source #

NoThunks EpochNo

Instance details

Defined in Cardano.Slotting.Slot

Methods

noThunks :: Context -> EpochNo -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> EpochNo -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy EpochNo -> String #

Condense EpochNo

Instance details

Defined in Ouroboros.Consensus.Util.Condense

Methods

condense :: EpochNo -> String Source #

Serialise EpochNo

Instance details

Defined in Cardano.Slotting.Slot

Methods

encode :: EpochNo -> Encoding

decode :: Decoder s EpochNo

encodeList :: [EpochNo] -> Encoding

decodeList :: Decoder s [EpochNo]

type Rep EpochNo

Instance details

Defined in Cardano.Slotting.Slot

type Rep EpochNo = D1 ('MetaData "EpochNo" "Cardano.Slotting.Slot" "cardano-slotting-0.2.0.0-886a3531c066a8cf893d904908b2d4b5847cecce4ba51139f879cc7ba241da23" 'True) (C1 ('MetaCons "EpochNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

toConsensusPoint :: forall ledgerera protocol. ShelleyCompatible protocol ledgerera => ChainPoint -> Point (ShelleyBlock protocol ledgerera) Source #

Convert a Point for single Shelley-era block type

fromConsensusPoint :: ShelleyCompatible protocol ledgerera => Point (ShelleyBlock protocol ledgerera) -> ChainPoint Source #

Convert a Point for single Shelley-era block type

fromConsensusPointHF :: forall block (xs :: [Type]). HeaderHash block ~ OneEraHash xs => Point block -> ChainPoint Source #

Convert a Point for multi-era block type

toConsensusPointHF :: forall block (xs :: [Type]). HeaderHash block ~ OneEraHash xs => ChainPoint -> Point block Source #

Convert a Point for multi-era block type

Tip of the chain

data ChainTip Source #

This is like a ChainPoint but is conventionally used for the tip of the chain: that is the most recent block at the end of the chain.

It also carries the BlockNo of the chain tip.

Constructors

ChainTipAtGenesis
ChainTip !SlotNo !(Hash BlockHeader) !BlockNo

Instances

Instances details

ToJSON ChainTip Source #
Instance details Defined in Cardano.Api.Block Methods toJSON :: ChainTip -> Value # toEncoding :: ChainTip -> Encoding # toJSONList :: [ChainTip] -> Value # toEncodingList :: [ChainTip] -> Encoding # omitField :: ChainTip -> Bool #
Show ChainTip Source #
Instance details Defined in Cardano.Api.Block Methods showsPrec :: Int -> ChainTip -> ShowS Source # show :: ChainTip -> String Source # showList :: [ChainTip] -> ShowS Source #
Eq ChainTip Source #
Instance details Defined in Cardano.Api.Block Methods (==) :: ChainTip -> ChainTip -> Bool Source # (/=) :: ChainTip -> ChainTip -> Bool Source #

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

Instance details

Defined in Cardano.Slotting.Block

Methods

parseJSON :: Value -> Parser BlockNo #

parseJSONList :: Value -> Parser [BlockNo] #

omittedField :: Maybe BlockNo #

ToJSON BlockNo

Instance details

Defined in Cardano.Slotting.Block

Methods

toJSON :: BlockNo -> Value #

toEncoding :: BlockNo -> Encoding #

toJSONList :: [BlockNo] -> Value #

toEncodingList :: [BlockNo] -> Encoding #

omitField :: BlockNo -> Bool #

Bounded BlockNo

Instance details

Defined in Cardano.Slotting.Block

Methods

minBound :: BlockNo Source #

maxBound :: BlockNo Source #

Enum BlockNo

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

Instance details

Defined in Cardano.Slotting.Block

Associated Types

type Rep BlockNo
Instance details Defined in Cardano.Slotting.Block type Rep BlockNo = D1 ('MetaData "BlockNo" "Cardano.Slotting.Block" "cardano-slotting-0.2.0.0-886a3531c066a8cf893d904908b2d4b5847cecce4ba51139f879cc7ba241da23" 'True) (C1 ('MetaCons "BlockNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBlockNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from :: BlockNo -> Rep BlockNo x Source #

to :: Rep BlockNo x -> BlockNo Source #

Num BlockNo

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

Instance details

Defined in Cardano.Slotting.Block

Methods

showsPrec :: Int -> BlockNo -> ShowS Source #

show :: BlockNo -> String Source #

showList :: [BlockNo] -> ShowS Source #

FromCBOR BlockNo

Instance details

Defined in Cardano.Slotting.Block

Methods

fromCBOR :: Decoder s BlockNo Source #

label :: Proxy BlockNo -> Text Source #

ToCBOR BlockNo

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 #

DecCBOR BlockNo

Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBOR :: Decoder s BlockNo Source #

dropCBOR :: Proxy BlockNo -> Decoder s () Source #

label :: Proxy BlockNo -> Text Source #

EncCBOR BlockNo

Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR :: BlockNo -> Encoding Source #

encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy BlockNo -> Size Source #

encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [BlockNo] -> Size Source #

NFData BlockNo

Instance details

Defined in Cardano.Slotting.Block

Methods

rnf :: BlockNo -> () Source #

Eq BlockNo

Instance details

Defined in Cardano.Slotting.Block

Methods

(==) :: BlockNo -> BlockNo -> Bool Source #

(/=) :: BlockNo -> BlockNo -> Bool Source #

Ord BlockNo

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

Instance details

Defined in Cardano.Slotting.Block

Methods

noThunks :: Context -> BlockNo -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> BlockNo -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy BlockNo -> String #

ChainOrder BlockNo

Instance details

Defined in Ouroboros.Consensus.Protocol.Abstract

Associated Types

type ChainOrderConfig BlockNo
Instance details Defined in Ouroboros.Consensus.Protocol.Abstract type ChainOrderConfig BlockNo = ChainOrderConfig (SimpleChainOrder BlockNo)

Methods

preferCandidate :: ChainOrderConfig BlockNo -> BlockNo -> BlockNo -> Bool Source #

Condense BlockNo

Instance details

Defined in Ouroboros.Consensus.Util.Condense

Methods

condense :: BlockNo -> String Source #

Serialise BlockNo

Instance details

Defined in Cardano.Slotting.Block

Methods

encode :: BlockNo -> Encoding

decode :: Decoder s BlockNo

encodeList :: [BlockNo] -> Encoding

decodeList :: Decoder s [BlockNo]

type Rep BlockNo

Instance details

Defined in Cardano.Slotting.Block

type Rep BlockNo = D1 ('MetaData "BlockNo" "Cardano.Slotting.Block" "cardano-slotting-0.2.0.0-886a3531c066a8cf893d904908b2d4b5847cecce4ba51139f879cc7ba241da23" 'True) (C1 ('MetaCons "BlockNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBlockNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

type ChainOrderConfig BlockNo

Instance details

Defined in Ouroboros.Consensus.Protocol.Abstract

type ChainOrderConfig BlockNo = ChainOrderConfig (SimpleChainOrder BlockNo)

chainTipToChainPoint :: ChainTip -> ChainPoint Source #

fromConsensusTip :: CardanoBlock StandardCrypto ~ block => Tip block -> ChainTip Source #