ouroboros-consensus-cardano-0.25.0.1: The instantation of the Ouroboros consensus layer used by Cardano
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.ByronSpec.Ledger.Block

Contents

Synopsis

Documentation

data family BlockConfig blk Source #

Static configuration required to work with this type of blocks

Instances

Instances details
Isomorphic BlockConfig 
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-cardano-0.25.0.1-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)) 
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)) 
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-cardano-0.25.0.1-inplace-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecBlockConfig" 'PrefixI 'False) (U1 ∷ Type → Type))
newtype BlockConfig (DisableDiffusionPipelining blk) 
Instance details

Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining

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

Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining

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

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype BlockConfig (HardForkBlock xs) = HardForkBlockConfig {}
data BlockConfig (DualBlock m a) 
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
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-cardano-0.25.0.1-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 #

Eq ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

(==) ∷ ByronSpecBlock → ByronSpecBlock → Bool #

(/=) ∷ ByronSpecBlock → ByronSpecBlock → Bool #

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 #

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 ∷ ComputeDiffs → LedgerConfig ByronSpecBlock → SlotNo → Validated (GenTx ByronSpecBlock) → TickedLedgerState ByronSpecBlock ValuesMK → Except (ApplyTxErr ByronSpecBlock) (TickedLedgerState ByronSpecBlock TrackingMK) Source #

reapplyTxs ∷ ComputeDiffs → LedgerConfig ByronSpecBlock → SlotNo → [(Validated (GenTx ByronSpecBlock), extra)] → TickedLedgerState ByronSpecBlock ValuesMK → ReapplyTxsResult extra ByronSpecBlock Source #

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

getTransactionKeySets ∷ GenTx ByronSpecBlock → LedgerTables (LedgerState ByronSpecBlock) KeysMK Source #

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

applyMempoolDiffs ∷ LedgerTables (LedgerState ByronSpecBlock) ValuesMK → LedgerTables (LedgerState ByronSpecBlock) KeysMK → TickedLedgerState ByronSpecBlock DiffMK → TickedLedgerState ByronSpecBlock ValuesMK Source #

TxLimits ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

Associated Types

type TxMeasure ByronSpecBlock 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

type TxMeasure ByronSpecBlock = IgnoringOverflow ByteSize32

Methods

txMeasure ∷ LedgerConfig ByronSpecBlock → TickedLedgerState ByronSpecBlock ValuesMK → GenTx ByronSpecBlock → Except (ApplyTxErr ByronSpecBlock) (TxMeasure 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 Source #

HasHeader ByronSpecHeader Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

getHeaderFields ∷ ByronSpecHeader → HeaderFields ByronSpecHeader Source #

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 #

StandardHash ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

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

Eq (Header ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

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

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

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 #

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
type AuxLedgerEvent (LedgerState ByronSpecBlock) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

type AuxLedgerEvent (LedgerState ByronSpecBlock) = VoidLedgerEvent (LedgerState ByronSpecBlock)

Methods

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

CanStowLedgerTables (LedgerState ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

Methods

stowLedgerTables ∷ LedgerState ByronSpecBlock ValuesMK → LedgerState ByronSpecBlock EmptyMK Source #

unstowLedgerTables ∷ LedgerState ByronSpecBlock EmptyMK → LedgerState ByronSpecBlock ValuesMK 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 (LedgerState ByronSpecBlock) mk Source #

withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerState ByronSpecBlock any → LedgerTables (LedgerState 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 #

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 #

ApplyBlock (LedgerState ByronSpecBlock) 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 (LedgerState ByronSpecBlock) (LedgerState ByronSpecBlock DiffMK)) Source #

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

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

getBlockKeySets ∷ ByronSpecBlock → LedgerTables (LedgerState ByronSpecBlock) KeysMK Source #

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

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 #

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 #

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 #

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 (Ticked (LedgerState ByronSpecBlock)) mk Source #

withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked (LedgerState ByronSpecBlock) any → LedgerTables (Ticked (LedgerState 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 #

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 #

IndexedMemPack (LedgerState ByronSpecBlock EmptyMK) 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 ⇒ LedgerState ByronSpecBlock EmptyMK → Unpack b Void Source #

indexedTypeName ∷ LedgerState ByronSpecBlock EmptyMK → String Source #

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 #

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 #

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-cardano-0.25.0.1-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
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 TxMeasure ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool

type TxMeasure ByronSpecBlock = IgnoringOverflow ByteSize32
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-cardano-0.25.0.1-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-cardano-0.25.0.1-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-cardano-0.25.0.1-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-cardano-0.25.0.1-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-cardano-0.25.0.1-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-cardano-0.25.0.1-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 AuxLedgerEvent (LedgerState ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

type AuxLedgerEvent (LedgerState ByronSpecBlock) = VoidLedgerEvent (LedgerState ByronSpecBlock)
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 TxIn (LedgerState ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

type TxIn (LedgerState ByronSpecBlock) = Void
type TxOut (LedgerState ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger

type TxOut (LedgerState ByronSpecBlock) = Void
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-cardano-0.25.0.1-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 
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)) 
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-0.26.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-cardano-0.25.0.1-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)) 
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)) 
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)) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

type Rep (CodecConfig (DualBlock m a)) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-0.26.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-cardano-0.25.0.1-inplace-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))
newtype CodecConfig (HardForkBlock xs) 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

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

Defined in Ouroboros.Consensus.Ledger.Dual

data CodecConfig (DualBlock m a) = DualCodecConfig {}

data family Header blk Source #

Instances

Instances details
GetHeader1 Header 
Instance details

Defined in Ouroboros.Consensus.Block.Abstract

Methods

getHeader1 ∷ Header blk → Header blk Source #

Inject Header 
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 
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 Source #

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

Defined in Ouroboros.Consensus.Block.Abstract

HasNestedContent Header m ⇒ HasNestedContent Header (DualBlock m a) 
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) 
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) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

showProxy ∷ Proxy (DualHeader m a) → String Source #

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

Eq (Header ByronSpecBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

Methods

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

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

NoThunks (Header (DualBlock m a)) 
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) 
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) 
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) 
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) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

getHeaderFields ∷ DualHeader m a → HeaderFields (DualHeader m a) Source #

data Header ByronSpecBlock Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block

data Header ByronSpecBlock = ByronSpecHeader {}
type HeaderHash (Header blk ∷ Type) 
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-cardano-0.25.0.1-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) 
Instance details

Defined in Ouroboros.Consensus.Block.Abstract

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

Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining

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

Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining

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

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

newtype Header (HardForkBlock xs) = HardForkHeader {}
newtype Header (DualBlock m a) 
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 
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)) 
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-0.26.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-cardano-0.25.0.1-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)) 
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)) 
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)) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

type Rep (StorageConfig (DualBlock m a)) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-0.26.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-cardano-0.25.0.1-inplace-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecStorageConfig" 'PrefixI 'False) (U1 ∷ Type → Type))
newtype StorageConfig (HardForkBlock xs) 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

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

Defined in Ouroboros.Consensus.Ledger.Dual

data StorageConfig (DualBlock m a) = DualStorageConfig {}

type alias

type ByronSpecHeader = Header ByronSpecBlock Source #