Documentation

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 #

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

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 #

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

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
type AuxLedgerEvent (LedgerState (DualBlock m a))
Instance details Defined in Ouroboros.Consensus.Ledger.Dual type AuxLedgerEvent (LedgerState (DualBlock m a)) = AuxLedgerEvent (LedgerState m)

Methods

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

IsLedger (LedgerState ByronBlock) Source #

Instance details

Associated Types

type LedgerErr (LedgerState ByronBlock)
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger type LedgerErr (LedgerState ByronBlock) = ChainValidationError
type AuxLedgerEvent (LedgerState ByronBlock)
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger type AuxLedgerEvent (LedgerState ByronBlock) = VoidLedgerEvent (LedgerState ByronBlock)

Methods

applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState ByronBlock) → SlotNo → LedgerState ByronBlock EmptyMK → LedgerResult (LedgerState ByronBlock) (Ticked (LedgerState ByronBlock) 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
type AuxLedgerEvent (LedgerState (ShelleyBlock proto era))
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger type AuxLedgerEvent (LedgerState (ShelleyBlock proto era)) = ShelleyLedgerEvent era

Methods

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

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

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 #

(Bridge m a, NoThunks (TxOut (LedgerState m)), NoThunks (TxIn (LedgerState m)), Show (TxOut (LedgerState m)), Show (TxIn (LedgerState m)), Eq (TxOut (LedgerState m)), Ord (TxIn (LedgerState m)), MemPack (TxIn (LedgerState m))) ⇒ HasLedgerTables (LedgerState (DualBlock m a))

Instance details

Methods

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

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

HasLedgerTables (LedgerState ByronBlock) Source #

Instance details

Methods

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

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

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

LedgerTablesAreTrivial (LedgerState ByronBlock) Source #

Instance details

Methods

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

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

Instance details

Defined in Ouroboros.Consensus.Cardano.Ledger

Methods

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

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

SerializeTablesWithHint (LedgerState (HardForkBlock '[ByronBlock])) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.ByronHFC

Methods

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

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

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

Instance details

Methods

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

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

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

Instance details

Methods

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

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

SerializeTablesWithHint (LedgerState ByronBlock) Source #

Instance details

Methods

encodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState ByronBlock) ValuesMK) → LedgerTables (LedgerState ByronBlock) ValuesMK → Encoding Source #

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

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

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

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

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

CanUpgradeLedgerTables (LedgerState (DualBlock m a))

Instance details

Methods

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

CanUpgradeLedgerTables (LedgerState ByronBlock) Source #

Instance details

Methods

upgradeTables ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). LedgerState ByronBlock mk1 → LedgerState ByronBlock mk2 → LedgerTables (LedgerState ByronBlock) ValuesMK → LedgerTables (LedgerState ByronBlock) 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 (LedgerState (ShelleyBlock proto era)) ValuesMK → LedgerTables (LedgerState (ShelleyBlock proto era)) ValuesMK Source #

ApplyBlock (LedgerState ByronBlock) ByronBlock Source #

Instance details

Methods

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

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

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

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

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

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 (LedgerState (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 (LedgerState (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 (LedgerState (DualBlock m a)) (LedgerState (DualBlock m a) DiffMK) Source #

getBlockKeySets ∷ DualBlock m a → LedgerTables (LedgerState (DualBlock m a)) KeysMK Source #

ShelleyCompatible proto era ⇒ ApplyBlock (LedgerState (ShelleyBlock proto era)) (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 (LedgerState (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 (LedgerState (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 (LedgerState (ShelleyBlock proto era)) (LedgerState (ShelleyBlock proto era) DiffMK) Source #

getBlockKeySets ∷ ShelleyBlock proto era → LedgerTables (LedgerState (ShelleyBlock proto era)) KeysMK Source #

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-cardano-0.25.0.0-inplace" '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-cardano-0.25.0.0-inplace" '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 (LedgerState (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)

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)

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 #

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

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)

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 #

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

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)

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 #

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

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 #

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 #

(Bridge m a, NoThunks (TxOut (LedgerState m)), NoThunks (TxIn (LedgerState m)), Show (TxOut (LedgerState m)), Show (TxIn (LedgerState m)), Eq (TxOut (LedgerState m)), Ord (TxIn (LedgerState m)), MemPack (TxIn (LedgerState m))) ⇒ HasLedgerTables (Ticked (LedgerState (DualBlock m a)))

Instance details

Methods

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

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

HasLedgerTables (Ticked (LedgerState ByronBlock)) Source #

Instance details

Methods

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

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

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

LedgerTablesAreTrivial (Ticked (LedgerState ByronBlock)) Source #

Instance details

Methods

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

IndexedMemPack (LedgerState (HardForkBlock '[ByronBlock]) EmptyMK) 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 ⇒ LedgerState (HardForkBlock '[ByronBlock]) EmptyMK → Unpack b Void Source #

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

(txout ~ TxOut era, MemPack txout) ⇒ IndexedMemPack (LedgerState (HardForkBlock '[ShelleyBlock proto era]) EmptyMK) 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 ⇒ LedgerState (HardForkBlock '[ShelleyBlock proto era]) EmptyMK → Unpack b txout Source #

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

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

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 ⇒ LedgerState (DualBlock m a) EmptyMK → Unpack b txout Source #

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

IndexedMemPack (LedgerState ByronBlock EmptyMK) Void Source #

Instance details

Methods

indexedPackedByteCount ∷ LedgerState ByronBlock EmptyMK → Void → Int Source #

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

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

indexedTypeName ∷ LedgerState ByronBlock EmptyMK → String Source #

(txout ~ TxOut era, MemPack txout) ⇒ IndexedMemPack (LedgerState (ShelleyBlock proto era) EmptyMK) 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 ⇒ LedgerState (ShelleyBlock proto era) EmptyMK → Unpack b txout Source #

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

CardanoHardForkConstraints c ⇒ IndexedMemPack (LedgerState (HardForkBlock (CardanoEras c)) EmptyMK) (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 ⇒ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → Unpack b (CardanoTxOut c) Source #

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

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

Instance details

Defined in Ouroboros.Consensus.Ledger.Basics

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 #

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-cardano-0.25.0.0-inplace" '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-cardano-0.25.0.0-inplace" '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 (LedgerState (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)

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)

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)

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 TranslationError era (Flip LedgerState mk :.: ShelleyBlock proto) Source #

Instance details

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

type AuxLedgerEvent (LedgerState (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type AuxLedgerEvent (LedgerState (HardForkBlock xs)) = OneEraLedgerEvent xs

type AuxLedgerEvent (LedgerState (DualBlock m a))

Instance details

type AuxLedgerEvent (LedgerState (DualBlock m a)) = AuxLedgerEvent (LedgerState m)

type AuxLedgerEvent (LedgerState ByronBlock) Source #

Instance details

type AuxLedgerEvent (LedgerState ByronBlock) = VoidLedgerEvent (LedgerState ByronBlock)

type AuxLedgerEvent (LedgerState (ShelleyBlock proto era)) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type AuxLedgerEvent (LedgerState (ShelleyBlock proto era)) = ShelleyLedgerEvent era

type LedgerCfg (LedgerState (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

type LedgerCfg (LedgerState (HardForkBlock xs)) = HardForkLedgerConfig xs

type LedgerCfg (LedgerState (DualBlock m a))

Instance details

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

type LedgerCfg (LedgerState ByronBlock) Source #

Instance details

type LedgerCfg (LedgerState ByronBlock) = Config

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 (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type LedgerErr (LedgerState (HardForkBlock xs)) = HardForkLedgerError xs

type LedgerErr (LedgerState (DualBlock m a))

Instance details

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

type LedgerErr (LedgerState ByronBlock) Source #

Instance details

type LedgerErr (LedgerState ByronBlock) = ChainValidationError

type LedgerErr (LedgerState (ShelleyBlock proto era)) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type LedgerErr (LedgerState (ShelleyBlock proto era)) = BlockTransitionError era

newtype LedgerState (HardForkBlock xs) mk

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype LedgerState (HardForkBlock xs) mk = HardForkLedgerState {

hardForkLedgerStatePerEra ∷ HardForkState (Flip LedgerState mk) xs

}

type TxIn (LedgerState (HardForkBlock xs))

Must be the CannonicalTxIn type, but this will probably change in the future to NS WrapTxIn xs. See HasCanonicalTxIn.

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type TxIn (LedgerState (HardForkBlock xs)) = CanonicalTxIn xs

type TxIn (LedgerState (DualBlock m a))

Instance details

type TxIn (LedgerState (DualBlock m a)) = TxIn (LedgerState m)

type TxIn (LedgerState ByronBlock) Source #

Instance details

type TxIn (LedgerState ByronBlock) = Void

type TxIn (LedgerState (ShelleyBlock proto era)) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type TxIn (LedgerState (ShelleyBlock proto era)) = TxIn

type TxOut (LedgerState (HardForkBlock xs))

Must be the HardForkTxOut type

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type TxOut (LedgerState (HardForkBlock xs)) = HardForkTxOut xs

type TxOut (LedgerState (DualBlock m a))

Instance details

type TxOut (LedgerState (DualBlock m a)) = TxOut (LedgerState m)

type TxOut (LedgerState ByronBlock) Source #

Instance details

type TxOut (LedgerState ByronBlock) = Void

type TxOut (LedgerState (ShelleyBlock proto era)) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type TxOut (LedgerState (ShelleyBlock proto era)) = TxOut era

type Rep (LedgerState ByronBlock mk) Source #

Instance details

type Rep (LedgerState ByronBlock mk) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.Byron.Ledger.Ledger" "ouroboros-consensus-cardano-0.25.0.0-inplace" '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-cardano-0.25.0.0-inplace" '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 (LedgerState (ShelleyBlock proto era)) mk)))))

data LedgerState (DualBlock m a) mk

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 (LedgerState (ShelleyBlock proto era)) mk)

}

data Ticked (LedgerState (HardForkBlock xs) ∷ MapKind → Type) (mk ∷ MapKind)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

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

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

}

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

Instance details

data Ticked (LedgerState (DualBlock m a) ∷ MapKind → 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 ByronBlock) (mk ∷ MapKind) Source #

The ticked Byron ledger state

Instance details

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

}

data Ticked (LedgerState (ShelleyBlock proto era) ∷ MapKind → 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) ∷ MapKind → Type) (mk ∷ MapKind) = TickedShelleyLedgerState {

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

}

type HeaderHash (LedgerState blk ∷ MapKind → Type)

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

type Rep (Ticked (LedgerState ByronBlock) mk) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.Byron.Ledger.Ledger" "ouroboros-consensus-cardano-0.25.0.0-inplace" '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-cardano-0.25.0.0-inplace" '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 (LedgerState (ShelleyBlock proto era)) mk)))))

newtype LedgerTables (l ∷ LedgerStateKind) (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 l) (TxOut l)

Instances

Instances details

(Ord (TxIn l), Eq (TxOut l), Show (TxIn l), Show (TxOut l), NoThunks (TxIn l), NoThunks (TxOut l), MemPack (TxIn l), IndexedMemPack (MemPackIdx l EmptyMK) (TxOut l)) ⇒ HasLedgerTables (LedgerTables l)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables

Methods

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

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

Generic (LedgerTables l mk)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Associated Types

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

Methods

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

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

Show (mk (TxIn l) (TxOut l)) ⇒ Show (LedgerTables l mk)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Methods

showsPrec ∷ Int → LedgerTables l mk → ShowS #

show ∷ LedgerTables l mk → String #

showList ∷ [LedgerTables l mk] → ShowS #

Eq (mk (TxIn l) (TxOut l)) ⇒ Eq (LedgerTables l mk)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Methods

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

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

NoThunks (mk (TxIn l) (TxOut l)) ⇒ NoThunks (LedgerTables l mk)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Methods

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

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

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

type TxIn (LedgerTables l)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

type TxIn (LedgerTables l) = TxIn l

type TxOut (LedgerTables l)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

type TxOut (LedgerTables l) = TxOut l

type Rep (LedgerTables l mk)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

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

type SerializeTablesHint (LedgerTables l ValuesMK)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables

type SerializeTablesHint (LedgerTables l ValuesMK) = l EmptyMK

type InitHint (LedgerTables l ValuesMK)

Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.V1.BackingStore.API

type InitHint (LedgerTables l ValuesMK) = l EmptyMK

type ReadHint (LedgerTables l ValuesMK)

Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.V1.BackingStore.API

type ReadHint (LedgerTables l ValuesMK) = l EmptyMK

type WriteHint (LedgerTables l DiffMK)

Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.V1.BackingStore.API

type WriteHint (LedgerTables l DiffMK) = (l EmptyMK, l EmptyMK)

class (EraSegWits era, EraGov era, ApplyTx era, ApplyBlock era, EraTransition era, GetLedgerView 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 (PredicateFailure (EraRule "BBODY" era)), NoThunks (TranslationContext era), ToCBOR (TranslationContext era), FromCBOR (TranslationContext era)) ⇒ ShelleyBasedEra era 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

Instances

Instances details

ShelleyBasedEra AllegraEra Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv AllegraEra → LedgerState AllegraEra → WhetherToIntervene → Tx AllegraEra → Except (ApplyTxError AllegraEra) (LedgerState AllegraEra, Validated (Tx AllegraEra)) Source # getConwayEraGovDict ∷ proxy AllegraEra → Maybe (ConwayEraGovDict AllegraEra) Source #
ShelleyBasedEra AlonzoEra Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv AlonzoEra → LedgerState AlonzoEra → WhetherToIntervene → Tx AlonzoEra → Except (ApplyTxError AlonzoEra) (LedgerState AlonzoEra, Validated (Tx AlonzoEra)) Source # getConwayEraGovDict ∷ proxy AlonzoEra → Maybe (ConwayEraGovDict AlonzoEra) Source #
ShelleyBasedEra BabbageEra Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv BabbageEra → LedgerState BabbageEra → WhetherToIntervene → Tx BabbageEra → Except (ApplyTxError BabbageEra) (LedgerState BabbageEra, Validated (Tx BabbageEra)) Source # getConwayEraGovDict ∷ proxy BabbageEra → Maybe (ConwayEraGovDict BabbageEra) Source #
ShelleyBasedEra ConwayEra Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv ConwayEra → LedgerState ConwayEra → WhetherToIntervene → Tx ConwayEra → Except (ApplyTxError ConwayEra) (LedgerState ConwayEra, Validated (Tx ConwayEra)) Source # getConwayEraGovDict ∷ proxy ConwayEra → Maybe (ConwayEraGovDict ConwayEra) Source #
ShelleyBasedEra MaryEra Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv MaryEra → LedgerState MaryEra → WhetherToIntervene → Tx MaryEra → Except (ApplyTxError MaryEra) (LedgerState MaryEra, Validated (Tx MaryEra)) Source # getConwayEraGovDict ∷ proxy MaryEra → Maybe (ConwayEraGovDict MaryEra) Source #
ShelleyBasedEra ShelleyEra Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv ShelleyEra → LedgerState ShelleyEra → WhetherToIntervene → Tx ShelleyEra → Except (ApplyTxError ShelleyEra) (LedgerState ShelleyEra, Validated (Tx ShelleyEra)) Source # getConwayEraGovDict ∷ proxy ShelleyEra → Maybe (ConwayEraGovDict ShelleyEra) 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 #

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-cardano-0.25.0.0-inplace" '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 #

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 #

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-cardano-0.25.0.0-inplace" '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

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-cardano-0.25.0.0-inplace" '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 #

Eq ShelleyTransition Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

(==) ∷ ShelleyTransition → ShelleyTransition → Bool #

(/=) ∷ ShelleyTransition → ShelleyTransition → Bool #

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-cardano-0.25.0.0-inplace" '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.

Instances

Instances details

Show (Ticked ())

Instance details

Methods

showsPrec ∷ Int → Ticked () → ShowS #

show ∷ Ticked () → String #

showList ∷ [Ticked ()] → ShowS #

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

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

Instance details

Methods

getTip ∷ ∀ (mk ∷ MapKind). Ticked (ExtLedgerState blk) mk → Point (Ticked (ExtLedgerState 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 #

(Bridge m a, NoThunks (TxOut (LedgerState m)), NoThunks (TxIn (LedgerState m)), Show (TxOut (LedgerState m)), Show (TxIn (LedgerState m)), Eq (TxOut (LedgerState m)), Ord (TxIn (LedgerState m)), MemPack (TxIn (LedgerState m))) ⇒ HasLedgerTables (Ticked (LedgerState (DualBlock m a)))

Instance details

Methods

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

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

HasLedgerTables (Ticked (LedgerState ByronBlock)) Source #

Instance details

Methods

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

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

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

(HasLedgerTables (Ticked (LedgerState blk)), NoThunks (TxOut (LedgerState blk)), NoThunks (TxIn (LedgerState blk)), Show (TxOut (LedgerState blk)), Show (TxIn (LedgerState blk)), Eq (TxOut (LedgerState blk)), Ord (TxIn (LedgerState blk)), MemPack (TxIn (LedgerState blk))) ⇒ HasLedgerTables (Ticked (ExtLedgerState blk))

Instance details

Methods

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

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

LedgerTablesAreTrivial (Ticked (LedgerState blk)) ⇒ LedgerTablesAreTrivial (Ticked (ExtLedgerState blk))

Instance details

Methods

convertMapKind ∷ ∀ (mk ∷ MapKind) (mk' ∷ MapKind). Ticked (ExtLedgerState blk) mk → Ticked (ExtLedgerState blk) mk' 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-cardano-0.25.0.0-inplace" '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-cardano-0.25.0.0-inplace" '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 (LedgerState (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)

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)

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)

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 ∷ LedgerView

}

data Ticked TPraosState

Instance details

Defined in Ouroboros.Consensus.Protocol.TPraos

data Ticked TPraosState = TickedChainDepState {

tickedTPraosStateChainDepState ∷ ChainDepState
tickedTPraosStateLedgerView ∷ LedgerView

}

data Ticked ()

Instance details

data Ticked () = TickedTrivial

data Ticked (HardForkChainDepState xs ∷ Type)

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)

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)

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)

Instance details

Defined in Ouroboros.Consensus.TypeFamilyWrappers

newtype Ticked (WrapChainDepState blk ∷ Type) = WrapTickedChainDepState {

unwrapTickedChainDepState ∷ Ticked (ChainDepState (BlockProtocol blk))

}

type HeaderHash (Ticked l ∷ k)

Instance details

type HeaderHash (Ticked l ∷ k) = HeaderHash l

type TxIn (Ticked l)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

type TxIn (Ticked l) = TxIn l

type TxOut (Ticked l)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

type TxOut (Ticked l) = TxOut l

data Ticked (LedgerState (HardForkBlock xs) ∷ MapKind → Type) (mk ∷ MapKind)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

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

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

}

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

Instance details

data Ticked (LedgerState (DualBlock m a) ∷ MapKind → 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 ByronBlock) (mk ∷ MapKind) Source #

The ticked Byron ledger state

Instance details

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

}

data Ticked (LedgerState (ShelleyBlock proto era) ∷ MapKind → 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) ∷ MapKind → Type) (mk ∷ MapKind) = TickedShelleyLedgerState {

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

}

data Ticked (ExtLedgerState blk ∷ MapKind → Type) (mk ∷ MapKind)

Instance details

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

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

}

type Rep (Ticked (LedgerState ByronBlock) mk) Source #

Instance details