ouroboros-consensus:unstable-byronspec
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.ByronSpec.Ledger.Block

Synopsis

Documentation

data family BlockConfig blk 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.Embed.Unary

Methods

project ∷ NoHardForks blk ⇒ BlockConfig (HardForkBlock '[blk]) → BlockConfig blk Source #

inject ∷ NoHardForks blk ⇒ BlockConfig blk → BlockConfig (HardForkBlock '[blk]) Source #

Generic (BlockConfig ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Associated Types

type Rep (BlockConfig ByronSpecBlock) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

type Rep (BlockConfig ByronSpecBlock) = D1 ('MetaData "BlockConfig" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-4.0.0.0-inplace-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecBlockConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ BlockConfig ByronSpecBlock → Rep (BlockConfig ByronSpecBlock) x #

to ∷ Rep (BlockConfig ByronSpecBlock) x → BlockConfig ByronSpecBlock #

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 #

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 #

NoThunks (BlockConfig ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

noThunks ∷ Context → BlockConfig ByronSpecBlock → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → BlockConfig ByronSpecBlock → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (BlockConfig ByronSpecBlock) → String Source #

data BlockConfig ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

data BlockConfig ByronSpecBlock = ByronSpecBlockConfig
type Rep (BlockConfig ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

type Rep (BlockConfig ByronSpecBlock) = D1 ('MetaData "BlockConfig" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-4.0.0.0-inplace-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecBlockConfig" 'PrefixI 'False) (U1 ∷ Type → Type))
newtype BlockConfig (DisableDiffusionPipelining blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining

newtype BlockConfig (DisableDiffusionPipelining blk) = DisableDiffusionPipeliningBlockConfig (BlockConfig blk)
newtype BlockConfig (SelectViewDiffusionPipelining blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining

newtype BlockConfig (SelectViewDiffusionPipelining blk) = SelectViewDiffusionPipeliningBlockConfig (BlockConfig blk)
newtype BlockConfig (HardForkBlock xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype BlockConfig (HardForkBlock xs) = HardForkBlockConfig {}
data BlockConfig (DualBlock m a) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

data BlockConfig (DualBlock m a) = DualBlockConfig {}

data ByronSpecBlock Source #

Block according to the Byron spec

Just like we do for ByronBlock, we cache the header hash. In addition, we also add the BlockNo, as this is entirely absent from the spec but we need it for the HasHeader abstraction, which is ubiquitous in ouroboros-consensus and -network.

Constructors

ByronSpecBlock 

Fields

Instances

Instances details
NFData ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

rnf ∷ ByronSpecBlock → () #

Eq ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

(==) ∷ ByronSpecBlock → ByronSpecBlock → Bool #

(/=) ∷ ByronSpecBlock → ByronSpecBlock → Bool #

Generic ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Associated Types

type Rep ByronSpecBlock 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

type Rep ByronSpecBlock = D1 ('MetaData "ByronSpecBlock" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-4.0.0.0-inplace-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecBlock" 'PrefixI 'True) (S1 ('MetaSel ('Just "byronSpecBlock") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Block) :*: (S1 ('MetaSel ('Just "byronSpecBlockNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockNo) :*: S1 ('MetaSel ('Just "byronSpecBlockHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Hash))))

Methods

from ∷ ByronSpecBlock → Rep ByronSpecBlock x #

to ∷ Rep ByronSpecBlock x → ByronSpecBlock #

Show ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

showsPrec ∷ Int → ByronSpecBlock → ShowS #

show ∷ ByronSpecBlock → String #

showList ∷ [ByronSpecBlock] → ShowS #

GetHeader ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

getHeader ∷ ByronSpecBlock → Header ByronSpecBlock Source #

blockMatchesHeader ∷ Header ByronSpecBlock → ByronSpecBlock → Bool Source #

headerIsEBB ∷ Header ByronSpecBlock → Maybe EpochNo Source #

GetPrevHash ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

headerPrevHash ∷ Header ByronSpecBlock → ChainHash ByronSpecBlock Source #

GetBlockKeySets ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

getBlockKeySets ∷ ByronSpecBlock → LedgerTables ByronSpecBlock KeysMK Source #

UpdateLedger ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

CommonProtocolParams ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

maxHeaderSize ∷ ∀ (mk ∷ MapKind). LedgerState ByronSpecBlock mk → Word32 Source #

maxTxSize ∷ ∀ (mk ∷ MapKind). LedgerState ByronSpecBlock mk → Word32 Source #

LedgerSupportsMempool ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

Methods

txInvariant ∷ GenTx ByronSpecBlock → Bool Source #

applyTx ∷ LedgerConfig ByronSpecBlock → WhetherToIntervene → SlotNo → GenTx ByronSpecBlock → TickedLedgerState ByronSpecBlock ValuesMK → Except (ApplyTxErr ByronSpecBlock) (TickedLedgerState ByronSpecBlock DiffMK, Validated (GenTx ByronSpecBlock)) Source #

reapplyTx ∷ LedgerConfig ByronSpecBlock → SlotNo → Validated (GenTx ByronSpecBlock) → TickedLedgerState ByronSpecBlock ValuesMK → Except (ApplyTxErr ByronSpecBlock) (TickedLedgerState ByronSpecBlock ValuesMK) Source #

reapplyTxs ∷ ∀ (wtd ∷ WhatToDoWithTxDiffs) extra. LedgerConfig ByronSpecBlock → SlotNo → [(Validated (GenTx ByronSpecBlock), InputTxDiffs ByronSpecBlock wtd, extra)] → TickedLedgerState ByronSpecBlock ValuesMK → ReapplyTxsResult extra ByronSpecBlock wtd Source #

txForgetValidated ∷ Validated (GenTx ByronSpecBlock) → GenTx ByronSpecBlock Source #

getTransactionKeySets ∷ GenTx ByronSpecBlock → LedgerTables ByronSpecBlock KeysMK Source #

prependMempoolDiffs ∷ TickedLedgerState ByronSpecBlock DiffMK → TickedLedgerState ByronSpecBlock DiffMK → TickedLedgerState ByronSpecBlock DiffMK Source #

applyMempoolDiffs ∷ LedgerTables ByronSpecBlock ValuesMK → LedgerTables ByronSpecBlock KeysMK → TickedLedgerState ByronSpecBlock DiffMK → TickedLedgerState ByronSpecBlock ValuesMK Source #

mkMempoolApplyTxError ∷ ∀ (mk ∷ MapKind). TickedLedgerState ByronSpecBlock mk → Text → Maybe (ApplyTxErr ByronSpecBlock) Source #

TxLimits ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

Associated Types

type TxMeasurePhase1 ByronSpecBlock 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

type TxMeasurePhase1 ByronSpecBlock = IgnoringOverflow ByteSize32
type TxMeasurePhase2 ByronSpecBlock 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

type TxMeasurePhase2 ByronSpecBlock = TrivialTxMeasurePhase2

Methods

txWireSize ∷ GenTx ByronSpecBlock → SizeInBytes Source #

txMeasurePhase1 ∷ LedgerConfig ByronSpecBlock → TickedLedgerState ByronSpecBlock EmptyMK → GenTx ByronSpecBlock → Except (ApplyTxErr ByronSpecBlock) (TxMeasurePhase1 ByronSpecBlock) Source #

txMeasurePhase2 ∷ LedgerConfig ByronSpecBlock → TickedLedgerState ByronSpecBlock ValuesMK → GenTx ByronSpecBlock → Except (ApplyTxErr ByronSpecBlock) (TxMeasurePhase2 ByronSpecBlock) Source #

blockCapacityTxMeasure ∷ ∀ (mk ∷ MapKind). LedgerConfig ByronSpecBlock → TickedLedgerState ByronSpecBlock mk → TxMeasure ByronSpecBlock Source #

HasHeader ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

getHeaderFields ∷ ByronSpecBlock → HeaderFields ByronSpecBlock #

HasHeader ByronSpecHeader Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

getHeaderFields ∷ ByronSpecHeader → HeaderFields ByronSpecHeader #

Serialise ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

encode ∷ ByronSpecBlock → Encoding Source #

decode ∷ Decoder s ByronSpecBlock Source #

encodeList ∷ [ByronSpecBlock] → Encoding Source #

decodeList ∷ Decoder s [ByronSpecBlock] Source #

ApplyBlock LedgerState ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

applyBlockLedgerResultWithValidation ∷ ValidationPolicy → ComputeLedgerEvents → LedgerCfg LedgerState ByronSpecBlock → ByronSpecBlock → Ticked LedgerState ByronSpecBlock ValuesMK → Except (LedgerErr LedgerState ByronSpecBlock) (LedgerResult ByronSpecBlock (LedgerState ByronSpecBlock DiffMK)) Source #

applyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg LedgerState ByronSpecBlock → ByronSpecBlock → Ticked LedgerState ByronSpecBlock ValuesMK → Except (LedgerErr LedgerState ByronSpecBlock) (LedgerResult ByronSpecBlock (LedgerState ByronSpecBlock DiffMK)) Source #

reapplyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg LedgerState ByronSpecBlock → ByronSpecBlock → Ticked LedgerState ByronSpecBlock ValuesMK → LedgerResult ByronSpecBlock (LedgerState ByronSpecBlock DiffMK) Source #

IsLedger LedgerState ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Associated Types

type LedgerErr LedgerState ByronSpecBlock 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

type LedgerErr LedgerState ByronSpecBlock = ByronSpecLedgerError

Methods

applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg LedgerState ByronSpecBlock → SlotNo → LedgerState ByronSpecBlock EmptyMK → LedgerResult ByronSpecBlock (Ticked LedgerState ByronSpecBlock DiffMK) Source #

HasLedgerTables LedgerState ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerState ByronSpecBlock mk → LedgerTables ByronSpecBlock mk Source #

withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerState ByronSpecBlock any → LedgerTables ByronSpecBlock mk → LedgerState ByronSpecBlock mk Source #

LedgerTablesAreTrivial LedgerState ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

convertMapKind ∷ ∀ (mk ∷ MapKind) (mk' ∷ MapKind). LedgerState ByronSpecBlock mk → LedgerState ByronSpecBlock mk' Source #

StandardHash ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

IndexedMemPack LedgerState ByronSpecBlock Void Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

indexedPackedByteCount ∷ LedgerState ByronSpecBlock EmptyMK → Void → Int Source #

indexedPackM ∷ LedgerState ByronSpecBlock EmptyMK → Void → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ ∀ s. LedgerState ByronSpecBlock EmptyMK → Unpack s b Void Source #

indexedTypeName ∷ Proxy Void → LedgerState ByronSpecBlock EmptyMK → String Source #

Eq (Header ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

(==) ∷ Header ByronSpecBlock → Header ByronSpecBlock → Bool #

(/=) ∷ Header ByronSpecBlock → Header ByronSpecBlock → Bool #

Generic (BlockConfig ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Associated Types

type Rep (BlockConfig ByronSpecBlock) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

type Rep (BlockConfig ByronSpecBlock) = D1 ('MetaData "BlockConfig" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-4.0.0.0-inplace-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecBlockConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ BlockConfig ByronSpecBlock → Rep (BlockConfig ByronSpecBlock) x #

to ∷ Rep (BlockConfig ByronSpecBlock) x → BlockConfig ByronSpecBlock #

Generic (CodecConfig ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Associated Types

type Rep (CodecConfig ByronSpecBlock) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

type Rep (CodecConfig ByronSpecBlock) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-4.0.0.0-inplace-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ CodecConfig ByronSpecBlock → Rep (CodecConfig ByronSpecBlock) x #

to ∷ Rep (CodecConfig ByronSpecBlock) x → CodecConfig ByronSpecBlock #

Generic (Header ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Associated Types

type Rep (Header ByronSpecBlock) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

type Rep (Header ByronSpecBlock) = D1 ('MetaData "Header" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-4.0.0.0-inplace-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecHeader" 'PrefixI 'True) (S1 ('MetaSel ('Just "byronSpecHeader") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockHeader) :*: (S1 ('MetaSel ('Just "byronSpecHeaderNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockNo) :*: S1 ('MetaSel ('Just "byronSpecHeaderHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Hash))))

Methods

from ∷ Header ByronSpecBlock → Rep (Header ByronSpecBlock) x #

to ∷ Rep (Header ByronSpecBlock) x → Header ByronSpecBlock #

Generic (StorageConfig ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Associated Types

type Rep (StorageConfig ByronSpecBlock) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

type Rep (StorageConfig ByronSpecBlock) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-4.0.0.0-inplace-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecStorageConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ StorageConfig ByronSpecBlock → Rep (StorageConfig ByronSpecBlock) x #

to ∷ Rep (StorageConfig ByronSpecBlock) x → StorageConfig ByronSpecBlock #

Generic (Validated (GenTx ByronSpecBlock)) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

Associated Types

type Rep (Validated (GenTx ByronSpecBlock)) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

type Rep (Validated (GenTx ByronSpecBlock)) = D1 ('MetaData "Validated" "Ouroboros.Consensus.ByronSpec.Ledger.Mempool" "ouroboros-consensus-4.0.0.0-inplace-unstable-byronspec" 'True) (C1 ('MetaCons "ValidatedByronSpecGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "forgetValidatedByronSpecGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GenTx ByronSpecBlock))))

Methods

from ∷ Validated (GenTx ByronSpecBlock) → Rep (Validated (GenTx ByronSpecBlock)) x #

to ∷ Rep (Validated (GenTx ByronSpecBlock)) x → Validated (GenTx ByronSpecBlock) #

Generic (GenTx ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

Associated Types

type Rep (GenTx ByronSpecBlock) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

type Rep (GenTx ByronSpecBlock) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.ByronSpec.Ledger.Mempool" "ouroboros-consensus-4.0.0.0-inplace-unstable-byronspec" 'True) (C1 ('MetaCons "ByronSpecGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unByronSpecGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByronSpecGenTx)))

Methods

from ∷ GenTx ByronSpecBlock → Rep (GenTx ByronSpecBlock) x #

to ∷ Rep (GenTx ByronSpecBlock) x → GenTx ByronSpecBlock #

Show (Header ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

showsPrec ∷ Int → Header ByronSpecBlock → ShowS #

show ∷ Header ByronSpecBlock → String #

showList ∷ [Header ByronSpecBlock] → ShowS #

Show (Validated (GenTx ByronSpecBlock)) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

Methods

showsPrec ∷ Int → Validated (GenTx ByronSpecBlock) → ShowS #

show ∷ Validated (GenTx ByronSpecBlock) → String #

showList ∷ [Validated (GenTx ByronSpecBlock)] → ShowS #

Show (GenTx ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

Methods

showsPrec ∷ Int → GenTx ByronSpecBlock → ShowS #

show ∷ GenTx ByronSpecBlock → String #

showList ∷ [GenTx ByronSpecBlock] → ShowS #

NoThunks (BlockConfig ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

noThunks ∷ Context → BlockConfig ByronSpecBlock → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → BlockConfig ByronSpecBlock → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (BlockConfig ByronSpecBlock) → String Source #

NoThunks (CodecConfig ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

noThunks ∷ Context → CodecConfig ByronSpecBlock → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CodecConfig ByronSpecBlock → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CodecConfig ByronSpecBlock) → String Source #

NoThunks (StorageConfig ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

noThunks ∷ Context → StorageConfig ByronSpecBlock → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → StorageConfig ByronSpecBlock → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (StorageConfig ByronSpecBlock) → String Source #

NoThunks (Validated (GenTx ByronSpecBlock)) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

Methods

noThunks ∷ Context → Validated (GenTx ByronSpecBlock) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Validated (GenTx ByronSpecBlock) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Validated (GenTx ByronSpecBlock)) → String Source #

NoThunks (GenTx ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

Methods

noThunks ∷ Context → GenTx ByronSpecBlock → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → GenTx ByronSpecBlock → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (GenTx ByronSpecBlock) → String Source #

GetTip (LedgerState ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

getTip ∷ ∀ (mk ∷ MapKind). LedgerState ByronSpecBlock mk → Point (LedgerState ByronSpecBlock) Source #

Serialise (Header ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

encode ∷ Header ByronSpecBlock → Encoding Source #

decode ∷ Decoder s (Header ByronSpecBlock) Source #

encodeList ∷ [Header ByronSpecBlock] → Encoding Source #

decodeList ∷ Decoder s [Header ByronSpecBlock] Source #

Serialise (GenTx ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

Methods

encode ∷ GenTx ByronSpecBlock → Encoding Source #

decode ∷ Decoder s (GenTx ByronSpecBlock) Source #

encodeList ∷ [GenTx ByronSpecBlock] → Encoding Source #

decodeList ∷ Decoder s [GenTx ByronSpecBlock] Source #

Eq (LedgerState ByronSpecBlock mk) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

(==) ∷ LedgerState ByronSpecBlock mk → LedgerState ByronSpecBlock mk → Bool #

(/=) ∷ LedgerState ByronSpecBlock mk → LedgerState ByronSpecBlock mk → Bool #

Generic (LedgerState ByronSpecBlock mk) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Associated Types

type Rep (LedgerState ByronSpecBlock mk) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

type Rep (LedgerState ByronSpecBlock mk) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.ByronSpec.Ledger.Ledger" "ouroboros-consensus-4.0.0.0-inplace-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "byronSpecLedgerTip") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SlotNo)) :*: S1 ('MetaSel ('Just "byronSpecLedgerState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (State CHAIN))))

Methods

from ∷ LedgerState ByronSpecBlock mk → Rep (LedgerState ByronSpecBlock mk) x #

to ∷ Rep (LedgerState ByronSpecBlock mk) x → LedgerState ByronSpecBlock mk #

Show (LedgerState ByronSpecBlock mk) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

showsPrec ∷ Int → LedgerState ByronSpecBlock mk → ShowS #

show ∷ LedgerState ByronSpecBlock mk → String #

showList ∷ [LedgerState ByronSpecBlock mk] → ShowS #

NoThunks (LedgerState ByronSpecBlock mk) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

noThunks ∷ Context → LedgerState ByronSpecBlock mk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → LedgerState ByronSpecBlock mk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (LedgerState ByronSpecBlock mk) → String Source #

Serialise (LedgerState ByronSpecBlock mk) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

encode ∷ LedgerState ByronSpecBlock mk → Encoding Source #

decode ∷ Decoder s (LedgerState ByronSpecBlock mk) Source #

encodeList ∷ [LedgerState ByronSpecBlock mk] → Encoding Source #

decodeList ∷ Decoder s [LedgerState ByronSpecBlock mk] Source #

HasLedgerTables (Ticked LedgerState) ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked LedgerState ByronSpecBlock mk → LedgerTables ByronSpecBlock mk Source #

withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked LedgerState ByronSpecBlock any → LedgerTables ByronSpecBlock mk → Ticked LedgerState ByronSpecBlock mk Source #

LedgerTablesAreTrivial (Ticked LedgerState) ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

convertMapKind ∷ ∀ (mk ∷ MapKind) (mk' ∷ MapKind). Ticked LedgerState ByronSpecBlock mk → Ticked LedgerState ByronSpecBlock mk' Source #

GetTip (Ticked LedgerState ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

getTip ∷ ∀ (mk ∷ MapKind). Ticked LedgerState ByronSpecBlock mk → Point (Ticked LedgerState ByronSpecBlock) Source #

Eq (Ticked LedgerState ByronSpecBlock mk) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

(==) ∷ Ticked LedgerState ByronSpecBlock mk → Ticked LedgerState ByronSpecBlock mk → Bool #

(/=) ∷ Ticked LedgerState ByronSpecBlock mk → Ticked LedgerState ByronSpecBlock mk → Bool #

Show (Ticked LedgerState ByronSpecBlock mk) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

showsPrec ∷ Int → Ticked LedgerState ByronSpecBlock mk → ShowS #

show ∷ Ticked LedgerState ByronSpecBlock mk → String #

showList ∷ [Ticked LedgerState ByronSpecBlock mk] → ShowS #

NoThunks (Ticked LedgerState ByronSpecBlock mk) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

noThunks ∷ Context → Ticked LedgerState ByronSpecBlock mk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Ticked LedgerState ByronSpecBlock mk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Ticked LedgerState ByronSpecBlock mk) → String Source #

type Rep ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

type Rep ByronSpecBlock = D1 ('MetaData "ByronSpecBlock" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-4.0.0.0-inplace-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecBlock" 'PrefixI 'True) (S1 ('MetaSel ('Just "byronSpecBlock") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Block) :*: (S1 ('MetaSel ('Just "byronSpecBlockNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockNo) :*: S1 ('MetaSel ('Just "byronSpecBlockHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Hash))))
data BlockConfig ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

data BlockConfig ByronSpecBlock = ByronSpecBlockConfig
data CodecConfig ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

data CodecConfig ByronSpecBlock = ByronSpecCodecConfig
data Header ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

data Header ByronSpecBlock = ByronSpecHeader {}
data StorageConfig ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

data StorageConfig ByronSpecBlock = ByronSpecStorageConfig
type AuxLedgerEvent ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

type AuxLedgerEvent ByronSpecBlock = VoidLedgerEvent
data LedgerState ByronSpecBlock mk Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

data LedgerState ByronSpecBlock mk = ByronSpecLedgerState {}
type ApplyTxErr ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

type ApplyTxErr ByronSpecBlock = ByronSpecGenTxErr
newtype GenTx ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

newtype GenTx ByronSpecBlock = ByronSpecGenTx {}
type TxMeasurePhase1 ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

type TxMeasurePhase1 ByronSpecBlock = IgnoringOverflow ByteSize32
type TxMeasurePhase2 ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

type TxMeasurePhase2 ByronSpecBlock = TrivialTxMeasurePhase2
type TxIn ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

type TxIn ByronSpecBlock = Void
type TxOut ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

type TxOut ByronSpecBlock = Void
type LedgerCfg LedgerState ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

type LedgerCfg LedgerState ByronSpecBlock = ByronSpecGenesis
type LedgerErr LedgerState ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

type LedgerErr LedgerState ByronSpecBlock = ByronSpecLedgerError
type HeaderHash ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

type HeaderHash ByronSpecBlock = Hash
type Rep (BlockConfig ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

type Rep (BlockConfig ByronSpecBlock) = D1 ('MetaData "BlockConfig" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-4.0.0.0-inplace-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecBlockConfig" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (CodecConfig ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

type Rep (CodecConfig ByronSpecBlock) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-4.0.0.0-inplace-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (Header ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

type Rep (Header ByronSpecBlock) = D1 ('MetaData "Header" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-4.0.0.0-inplace-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecHeader" 'PrefixI 'True) (S1 ('MetaSel ('Just "byronSpecHeader") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockHeader) :*: (S1 ('MetaSel ('Just "byronSpecHeaderNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockNo) :*: S1 ('MetaSel ('Just "byronSpecHeaderHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Hash))))
type Rep (StorageConfig ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

type Rep (StorageConfig ByronSpecBlock) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-4.0.0.0-inplace-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecStorageConfig" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (Validated (GenTx ByronSpecBlock)) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

type Rep (Validated (GenTx ByronSpecBlock)) = D1 ('MetaData "Validated" "Ouroboros.Consensus.ByronSpec.Ledger.Mempool" "ouroboros-consensus-4.0.0.0-inplace-unstable-byronspec" 'True) (C1 ('MetaCons "ValidatedByronSpecGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "forgetValidatedByronSpecGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GenTx ByronSpecBlock))))
type Rep (GenTx ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

type Rep (GenTx ByronSpecBlock) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.ByronSpec.Ledger.Mempool" "ouroboros-consensus-4.0.0.0-inplace-unstable-byronspec" 'True) (C1 ('MetaCons "ByronSpecGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unByronSpecGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByronSpecGenTx)))
newtype Validated (GenTx ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

newtype Validated (GenTx ByronSpecBlock) = ValidatedByronSpecGenTx {}
type Rep (LedgerState ByronSpecBlock mk) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

type Rep (LedgerState ByronSpecBlock mk) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.ByronSpec.Ledger.Ledger" "ouroboros-consensus-4.0.0.0-inplace-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "byronSpecLedgerTip") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SlotNo)) :*: S1 ('MetaSel ('Just "byronSpecLedgerState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (State CHAIN))))
data Ticked LedgerState ByronSpecBlock (mk ∷ MapKind) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

data Ticked LedgerState ByronSpecBlock (mk ∷ MapKind) = TickedByronSpecLedgerState {}

data family CodecConfig blk 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.Embed.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)) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

type Rep (CodecConfig (DualBlock m a)) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-4.0.0.0-inplace" '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))))

Methods

from ∷ CodecConfig (DualBlock m a) → Rep (CodecConfig (DualBlock m a)) x #

to ∷ Rep (CodecConfig (DualBlock m a)) x → CodecConfig (DualBlock m a) #

Generic (CodecConfig ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Associated Types

type Rep (CodecConfig ByronSpecBlock) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

type Rep (CodecConfig ByronSpecBlock) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-4.0.0.0-inplace-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ CodecConfig ByronSpecBlock → Rep (CodecConfig ByronSpecBlock) x #

to ∷ Rep (CodecConfig ByronSpecBlock) x → CodecConfig ByronSpecBlock #

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 #

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

NoThunks (CodecConfig ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

noThunks ∷ Context → CodecConfig ByronSpecBlock → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CodecConfig ByronSpecBlock → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CodecConfig ByronSpecBlock) → String Source #

data CodecConfig ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

data CodecConfig ByronSpecBlock = ByronSpecCodecConfig
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-4.0.0.0-inplace" '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))))
type Rep (CodecConfig ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

type Rep (CodecConfig ByronSpecBlock) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-4.0.0.0-inplace-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))
newtype CodecConfig (HardForkBlock xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype CodecConfig (HardForkBlock xs) = HardForkCodecConfig {}
data CodecConfig (DualBlock m a) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

data CodecConfig (DualBlock m a) = DualCodecConfig {}

data family Header blk Source #

Instances

Instances details
GetHeader1 Header Source # 
Instance details

Defined in Ouroboros.Consensus.Block.Abstract

Methods

getHeader1 ∷ Header blk → Header blk Source #

Inject Header Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary

Methods

inject ∷ ∀ x (xs ∷ [Type]). (CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ InjectionIndex xs x → Header x → Header (HardForkBlock xs) Source #

Isomorphic Header Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Methods

project ∷ NoHardForks blk ⇒ Header (HardForkBlock '[blk]) → Header blk Source #

inject ∷ NoHardForks blk ⇒ Header blk → Header (HardForkBlock '[blk]) Source #

HasHeader ByronSpecHeader Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

getHeaderFields ∷ ByronSpecHeader → HeaderFields ByronSpecHeader #

StandardHash blk ⇒ StandardHash (Header blk ∷ Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Block.Abstract

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 #

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

Eq (Header ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

(==) ∷ Header ByronSpecBlock → Header ByronSpecBlock → Bool #

(/=) ∷ Header ByronSpecBlock → Header ByronSpecBlock → Bool #

Generic (Header ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Associated Types

type Rep (Header ByronSpecBlock) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

type Rep (Header ByronSpecBlock) = D1 ('MetaData "Header" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-4.0.0.0-inplace-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecHeader" 'PrefixI 'True) (S1 ('MetaSel ('Just "byronSpecHeader") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockHeader) :*: (S1 ('MetaSel ('Just "byronSpecHeaderNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockNo) :*: S1 ('MetaSel ('Just "byronSpecHeaderHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Hash))))

Methods

from ∷ Header ByronSpecBlock → Rep (Header ByronSpecBlock) x #

to ∷ Rep (Header ByronSpecBlock) x → Header ByronSpecBlock #

Show (Header ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

showsPrec ∷ Int → Header ByronSpecBlock → ShowS #

show ∷ Header ByronSpecBlock → String #

showList ∷ [Header ByronSpecBlock] → 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 #

Serialise (Header ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

encode ∷ Header ByronSpecBlock → Encoding Source #

decode ∷ Decoder s (Header ByronSpecBlock) Source #

encodeList ∷ [Header ByronSpecBlock] → Encoding Source #

decodeList ∷ Decoder s [Header ByronSpecBlock] 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) #

data Header ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

data Header ByronSpecBlock = ByronSpecHeader {}
type HeaderHash (Header blk ∷ Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Block.Abstract

type HeaderHash (Header blk ∷ Type) = HeaderHash blk
type Rep (Header ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

type Rep (Header ByronSpecBlock) = D1 ('MetaData "Header" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-4.0.0.0-inplace-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecHeader" 'PrefixI 'True) (S1 ('MetaSel ('Just "byronSpecHeader") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockHeader) :*: (S1 ('MetaSel ('Just "byronSpecHeaderNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockNo) :*: S1 ('MetaSel ('Just "byronSpecHeaderHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Hash))))
type BlockProtocol (Header blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Block.Abstract

type BlockProtocol (Header blk) = BlockProtocol blk
newtype Header (DisableDiffusionPipelining blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining

newtype Header (DisableDiffusionPipelining blk) = DisableDiffusionPipeliningHeader (Header blk)
newtype Header (SelectViewDiffusionPipelining blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining

newtype Header (SelectViewDiffusionPipelining blk) = SelectViewDiffusionPipeliningHeader (Header blk)
newtype Header (HardForkBlock xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

newtype Header (HardForkBlock xs) = HardForkHeader {}
newtype Header (DualBlock m a) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

newtype Header (DualBlock m a) = DualHeader {}

data family StorageConfig blk 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.Embed.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)) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

type Rep (StorageConfig (DualBlock m a)) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-4.0.0.0-inplace" '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))))

Methods

from ∷ StorageConfig (DualBlock m a) → Rep (StorageConfig (DualBlock m a)) x #

to ∷ Rep (StorageConfig (DualBlock m a)) x → StorageConfig (DualBlock m a) #

Generic (StorageConfig ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Associated Types

type Rep (StorageConfig ByronSpecBlock) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

type Rep (StorageConfig ByronSpecBlock) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-4.0.0.0-inplace-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecStorageConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ StorageConfig ByronSpecBlock → Rep (StorageConfig ByronSpecBlock) x #

to ∷ Rep (StorageConfig ByronSpecBlock) x → StorageConfig ByronSpecBlock #

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 #

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

NoThunks (StorageConfig ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

noThunks ∷ Context → StorageConfig ByronSpecBlock → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → StorageConfig ByronSpecBlock → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (StorageConfig ByronSpecBlock) → String Source #

data StorageConfig ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

data StorageConfig ByronSpecBlock = ByronSpecStorageConfig
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-4.0.0.0-inplace" '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))))
type Rep (StorageConfig ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

type Rep (StorageConfig ByronSpecBlock) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-4.0.0.0-inplace-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecStorageConfig" 'PrefixI 'False) (U1 ∷ Type → Type))
newtype StorageConfig (HardForkBlock xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype StorageConfig (HardForkBlock xs) = HardForkStorageConfig {}
data StorageConfig (DualBlock m a) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

data StorageConfig (DualBlock m a) = DualStorageConfig {}

type alias

type ByronSpecHeader = Header ByronSpecBlock Source #

Orphan instances

NFData Hash Source # 
Instance details

Methods

rnf ∷ Hash → () #