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.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))

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.0-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 {

hardForkBlockConfigPerEra ∷ PerEraBlockConfig xs

}

data BlockConfig (DualBlock m a)

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

data BlockConfig (DualBlock m a) = DualBlockConfig {

dualBlockConfigMain ∷ BlockConfig m
dualBlockConfigAux ∷ BlockConfig a

}

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 byronSpecBlock ∷ Block byronSpecBlockNo ∷ BlockNo byronSpecBlockHash ∷ Hash

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

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.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-cardano-0.25.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-cardano-0.25.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-cardano-0.25.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-cardano-0.25.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-cardano-0.25.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 #

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

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

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 {

byronSpecLedgerTip ∷ Maybe SlotNo
byronSpecLedgerState ∷ State CHAIN

}

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 {

unByronSpecGenTx ∷ 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.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-cardano-0.25.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-cardano-0.25.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-cardano-0.25.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-cardano-0.25.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-cardano-0.25.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 {

forgetValidatedByronSpecGenTx ∷ GenTx ByronSpecBlock

}

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.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 {

untickedByronSpecLedgerTip ∷ Maybe SlotNo
tickedByronSpecLedgerState ∷ State CHAIN

}

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.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))

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.0-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 {

hardForkCodecConfigPerEra ∷ PerEraCodecConfig xs

}

data CodecConfig (DualBlock m a)

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

data CodecConfig (DualBlock m a) = DualCodecConfig {

dualCodecConfigMain ∷ !(CodecConfig m)
dualCodecConfigAux ∷ !(CodecConfig a)

}

data family Header blk Source #

Instances

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.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))

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.0-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 {

hardForkStorageConfigPerEra ∷ PerEraStorageConfig xs

}

data StorageConfig (DualBlock m a)

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

data StorageConfig (DualBlock m a) = DualStorageConfig {

dualStorageConfigMain ∷ !(StorageConfig m)
dualStorageConfigAux ∷ !(StorageConfig a)

}

type alias

type ByronSpecHeader = Header ByronSpecBlock Source #