Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Block.Abstract

9 types
6 classes
23 values

Packageouroboros-consensus-4.2.1.0
Exports47
LicenceApache-2.0

valuefromWithOrigin :: t -> WithOrigin t -> t

valuewithOrigin :: b -> (t -> b) -> WithOrigin t -> b

valuewithOriginFromMaybe :: Maybe t -> WithOrigin t

valuewithOriginToMaybe :: WithOrigin t -> Maybe t

valueblockIsEBB :: GetHeader blk => blk -> Maybe EpochNo

valueblockPrevHash :: GetPrevHash blk => blk -> ChainHash blk

valueblockToIsEBB :: GetHeader blk => blk -> IsEBB

valuedecodeRawHash

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

valueencodeRawHash

:: ConvertRawHash blk
=> proxy blk
-> HeaderHash blk
-> Encoding

valuegetBlockHeaderFields :: GetHeader blk => blk -> HeaderFields blk

valueheaderHash :: HasHeader (Header blk) => Header blk -> HeaderHash blk

valueheaderPoint :: HasHeader (Header blk) => Header blk -> Point blk

valueheaderToIsEBB :: GetHeader blk => Header blk -> IsEBB

valuesuccWithOrigin :: (Bounded t, Enum t) => WithOrigin t -> t

valueblockHash :: HasHeader b => b -> HeaderHash b

valueblockNo :: HasHeader b => b -> BlockNo

valueblockPoint :: HasHeader block => block -> Point block

valueblockSlot :: HasHeader b => b -> SlotNo

valuecastHash

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

valuecastHeaderFields

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

valuecastPoint :: Coercible (HeaderHash b) (HeaderHash b') => Point b -> Point b'

valuepointHash :: Point block -> ChainHash block

valuepointSlot :: Point block -> WithOrigin SlotNo

newtypenewtype BlockNo

Constructors

BlockNo
- unBlockNo :: Word64

Instances18Bounded, Enum, Eq, Num, Ord, Show, …

Bounded BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Block
Enum BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Block
Eq BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Block
Num BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Block
Ord BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Block
Show BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Block
Generic BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Block
NFData BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Block
FromJSON BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Block
ToJSON BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Block
Serialise BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Block
NoThunks BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Block
FromCBOR BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Block
ToCBOR BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Block
DecCBOR BlockNoDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
EncCBOR BlockNoDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
Condense BlockNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.Condense
type Rep BlockNo = D1 ('MetaData "BlockNo" "Cardano.Slotting.Block" "cardano-slotting-0.2.2.0-BzlFk4pU5l69Qn8jbrAsSL" 'True) (C1 ('MetaCons "BlockNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBlockNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Block

newtypenewtype EpochNo

Constructors

EpochNo
- unEpochNo :: Word64

Instances16Enum, Eq, Ord, Show, Generic, NFData, …

Enum EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Eq EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Ord EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Show EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Generic EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
NFData EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
FromJSON EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
ToJSON EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Serialise EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
NoThunks EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
FromCBOR EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
ToCBOR EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
DecCBOR EpochNoDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
EncCBOR EpochNoDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
Condense EpochNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.Condense
type Rep EpochNo = D1 ('MetaData "EpochNo" "Cardano.Slotting.Slot" "cardano-slotting-0.2.2.0-BzlFk4pU5l69Qn8jbrAsSL" 'True) (C1 ('MetaCons "EpochNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot

newtypenewtype EpochSize

Constructors

EpochSize
- unEpochSize :: Word64

Instances14Enum, Eq, Ord, Show, Generic, NFData, …

Enum EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Eq EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Ord EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Show EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Generic EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
NFData EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
FromJSON EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
ToJSON EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
NoThunks EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
FromCBOR EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
ToCBOR EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
DecCBOR EpochSizeDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
EncCBOR EpochSizeDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
type Rep EpochSize = D1 ('MetaData "EpochSize" "Cardano.Slotting.Slot" "cardano-slotting-0.2.2.0-BzlFk4pU5l69Qn8jbrAsSL" 'True) (C1 ('MetaCons "EpochSize" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot

newtypenewtype SlotNo

Constructors

SlotNo
- unSlotNo :: Word64

Instances21Bounded, Enum, Eq, Num, Ord, Show, …

Bounded SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Enum SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Eq SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Num SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Ord SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Show SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Generic SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
NFData SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
FromJSON SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
ToJSON SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Serialise SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
NoThunks SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
FromCBOR SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
ToCBOR SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
DecCBOR SlotNoDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
EncCBOR SlotNoDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
Condense SlotNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.Condense
SerialiseHFC xs => SerialiseNodeToClient (HardForkBlock xs) SlotNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient · orphan
Anchorable (WithOrigin SlotNo) (HeaderStateWithTime blk) (HeaderStateWithTime blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderStateHistory
GetTip (l blk) => Anchorable (WithOrigin SlotNo) (StateRef m l blk) (StateRef m l blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.V2.LedgerSeq
type Rep SlotNo = D1 ('MetaData "SlotNo" "Cardano.Slotting.Slot" "cardano-slotting-0.2.2.0-BzlFk4pU5l69Qn8jbrAsSL" 'True) (C1 ('MetaCons "SlotNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSlotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot

datadata WithOrigin t

Origin

Instances21Functor, Foldable, Traversable, Bounded, Eq, Ord, …

Functor WithOriginDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Foldable WithOriginDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Traversable WithOriginDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Bounded t => Bounded (WithOrigin t)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Eq t => Eq (WithOrigin t)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Ord t => Ord (WithOrigin t)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Show t => Show (WithOrigin t)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Generic (WithOrigin t)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
NFData a => NFData (WithOrigin a)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
FromJSON a => FromJSON (WithOrigin a)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
ToJSON a => ToJSON (WithOrigin a)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Serialise t => Serialise (WithOrigin t)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
NoThunks t => NoThunks (WithOrigin t)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
(Serialise t, Typeable t) => FromCBOR (WithOrigin t)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
(Serialise t, Typeable t) => ToCBOR (WithOrigin t)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
(Serialise t, Typeable t) => DecCBOR (WithOrigin t)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
Serialise t => EncCBOR (WithOrigin t)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
Condense a => Condense (WithOrigin a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.Condense
Anchorable (WithOrigin SlotNo) (HeaderStateWithTime blk) (HeaderStateWithTime blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderStateHistory
GetTip (l blk) => Anchorable (WithOrigin SlotNo) (StateRef m l blk) (StateRef m l blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.V2.LedgerSeq
type Rep (WithOrigin t) = D1 ('MetaData "WithOrigin" "Cardano.Slotting.Slot" "cardano-slotting-0.2.2.0-BzlFk4pU5l69Qn8jbrAsSL" 'False) (C1 ('MetaCons "Origin" 'PrefixI 'False) U1 :+: C1 ('MetaCons "At" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 t)))Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot

patternpattern NotOrigin :: t -> WithOrigin t

data familydata family BlockConfig blk

Instances7Isomorphic, NoThunks, BlockConfig, …

Isomorphic BlockConfigDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
NoThunks (BlockConfig (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => NoThunks (BlockConfig (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
data BlockConfig (DisableDiffusionPipelining blk)
- DisableDiffusionPipeliningBlockConfig (BlockConfig blk)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
data BlockConfig (SelectViewDiffusionPipelining blk)
- SelectViewDiffusionPipeliningBlockConfig (BlockConfig blk)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
data BlockConfig (HardForkBlock xs)
- HardForkBlockConfighardForkBlockConfigPerEra :: PerEraBlockConfig xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
data BlockConfig (DualBlock m a)
- DualBlockConfigdualBlockConfigMain :: BlockConfig mdualBlockConfigAux :: BlockConfig a
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

familytype family BlockProtocol blk

Instances3BlockProtocol

type BlockProtocol (Header blk) = BlockProtocol blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
type BlockProtocol (HardForkBlock xs) = HardForkProtocol xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
type BlockProtocol (DualBlock m a) = BlockProtocol mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

data familydata family CodecConfig blk

Instances7Isomorphic, Generic, NoThunks, Rep, CodecConfig, …

Isomorphic CodecConfigDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
Generic (CodecConfig (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => NoThunks (CodecConfig (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
(NoThunks (CodecConfig m), NoThunks (CodecConfig a)) => NoThunks (CodecConfig (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type Rep (CodecConfig (DualBlock m a)) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" '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))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
data CodecConfig (HardForkBlock xs)
- HardForkCodecConfighardForkCodecConfigPerEra :: PerEraCodecConfig xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
data CodecConfig (DualBlock m a)
- DualCodecConfigdualCodecConfigMain :: !CodecConfig mdualCodecConfigAux :: !CodecConfig a
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

classclass KnownNat (HashSize blk) => ConvertRawHash blk where

Associated types

type family HashSize blk :: Nat

Methods

toRawHash :: proxy blk -> HeaderHash blk -> ByteString
toShortRawHash :: proxy blk -> HeaderHash blk -> ShortByteString
fromRawHash :: proxy blk -> ByteString -> Maybe (HeaderHash blk)
fromShortRawHash :: proxy blk -> ShortByteString -> Maybe (HeaderHash blk)
unsafeFromRawHash :: proxy blk -> ByteString -> HeaderHash blk
unsafeFromShortRawHash :: proxy blk -> ShortByteString -> HeaderHash blk
hashSize :: proxy blk -> Word32

Instances2ConvertRawHash

CanHardFork xs => ConvertRawHash (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
ConvertRawHash m => ConvertRawHash (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

newtypenewtype GenesisWindow

Constructors

GenesisWindow
- unGenesisWindow :: Word64

Instances5Eq, Num, Ord, Show, NoThunks

Eq GenesisWindowDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
Num GenesisWindowDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
Ord GenesisWindowDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
Show GenesisWindowDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
NoThunks GenesisWindowDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract

classclass HasHeader (Header blk) => GetHeader blk where

Methods

getHeader :: blk -> Header blk
blockMatchesHeader :: Header blk -> blk -> Bool
headerIsEBB :: Header blk -> Maybe EpochNo

Instances2GetHeader

CanHardFork xs => GetHeader (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
Bridge m a => GetHeader (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

classclass GetHeader1 (t :: Type -> Type) where

Methods

getHeader1 :: t blk -> Header blk

Instances2GetHeader1

GetHeader1 HeaderDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
GetHeader1 HeaderWithTimeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation

classclass (HasHeader blk, GetHeader blk) => GetPrevHash blk where

Methods

headerPrevHash :: Header blk -> ChainHash blk

Instances2GetPrevHash

CanHardFork xs => GetPrevHash (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
Bridge m a => GetPrevHash (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

data familydata family Header blk

Instances33GetHeader1, Inject, Isomorphic, StandardHash, ShowProxy, HasNestedContent, …

GetHeader1 HeaderDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
Inject HeaderDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Nary
Isomorphic HeaderDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
StandardHash blk => StandardHash (Header blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
Typeable xs => ShowProxy (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
CanHardFork xs => HasNestedContent Header (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
SerialiseHFC xs => ReconstructNestedCtxt Header (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
(Typeable m, Typeable a) => ShowProxy (DualHeader m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
HasNestedContent Header m => HasNestedContent Header (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => SameDepIndex (NestedCtxt_ (HardForkBlock xs) Header)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
ReconstructNestedCtxt Header m => ReconstructNestedCtxt Header (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
All (Compose Eq Header) xs => Eq (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
CanHardFork xs => Show (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
NoThunks (Header (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => NoThunks (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
CanHardFork xs => HasHeader (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
All CondenseConstraints xs => Condense (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Condense · orphan
SerialiseHFC xs => DecodeDiskDep (NestedCtxt Header) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
SerialiseHFC xs => DecodeDiskDepIx (NestedCtxt Header) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
SerialiseHFC xs => EncodeDiskDepIx (NestedCtxt Header) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
SerialiseHFC xs => EncodeDiskDep (NestedCtxt Header) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
SerialiseHFC xs => SerialiseNodeToNode (HardForkBlock xs) (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode · orphan
EncodeDiskDepIx (NestedCtxt Header) m => EncodeDiskDepIx (NestedCtxt Header) (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
EncodeDiskDep (NestedCtxt Header) m => EncodeDiskDep (NestedCtxt Header) (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Show (Header m) => Show (DualHeader m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => HasHeader (DualHeader m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
All SingleEraBlock xs => Show (NestedCtxt_ (HardForkBlock xs) Header a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
type HeaderHash (Header blk) = HeaderHash blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
type BlockProtocol (Header blk) = BlockProtocol blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
data Header (DisableDiffusionPipelining blk)
- DisableDiffusionPipeliningHeader (Header blk)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
data Header (SelectViewDiffusionPipelining blk)
- SelectViewDiffusionPipeliningHeader (Header blk)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
data Header (HardForkBlock xs)
- HardForkHeadergetHardForkHeader :: OneEraHeader xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
data Header (DualBlock m a)
- DualHeaderdualHeaderMain :: Header m
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

data familydata family StorageConfig blk

Instances7Isomorphic, Generic, NoThunks, Rep, StorageConfig, …

Isomorphic StorageConfigDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
Generic (StorageConfig (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => NoThunks (StorageConfig (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
(NoThunks (StorageConfig m), NoThunks (StorageConfig a)) => NoThunks (StorageConfig (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type Rep (StorageConfig (DualBlock m a)) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" '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))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
data StorageConfig (HardForkBlock xs)
- HardForkStorageConfighardForkStorageConfigPerEra :: PerEraStorageConfig xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
data StorageConfig (DualBlock m a)
- DualStorageConfigdualStorageConfigMain :: !StorageConfig mdualStorageConfigAux :: !StorageConfig a
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

datadata ChainHash (b :: k)

Instances2Isomorphic, Condense

Isomorphic ChainHashDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
Condense (HeaderHash b) => Condense (ChainHash b)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.Condense

classclass (StandardHash b, Typeable b) => HasHeader b where

Methods

getHeaderFields :: b -> HeaderFields b

Instances5HasHeader

CanHardFork xs => HasHeader (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
CanHardFork xs => HasHeader (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
(HasHeader (Header blk), StandardHash (HeaderWithTime blk), Typeable blk) => HasHeader (HeaderWithTime blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
Bridge m a => HasHeader (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => HasHeader (DualHeader m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

datadata HeaderFields (b :: k)

Constructors

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

familytype family HeaderHash (b :: k)

Instances12HeaderHash, …

type HeaderHash (Header blk) = HeaderHash blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
type HeaderHash (HardForkBlock xs) = OneEraHash xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
type HeaderHash (HeaderWithTime blk) = HeaderHash (Header blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
type HeaderHash (LedgerState blk) = HeaderHash blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Basics
type HeaderHash (DualBlock m a) = HeaderHash mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type HeaderHash (ExtLedgerState blk) = HeaderHash (LedgerState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extended
type HeaderHash (WithPoint blk b) = HeaderHash blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
type HeaderHash (LedgerDB m l blk) = HeaderHash blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.API
type HeaderHash (Forker m l blk) = HeaderHash (l blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.Forker
type HeaderHash (ReadOnlyForker m l) = HeaderHash lDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.Forker
type HeaderHash (SerialisedHeader blk) = HeaderHash blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.Serialisation
type HeaderHash (Ticked l blk) = HeaderHash (l blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ticked

newtypenewtype Point (block :: k)

Instances2SerialiseNodeToNode, Condense

ConvertRawHash blk => SerialiseNodeToNode blk (Point blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Node.Serialisation
Condense (HeaderHash block) => Condense (Point block)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.Condense

patternpattern BlockPoint :: SlotNo -> HeaderHash block -> Point block

patternpattern GenesisPoint :: Point block

class

class (Eq (HeaderHash b), Ord (HeaderHash b), Show (HeaderHash b), Typeable (HeaderHash b), NoThunks (HeaderHash b), NFData (HeaderHash b)) => StandardHash (b :: k)

Instances8StandardHash, …

CanHardFork xs => StandardHash (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
StandardHash blk => StandardHash (Header blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
StandardHash blk => StandardHash (SerialisedHeader blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.Serialisation
(Show (HeaderHash blk), Eq (HeaderHash blk), Ord (HeaderHash blk), Typeable (HeaderHash blk), NoThunks (HeaderHash blk), NFData (HeaderHash blk)) => StandardHash (HeaderWithTime blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
StandardHash blk => StandardHash (WithPoint blk b)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
StandardHash m => StandardHash (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
StandardHash blk => StandardHash (LedgerState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Basics
(NFData (HeaderHash blk), NoThunks (HeaderHash blk), Typeable (HeaderHash blk), Show (HeaderHash blk), Ord (HeaderHash blk), Eq (HeaderHash blk)) => StandardHash (ExtLedgerState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extended