Documentation

IsLedger LedgerState ByronBlock Source #

Instance details

CanUpgradeLedgerTables LedgerState ByronBlock Source #

Associated Types

type LedgerErr LedgerState ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger type LedgerErr LedgerState ByronBlock = ChainValidationError

Methods

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

Instance details

Methods

upgradeTables ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). LedgerState ByronBlock mk1 → LedgerState ByronBlock mk2 → LedgerTables ByronBlock ValuesMK → LedgerTables ByronBlock ValuesMK Source #

HasLedgerTables LedgerState ByronBlock Source #

Instance details

LedgerTablesAreTrivial LedgerState ByronBlock Source #

Methods

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

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

Instance details

SerializeTablesWithHint LedgerState ByronBlock Source #

Methods

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

Instance details

Methods

encodeTablesWithHint ∷ LedgerState ByronBlock EmptyMK → LedgerTables ByronBlock ValuesMK → Encoding Source #

decodeTablesWithHint ∷ LedgerState ByronBlock EmptyMK → Decoder s (LedgerTables ByronBlock ValuesMK) Source #

IndexedMemPack LedgerState ByronBlock Void Source #

Instance details

Methods

indexedPackedByteCount ∷ LedgerState ByronBlock EmptyMK → Void → Int Source #

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

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

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

(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ ApplyBlock LedgerState (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

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

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

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

CanHardFork xs ⇒ IsLedger LedgerState (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Associated Types

type LedgerErr LedgerState (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type LedgerErr LedgerState (HardForkBlock xs) = HardForkLedgerError xs

Methods

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

(CanHardFork xs, HasHardForkTxOut xs) ⇒ CanUpgradeLedgerTables LedgerState (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

upgradeTables ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). LedgerState (HardForkBlock xs) mk1 → LedgerState (HardForkBlock xs) mk2 → LedgerTables (HardForkBlock xs) ValuesMK → LedgerTables (HardForkBlock xs) ValuesMK Source #

(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ HasLedgerTables LedgerState (HardForkBlock xs) Source #

Warning: projectLedgerTables and withLedgerTables are prohibitively expensive when using big tables or when used multiple times. See the TxOut instance for the HardForkBlock for more information.

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

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

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

CardanoHardForkConstraints c ⇒ SerializeTablesWithHint LedgerState (HardForkBlock (CardanoEras c)) Source #

Instance details

Defined in Ouroboros.Consensus.Cardano.Ledger

Methods

encodeTablesWithHint ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → LedgerTables (HardForkBlock (CardanoEras c)) ValuesMK → Encoding Source #

decodeTablesWithHint ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → Decoder s (LedgerTables (HardForkBlock (CardanoEras c)) ValuesMK) Source #

SerializeTablesWithHint LedgerState (HardForkBlock '[ByronBlock]) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.ByronHFC

Methods

encodeTablesWithHint ∷ LedgerState (HardForkBlock '[ByronBlock]) EmptyMK → LedgerTables (HardForkBlock '[ByronBlock]) ValuesMK → Encoding Source #

decodeTablesWithHint ∷ LedgerState (HardForkBlock '[ByronBlock]) EmptyMK → Decoder s (LedgerTables (HardForkBlock '[ByronBlock]) ValuesMK) Source #

ShelleyCompatible proto era ⇒ SerializeTablesWithHint LedgerState (HardForkBlock '[ShelleyBlock proto era]) Source #

Instance details

Methods

encodeTablesWithHint ∷ LedgerState (HardForkBlock '[ShelleyBlock proto era]) EmptyMK → LedgerTables (HardForkBlock '[ShelleyBlock proto era]) ValuesMK → Encoding Source #

decodeTablesWithHint ∷ LedgerState (HardForkBlock '[ShelleyBlock proto era]) EmptyMK → Decoder s (LedgerTables (HardForkBlock '[ShelleyBlock proto era]) ValuesMK) Source #

IndexedMemPack LedgerState (HardForkBlock '[ByronBlock]) Void Source #

Instance details

Defined in Ouroboros.Consensus.Byron.ByronHFC

Methods

indexedPackedByteCount ∷ LedgerState (HardForkBlock '[ByronBlock]) EmptyMK → Void → Int Source #

indexedPackM ∷ LedgerState (HardForkBlock '[ByronBlock]) EmptyMK → Void → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ ∀ s. LedgerState (HardForkBlock '[ByronBlock]) EmptyMK → Unpack s b Void Source #

indexedTypeName ∷ Proxy Void → LedgerState (HardForkBlock '[ByronBlock]) EmptyMK → String Source #

(txout ~ TxOut era, MemPack txout) ⇒ IndexedMemPack LedgerState (HardForkBlock '[ShelleyBlock proto era]) txout Source #

Instance details

Methods

indexedPackedByteCount ∷ LedgerState (HardForkBlock '[ShelleyBlock proto era]) EmptyMK → txout → Int Source #

indexedPackM ∷ LedgerState (HardForkBlock '[ShelleyBlock proto era]) EmptyMK → txout → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ ∀ s. LedgerState (HardForkBlock '[ShelleyBlock proto era]) EmptyMK → Unpack s b txout Source #

indexedTypeName ∷ Proxy txout → LedgerState (HardForkBlock '[ShelleyBlock proto era]) EmptyMK → String Source #

CardanoHardForkConstraints c ⇒ IndexedMemPack LedgerState (HardForkBlock (CardanoEras c)) (CardanoTxOut c) Source #

Instance details

Defined in Ouroboros.Consensus.Cardano.Ledger

Methods

indexedPackedByteCount ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → CardanoTxOut c → Int Source #

indexedPackM ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → CardanoTxOut c → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ ∀ s. LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → Unpack s b (CardanoTxOut c) Source #

indexedTypeName ∷ Proxy (CardanoTxOut c) → LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → String Source #

Bridge m a ⇒ ApplyBlock LedgerState (DualBlock m a) Source #

Instance details

Methods

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

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

reapplyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg LedgerState (DualBlock m a) → DualBlock m a → Ticked LedgerState (DualBlock m a) ValuesMK → LedgerResult (DualBlock m a) (LedgerState (DualBlock m a) DiffMK) Source #

ShelleyCompatible proto era ⇒ ApplyBlock LedgerState (ShelleyBlock proto era) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

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

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

reapplyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg LedgerState (ShelleyBlock proto era) → ShelleyBlock proto era → Ticked LedgerState (ShelleyBlock proto era) ValuesMK → LedgerResult (ShelleyBlock proto era) (LedgerState (ShelleyBlock proto era) DiffMK) Source #

Bridge m a ⇒ IsLedger LedgerState (DualBlock m a) Source #

Instance details

Associated Types

type LedgerErr LedgerState (DualBlock m a)
Instance details Defined in Ouroboros.Consensus.Ledger.Dual type LedgerErr LedgerState (DualBlock m a) = DualLedgerError m a

Methods

applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg LedgerState (DualBlock m a) → SlotNo → LedgerState (DualBlock m a) EmptyMK → LedgerResult (DualBlock m a) (Ticked LedgerState (DualBlock m a) DiffMK) Source #

ShelleyBasedEra era ⇒ IsLedger LedgerState (ShelleyBlock proto era) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Associated Types

type LedgerErr LedgerState (ShelleyBlock proto era)
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger type LedgerErr LedgerState (ShelleyBlock proto era) = BlockTransitionError era

Methods

applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg LedgerState (ShelleyBlock proto era) → SlotNo → LedgerState (ShelleyBlock proto era) EmptyMK → LedgerResult (ShelleyBlock proto era) (Ticked LedgerState (ShelleyBlock proto era) DiffMK) Source #

CanUpgradeLedgerTables LedgerState (DualBlock m a) Source #

Instance details

Methods

upgradeTables ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). LedgerState (DualBlock m a) mk1 → LedgerState (DualBlock m a) mk2 → LedgerTables (DualBlock m a) ValuesMK → LedgerTables (DualBlock m a) ValuesMK Source #

CanUpgradeLedgerTables LedgerState (ShelleyBlock proto era) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

upgradeTables ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). LedgerState (ShelleyBlock proto era) mk1 → LedgerState (ShelleyBlock proto era) mk2 → LedgerTables (ShelleyBlock proto era) ValuesMK → LedgerTables (ShelleyBlock proto era) ValuesMK Source #

(Bridge m a, HasLedgerTables LedgerState m) ⇒ HasLedgerTables LedgerState (DualBlock m a) Source #

Instance details

Methods

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

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

ShelleyBasedEra era ⇒ HasLedgerTables LedgerState (ShelleyBlock proto era) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

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

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

(Ord (TxIn m), MemPack (TxIn m), MemPack (TxOut m)) ⇒ SerializeTablesWithHint LedgerState (DualBlock m a) Source #

Instance details

Methods

encodeTablesWithHint ∷ LedgerState (DualBlock m a) EmptyMK → LedgerTables (DualBlock m a) ValuesMK → Encoding Source #

decodeTablesWithHint ∷ LedgerState (DualBlock m a) EmptyMK → Decoder s (LedgerTables (DualBlock m a) ValuesMK) Source #

ShelleyCompatible proto era ⇒ SerializeTablesWithHint LedgerState (ShelleyBlock proto era) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

encodeTablesWithHint ∷ LedgerState (ShelleyBlock proto era) EmptyMK → LedgerTables (ShelleyBlock proto era) ValuesMK → Encoding Source #

decodeTablesWithHint ∷ LedgerState (ShelleyBlock proto era) EmptyMK → Decoder s (LedgerTables (ShelleyBlock proto era) ValuesMK) Source #

DecodeDisk ByronBlock (LedgerState ByronBlock mk) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

decodeDisk ∷ CodecConfig ByronBlock → ∀ s. Decoder s (LedgerState ByronBlock mk) Source #

EncodeDisk ByronBlock (LedgerState ByronBlock mk) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeDisk ∷ CodecConfig ByronBlock → LedgerState ByronBlock mk → Encoding Source #

(txout ~ TxOut m, IndexedMemPack LedgerState m txout) ⇒ IndexedMemPack LedgerState (DualBlock m a) txout Source #

Instance details

Methods

indexedPackedByteCount ∷ LedgerState (DualBlock m a) EmptyMK → txout → Int Source #

indexedPackM ∷ LedgerState (DualBlock m a) EmptyMK → txout → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ ∀ s. LedgerState (DualBlock m a) EmptyMK → Unpack s b txout Source #

indexedTypeName ∷ Proxy txout → LedgerState (DualBlock m a) EmptyMK → String Source #

(txout ~ TxOut era, MemPack txout) ⇒ IndexedMemPack LedgerState (ShelleyBlock proto era) txout Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

indexedPackedByteCount ∷ LedgerState (ShelleyBlock proto era) EmptyMK → txout → Int Source #

indexedPackM ∷ LedgerState (ShelleyBlock proto era) EmptyMK → txout → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ ∀ s. LedgerState (ShelleyBlock proto era) EmptyMK → Unpack s b txout Source #

indexedTypeName ∷ Proxy txout → LedgerState (ShelleyBlock proto era) EmptyMK → String Source #

(ShelleyBasedEra era, ShelleyBasedEra (PreviousEra era), TranslateEra era (ShelleyTip proto), TranslateEra era NewEpochState, TranslationError era NewEpochState ~ Void, CanMapMK mk, CanMapKeysMK mk) ⇒ TranslateEra era (Flip LedgerState mk :.: ShelleyBlock proto) Source #

Instance details

Associated Types

type TranslationError era (Flip LedgerState mk :.: ShelleyBlock proto)
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC type TranslationError era (Flip LedgerState mk :.: ShelleyBlock proto) = Void

Methods

translateEra ∷ TranslationContext era → (Flip LedgerState mk :.: ShelleyBlock proto) (PreviousEra era) → Except (TranslationError era (Flip LedgerState mk :.: ShelleyBlock proto)) ((Flip LedgerState mk :.: ShelleyBlock proto) era) Source #

CanHardFork xs ⇒ GetTip (LedgerState (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

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

Bridge m a ⇒ GetTip (LedgerState (DualBlock m a)) Source #

Instance details

Methods

getTip ∷ ∀ (mk ∷ MapKind). LedgerState (DualBlock m a) mk → Point (LedgerState (DualBlock m a)) Source #

GetTip (LedgerState ByronBlock) Source #

Instance details

Methods

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

GetTip (LedgerState (ShelleyBlock proto era)) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

getTip ∷ ∀ (mk ∷ MapKind). LedgerState (ShelleyBlock proto era) mk → Point (LedgerState (ShelleyBlock proto era)) Source #

CanHardFork xs ⇒ LedgerStateSupportsPeras (LedgerState (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

getPoolDistr ∷ LedgerState (HardForkBlock xs) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → LedgerState (HardForkBlock xs) EmptyMK → PerasParams blk Source #

LedgerStateSupportsPeras (LedgerState (DualBlock m a)) Source #

Instance details

Methods

getPoolDistr ∷ LedgerState (DualBlock m a) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → LedgerState (DualBlock m a) EmptyMK → PerasParams blk Source #

LedgerStateSupportsPeras (LedgerState ByronBlock) Source #

Instance details

Methods

getPoolDistr ∷ LedgerState ByronBlock EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → LedgerState ByronBlock EmptyMK → PerasParams blk Source #

LedgerStateSupportsPeras (LedgerState (ShelleyBlock proto era)) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

getPoolDistr ∷ LedgerState (ShelleyBlock proto era) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → LedgerState (ShelleyBlock proto era) EmptyMK → PerasParams blk Source #

All (Compose CanStowLedgerTables LedgerState) xs ⇒ CanStowLedgerTables (LedgerState (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

stowLedgerTables ∷ LedgerState (HardForkBlock xs) ValuesMK → LedgerState (HardForkBlock xs) EmptyMK Source #

unstowLedgerTables ∷ LedgerState (HardForkBlock xs) EmptyMK → LedgerState (HardForkBlock xs) ValuesMK Source #

CanStowLedgerTables (LedgerState m) ⇒ CanStowLedgerTables (LedgerState (DualBlock m a)) Source #

Instance details

Methods

stowLedgerTables ∷ LedgerState (DualBlock m a) ValuesMK → LedgerState (DualBlock m a) EmptyMK Source #

unstowLedgerTables ∷ LedgerState (DualBlock m a) EmptyMK → LedgerState (DualBlock m a) ValuesMK Source #

CanStowLedgerTables (LedgerState ByronBlock) Source #

Instance details

Methods

stowLedgerTables ∷ LedgerState ByronBlock ValuesMK → LedgerState ByronBlock EmptyMK Source #

unstowLedgerTables ∷ LedgerState ByronBlock EmptyMK → LedgerState ByronBlock ValuesMK Source #

ShelleyBasedEra era ⇒ CanStowLedgerTables (LedgerState (ShelleyBlock proto era)) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

stowLedgerTables ∷ LedgerState (ShelleyBlock proto era) ValuesMK → LedgerState (ShelleyBlock proto era) EmptyMK Source #

unstowLedgerTables ∷ LedgerState (ShelleyBlock proto era) EmptyMK → LedgerState (ShelleyBlock proto era) ValuesMK Source #

SerialiseHFC xs ⇒ DecodeDisk (HardForkBlock xs) (LedgerState (HardForkBlock xs) EmptyMK) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

decodeDisk ∷ CodecConfig (HardForkBlock xs) → ∀ s. Decoder s (LedgerState (HardForkBlock xs) EmptyMK) Source #

SerialiseHFC xs ⇒ EncodeDisk (HardForkBlock xs) (LedgerState (HardForkBlock xs) EmptyMK) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

encodeDisk ∷ CodecConfig (HardForkBlock xs) → LedgerState (HardForkBlock xs) EmptyMK → Encoding Source #

(EqMK mk, CanHardFork xs) ⇒ Eq (LedgerState (HardForkBlock xs) mk) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

(==) ∷ LedgerState (HardForkBlock xs) mk → LedgerState (HardForkBlock xs) mk → Bool #

(/=) ∷ LedgerState (HardForkBlock xs) mk → LedgerState (HardForkBlock xs) mk → Bool #

(Bridge m a, EqMK mk) ⇒ Eq (LedgerState (DualBlock m a) mk) Source #

Instance details

Methods

(==) ∷ LedgerState (DualBlock m a) mk → LedgerState (DualBlock m a) mk → Bool #

(/=) ∷ LedgerState (DualBlock m a) mk → LedgerState (DualBlock m a) mk → Bool #

Eq (LedgerState ByronBlock mk) Source #

Instance details

Methods

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

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

(ShelleyBasedEra era, EqMK mk) ⇒ Eq (LedgerState (ShelleyBlock proto era) mk) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

(==) ∷ LedgerState (ShelleyBlock proto era) mk → LedgerState (ShelleyBlock proto era) mk → Bool #

(/=) ∷ LedgerState (ShelleyBlock proto era) mk → LedgerState (ShelleyBlock proto era) mk → Bool #

Generic (LedgerState ByronBlock mk) Source #

Instance details

Associated Types

type Rep (LedgerState ByronBlock mk)

Instance details

type Rep (LedgerState ByronBlock mk) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.Byron.Ledger.Ledger" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "ByronLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "byronLedgerTipBlockNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin BlockNo)) :*: (S1 ('MetaSel ('Just "byronLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainValidationState) :*: S1 ('MetaSel ('Just "byronLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByronTransition))))

Methods

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

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

Generic (LedgerState (ShelleyBlock proto era) mk) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Associated Types

type Rep (LedgerState (ShelleyBlock proto era) mk)

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type Rep (LedgerState (ShelleyBlock proto era) mk) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "ShelleyLedgerState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "shelleyLedgerTip") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin (ShelleyTip proto era))) :*: S1 ('MetaSel ('Just "shelleyLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NewEpochState era))) :*: (S1 ('MetaSel ('Just "shelleyLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ShelleyTransition) :*: S1 ('MetaSel ('Just "shelleyLedgerTables") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerTables (ShelleyBlock proto era) mk)))))

Methods

from ∷ LedgerState (ShelleyBlock proto era) mk → Rep (LedgerState (ShelleyBlock proto era) mk) x #

to ∷ Rep (LedgerState (ShelleyBlock proto era) mk) x → LedgerState (ShelleyBlock proto era) mk #

(ShowMK mk, CanHardFork xs) ⇒ Show (LedgerState (HardForkBlock xs) mk) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

showsPrec ∷ Int → LedgerState (HardForkBlock xs) mk → ShowS #

show ∷ LedgerState (HardForkBlock xs) mk → String #

showList ∷ [LedgerState (HardForkBlock xs) mk] → ShowS #

(Bridge m a, ShowMK mk) ⇒ Show (LedgerState (DualBlock m a) mk) Source #

Instance details

Methods

showsPrec ∷ Int → LedgerState (DualBlock m a) mk → ShowS #

show ∷ LedgerState (DualBlock m a) mk → String #

showList ∷ [LedgerState (DualBlock m a) mk] → ShowS #

Show (LedgerState ByronBlock mk) Source #

Instance details

Methods

showsPrec ∷ Int → LedgerState ByronBlock mk → ShowS #

show ∷ LedgerState ByronBlock mk → String #

showList ∷ [LedgerState ByronBlock mk] → ShowS #

(ShelleyBasedEra era, ShowMK mk) ⇒ Show (LedgerState (ShelleyBlock proto era) mk) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

showsPrec ∷ Int → LedgerState (ShelleyBlock proto era) mk → ShowS #

show ∷ LedgerState (ShelleyBlock proto era) mk → String #

showList ∷ [LedgerState (ShelleyBlock proto era) mk] → ShowS #

(NoThunksMK mk, CanHardFork xs) ⇒ NoThunks (LedgerState (HardForkBlock xs) mk) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

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

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

showTypeOf ∷ Proxy (LedgerState (HardForkBlock xs) mk) → String Source #

NoThunks (LedgerState (DualBlock m a) mk) Source #

Instance details

Methods

noThunks ∷ Context → LedgerState (DualBlock m a) mk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → LedgerState (DualBlock m a) mk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (LedgerState (DualBlock m a) mk) → String Source #

NoThunks (LedgerState ByronBlock mk) Source #

Instance details

Methods

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

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

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

(ShelleyBasedEra era, NoThunksMK mk) ⇒ NoThunks (LedgerState (ShelleyBlock proto era) mk) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

noThunks ∷ Context → LedgerState (ShelleyBlock proto era) mk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → LedgerState (ShelleyBlock proto era) mk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (LedgerState (ShelleyBlock proto era) mk) → String Source #

HasLedgerTables (Ticked LedgerState) ByronBlock Source #

Instance details

Methods

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

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

LedgerTablesAreTrivial (Ticked LedgerState) ByronBlock Source #

Instance details

Methods

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

(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ HasLedgerTables (Ticked LedgerState) (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

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

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

StandardHash blk ⇒ StandardHash (LedgerState blk ∷ MapKind → Type) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Basics

(Bridge m a, HasLedgerTables (Ticked LedgerState) m) ⇒ HasLedgerTables (Ticked LedgerState) (DualBlock m a) Source #

Instance details

Methods

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

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

ShelleyBasedEra era ⇒ HasLedgerTables (Ticked LedgerState) (ShelleyBlock proto era) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

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

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

ShelleyCompatible proto era ⇒ DecodeDisk (ShelleyBlock proto era) (LedgerState (ShelleyBlock proto era) EmptyMK) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

decodeDisk ∷ CodecConfig (ShelleyBlock proto era) → ∀ s. Decoder s (LedgerState (ShelleyBlock proto era) EmptyMK) Source #

ShelleyCompatible proto era ⇒ EncodeDisk (ShelleyBlock proto era) (LedgerState (ShelleyBlock proto era) EmptyMK) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeDisk ∷ CodecConfig (ShelleyBlock proto era) → LedgerState (ShelleyBlock proto era) EmptyMK → Encoding Source #

CanHardFork xs ⇒ GetTip (Ticked LedgerState (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

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

Bridge m a ⇒ GetTip (Ticked LedgerState (DualBlock m a)) Source #

Instance details

Methods

getTip ∷ ∀ (mk ∷ MapKind). Ticked LedgerState (DualBlock m a) mk → Point (Ticked LedgerState (DualBlock m a)) Source #

GetTip (Ticked LedgerState ByronBlock) Source #

Instance details

Methods

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

GetTip (Ticked LedgerState (ShelleyBlock proto era)) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

getTip ∷ ∀ (mk ∷ MapKind). Ticked LedgerState (ShelleyBlock proto era) mk → Point (Ticked LedgerState (ShelleyBlock proto era)) Source #

CanHardFork xs ⇒ LedgerStateSupportsPeras (Ticked LedgerState (HardForkBlock xs)) Source #

LedgerStateSupportsPeras for the ticked hard fork ledger state, mirroring the instance for the unticked ledger state in Ouroboros.Consensus.HardFork.Combinator.Basics.

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

getPoolDistr ∷ Ticked LedgerState (HardForkBlock xs) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → Ticked LedgerState (HardForkBlock xs) EmptyMK → PerasParams blk Source #

LedgerStateSupportsPeras (Ticked LedgerState (DualBlock m a)) Source #

Instance details

Methods

getPoolDistr ∷ Ticked LedgerState (DualBlock m a) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → Ticked LedgerState (DualBlock m a) EmptyMK → PerasParams blk Source #

LedgerStateSupportsPeras (Ticked LedgerState ByronBlock) Source #

Instance details

Methods

getPoolDistr ∷ Ticked LedgerState ByronBlock EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → Ticked LedgerState ByronBlock EmptyMK → PerasParams blk Source #

LedgerStateSupportsPeras (Ticked LedgerState (ShelleyBlock proto era)) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

getPoolDistr ∷ Ticked LedgerState (ShelleyBlock proto era) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → Ticked LedgerState (ShelleyBlock proto era) EmptyMK → PerasParams blk Source #

ShelleyBasedEra era ⇒ CanStowLedgerTables (Ticked LedgerState (ShelleyBlock proto era)) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

stowLedgerTables ∷ Ticked LedgerState (ShelleyBlock proto era) ValuesMK → Ticked LedgerState (ShelleyBlock proto era) EmptyMK Source #

unstowLedgerTables ∷ Ticked LedgerState (ShelleyBlock proto era) EmptyMK → Ticked LedgerState (ShelleyBlock proto era) ValuesMK Source #

Generic (Ticked LedgerState ByronBlock mk) Source #

Instance details

Associated Types

type Rep (Ticked LedgerState ByronBlock mk)

Instance details

type Rep (Ticked LedgerState ByronBlock mk) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.Byron.Ledger.Ledger" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "TickedByronLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "tickedByronLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainValidationState) :*: S1 ('MetaSel ('Just "untickedByronLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByronTransition)))

Methods

from ∷ Ticked LedgerState ByronBlock mk → Rep (Ticked LedgerState ByronBlock mk) x #

to ∷ Rep (Ticked LedgerState ByronBlock mk) x → Ticked LedgerState ByronBlock mk #

Generic (Ticked LedgerState (ShelleyBlock proto era) mk) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Associated Types

type Rep (Ticked LedgerState (ShelleyBlock proto era) mk)

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type Rep (Ticked LedgerState (ShelleyBlock proto era) mk) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "TickedShelleyLedgerState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "untickedShelleyLedgerTip") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin (ShelleyTip proto era))) :*: S1 ('MetaSel ('Just "tickedShelleyLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ShelleyTransition)) :*: (S1 ('MetaSel ('Just "tickedShelleyLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NewEpochState era)) :*: S1 ('MetaSel ('Just "tickedShelleyLedgerTables") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerTables (ShelleyBlock proto era) mk)))))

Methods

from ∷ Ticked LedgerState (ShelleyBlock proto era) mk → Rep (Ticked LedgerState (ShelleyBlock proto era) mk) x #

to ∷ Rep (Ticked LedgerState (ShelleyBlock proto era) mk) x → Ticked LedgerState (ShelleyBlock proto era) mk #

NoThunks (Ticked LedgerState (DualBlock m a) mk) Source #

Instance details

Methods

noThunks ∷ Context → Ticked LedgerState (DualBlock m a) mk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Ticked LedgerState (DualBlock m a) mk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Ticked LedgerState (DualBlock m a) mk) → String Source #

NoThunks (Ticked LedgerState ByronBlock mk) Source #

Instance details

Methods

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

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

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

Inject (Flip LedgerState mk) 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 → Flip LedgerState mk x → Flip LedgerState mk (HardForkBlock xs) Source #

Isomorphic (Flip LedgerState mk) Source #

Instance details

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

Methods

project ∷ NoHardForks blk ⇒ Flip LedgerState mk (HardForkBlock '[blk]) → Flip LedgerState mk blk Source #

inject ∷ NoHardForks blk ⇒ Flip LedgerState mk blk → Flip LedgerState mk (HardForkBlock '[blk]) Source #

data LedgerState ByronBlock mk Source #

Instance details

data LedgerState ByronBlock mk = ByronLedgerState {

byronLedgerTipBlockNo ∷ !(WithOrigin BlockNo)
byronLedgerState ∷ !ChainValidationState
byronLedgerTransition ∷ !ByronTransition

}

type LedgerCfg LedgerState ByronBlock Source #

Instance details

type LedgerCfg LedgerState ByronBlock = Config

type LedgerErr LedgerState ByronBlock Source #

Instance details

type LedgerErr LedgerState ByronBlock = ChainValidationError

type LedgerCfg LedgerState (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

type LedgerCfg LedgerState (HardForkBlock xs) = HardForkLedgerConfig xs

type LedgerErr LedgerState (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type LedgerErr LedgerState (HardForkBlock xs) = HardForkLedgerError xs

type LedgerCfg LedgerState (DualBlock m a) Source #

Instance details

type LedgerCfg LedgerState (DualBlock m a) = DualLedgerConfig m a

type LedgerCfg LedgerState (ShelleyBlock proto era) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type LedgerCfg LedgerState (ShelleyBlock proto era) = ShelleyLedgerConfig era

type LedgerErr LedgerState (DualBlock m a) Source #

Instance details

type LedgerErr LedgerState (DualBlock m a) = DualLedgerError m a

type LedgerErr LedgerState (ShelleyBlock proto era) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type LedgerErr LedgerState (ShelleyBlock proto era) = BlockTransitionError era

type TranslationError era (Flip LedgerState mk :.: ShelleyBlock proto) Source #

Instance details

type TranslationError era (Flip LedgerState mk :.: ShelleyBlock proto) = Void

newtype LedgerState (HardForkBlock xs) mk Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype LedgerState (HardForkBlock xs) mk = HardForkLedgerState {

hardForkLedgerStatePerEra ∷ HardForkState (Flip LedgerState mk) xs

}

type Rep (LedgerState ByronBlock mk) Source #

Instance details

type Rep (LedgerState ByronBlock mk) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.Byron.Ledger.Ledger" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "ByronLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "byronLedgerTipBlockNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin BlockNo)) :*: (S1 ('MetaSel ('Just "byronLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainValidationState) :*: S1 ('MetaSel ('Just "byronLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByronTransition))))

type Rep (LedgerState (ShelleyBlock proto era) mk) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type Rep (LedgerState (ShelleyBlock proto era) mk) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "ShelleyLedgerState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "shelleyLedgerTip") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin (ShelleyTip proto era))) :*: S1 ('MetaSel ('Just "shelleyLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NewEpochState era))) :*: (S1 ('MetaSel ('Just "shelleyLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ShelleyTransition) :*: S1 ('MetaSel ('Just "shelleyLedgerTables") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerTables (ShelleyBlock proto era) mk)))))

data LedgerState (DualBlock m a) mk Source #

Instance details

data LedgerState (DualBlock m a) mk = DualLedgerState {

dualLedgerStateMain ∷ LedgerState m mk
dualLedgerStateAux ∷ LedgerState a ValuesMK
dualLedgerStateBridge ∷ BridgeLedger m a

}

data LedgerState (ShelleyBlock proto era) mk Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

data LedgerState (ShelleyBlock proto era) mk = ShelleyLedgerState {

shelleyLedgerTip ∷ !(WithOrigin (ShelleyTip proto era))
shelleyLedgerState ∷ !(NewEpochState era)
shelleyLedgerTransition ∷ !ShelleyTransition
shelleyLedgerTables ∷ !(LedgerTables (ShelleyBlock proto era) mk)

}

data Ticked LedgerState ByronBlock (mk ∷ MapKind) Source #

The ticked Byron ledger state

Instance details

data Ticked LedgerState ByronBlock (mk ∷ MapKind) = TickedByronLedgerState {

}

data Ticked LedgerState (HardForkBlock xs ∷ Type) (mk ∷ MapKind) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

data Ticked LedgerState (HardForkBlock xs ∷ Type) (mk ∷ MapKind) = TickedHardForkLedgerState {

tickedHardForkLedgerStateTransition ∷ !TransitionInfo
tickedHardForkLedgerStatePerEra ∷ !(HardForkState (FlipTickedLedgerState mk) xs)

}

data Ticked LedgerState (DualBlock m a ∷ Type) (mk ∷ MapKind) Source #

Instance details

data Ticked LedgerState (DualBlock m a ∷ Type) (mk ∷ MapKind) = TickedDualLedgerState {

tickedDualLedgerStateMain ∷ Ticked LedgerState m mk
tickedDualLedgerStateAux ∷ Ticked LedgerState a ValuesMK
tickedDualLedgerStateBridge ∷ BridgeLedger m a
tickedDualLedgerStateAuxOrig ∷ LedgerState a ValuesMK

}

data Ticked LedgerState (ShelleyBlock proto era ∷ Type) (mk ∷ MapKind) Source #

Ticking only affects the state itself

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

data Ticked LedgerState (ShelleyBlock proto era ∷ Type) (mk ∷ MapKind) = TickedShelleyLedgerState {

untickedShelleyLedgerTip ∷ !(WithOrigin (ShelleyTip proto era))
tickedShelleyLedgerTransition ∷ !ShelleyTransition
tickedShelleyLedgerState ∷ !(NewEpochState era)
tickedShelleyLedgerTables ∷ !(LedgerTables (ShelleyBlock proto era) mk)

}

type HeaderHash (LedgerState blk ∷ MapKind → Type) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Basics

type HeaderHash (LedgerState blk ∷ MapKind → Type) = HeaderHash blk

type Rep (Ticked LedgerState ByronBlock mk) Source #

Instance details

applyShelleyBasedTx, getConwayEraGovDict, mkEraMkMempoolApplyTxError

type Rep (Ticked LedgerState ByronBlock mk) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.Byron.Ledger.Ledger" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "TickedByronLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "tickedByronLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainValidationState) :*: S1 ('MetaSel ('Just "untickedByronLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByronTransition)))

type Rep (Ticked LedgerState (ShelleyBlock proto era) mk) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type Rep (Ticked LedgerState (ShelleyBlock proto era) mk) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "TickedShelleyLedgerState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "untickedShelleyLedgerTip") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin (ShelleyTip proto era))) :*: S1 ('MetaSel ('Just "tickedShelleyLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ShelleyTransition)) :*: (S1 ('MetaSel ('Just "tickedShelleyLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NewEpochState era)) :*: S1 ('MetaSel ('Just "tickedShelleyLedgerTables") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerTables (ShelleyBlock proto era) mk)))))

newtype LedgerTables blk (mk ∷ MapKind) Source #

The Ledger Tables represent the portion of the data on disk that has been pulled from disk and attached to the in-memory Ledger State or that will eventually be written to disk.

With UTxO-HD and the split of the Ledger ledger state into the in-memory part and the on-disk part, this splitting was reflected in the new type parameter added to the (Consensus) LedgerState, to which we refer as "the MapKind" or mk.

Every LedgerState (or LedgerState-like type, such as the ExtLedgerState) is associated with a LedgerTables and they both share the mk. They both are of kind LedgerStateKind. LedgerTables is just a way to refer only to a partial view of the on-disk data without having the rest of the in-memory LedgerState in scope.

The mk can be instantiated to anything that is map-like, i.e. that expects two type parameters, the key and the value.

Constructors

LedgerTables
Fields getLedgerTables ∷ mk (TxIn blk) (TxOut blk)

Instances

Instances details

(∀ k v. LedgerTableConstraints' l k v ⇒ Monoid (mk k v), LedgerTableConstraints l) ⇒ Monoid (LedgerTables l mk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Combinators

Methods

mempty ∷ LedgerTables l mk #

mappend ∷ LedgerTables l mk → LedgerTables l mk → LedgerTables l mk #

mconcat ∷ [LedgerTables l mk] → LedgerTables l mk #

(∀ k v. LedgerTableConstraints' blk k v ⇒ Semigroup (mk k v), LedgerTableConstraints blk) ⇒ Semigroup (LedgerTables blk mk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Combinators

Methods

(<>) ∷ LedgerTables blk mk → LedgerTables blk mk → LedgerTables blk mk #

sconcat ∷ NonEmpty (LedgerTables blk mk) → LedgerTables blk mk #

stimes ∷ Integral b ⇒ b → LedgerTables blk mk → LedgerTables blk mk #

Eq (mk (TxIn blk) (TxOut blk)) ⇒ Eq (LedgerTables blk mk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Methods

(==) ∷ LedgerTables blk mk → LedgerTables blk mk → Bool #

(/=) ∷ LedgerTables blk mk → LedgerTables blk mk → Bool #

Generic (LedgerTables blk mk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Associated Types

type Rep (LedgerTables blk mk)
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.Basics type Rep (LedgerTables blk mk) = D1 ('MetaData "LedgerTables" "Ouroboros.Consensus.Ledger.Tables.Basics" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "LedgerTables" 'PrefixI 'True) (S1 ('MetaSel ('Just "getLedgerTables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (mk (TxIn blk) (TxOut blk)))))

Methods

from ∷ LedgerTables blk mk → Rep (LedgerTables blk mk) x #

to ∷ Rep (LedgerTables blk mk) x → LedgerTables blk mk #

Show (mk (TxIn blk) (TxOut blk)) ⇒ Show (LedgerTables blk mk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Methods

showsPrec ∷ Int → LedgerTables blk mk → ShowS #

show ∷ LedgerTables blk mk → String #

showList ∷ [LedgerTables blk mk] → ShowS #

NoThunks (mk (TxIn blk) (TxOut blk)) ⇒ NoThunks (LedgerTables blk mk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Methods

noThunks ∷ Context → LedgerTables blk mk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → LedgerTables blk mk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (LedgerTables blk mk) → String Source #

type Rep (LedgerTables blk mk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

type Rep (LedgerTables blk mk) = D1 ('MetaData "LedgerTables" "Ouroboros.Consensus.Ledger.Tables.Basics" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "LedgerTables" 'PrefixI 'True) (S1 ('MetaSel ('Just "getLedgerTables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (mk (TxIn blk) (TxOut blk)))))

class (EraBlockBody era, EraGov era, ApplyTx era, ApplyTick era, EraTransition era, EraForecast era, NoThunks (StashedAVVMAddresses era), EncCBOR (StashedAVVMAddresses era), DecCBOR (StashedAVVMAddresses era), Show (StashedAVVMAddresses era), Eq (StashedAVVMAddresses era), DecCBOR (PredicateFailure (EraRule "LEDGER" era)), EncCBOR (PredicateFailure (EraRule "LEDGER" era)), DecCBOR (PredicateFailure (EraRule "UTXOW" era)), EncCBOR (PredicateFailure (EraRule "UTXOW" era)), Eq (PredicateFailure (EraRule "BBODY" era)), Show (PredicateFailure (EraRule "BBODY" era)), NoThunks (TranslationContext era), ToCBOR (TranslationContext era), FromCBOR (TranslationContext era)) ⇒ ShelleyBasedEra era where Source #

Consensus often needs some more functionality than the ledger currently provides.

Either the functionality shouldn't or can't live in the ledger, in which case it can be part and remain part of ShelleyBasedEra. Or, the functionality should live in the ledger, but hasn't yet been added to the ledger, or it hasn't yet been propagated to this repository, in which case it can be added to this class until that is the case.

If this class becomes redundant, We can move it to ledger and re-export it from here.

TODO Currently we include some constraints on the update state which are needed to determine the hard fork point. In the future this should be replaced with an appropriate API - see https://github.com/IntersectMBO/ouroboros-network/issues/2890

Minimal complete definition

Methods

applyShelleyBasedTx ∷ Globals → LedgerEnv era → LedgerState era → WhetherToIntervene → Tx 'TopTx era → Except (ApplyTxError era) (LedgerState era, Validated (Tx 'TopTx era)) Source #

getConwayEraGovDict ∷ proxy era → Maybe (ConwayEraGovDict era) Source #

Whether the era has an instance of ConwayEraGov

mkEraMkMempoolApplyTxError ∷ proxy era → Maybe (Text → ApplyTxError era) Source #

getShelleyEraPerasRoundLength ∷ proxy era → PerasEnabled PerasRoundLength Source #

Retrieve the optionally enabled Peras round length of this epoch.

Defaults to NoPerasEnabled for eras that don't explictily support Peras.

Instances

Instances details

ShelleyBasedEra AllegraEra Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv AllegraEra → LedgerState AllegraEra → WhetherToIntervene → Tx 'TopTx AllegraEra → Except (ApplyTxError AllegraEra) (LedgerState AllegraEra, Validated (Tx 'TopTx AllegraEra)) Source # getConwayEraGovDict ∷ proxy AllegraEra → Maybe (ConwayEraGovDict AllegraEra) Source # mkEraMkMempoolApplyTxError ∷ proxy AllegraEra → Maybe (Text → ApplyTxError AllegraEra) Source # getShelleyEraPerasRoundLength ∷ proxy AllegraEra → PerasEnabled PerasRoundLength Source #
ShelleyBasedEra AlonzoEra Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv AlonzoEra → LedgerState AlonzoEra → WhetherToIntervene → Tx 'TopTx AlonzoEra → Except (ApplyTxError AlonzoEra) (LedgerState AlonzoEra, Validated (Tx 'TopTx AlonzoEra)) Source # getConwayEraGovDict ∷ proxy AlonzoEra → Maybe (ConwayEraGovDict AlonzoEra) Source # mkEraMkMempoolApplyTxError ∷ proxy AlonzoEra → Maybe (Text → ApplyTxError AlonzoEra) Source # getShelleyEraPerasRoundLength ∷ proxy AlonzoEra → PerasEnabled PerasRoundLength Source #
ShelleyBasedEra BabbageEra Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv BabbageEra → LedgerState BabbageEra → WhetherToIntervene → Tx 'TopTx BabbageEra → Except (ApplyTxError BabbageEra) (LedgerState BabbageEra, Validated (Tx 'TopTx BabbageEra)) Source # getConwayEraGovDict ∷ proxy BabbageEra → Maybe (ConwayEraGovDict BabbageEra) Source # mkEraMkMempoolApplyTxError ∷ proxy BabbageEra → Maybe (Text → ApplyTxError BabbageEra) Source # getShelleyEraPerasRoundLength ∷ proxy BabbageEra → PerasEnabled PerasRoundLength Source #
ShelleyBasedEra ConwayEra Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv ConwayEra → LedgerState ConwayEra → WhetherToIntervene → Tx 'TopTx ConwayEra → Except (ApplyTxError ConwayEra) (LedgerState ConwayEra, Validated (Tx 'TopTx ConwayEra)) Source # getConwayEraGovDict ∷ proxy ConwayEra → Maybe (ConwayEraGovDict ConwayEra) Source # mkEraMkMempoolApplyTxError ∷ proxy ConwayEra → Maybe (Text → ApplyTxError ConwayEra) Source # getShelleyEraPerasRoundLength ∷ proxy ConwayEra → PerasEnabled PerasRoundLength Source #
ShelleyBasedEra DijkstraEra Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv DijkstraEra → LedgerState DijkstraEra → WhetherToIntervene → Tx 'TopTx DijkstraEra → Except (ApplyTxError DijkstraEra) (LedgerState DijkstraEra, Validated (Tx 'TopTx DijkstraEra)) Source # getConwayEraGovDict ∷ proxy DijkstraEra → Maybe (ConwayEraGovDict DijkstraEra) Source # mkEraMkMempoolApplyTxError ∷ proxy DijkstraEra → Maybe (Text → ApplyTxError DijkstraEra) Source # getShelleyEraPerasRoundLength ∷ proxy DijkstraEra → PerasEnabled PerasRoundLength Source #
ShelleyBasedEra MaryEra Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv MaryEra → LedgerState MaryEra → WhetherToIntervene → Tx 'TopTx MaryEra → Except (ApplyTxError MaryEra) (LedgerState MaryEra, Validated (Tx 'TopTx MaryEra)) Source # getConwayEraGovDict ∷ proxy MaryEra → Maybe (ConwayEraGovDict MaryEra) Source # mkEraMkMempoolApplyTxError ∷ proxy MaryEra → Maybe (Text → ApplyTxError MaryEra) Source # getShelleyEraPerasRoundLength ∷ proxy MaryEra → PerasEnabled PerasRoundLength Source #
ShelleyBasedEra ShelleyEra Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv ShelleyEra → LedgerState ShelleyEra → WhetherToIntervene → Tx 'TopTx ShelleyEra → Except (ApplyTxError ShelleyEra) (LedgerState ShelleyEra, Validated (Tx 'TopTx ShelleyEra)) Source # getConwayEraGovDict ∷ proxy ShelleyEra → Maybe (ConwayEraGovDict ShelleyEra) Source # mkEraMkMempoolApplyTxError ∷ proxy ShelleyEra → Maybe (Text → ApplyTxError ShelleyEra) Source # getShelleyEraPerasRoundLength ∷ proxy ShelleyEra → PerasEnabled PerasRoundLength Source #

data ShelleyTip proto era Source #

Constructors

ShelleyTip
Fields shelleyTipSlotNo ∷ !SlotNo shelleyTipBlockNo ∷ !BlockNo shelleyTipHash ∷ !(HeaderHash (ShelleyBlock proto era))

Instances

Instances details

(ShelleyBasedEra era, ShelleyBasedEra (PreviousEra era), Era (PreviousEra era)) ⇒ TranslateEra era (ShelleyTip proto) Source #

Instance details

Associated Types

type TranslationError era (ShelleyTip proto)
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC type TranslationError era (ShelleyTip proto) = Void

Methods

translateEra ∷ TranslationContext era → ShelleyTip proto (PreviousEra era) → Except (TranslationError era (ShelleyTip proto)) (ShelleyTip proto era) Source #

Eq (ShelleyTip proto era) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

(==) ∷ ShelleyTip proto era → ShelleyTip proto era → Bool #

(/=) ∷ ShelleyTip proto era → ShelleyTip proto era → Bool #

Generic (ShelleyTip proto era) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Associated Types

type Rep (ShelleyTip proto era)

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type Rep (ShelleyTip proto era) = D1 ('MetaData "ShelleyTip" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "ShelleyTip" 'PrefixI 'True) (S1 ('MetaSel ('Just "shelleyTipSlotNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: (S1 ('MetaSel ('Just "shelleyTipBlockNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BlockNo) :*: S1 ('MetaSel ('Just "shelleyTipHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HeaderHash (ShelleyBlock proto era))))))

Methods

from ∷ ShelleyTip proto era → Rep (ShelleyTip proto era) x #

to ∷ Rep (ShelleyTip proto era) x → ShelleyTip proto era #

Show (ShelleyTip proto era) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

showsPrec ∷ Int → ShelleyTip proto era → ShowS #

show ∷ ShelleyTip proto era → String #

showList ∷ [ShelleyTip proto era] → ShowS #

NoThunks (ShelleyTip proto era) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

noThunks ∷ Context → ShelleyTip proto era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ShelleyTip proto era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ShelleyTip proto era) → String Source #

type TranslationError era (ShelleyTip proto) Source #

Instance details

type TranslationError era (ShelleyTip proto) = Void

type Rep (ShelleyTip proto era) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type Rep (ShelleyTip proto era) = D1 ('MetaData "ShelleyTip" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "ShelleyTip" 'PrefixI 'True) (S1 ('MetaSel ('Just "shelleyTipSlotNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: (S1 ('MetaSel ('Just "shelleyTipBlockNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BlockNo) :*: S1 ('MetaSel ('Just "shelleyTipHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HeaderHash (ShelleyBlock proto era))))))

newtype ShelleyTransition Source #

Information required to determine the hard fork point from Shelley to the next ledger

Constructors

ShelleyTransitionInfo

Fields

shelleyAfterVoting ∷ Word32
The number of blocks in this epoch past the voting deadline
We record this to make sure that we can tell the HFC about hard forks if and only if we are certain:
1. Blocks that came in within an epoch after the 4k/f voting deadline are not relevant (10kf - 2 * 3kf).
2. Since there are slots between blocks, we are probably only sure that there will be no more relevant block when we have seen the first block after the deadline.
3. If we count how many blocks we have seen post deadline, and we have reached k of them, we know that that last pre-deadline block won't be rolled back anymore.
4. At this point we can look at the ledger state and see if there is a new protocol version update scheduled on the next epoch boundary, and notify the HFC that we need to transition into a new era at that point.

Instances

Instances details

Eq ShelleyTransition Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

(==) ∷ ShelleyTransition → ShelleyTransition → Bool #

(/=) ∷ ShelleyTransition → ShelleyTransition → Bool #

Generic ShelleyTransition Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Associated Types

type Rep ShelleyTransition

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type Rep ShelleyTransition = D1 ('MetaData "ShelleyTransition" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'True) (C1 ('MetaCons "ShelleyTransitionInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "shelleyAfterVoting") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32)))

Methods

from ∷ ShelleyTransition → Rep ShelleyTransition x #

to ∷ Rep ShelleyTransition x → ShelleyTransition #

Show ShelleyTransition Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

showsPrec ∷ Int → ShelleyTransition → ShowS #

show ∷ ShelleyTransition → String #

showList ∷ [ShelleyTransition] → ShowS #

NoThunks ShelleyTransition Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

noThunks ∷ Context → ShelleyTransition → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ShelleyTransition → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy ShelleyTransition → String Source #

type Rep ShelleyTransition Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type Rep ShelleyTransition = D1 ('MetaData "ShelleyTransition" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'True) (C1 ('MetaCons "ShelleyTransitionInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "shelleyAfterVoting") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32)))

data family Ticked (st ∷ k) ∷ k Source #

" Ticked " piece of state, either LedgerState or ChainDepState

Ticking refers to the passage of time (the ticking of the clock). When a piece of state is marked as ticked, it means that time-related changes have been applied to the state. There are exactly two methods in the interface that do that: tickChainDepState and applyChainTickLedgerResult.

Also note that a successful forecast forecastFor (ledgerViewForecastAt cfg st) slot must equal protocolLedgerView cfg (applyChainTick cfg slot st). Thus a LedgerView can only be projected from a Ticked state, but cannot itself be ticked.

Some examples of time related changes:

Scheduled delegations might have been applied in Byron
New leader schedule computed for Shelley
Transition from Byron to Shelley activated in the hard fork combinator.
Nonces switched out at the start of a new epoch.

Ticked is used mainly in two ways:

Ticked (Ext)LedgerState where its kind gets concretized to StateKind -> StateKind
Ticked (HeaderState blk) where its kind gets concretized to Type -> Type

Instances

Instances details

Show (Ticked ()) Source #

Instance details

Methods

showsPrec ∷ Int → Ticked () → ShowS #

show ∷ Ticked () → String #

showList ∷ [Ticked ()] → ShowS #

CanHardFork xs ⇒ ChainDepStateSupportsPeras (Ticked (HardForkChainDepState xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol

Methods

getEpochNonce ∷ Ticked (HardForkChainDepState xs) → Nonce Source #

ChainDepStateSupportsPeras (Ticked (ChainDepState (BlockProtocol blk))) ⇒ ChainDepStateSupportsPeras (Ticked (HeaderState blk)) Source #

Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Methods

getEpochNonce ∷ Ticked (HeaderState blk) → Nonce Source #

ChainDepStateSupportsPeras (Ticked (PBftState c)) Source #

Instance details

Defined in Ouroboros.Consensus.Protocol.PBFT

Methods

getEpochNonce ∷ Ticked (PBftState c) → Nonce Source #

ChainDepStateSupportsPeras (Ticked PraosState) #

Instance details

Defined in Ouroboros.Consensus.Protocol.Praos

Methods

getEpochNonce ∷ Ticked PraosState → Nonce Source #

ChainDepStateSupportsPeras (Ticked TPraosState) #

Instance details

Defined in Ouroboros.Consensus.Protocol.TPraos

Methods

getEpochNonce ∷ Ticked TPraosState → Nonce Source #

ChainDepStateSupportsPeras (Ticked ()) Source #

Instance details

Defined in Ouroboros.Consensus.Protocol.Abstract

Methods

getEpochNonce ∷ Ticked () → Nonce Source #

HasLedgerTables (Ticked LedgerState) ByronBlock Source #

Instance details

Methods

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

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

(NoThunks (TxIn blk), NoThunks (TxOut blk), HasLedgerTables (Ticked LedgerState) blk) ⇒ HasLedgerTables (Ticked ExtLedgerState) blk Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

Methods

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

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

LedgerTablesAreTrivial (Ticked LedgerState) ByronBlock Source #

Instance details

Methods

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

(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ HasLedgerTables (Ticked LedgerState) (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

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

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

(Bridge m a, HasLedgerTables (Ticked LedgerState) m) ⇒ HasLedgerTables (Ticked LedgerState) (DualBlock m a) Source #

Instance details

Methods

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

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

ShelleyBasedEra era ⇒ HasLedgerTables (Ticked LedgerState) (ShelleyBlock proto era) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

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

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

CanHardFork xs ⇒ GetTip (Ticked LedgerState (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

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

Bridge m a ⇒ GetTip (Ticked LedgerState (DualBlock m a)) Source #

Instance details

Methods

getTip ∷ ∀ (mk ∷ MapKind). Ticked LedgerState (DualBlock m a) mk → Point (Ticked LedgerState (DualBlock m a)) Source #

GetTip (Ticked LedgerState ByronBlock) Source #

Instance details

Methods

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

GetTip (Ticked LedgerState (ShelleyBlock proto era)) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

getTip ∷ ∀ (mk ∷ MapKind). Ticked LedgerState (ShelleyBlock proto era) mk → Point (Ticked LedgerState (ShelleyBlock proto era)) Source #

IsLedger LedgerState blk ⇒ GetTip (Ticked ExtLedgerState blk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

Methods

getTip ∷ ∀ (mk ∷ MapKind). Ticked ExtLedgerState blk mk → Point (Ticked ExtLedgerState blk) Source #

CanHardFork xs ⇒ LedgerStateSupportsPeras (Ticked LedgerState (HardForkBlock xs)) Source #

LedgerStateSupportsPeras for the ticked hard fork ledger state, mirroring the instance for the unticked ledger state in Ouroboros.Consensus.HardFork.Combinator.Basics.

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

getPoolDistr ∷ Ticked LedgerState (HardForkBlock xs) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → Ticked LedgerState (HardForkBlock xs) EmptyMK → PerasParams blk Source #

LedgerStateSupportsPeras (Ticked LedgerState (DualBlock m a)) Source #

Instance details

Methods

getPoolDistr ∷ Ticked LedgerState (DualBlock m a) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → Ticked LedgerState (DualBlock m a) EmptyMK → PerasParams blk Source #

LedgerStateSupportsPeras (Ticked LedgerState ByronBlock) Source #

Instance details

Methods

getPoolDistr ∷ Ticked LedgerState ByronBlock EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → Ticked LedgerState ByronBlock EmptyMK → PerasParams blk Source #

LedgerStateSupportsPeras (Ticked LedgerState (ShelleyBlock proto era)) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

getPoolDistr ∷ Ticked LedgerState (ShelleyBlock proto era) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → Ticked LedgerState (ShelleyBlock proto era) EmptyMK → PerasParams blk Source #

ShelleyBasedEra era ⇒ CanStowLedgerTables (Ticked LedgerState (ShelleyBlock proto era)) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

stowLedgerTables ∷ Ticked LedgerState (ShelleyBlock proto era) ValuesMK → Ticked LedgerState (ShelleyBlock proto era) EmptyMK Source #

unstowLedgerTables ∷ Ticked LedgerState (ShelleyBlock proto era) EmptyMK → Ticked LedgerState (ShelleyBlock proto era) ValuesMK Source #

Generic (Ticked LedgerState ByronBlock mk) Source #

Instance details

Associated Types

type Rep (Ticked LedgerState ByronBlock mk)

Instance details

type Rep (Ticked LedgerState ByronBlock mk) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.Byron.Ledger.Ledger" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "TickedByronLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "tickedByronLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainValidationState) :*: S1 ('MetaSel ('Just "untickedByronLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByronTransition)))

Methods

from ∷ Ticked LedgerState ByronBlock mk → Rep (Ticked LedgerState ByronBlock mk) x #

to ∷ Rep (Ticked LedgerState ByronBlock mk) x → Ticked LedgerState ByronBlock mk #

Generic (Ticked LedgerState (ShelleyBlock proto era) mk) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Associated Types

type Rep (Ticked LedgerState (ShelleyBlock proto era) mk)

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type Rep (Ticked LedgerState (ShelleyBlock proto era) mk) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "TickedShelleyLedgerState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "untickedShelleyLedgerTip") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin (ShelleyTip proto era))) :*: S1 ('MetaSel ('Just "tickedShelleyLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ShelleyTransition)) :*: (S1 ('MetaSel ('Just "tickedShelleyLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NewEpochState era)) :*: S1 ('MetaSel ('Just "tickedShelleyLedgerTables") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerTables (ShelleyBlock proto era) mk)))))

Methods

from ∷ Ticked LedgerState (ShelleyBlock proto era) mk → Rep (Ticked LedgerState (ShelleyBlock proto era) mk) x #

to ∷ Rep (Ticked LedgerState (ShelleyBlock proto era) mk) x → Ticked LedgerState (ShelleyBlock proto era) mk #

NoThunks (Ticked LedgerState (DualBlock m a) mk) Source #

Instance details

Methods

noThunks ∷ Context → Ticked LedgerState (DualBlock m a) mk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Ticked LedgerState (DualBlock m a) mk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Ticked LedgerState (DualBlock m a) mk) → String Source #

NoThunks (Ticked LedgerState ByronBlock mk) Source #

Instance details

Methods

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

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

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

Show (Ticked (f a)) ⇒ Show (((Ticked ∷ Type → Type) :.: f) a) Source #

Instance details

Methods

showsPrec ∷ Int → ((Ticked ∷ Type → Type) :.: f) a → ShowS #

show ∷ ((Ticked ∷ Type → Type) :.: f) a → String #

showList ∷ [((Ticked ∷ Type → Type) :.: f) a] → ShowS #

NoThunks (Ticked (f a)) ⇒ NoThunks (((Ticked ∷ Type → Type) :.: f) a) Source #

Instance details

Methods

noThunks ∷ Context → ((Ticked ∷ Type → Type) :.: f) a → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ((Ticked ∷ Type → Type) :.: f) a → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (((Ticked ∷ Type → Type) :.: f) a) → String Source #

data Ticked PraosState #

Instance details

Defined in Ouroboros.Consensus.Protocol.Praos

data Ticked PraosState = TickedPraosState {

tickedPraosStateChainDepState ∷ PraosState
tickedPraosStateLedgerView ∷ PraosLedgerView

}

data Ticked TPraosState #

Instance details

Defined in Ouroboros.Consensus.Protocol.TPraos

data Ticked TPraosState = TickedChainDepState {

tickedTPraosStateChainDepState ∷ ChainDepState
tickedTPraosStateLedgerView ∷ TPraosLedgerView

}

data Ticked () Source #

Instance details

data Ticked () = TickedTrivial

data Ticked (HardForkChainDepState xs ∷ Type) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol

data Ticked (HardForkChainDepState xs ∷ Type) = TickedHardForkChainDepState {

tickedHardForkChainDepStatePerEra ∷ HardForkState ((Ticked ∷ Type → Type) :.: WrapChainDepState) xs
tickedHardForkChainDepStateEpochInfo ∷ EpochInfo (Except PastHorizonException)

}

data Ticked (HeaderState blk ∷ Type) Source #

Instance details

Defined in Ouroboros.Consensus.HeaderValidation

data Ticked (HeaderState blk ∷ Type) = TickedHeaderState {

untickedHeaderStateTip ∷ WithOrigin (AnnTip blk)
tickedHeaderStateChainDep ∷ Ticked (ChainDepState (BlockProtocol blk))

}

data Ticked (PBftState c ∷ Type) Source #

Instance details

Defined in Ouroboros.Consensus.Protocol.PBFT

data Ticked (PBftState c ∷ Type) = TickedPBftState {

getPBftLedgerView ∷ LedgerView (PBft c)
getTickedPBftState ∷ PBftState c

}

newtype Ticked (WrapChainDepState blk ∷ Type) Source #

Instance details

Defined in Ouroboros.Consensus.TypeFamilyWrappers

newtype Ticked (WrapChainDepState blk ∷ Type) = WrapTickedChainDepState {

unwrapTickedChainDepState ∷ Ticked (ChainDepState (BlockProtocol blk))

}

type HeaderHash (Ticked l blk ∷ k2) Source #

Instance details

type HeaderHash (Ticked l blk ∷ k2) = HeaderHash (l blk)

data Ticked ExtLedgerState (blk ∷ Type) (mk ∷ MapKind) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

data Ticked ExtLedgerState (blk ∷ Type) (mk ∷ MapKind) = TickedExtLedgerState {

tickedLedgerState ∷ Ticked LedgerState blk mk
ledgerView ∷ LedgerView (BlockProtocol blk)
tickedHeaderState ∷ Ticked (HeaderState blk)
tickedPerasState ∷ PerasState blk

}

data Ticked LedgerState ByronBlock (mk ∷ MapKind) Source #

The ticked Byron ledger state

Instance details

data Ticked LedgerState ByronBlock (mk ∷ MapKind) = TickedByronLedgerState {

}

data Ticked LedgerState (HardForkBlock xs ∷ Type) (mk ∷ MapKind) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

data Ticked LedgerState (HardForkBlock xs ∷ Type) (mk ∷ MapKind) = TickedHardForkLedgerState {

tickedHardForkLedgerStateTransition ∷ !TransitionInfo
tickedHardForkLedgerStatePerEra ∷ !(HardForkState (FlipTickedLedgerState mk) xs)

}

data Ticked LedgerState (DualBlock m a ∷ Type) (mk ∷ MapKind) Source #

Instance details

data Ticked LedgerState (DualBlock m a ∷ Type) (mk ∷ MapKind) = TickedDualLedgerState {

tickedDualLedgerStateMain ∷ Ticked LedgerState m mk
tickedDualLedgerStateAux ∷ Ticked LedgerState a ValuesMK
tickedDualLedgerStateBridge ∷ BridgeLedger m a
tickedDualLedgerStateAuxOrig ∷ LedgerState a ValuesMK

}

data Ticked LedgerState (ShelleyBlock proto era ∷ Type) (mk ∷ MapKind) Source #

Ticking only affects the state itself

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

data Ticked LedgerState (ShelleyBlock proto era ∷ Type) (mk ∷ MapKind) = TickedShelleyLedgerState {

untickedShelleyLedgerTip ∷ !(WithOrigin (ShelleyTip proto era))
tickedShelleyLedgerTransition ∷ !ShelleyTransition
tickedShelleyLedgerState ∷ !(NewEpochState era)
tickedShelleyLedgerTables ∷ !(LedgerTables (ShelleyBlock proto era) mk)

}

type Rep (Ticked LedgerState ByronBlock mk) Source #

Instance details