Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Block.Abstract

Contents

Protocol
Configuration
Previous hash
Working with headers
Raw hash
Utilities for working with WithOrigin
Re-export basic definitions from ouroboros-network
Re-export basic definitions from cardano-base

Synopsis

type family BlockProtocol blk :: Type
data family BlockConfig blk :: Type
data family CodecConfig blk :: Type
data family StorageConfig blk :: Type
class (HasHeader blk, GetHeader blk) => GetPrevHash blk where
- headerPrevHash :: Header blk -> ChainHash blk
blockPrevHash :: GetPrevHash blk => blk -> ChainHash blk
data family Header blk :: Type
class HasHeader (Header blk) => GetHeader blk where
- getHeader :: blk -> Header blk
- blockMatchesHeader :: Header blk -> blk -> Bool
- headerIsEBB :: Header blk -> Maybe EpochNo
getBlockHeaderFields :: GetHeader blk => blk -> HeaderFields blk
headerHash :: HasHeader (Header blk) => Header blk -> HeaderHash blk
headerPoint :: HasHeader (Header blk) => Header blk -> Point blk
headerToIsEBB :: GetHeader blk => Header blk -> IsEBB
blockIsEBB :: GetHeader blk => blk -> Maybe EpochNo
blockToIsEBB :: GetHeader blk => blk -> IsEBB
class ConvertRawHash blk where
- toRawHash :: proxy blk -> HeaderHash blk -> ByteString
- fromRawHash :: proxy blk -> ByteString -> HeaderHash blk
- toShortRawHash :: proxy blk -> HeaderHash blk -> ShortByteString
- fromShortRawHash :: proxy blk -> ShortByteString -> HeaderHash blk
- hashSize :: proxy blk -> Word32
encodeRawHash :: ConvertRawHash blk => proxy blk -> HeaderHash blk -> Encoding
decodeRawHash :: ConvertRawHash blk => proxy blk -> forall s. Decoder s (HeaderHash blk)
succWithOrigin :: (Bounded t, Enum t) => WithOrigin t -> t
blockHash :: HasHeader b => b -> HeaderHash b
blockMeasure :: HasHeader b => b -> BlockMeasure
data BlockMeasure
blockNo :: HasHeader b => b -> BlockNo
blockPoint :: HasHeader block => block -> Point block
blockSlot :: HasHeader b => b -> SlotNo
castHash :: Coercible (HeaderHash b) (HeaderHash b') => ChainHash b -> ChainHash b'
castHeaderFields :: HeaderHash b ~ HeaderHash b' => HeaderFields b -> HeaderFields b'
castPoint :: Coercible (HeaderHash b) (HeaderHash b') => Point b -> Point b'
data ChainHash b
- = GenesisHash
- | BlockHash !(HeaderHash b)
class (StandardHash b, Measured BlockMeasure b, Typeable b) => HasHeader b where
- getHeaderFields :: b -> HeaderFields b
data HeaderFields b = HeaderFields {
- headerFieldSlot :: SlotNo
- headerFieldBlockNo :: BlockNo
- headerFieldHash :: HeaderHash b
}
type family HeaderHash b
data Point block where
- pattern GenesisPoint :: Point block
- pattern BlockPoint :: SlotNo -> HeaderHash block -> Point block
pointHash :: Point block -> ChainHash block
pointSlot :: Point block -> WithOrigin SlotNo
class (Eq (HeaderHash b), Ord (HeaderHash b), Show (HeaderHash b), Typeable (HeaderHash b), NoThunks (HeaderHash b)) => StandardHash b
newtype BlockNo = BlockNo {
- unBlockNo :: Word64
}
newtype EpochNo = EpochNo {
- unEpochNo :: Word64
}
newtype EpochSize = EpochSize {
- unEpochSize :: Word64
}
fromWithOrigin :: t -> WithOrigin t -> t
newtype SlotNo = SlotNo {
- unSlotNo :: Word64
}
withOrigin :: b -> (t -> b) -> WithOrigin t -> b
withOriginFromMaybe :: Maybe t -> WithOrigin t
data WithOrigin t where
- Origin
- pattern NotOrigin :: t -> WithOrigin t
withOriginToMaybe :: WithOrigin t -> Maybe t

Protocol

type family BlockProtocol blk :: Type Source #

Map block to consensus protocol

Instances

Instances details

type BlockProtocol (Header blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.Abstract type BlockProtocol (Header blk) = BlockProtocol blk
type BlockProtocol (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics type BlockProtocol (HardForkBlock xs) = HardForkProtocol xs
type BlockProtocol (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual type BlockProtocol (DualBlock m a) = BlockProtocol m

Configuration

data family BlockConfig blk :: Type Source #

Static configuration required to work with this type of blocks

Instances

Instances details

Isomorphic BlockConfig Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Unary Methods project :: NoHardForks blk => BlockConfig (HardForkBlock '[blk]) -> BlockConfig blk Source # inject :: NoHardForks blk => BlockConfig blk -> BlockConfig (HardForkBlock '[blk]) Source #
NoThunks (BlockConfig (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks :: Context -> BlockConfig (DualBlock m a) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> BlockConfig (DualBlock m a) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (BlockConfig (DualBlock m a)) -> String Source #
CanHardFork xs => NoThunks (BlockConfig (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks :: Context -> BlockConfig (HardForkBlock xs) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> BlockConfig (HardForkBlock xs) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (BlockConfig (HardForkBlock xs)) -> String Source #
newtype BlockConfig (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype BlockConfig (HardForkBlock xs) = HardForkBlockConfig { hardForkBlockConfigPerEra :: PerEraBlockConfig xs }
data BlockConfig (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual data BlockConfig (DualBlock m a) = DualBlockConfig { dualBlockConfigMain :: BlockConfig m dualBlockConfigAux :: BlockConfig a }

data family CodecConfig blk :: Type Source #

Static configuration required for serialisation and deserialisation of types pertaining to this type of block.

Data family instead of type family to get better type inference.

Instances

Instances details

Isomorphic CodecConfig Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Unary Methods project :: NoHardForks blk => CodecConfig (HardForkBlock '[blk]) -> CodecConfig blk Source # inject :: NoHardForks blk => CodecConfig blk -> CodecConfig (HardForkBlock '[blk]) Source #
Generic (CodecConfig (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Associated Types type Rep (CodecConfig (DualBlock m a)) :: Type -> Type # Methods from :: CodecConfig (DualBlock m a) -> Rep (CodecConfig (DualBlock m a)) x # to :: Rep (CodecConfig (DualBlock m a)) x -> CodecConfig (DualBlock m a) #
(NoThunks (CodecConfig m), NoThunks (CodecConfig a)) => NoThunks (CodecConfig (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks :: Context -> CodecConfig (DualBlock m a) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> CodecConfig (DualBlock m a) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (CodecConfig (DualBlock m a)) -> String Source #
CanHardFork xs => NoThunks (CodecConfig (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks :: Context -> CodecConfig (HardForkBlock xs) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> CodecConfig (HardForkBlock xs) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (CodecConfig (HardForkBlock xs)) -> String Source #
type Rep (CodecConfig (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual type Rep (CodecConfig (DualBlock m a)) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-0.1.0.0-GfJNvFcM6lj2s5utKAUPEp" 'False) (C1 ('MetaCons "DualCodecConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "dualCodecConfigMain") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CodecConfig m)) :*: S1 ('MetaSel ('Just "dualCodecConfigAux") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CodecConfig a))))
newtype CodecConfig (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype CodecConfig (HardForkBlock xs) = HardForkCodecConfig { hardForkCodecConfigPerEra :: PerEraCodecConfig xs }
data CodecConfig (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual data CodecConfig (DualBlock m a) = DualCodecConfig { dualCodecConfigMain :: !(CodecConfig m) dualCodecConfigAux :: !(CodecConfig a) }

data family StorageConfig blk :: Type Source #

Config needed for the NodeInitStorage class. Defined here to avoid circular dependencies.

Instances

Instances details

Isomorphic StorageConfig Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Unary Methods project :: NoHardForks blk => StorageConfig (HardForkBlock '[blk]) -> StorageConfig blk Source # inject :: NoHardForks blk => StorageConfig blk -> StorageConfig (HardForkBlock '[blk]) Source #
Generic (StorageConfig (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Associated Types type Rep (StorageConfig (DualBlock m a)) :: Type -> Type # Methods from :: StorageConfig (DualBlock m a) -> Rep (StorageConfig (DualBlock m a)) x # to :: Rep (StorageConfig (DualBlock m a)) x -> StorageConfig (DualBlock m a) #
(NoThunks (StorageConfig m), NoThunks (StorageConfig a)) => NoThunks (StorageConfig (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks :: Context -> StorageConfig (DualBlock m a) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> StorageConfig (DualBlock m a) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (StorageConfig (DualBlock m a)) -> String Source #
CanHardFork xs => NoThunks (StorageConfig (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks :: Context -> StorageConfig (HardForkBlock xs) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> StorageConfig (HardForkBlock xs) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (StorageConfig (HardForkBlock xs)) -> String Source #
type Rep (StorageConfig (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual type Rep (StorageConfig (DualBlock m a)) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-0.1.0.0-GfJNvFcM6lj2s5utKAUPEp" 'False) (C1 ('MetaCons "DualStorageConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "dualStorageConfigMain") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StorageConfig m)) :*: S1 ('MetaSel ('Just "dualStorageConfigAux") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StorageConfig a))))
newtype StorageConfig (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype StorageConfig (HardForkBlock xs) = HardForkStorageConfig { hardForkStorageConfigPerEra :: PerEraStorageConfig xs }
data StorageConfig (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual data StorageConfig (DualBlock m a) = DualStorageConfig { dualStorageConfigMain :: !(StorageConfig m) dualStorageConfigAux :: !(StorageConfig a) }

Previous hash

class (HasHeader blk, GetHeader blk) => GetPrevHash blk where Source #

Methods

headerPrevHash :: Header blk -> ChainHash blk Source #

Get the hash of the predecessor of this block

Instances

Instances details

CanHardFork xs => GetPrevHash (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods headerPrevHash :: Header (HardForkBlock xs) -> ChainHash (HardForkBlock xs) Source #
Bridge m a => GetPrevHash (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods headerPrevHash :: Header (DualBlock m a) -> ChainHash (DualBlock m a) Source #

blockPrevHash :: GetPrevHash blk => blk -> ChainHash blk Source #

Working with headers

data family Header blk :: Type Source #

Instances

class HasHeader (Header blk) => GetHeader blk where Source #

Methods

getHeader :: blk -> Header blk Source #

blockMatchesHeader :: Header blk -> blk -> Bool Source #

Check whether the header is the header of the block.

For example, by checking whether the hash of the body stored in the header matches that of the block.

headerIsEBB :: Header blk -> Maybe EpochNo Source #

When the given header is the header of an Epoch Boundary Block, returns its epoch number.

Instances

Instances details

CanHardFork xs => GetHeader (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods getHeader :: HardForkBlock xs -> Header (HardForkBlock xs) Source # blockMatchesHeader :: Header (HardForkBlock xs) -> HardForkBlock xs -> Bool Source # headerIsEBB :: Header (HardForkBlock xs) -> Maybe EpochNo Source #
Bridge m a => GetHeader (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods getHeader :: DualBlock m a -> Header (DualBlock m a) Source # blockMatchesHeader :: Header (DualBlock m a) -> DualBlock m a -> Bool Source # headerIsEBB :: Header (DualBlock m a) -> Maybe EpochNo Source #

getBlockHeaderFields :: GetHeader blk => blk -> HeaderFields blk Source #

Get the HeaderFields of a block, without requiring 'HasHeader blk'

This is primarily useful as a a simple definition of HasHeader for block types:

instance HasHeader SomeBlock where
  getHeaderFields = getBlockHeaderFields

provided that there is a HasHeader instance for the header.

Unfortunately we cannot give a HasHeader instance once and for all; if we mapped from a header to a block instead we could do

instance HasHeader hdr => HasHeader (Block hdr) where
 ..

but we can't do that when we do things this way around.

headerHash :: HasHeader (Header blk) => Header blk -> HeaderHash blk Source #

headerPoint :: HasHeader (Header blk) => Header blk -> Point blk Source #

headerToIsEBB :: GetHeader blk => Header blk -> IsEBB Source #

blockIsEBB :: GetHeader blk => blk -> Maybe EpochNo Source #

blockToIsEBB :: GetHeader blk => blk -> IsEBB Source #

Raw hash

class ConvertRawHash blk where Source #

Convert a hash from/to raw bytes

Variants of toRawHash and fromRawHash for ShortByteString are included. Override the default implementations to avoid an extra step in case the HeaderHash is a ShortByteString under the hood.

Minimal complete definition

hashSize, (toRawHash | toShortRawHash), (fromRawHash | fromShortRawHash)

Methods

toRawHash :: proxy blk -> HeaderHash blk -> ByteString Source #

Get the raw bytes from a hash

fromRawHash :: proxy blk -> ByteString -> HeaderHash blk Source #

Construct the hash from a raw hash

PRECONDITION: the bytestring's size must match hashSize

toShortRawHash :: proxy blk -> HeaderHash blk -> ShortByteString Source #

Variant of toRawHash for ShortByteString

fromShortRawHash :: proxy blk -> ShortByteString -> HeaderHash blk Source #

Variant of fromRawHash for ShortByteString

hashSize :: proxy blk -> Word32 Source #

The size of the hash in number of bytes

Instances

Instances details

CanHardFork xs => ConvertRawHash (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods toRawHash :: proxy (HardForkBlock xs) -> HeaderHash (HardForkBlock xs) -> ByteString Source # fromRawHash :: proxy (HardForkBlock xs) -> ByteString -> HeaderHash (HardForkBlock xs) Source # toShortRawHash :: proxy (HardForkBlock xs) -> HeaderHash (HardForkBlock xs) -> ShortByteString Source # fromShortRawHash :: proxy (HardForkBlock xs) -> ShortByteString -> HeaderHash (HardForkBlock xs) Source # hashSize :: proxy (HardForkBlock xs) -> Word32 Source #
ConvertRawHash m => ConvertRawHash (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods toRawHash :: proxy (DualBlock m a) -> HeaderHash (DualBlock m a) -> ByteString Source # fromRawHash :: proxy (DualBlock m a) -> ByteString -> HeaderHash (DualBlock m a) Source # toShortRawHash :: proxy (DualBlock m a) -> HeaderHash (DualBlock m a) -> ShortByteString Source # fromShortRawHash :: proxy (DualBlock m a) -> ShortByteString -> HeaderHash (DualBlock m a) Source # hashSize :: proxy (DualBlock m a) -> Word32 Source #

encodeRawHash :: ConvertRawHash blk => proxy blk -> HeaderHash blk -> Encoding Source #

decodeRawHash :: ConvertRawHash blk => proxy blk -> forall s. Decoder s (HeaderHash blk) Source #

Utilities for working with WithOrigin

succWithOrigin :: (Bounded t, Enum t) => WithOrigin t -> t Source #

Return the successor of a WithOrigin value. Useful in combination with SlotNo and BlockNo.

Re-export basic definitions from `ouroboros-network`

blockHash :: HasHeader b => b -> HeaderHash b #

blockMeasure :: HasHeader b => b -> BlockMeasure #

data BlockMeasure #

Instances

Instances details

Show BlockMeasure
Instance details Defined in Ouroboros.Network.Block Methods showsPrec :: Int -> BlockMeasure -> ShowS # show :: BlockMeasure -> String # showList :: [BlockMeasure] -> ShowS #
Semigroup BlockMeasure
Instance details Defined in Ouroboros.Network.Block Methods (<>) :: BlockMeasure -> BlockMeasure -> BlockMeasure # sconcat :: NonEmpty BlockMeasure -> BlockMeasure # stimes :: Integral b => b -> BlockMeasure -> BlockMeasure #
Monoid BlockMeasure
Instance details Defined in Ouroboros.Network.Block Methods mempty :: BlockMeasure # mappend :: BlockMeasure -> BlockMeasure -> BlockMeasure # mconcat :: [BlockMeasure] -> BlockMeasure #
(StandardHash b, Typeable b) => Measured BlockMeasure (HeaderFields b)
Instance details Defined in Ouroboros.Network.Block Methods measure :: HeaderFields b -> BlockMeasure Source #
HasHeader (Header blk) => Measured BlockMeasure (Header blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.Abstract Methods measure :: Header blk -> BlockMeasure Source #
CanHardFork xs => Measured BlockMeasure (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods measure :: HardForkBlock xs -> BlockMeasure Source #
Bridge m a => Measured BlockMeasure (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods measure :: DualBlock m a -> BlockMeasure Source #

blockNo :: HasHeader b => b -> BlockNo #

blockPoint :: HasHeader block => block -> Point block #

blockSlot :: HasHeader b => b -> SlotNo #

castHash :: Coercible (HeaderHash b) (HeaderHash b') => ChainHash b -> ChainHash b' #

castHeaderFields :: HeaderHash b ~ HeaderHash b' => HeaderFields b -> HeaderFields b' #

castPoint :: Coercible (HeaderHash b) (HeaderHash b') => Point b -> Point b' #

data ChainHash b #

Constructors

GenesisHash
BlockHash !(HeaderHash b)

Instances

Instances details

Isomorphic ChainHash Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Unary Methods project :: NoHardForks blk => ChainHash (HardForkBlock '[blk]) -> ChainHash blk Source # inject :: NoHardForks blk => ChainHash blk -> ChainHash (HardForkBlock '[blk]) Source #
StandardHash block => Eq (ChainHash block)
Instance details Defined in Ouroboros.Network.Block Methods (==) :: ChainHash block -> ChainHash block -> Bool # (/=) :: ChainHash block -> ChainHash block -> Bool #
StandardHash block => Ord (ChainHash block)
Instance details Defined in Ouroboros.Network.Block Methods compare :: ChainHash block -> ChainHash block -> Ordering # (<) :: ChainHash block -> ChainHash block -> Bool # (<=) :: ChainHash block -> ChainHash block -> Bool # (>) :: ChainHash block -> ChainHash block -> Bool # (>=) :: ChainHash block -> ChainHash block -> Bool # max :: ChainHash block -> ChainHash block -> ChainHash block # min :: ChainHash block -> ChainHash block -> ChainHash block #
StandardHash block => Show (ChainHash block)
Instance details Defined in Ouroboros.Network.Block Methods showsPrec :: Int -> ChainHash block -> ShowS # show :: ChainHash block -> String # showList :: [ChainHash block] -> ShowS #
Generic (ChainHash b)
Instance details Defined in Ouroboros.Network.Block Associated Types type Rep (ChainHash b) :: Type -> Type # Methods from :: ChainHash b -> Rep (ChainHash b) x # to :: Rep (ChainHash b) x -> ChainHash b #
(StandardHash block, Typeable block) => NoThunks (ChainHash block)
Instance details Defined in Ouroboros.Network.Block Methods noThunks :: Context -> ChainHash block -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> ChainHash block -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (ChainHash block) -> String Source #
Serialise (HeaderHash b) => Serialise (ChainHash b)
Instance details Defined in Ouroboros.Network.Block Methods encode :: ChainHash b -> Encoding Source # decode :: Decoder s (ChainHash b) Source # encodeList :: [ChainHash b] -> Encoding Source # decodeList :: Decoder s [ChainHash b] Source #
Condense (HeaderHash b) => Condense (ChainHash b) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: ChainHash b -> String Source #
type Rep (ChainHash b)
Instance details Defined in Ouroboros.Network.Block type Rep (ChainHash b) = D1 ('MetaData "ChainHash" "Ouroboros.Network.Block" "ouroboros-network-0.1.0.0-DgIBwCUrGXaLitNwqCfIcM" 'False) (C1 ('MetaCons "GenesisHash" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BlockHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HeaderHash b))))

class (StandardHash b, Measured BlockMeasure b, Typeable b) => HasHeader b where #

Methods

getHeaderFields :: b -> HeaderFields b #

Instances

Instances details

(StandardHash b, Typeable b) => HasHeader (HeaderFields b)
Instance details Defined in Ouroboros.Network.Block Methods getHeaderFields :: HeaderFields b -> HeaderFields (HeaderFields b) #
CanHardFork xs => HasHeader (Header (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods getHeaderFields :: Header (HardForkBlock xs) -> HeaderFields (Header (HardForkBlock xs)) #
CanHardFork xs => HasHeader (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods getHeaderFields :: HardForkBlock xs -> HeaderFields (HardForkBlock xs) #
Bridge m a => HasHeader (DualHeader m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods getHeaderFields :: DualHeader m a -> HeaderFields (DualHeader m a) #
Bridge m a => HasHeader (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods getHeaderFields :: DualBlock m a -> HeaderFields (DualBlock m a) #

data HeaderFields b #

Constructors

HeaderFields
Fields headerFieldSlot :: SlotNo headerFieldBlockNo :: BlockNo headerFieldHash :: HeaderHash b

Instances

Instances details

(StandardHash b, Typeable b) => Measured BlockMeasure (HeaderFields b)
Instance details Defined in Ouroboros.Network.Block Methods measure :: HeaderFields b -> BlockMeasure Source #
StandardHash b => Eq (HeaderFields b)
Instance details Defined in Ouroboros.Network.Block Methods (==) :: HeaderFields b -> HeaderFields b -> Bool # (/=) :: HeaderFields b -> HeaderFields b -> Bool #
StandardHash b => Ord (HeaderFields b)
Instance details Defined in Ouroboros.Network.Block Methods compare :: HeaderFields b -> HeaderFields b -> Ordering # (<) :: HeaderFields b -> HeaderFields b -> Bool # (<=) :: HeaderFields b -> HeaderFields b -> Bool # (>) :: HeaderFields b -> HeaderFields b -> Bool # (>=) :: HeaderFields b -> HeaderFields b -> Bool # max :: HeaderFields b -> HeaderFields b -> HeaderFields b # min :: HeaderFields b -> HeaderFields b -> HeaderFields b #
StandardHash b => Show (HeaderFields b)
Instance details Defined in Ouroboros.Network.Block Methods showsPrec :: Int -> HeaderFields b -> ShowS # show :: HeaderFields b -> String # showList :: [HeaderFields b] -> ShowS #
Generic (HeaderFields b)
Instance details Defined in Ouroboros.Network.Block Associated Types type Rep (HeaderFields b) :: Type -> Type # Methods from :: HeaderFields b -> Rep (HeaderFields b) x # to :: Rep (HeaderFields b) x -> HeaderFields b #
Serialise (HeaderHash b) => Serialise (HeaderFields b)
Instance details Defined in Ouroboros.Network.Block Methods encode :: HeaderFields b -> Encoding Source # decode :: Decoder s (HeaderFields b) Source # encodeList :: [HeaderFields b] -> Encoding Source # decodeList :: Decoder s [HeaderFields b] Source #
(StandardHash b, Typeable b) => HasHeader (HeaderFields b)
Instance details Defined in Ouroboros.Network.Block Methods getHeaderFields :: HeaderFields b -> HeaderFields (HeaderFields b) #
StandardHash b => StandardHash (HeaderFields b)
Instance details Defined in Ouroboros.Network.Block
type Rep (HeaderFields b)
Instance details Defined in Ouroboros.Network.Block type Rep (HeaderFields b) = D1 ('MetaData "HeaderFields" "Ouroboros.Network.Block" "ouroboros-network-0.1.0.0-DgIBwCUrGXaLitNwqCfIcM" 'False) (C1 ('MetaCons "HeaderFields" 'PrefixI 'True) (S1 ('MetaSel ('Just "headerFieldSlot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo) :: (S1 ('MetaSel ('Just "headerFieldBlockNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockNo) :: S1 ('MetaSel ('Just "headerFieldHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HeaderHash b)))))
type HeaderHash (HeaderFields b)
Instance details Defined in Ouroboros.Network.Block type HeaderHash (HeaderFields b) = HeaderHash b

type family HeaderHash b #

Instances

Instances details

type HeaderHash (HeaderFields b)
Instance details Defined in Ouroboros.Network.Block type HeaderHash (HeaderFields b) = HeaderHash b
type HeaderHash (Serialised block)
Instance details Defined in Ouroboros.Network.Block type HeaderHash (Serialised block) = HeaderHash block
type HeaderHash (Ticked l) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Basics type HeaderHash (Ticked l) = HeaderHash l
type HeaderHash (Header blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.Abstract type HeaderHash (Header blk) = HeaderHash blk
type HeaderHash (LedgerState blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Basics type HeaderHash (LedgerState blk) = HeaderHash blk
type HeaderHash (ExtLedgerState blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended type HeaderHash (ExtLedgerState blk) = HeaderHash (LedgerState blk)
type HeaderHash (SerialisedHeader blk) Source #	Only needed for the `ChainSyncServer`
Instance details Defined in Ouroboros.Consensus.Storage.Serialisation type HeaderHash (SerialisedHeader blk) = HeaderHash blk
type HeaderHash (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics type HeaderHash (HardForkBlock xs) = OneEraHash xs
type HeaderHash (LedgerDB l r) Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.InMemory type HeaderHash (LedgerDB l r) = HeaderHash l
type HeaderHash (WithPoint blk b) Source #
Instance details Defined in Ouroboros.Consensus.Storage.ChainDB.API type HeaderHash (WithPoint blk b) = HeaderHash blk
type HeaderHash (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual type HeaderHash (DualBlock m a) = HeaderHash m

data Point block where #

Bundled Patterns

pattern GenesisPoint :: Point block
pattern BlockPoint :: SlotNo -> HeaderHash block -> Point block

Instances

Instances details

StandardHash block => Eq (Point block)
Instance details Defined in Ouroboros.Network.Block Methods (==) :: Point block -> Point block -> Bool # (/=) :: Point block -> Point block -> Bool #
StandardHash block => Ord (Point block)
Instance details Defined in Ouroboros.Network.Block Methods compare :: Point block -> Point block -> Ordering # (<) :: Point block -> Point block -> Bool # (<=) :: Point block -> Point block -> Bool # (>) :: Point block -> Point block -> Bool # (>=) :: Point block -> Point block -> Bool # max :: Point block -> Point block -> Point block # min :: Point block -> Point block -> Point block #
StandardHash block => Show (Point block)
Instance details Defined in Ouroboros.Network.Block Methods showsPrec :: Int -> Point block -> ShowS # show :: Point block -> String # showList :: [Point block] -> ShowS #
Generic (Point block)
Instance details Defined in Ouroboros.Network.Block Associated Types type Rep (Point block) :: Type -> Type # Methods from :: Point block -> Rep (Point block) x # to :: Rep (Point block) x -> Point block #
StandardHash block => NoThunks (Point block)
Instance details Defined in Ouroboros.Network.Block Methods noThunks :: Context -> Point block -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> Point block -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (Point block) -> String Source #
Serialise (HeaderHash block) => Serialise (Point block)
Instance details Defined in Ouroboros.Network.Block Methods encode :: Point block -> Encoding Source # decode :: Decoder s (Point block) Source # encodeList :: [Point block] -> Encoding Source # decodeList :: Decoder s [Point block] Source #
Condense (HeaderHash block) => Condense (Point block) Source #
Instance details Defined in Ouroboros.Consensus.Util.Orphans Methods condense :: Point block -> String Source #
ShowProxy block => ShowProxy (Point block :: Type)
Instance details Defined in Ouroboros.Network.Block Methods showProxy :: Proxy (Point block) -> String Source #
type Rep (Point block)
Instance details Defined in Ouroboros.Network.Block type Rep (Point block) = D1 ('MetaData "Point" "Ouroboros.Network.Block" "ouroboros-network-0.1.0.0-DgIBwCUrGXaLitNwqCfIcM" 'True) (C1 ('MetaCons "Point" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPoint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WithOrigin (Block SlotNo (HeaderHash block))))))

pointHash :: Point block -> ChainHash block #

pointSlot :: Point block -> WithOrigin SlotNo #

class (Eq (HeaderHash b), Ord (HeaderHash b), Show (HeaderHash b), Typeable (HeaderHash b), NoThunks (HeaderHash b)) => StandardHash b #

Instances

Instances details

StandardHash b => StandardHash (HeaderFields b)
Instance details Defined in Ouroboros.Network.Block
StandardHash block => StandardHash (Serialised block)
Instance details Defined in Ouroboros.Network.Block
HasHeader blk => StandardHash (Header blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.Abstract
StandardHash blk => StandardHash (SerialisedHeader blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.Serialisation
CanHardFork xs => StandardHash (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block
StandardHash blk => StandardHash (WithPoint blk b) Source #
Instance details Defined in Ouroboros.Consensus.Storage.ChainDB.API
StandardHash m => StandardHash (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual

Re-export basic definitions from `cardano-base`

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
Instance details Defined in Cardano.Slotting.Block Methods minBound :: BlockNo # maxBound :: BlockNo #
Enum BlockNo
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
Instance details Defined in Cardano.Slotting.Block Methods (==) :: BlockNo -> BlockNo -> Bool # (/=) :: BlockNo -> BlockNo -> Bool #
Num BlockNo
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
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
Instance details Defined in Cardano.Slotting.Block Methods showsPrec :: Int -> BlockNo -> ShowS # show :: BlockNo -> String # showList :: [BlockNo] -> ShowS #
Generic BlockNo
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
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
Instance details Defined in Cardano.Slotting.Block Methods fromCBOR :: Decoder s BlockNo Source # label :: Proxy BlockNo -> Text Source #
NoThunks BlockNo
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
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 #
Condense BlockNo Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: BlockNo -> String Source #
type Rep BlockNo
Instance details Defined in Cardano.Slotting.Block type Rep BlockNo = D1 ('MetaData "BlockNo" "Cardano.Slotting.Block" "cardano-slotting-0.1.0.0-H21nBdelt3gCHGeqsQWafy" 'True) (C1 ('MetaCons "BlockNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBlockNo") '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

Enum EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods succ :: EpochNo -> EpochNo # pred :: EpochNo -> EpochNo # toEnum :: Int -> EpochNo # fromEnum :: EpochNo -> Int # enumFrom :: EpochNo -> [EpochNo] # enumFromThen :: EpochNo -> EpochNo -> [EpochNo] # enumFromTo :: EpochNo -> EpochNo -> [EpochNo] # enumFromThenTo :: EpochNo -> EpochNo -> EpochNo -> [EpochNo] #
Eq EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods (==) :: EpochNo -> EpochNo -> Bool # (/=) :: EpochNo -> EpochNo -> Bool #
Num EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods (+) :: EpochNo -> EpochNo -> EpochNo # (-) :: EpochNo -> EpochNo -> EpochNo # (*) :: EpochNo -> EpochNo -> EpochNo # negate :: EpochNo -> EpochNo # abs :: EpochNo -> EpochNo # signum :: EpochNo -> EpochNo # fromInteger :: Integer -> EpochNo #
Ord EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods compare :: EpochNo -> EpochNo -> Ordering # (<) :: EpochNo -> EpochNo -> Bool # (<=) :: EpochNo -> EpochNo -> Bool # (>) :: EpochNo -> EpochNo -> Bool # (>=) :: EpochNo -> EpochNo -> Bool # max :: EpochNo -> EpochNo -> EpochNo # min :: EpochNo -> EpochNo -> EpochNo #
Show EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods showsPrec :: Int -> EpochNo -> ShowS # show :: EpochNo -> String # showList :: [EpochNo] -> ShowS #
Generic EpochNo
Instance details Defined in Cardano.Slotting.Slot Associated Types type Rep EpochNo :: Type -> Type # Methods from :: EpochNo -> Rep EpochNo x # to :: Rep EpochNo x -> EpochNo #
ToJSON EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods toJSON :: EpochNo -> Value Source # toEncoding :: EpochNo -> Encoding Source # toJSONList :: [EpochNo] -> Value Source # toEncodingList :: [EpochNo] -> Encoding Source #
FromJSON EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods parseJSON :: Value -> Parser EpochNo Source # parseJSONList :: Value -> Parser [EpochNo] 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 #
FromCBOR EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods fromCBOR :: Decoder s EpochNo Source # label :: Proxy EpochNo -> Text Source #
NoThunks EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods noThunks :: Context -> EpochNo -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> EpochNo -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy EpochNo -> String Source #
Serialise EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods encode :: EpochNo -> Encoding Source # decode :: Decoder s EpochNo Source # encodeList :: [EpochNo] -> Encoding Source # decodeList :: Decoder s [EpochNo] Source #
Condense EpochNo Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: EpochNo -> String Source #
type Rep EpochNo
Instance details Defined in Cardano.Slotting.Slot type Rep EpochNo = D1 ('MetaData "EpochNo" "Cardano.Slotting.Slot" "cardano-slotting-0.1.0.0-H21nBdelt3gCHGeqsQWafy" 'True) (C1 ('MetaCons "EpochNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

newtype EpochSize Source #

Constructors

EpochSize
Fields unEpochSize :: Word64

Instances

Instances details

Enum EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods succ :: EpochSize -> EpochSize # pred :: EpochSize -> EpochSize # toEnum :: Int -> EpochSize # fromEnum :: EpochSize -> Int # enumFrom :: EpochSize -> [EpochSize] # enumFromThen :: EpochSize -> EpochSize -> [EpochSize] # enumFromTo :: EpochSize -> EpochSize -> [EpochSize] # enumFromThenTo :: EpochSize -> EpochSize -> EpochSize -> [EpochSize] #
Eq EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods (==) :: EpochSize -> EpochSize -> Bool # (/=) :: EpochSize -> EpochSize -> Bool #
Integral EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods quot :: EpochSize -> EpochSize -> EpochSize # rem :: EpochSize -> EpochSize -> EpochSize # div :: EpochSize -> EpochSize -> EpochSize # mod :: EpochSize -> EpochSize -> EpochSize # quotRem :: EpochSize -> EpochSize -> (EpochSize, EpochSize) # divMod :: EpochSize -> EpochSize -> (EpochSize, EpochSize) # toInteger :: EpochSize -> Integer #
Num EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods (+) :: EpochSize -> EpochSize -> EpochSize # (-) :: EpochSize -> EpochSize -> EpochSize # (*) :: EpochSize -> EpochSize -> EpochSize # negate :: EpochSize -> EpochSize # abs :: EpochSize -> EpochSize # signum :: EpochSize -> EpochSize # fromInteger :: Integer -> EpochSize #
Ord EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods compare :: EpochSize -> EpochSize -> Ordering # (<) :: EpochSize -> EpochSize -> Bool # (<=) :: EpochSize -> EpochSize -> Bool # (>) :: EpochSize -> EpochSize -> Bool # (>=) :: EpochSize -> EpochSize -> Bool # max :: EpochSize -> EpochSize -> EpochSize # min :: EpochSize -> EpochSize -> EpochSize #
Real EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods toRational :: EpochSize -> Rational #
Show EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods showsPrec :: Int -> EpochSize -> ShowS # show :: EpochSize -> String # showList :: [EpochSize] -> ShowS #
Generic EpochSize
Instance details Defined in Cardano.Slotting.Slot Associated Types type Rep EpochSize :: Type -> Type # Methods from :: EpochSize -> Rep EpochSize x # to :: Rep EpochSize x -> EpochSize #
ToJSON EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods toJSON :: EpochSize -> Value Source # toEncoding :: EpochSize -> Encoding Source # toJSONList :: [EpochSize] -> Value Source # toEncodingList :: [EpochSize] -> Encoding Source #
FromJSON EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods parseJSON :: Value -> Parser EpochSize Source # parseJSONList :: Value -> Parser [EpochSize] Source #
NoThunks EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods noThunks :: Context -> EpochSize -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> EpochSize -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy EpochSize -> String Source #
type Rep EpochSize
Instance details Defined in Cardano.Slotting.Slot type Rep EpochSize = D1 ('MetaData "EpochSize" "Cardano.Slotting.Slot" "cardano-slotting-0.1.0.0-H21nBdelt3gCHGeqsQWafy" 'True) (C1 ('MetaCons "EpochSize" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

fromWithOrigin :: t -> WithOrigin t -> t Source #

newtype SlotNo Source #

The 0-based index for the Ourboros time slot.

Constructors

SlotNo
Fields unSlotNo :: Word64

Instances

Instances details

Bounded SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods minBound :: SlotNo # maxBound :: SlotNo #
Enum SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods succ :: SlotNo -> SlotNo # pred :: SlotNo -> SlotNo # toEnum :: Int -> SlotNo # fromEnum :: SlotNo -> Int # enumFrom :: SlotNo -> [SlotNo] # enumFromThen :: SlotNo -> SlotNo -> [SlotNo] # enumFromTo :: SlotNo -> SlotNo -> [SlotNo] # enumFromThenTo :: SlotNo -> SlotNo -> SlotNo -> [SlotNo] #
Eq SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods (==) :: SlotNo -> SlotNo -> Bool # (/=) :: SlotNo -> SlotNo -> Bool #
Num SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods (+) :: SlotNo -> SlotNo -> SlotNo # (-) :: SlotNo -> SlotNo -> SlotNo # (*) :: SlotNo -> SlotNo -> SlotNo # negate :: SlotNo -> SlotNo # abs :: SlotNo -> SlotNo # signum :: SlotNo -> SlotNo # fromInteger :: Integer -> SlotNo #
Ord SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods compare :: SlotNo -> SlotNo -> Ordering # (<) :: SlotNo -> SlotNo -> Bool # (<=) :: SlotNo -> SlotNo -> Bool # (>) :: SlotNo -> SlotNo -> Bool # (>=) :: SlotNo -> SlotNo -> Bool # max :: SlotNo -> SlotNo -> SlotNo # min :: SlotNo -> SlotNo -> SlotNo #
Show SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods showsPrec :: Int -> SlotNo -> ShowS # show :: SlotNo -> String # showList :: [SlotNo] -> ShowS #
Generic SlotNo
Instance details Defined in Cardano.Slotting.Slot Associated Types type Rep SlotNo :: Type -> Type # Methods from :: SlotNo -> Rep SlotNo x # to :: Rep SlotNo x -> SlotNo #
NFData SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods rnf :: SlotNo -> () #
ToJSON SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods toJSON :: SlotNo -> Value Source # toEncoding :: SlotNo -> Encoding Source # toJSONList :: [SlotNo] -> Value Source # toEncodingList :: [SlotNo] -> Encoding Source #
FromJSON SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods parseJSON :: Value -> Parser SlotNo Source # parseJSONList :: Value -> Parser [SlotNo] 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 #
FromCBOR SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods fromCBOR :: Decoder s SlotNo Source # label :: Proxy SlotNo -> Text Source #
NoThunks SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods noThunks :: Context -> SlotNo -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> SlotNo -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy SlotNo -> String Source #
Serialise SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods encode :: SlotNo -> Encoding Source # decode :: Decoder s SlotNo Source # encodeList :: [SlotNo] -> Encoding Source # decodeList :: Decoder s [SlotNo] Source #
Condense SlotNo Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: SlotNo -> String Source #
type Rep SlotNo
Instance details Defined in Cardano.Slotting.Slot type Rep SlotNo = D1 ('MetaData "SlotNo" "Cardano.Slotting.Slot" "cardano-slotting-0.1.0.0-H21nBdelt3gCHGeqsQWafy" 'True) (C1 ('MetaCons "SlotNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSlotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

withOrigin :: b -> (t -> b) -> WithOrigin t -> b Source #

withOriginFromMaybe :: Maybe t -> WithOrigin t Source #

data WithOrigin t Source #

Constructors

Origin

Bundled Patterns

pattern NotOrigin :: t -> WithOrigin t

Custom pattern for WithOrigin

This avoids clashing with our (extensive) use of At for testing.

Instances

Instances details

Functor WithOrigin
Instance details Defined in Cardano.Slotting.Slot Methods fmap :: (a -> b) -> WithOrigin a -> WithOrigin b # (<$) :: a -> WithOrigin b -> WithOrigin a #
Foldable WithOrigin
Instance details Defined in Cardano.Slotting.Slot Methods fold :: Monoid m => WithOrigin m -> m # foldMap :: Monoid m => (a -> m) -> WithOrigin a -> m # foldMap' :: Monoid m => (a -> m) -> WithOrigin a -> m # foldr :: (a -> b -> b) -> b -> WithOrigin a -> b # foldr' :: (a -> b -> b) -> b -> WithOrigin a -> b # foldl :: (b -> a -> b) -> b -> WithOrigin a -> b # foldl' :: (b -> a -> b) -> b -> WithOrigin a -> b # foldr1 :: (a -> a -> a) -> WithOrigin a -> a # foldl1 :: (a -> a -> a) -> WithOrigin a -> a # toList :: WithOrigin a -> [a] # null :: WithOrigin a -> Bool # length :: WithOrigin a -> Int # elem :: Eq a => a -> WithOrigin a -> Bool # maximum :: Ord a => WithOrigin a -> a # minimum :: Ord a => WithOrigin a -> a # sum :: Num a => WithOrigin a -> a # product :: Num a => WithOrigin a -> a #
Traversable WithOrigin
Instance details Defined in Cardano.Slotting.Slot Methods traverse :: Applicative f => (a -> f b) -> WithOrigin a -> f (WithOrigin b) # sequenceA :: Applicative f => WithOrigin (f a) -> f (WithOrigin a) # mapM :: Monad m => (a -> m b) -> WithOrigin a -> m (WithOrigin b) # sequence :: Monad m => WithOrigin (m a) -> m (WithOrigin a) #
Eq t => Eq (WithOrigin t)
Instance details Defined in Cardano.Slotting.Slot Methods (==) :: WithOrigin t -> WithOrigin t -> Bool # (/=) :: WithOrigin t -> WithOrigin t -> Bool #
Ord t => Ord (WithOrigin t)
Instance details Defined in Cardano.Slotting.Slot Methods compare :: WithOrigin t -> WithOrigin t -> Ordering # (<) :: WithOrigin t -> WithOrigin t -> Bool # (<=) :: WithOrigin t -> WithOrigin t -> Bool # (>) :: WithOrigin t -> WithOrigin t -> Bool # (>=) :: WithOrigin t -> WithOrigin t -> Bool # max :: WithOrigin t -> WithOrigin t -> WithOrigin t # min :: WithOrigin t -> WithOrigin t -> WithOrigin t #
Show t => Show (WithOrigin t)
Instance details Defined in Cardano.Slotting.Slot Methods showsPrec :: Int -> WithOrigin t -> ShowS # show :: WithOrigin t -> String # showList :: [WithOrigin t] -> ShowS #
Generic (WithOrigin t)
Instance details Defined in Cardano.Slotting.Slot Associated Types type Rep (WithOrigin t) :: Type -> Type # Methods from :: WithOrigin t -> Rep (WithOrigin t) x # to :: Rep (WithOrigin t) x -> WithOrigin t #
(Serialise t, Typeable t) => ToCBOR (WithOrigin t)
Instance details Defined in Cardano.Slotting.Slot Methods toCBOR :: WithOrigin t -> Encoding Source # encodedSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy (WithOrigin t) -> Size Source # encodedListSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy [WithOrigin t] -> Size Source #
(Serialise t, Typeable t) => FromCBOR (WithOrigin t)
Instance details Defined in Cardano.Slotting.Slot Methods fromCBOR :: Decoder s (WithOrigin t) Source # label :: Proxy (WithOrigin t) -> Text Source #
NoThunks t => NoThunks (WithOrigin t)
Instance details Defined in Cardano.Slotting.Slot Methods noThunks :: Context -> WithOrigin t -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> WithOrigin t -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (WithOrigin t) -> String Source #
Serialise t => Serialise (WithOrigin t)
Instance details Defined in Cardano.Slotting.Slot Methods encode :: WithOrigin t -> Encoding Source # decode :: Decoder s (WithOrigin t) Source # encodeList :: [WithOrigin t] -> Encoding Source # decodeList :: Decoder s [WithOrigin t] Source #
Condense a => Condense (WithOrigin a) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: WithOrigin a -> String Source #
type Rep (WithOrigin t)
Instance details Defined in Cardano.Slotting.Slot type Rep (WithOrigin t) = D1 ('MetaData "WithOrigin" "Cardano.Slotting.Slot" "cardano-slotting-0.1.0.0-H21nBdelt3gCHGeqsQWafy" 'False) (C1 ('MetaCons "Origin" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "At" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 t)))

withOriginToMaybe :: WithOrigin t -> Maybe t Source #

Isomorphic Header Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Unary Methods project :: NoHardForks blk => Header (HardForkBlock '[blk]) -> Header blk Source # inject :: NoHardForks blk => Header blk -> Header (HardForkBlock '[blk]) Source #
HasHeader (Header blk) => Measured BlockMeasure (Header blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.Abstract Methods measure :: Header blk -> BlockMeasure Source #
Typeable xs => ShowProxy (Header (HardForkBlock xs) :: Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods showProxy :: Proxy (Header (HardForkBlock xs)) -> String Source #
CanHardFork xs => HasNestedContent Header (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods unnest :: Header (HardForkBlock xs) -> DepPair (NestedCtxt Header (HardForkBlock xs)) Source # nest :: DepPair (NestedCtxt Header (HardForkBlock xs)) -> Header (HardForkBlock xs) Source #
SerialiseHFC xs => ReconstructNestedCtxt Header (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods reconstructPrefixLen :: proxy (Header (HardForkBlock xs)) -> PrefixLen Source # reconstructNestedCtxt :: proxy (Header (HardForkBlock xs)) -> ShortByteString -> SizeInBytes -> SomeSecond (NestedCtxt Header) (HardForkBlock xs) Source #
(Typeable m, Typeable a) => ShowProxy (DualHeader m a :: Type) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showProxy :: Proxy (DualHeader m a) -> String Source #
HasNestedContent Header m => HasNestedContent Header (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods unnest :: Header (DualBlock m a) -> DepPair (NestedCtxt Header (DualBlock m a)) Source # nest :: DepPair (NestedCtxt Header (DualBlock m a)) -> Header (DualBlock m a) Source #
ReconstructNestedCtxt Header m => ReconstructNestedCtxt Header (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods reconstructPrefixLen :: proxy (Header (DualBlock m a)) -> PrefixLen Source # reconstructNestedCtxt :: proxy (Header (DualBlock m a)) -> ShortByteString -> SizeInBytes -> SomeSecond (NestedCtxt Header) (DualBlock m a) Source #
All (Compose Eq Header) xs => Eq (Header (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods (==) :: Header (HardForkBlock xs) -> Header (HardForkBlock xs) -> Bool # (/=) :: Header (HardForkBlock xs) -> Header (HardForkBlock xs) -> Bool #
CanHardFork xs => Show (Header (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods showsPrec :: Int -> Header (HardForkBlock xs) -> ShowS # show :: Header (HardForkBlock xs) -> String # showList :: [Header (HardForkBlock xs)] -> ShowS #
NoThunks (Header (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks :: Context -> Header (DualBlock m a) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> Header (DualBlock m a) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (Header (DualBlock m a)) -> String Source #
CanHardFork xs => NoThunks (Header (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods noThunks :: Context -> Header (HardForkBlock xs) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> Header (HardForkBlock xs) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (Header (HardForkBlock xs)) -> String Source #
CanHardFork xs => HasHeader (Header (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods getHeaderFields :: Header (HardForkBlock xs) -> HeaderFields (Header (HardForkBlock xs)) #
HasHeader blk => StandardHash (Header blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.Abstract
All CondenseConstraints xs => Condense (Header (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Condense Methods condense :: Header (HardForkBlock xs) -> String Source #
SerialiseHFC xs => DecodeDiskDep (NestedCtxt Header) (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods decodeDiskDep :: CodecConfig (HardForkBlock xs) -> NestedCtxt Header (HardForkBlock xs) a -> forall s. Decoder s (ByteString -> a) Source #
SerialiseHFC xs => DecodeDiskDepIx (NestedCtxt Header) (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods decodeDiskDepIx :: CodecConfig (HardForkBlock xs) -> Decoder s (SomeSecond (NestedCtxt Header) (HardForkBlock xs)) Source #
SerialiseHFC xs => EncodeDiskDep (NestedCtxt Header) (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods encodeDiskDep :: CodecConfig (HardForkBlock xs) -> NestedCtxt Header (HardForkBlock xs) a -> a -> Encoding Source #
SerialiseHFC xs => EncodeDiskDepIx (NestedCtxt Header) (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods encodeDiskDepIx :: CodecConfig (HardForkBlock xs) -> SomeSecond (NestedCtxt Header) (HardForkBlock xs) -> Encoding Source #
SerialiseHFC xs => SerialiseNodeToNode (HardForkBlock xs) (Header (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode Methods encodeNodeToNode :: CodecConfig (HardForkBlock xs) -> BlockNodeToNodeVersion (HardForkBlock xs) -> Header (HardForkBlock xs) -> Encoding Source # decodeNodeToNode :: CodecConfig (HardForkBlock xs) -> BlockNodeToNodeVersion (HardForkBlock xs) -> forall s. Decoder s (Header (HardForkBlock xs)) Source #
EncodeDiskDep (NestedCtxt Header) m => EncodeDiskDep (NestedCtxt Header) (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods encodeDiskDep :: CodecConfig (DualBlock m a) -> NestedCtxt Header (DualBlock m a) a0 -> a0 -> Encoding Source #
EncodeDiskDepIx (NestedCtxt Header) m => EncodeDiskDepIx (NestedCtxt Header) (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods encodeDiskDepIx :: CodecConfig (DualBlock m a) -> SomeSecond (NestedCtxt Header) (DualBlock m a) -> Encoding Source #
Show (Header m) => Show (DualHeader m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showsPrec :: Int -> DualHeader m a -> ShowS # show :: DualHeader m a -> String # showList :: [DualHeader m a] -> ShowS #
Bridge m a => HasHeader (DualHeader m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods getHeaderFields :: DualHeader m a -> HeaderFields (DualHeader m a) #
CanHardFork xs => SameDepIndex (NestedCtxt_ (HardForkBlock xs) Header) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods sameDepIndex :: NestedCtxt_ (HardForkBlock xs) Header a -> NestedCtxt_ (HardForkBlock xs) Header b -> Maybe (a :~: b) Source #
All SingleEraBlock xs => Show (NestedCtxt_ (HardForkBlock xs) Header a) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods showsPrec :: Int -> NestedCtxt_ (HardForkBlock xs) Header a -> ShowS # show :: NestedCtxt_ (HardForkBlock xs) Header a -> String # showList :: [NestedCtxt_ (HardForkBlock xs) Header a] -> ShowS #
type HeaderHash (Header blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.Abstract type HeaderHash (Header blk) = HeaderHash blk
newtype Header (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block newtype Header (HardForkBlock xs) = HardForkHeader { getHardForkHeader :: OneEraHeader xs }
type BlockProtocol (Header blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.Abstract type BlockProtocol (Header blk) = BlockProtocol blk
newtype Header (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual newtype Header (DualBlock m a) = DualHeader { dualHeaderMain :: Header m }

Protocol

Instances

Configuration

Instances

Instances

Instances

Previous hash

Instances

Working with headers

Instances

Instances

Raw hash

Instances

Utilities for working with WithOrigin

Re-export basic definitions from ouroboros-network

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Re-export basic definitions from cardano-base

Instances

Instances

Instances

Instances

Instances

Re-export basic definitions from `ouroboros-network`

Re-export basic definitions from `cardano-base`