Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Ledger.Extended

Contents

Extended ledger state
Serialisation
Type family instances

Synopsis

newtype ExtLedgerCfg blk = ExtLedgerCfg {
- getExtLedgerCfg ∷ TopLevelConfig blk
}
data ExtLedgerState blk (mk ∷ MapKind) = ExtLedgerState {
- ledgerState ∷ !(LedgerState blk mk)
- headerState ∷ !(HeaderState blk)
}
data ExtValidationError blk
- = ExtValidationErrorLedger !(LedgerErr LedgerState blk)
- | ExtValidationErrorHeader !(HeaderError blk)
decodeDiskExtLedgerState ∷ (DecodeDisk blk (LedgerState blk EmptyMK), DecodeDisk blk (ChainDepState (BlockProtocol blk)), DecodeDisk blk (AnnTip blk)) ⇒ CodecConfig blk → ∀ s. Decoder s (ExtLedgerState blk EmptyMK)
decodeExtLedgerState ∷ (∀ s. Decoder s (LedgerState blk EmptyMK)) → (∀ s. Decoder s (ChainDepState (BlockProtocol blk))) → (∀ s. Decoder s (AnnTip blk)) → ∀ s. Decoder s (ExtLedgerState blk EmptyMK)
encodeDiskExtLedgerState ∷ (EncodeDisk blk (LedgerState blk EmptyMK), EncodeDisk blk (ChainDepState (BlockProtocol blk)), EncodeDisk blk (AnnTip blk)) ⇒ CodecConfig blk → ExtLedgerState blk EmptyMK → Encoding
encodeExtLedgerState ∷ ∀ blk (mk ∷ MapKind). (LedgerState blk mk → Encoding) → (ChainDepState (BlockProtocol blk) → Encoding) → (AnnTip blk → Encoding) → ExtLedgerState blk mk → Encoding
newtype LedgerTables blk (mk ∷ MapKind) = LedgerTables {
- getLedgerTables ∷ mk (TxIn blk) (TxOut blk)
}
data family Ticked (st ∷ k) ∷ k

Extended ledger state

newtype ExtLedgerCfg blk Source #

" Ledger " configuration for the extended ledger

Since the extended ledger also does the consensus protocol validation, we also need the consensus config.

Constructors

ExtLedgerCfg
Fields getExtLedgerCfg ∷ TopLevelConfig blk

Instances

Instances details

Generic (ExtLedgerCfg blk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

Associated Types

type Rep (ExtLedgerCfg blk)
Instance details Defined in Ouroboros.Consensus.Ledger.Extended type Rep (ExtLedgerCfg blk) = D1 ('MetaData "ExtLedgerCfg" "Ouroboros.Consensus.Ledger.Extended" "ouroboros-consensus-3.0.1.0-inplace" 'True) (C1 ('MetaCons "ExtLedgerCfg" 'PrefixI 'True) (S1 ('MetaSel ('Just "getExtLedgerCfg") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TopLevelConfig blk))))

Methods

from ∷ ExtLedgerCfg blk → Rep (ExtLedgerCfg blk) x #

to ∷ Rep (ExtLedgerCfg blk) x → ExtLedgerCfg blk #

(ConsensusProtocol (BlockProtocol blk), NoThunks (BlockConfig blk), NoThunks (CodecConfig blk), NoThunks (LedgerConfig blk), NoThunks (StorageConfig blk), NoThunks (HeaderHash blk)) ⇒ NoThunks (ExtLedgerCfg blk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

Methods

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

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

showTypeOf ∷ Proxy (ExtLedgerCfg blk) → String Source #

type Rep (ExtLedgerCfg blk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

type Rep (ExtLedgerCfg blk) = D1 ('MetaData "ExtLedgerCfg" "Ouroboros.Consensus.Ledger.Extended" "ouroboros-consensus-3.0.1.0-inplace" 'True) (C1 ('MetaCons "ExtLedgerCfg" 'PrefixI 'True) (S1 ('MetaSel ('Just "getExtLedgerCfg") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TopLevelConfig blk))))

data ExtLedgerState blk (mk ∷ MapKind) Source #

Extended ledger state

This is the combination of the header state and the ledger state proper.

Constructors

ExtLedgerState
Fields ledgerState ∷ !(LedgerState blk mk) headerState ∷ !(HeaderState blk)

Instances

Instances details

(GetBlockKeySets blk, LedgerSupportsProtocol blk) ⇒ ApplyBlock ExtLedgerState blk Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

Methods

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

applyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg ExtLedgerState blk → blk → Ticked ExtLedgerState blk ValuesMK → Except (LedgerErr ExtLedgerState blk) (LedgerResult blk (ExtLedgerState blk DiffMK)) Source #

reapplyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg ExtLedgerState blk → blk → Ticked ExtLedgerState blk ValuesMK → LedgerResult blk (ExtLedgerState blk DiffMK) Source #

LedgerSupportsProtocol blk ⇒ IsLedger ExtLedgerState blk Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

Associated Types

type LedgerErr ExtLedgerState blk
Instance details Defined in Ouroboros.Consensus.Ledger.Extended type LedgerErr ExtLedgerState blk = ExtValidationError blk

Methods

applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg ExtLedgerState blk → SlotNo → ExtLedgerState blk EmptyMK → LedgerResult blk (Ticked ExtLedgerState blk DiffMK) Source #

CanUpgradeLedgerTables LedgerState blk ⇒ CanUpgradeLedgerTables ExtLedgerState blk Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

Methods

upgradeTables ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). ExtLedgerState blk mk1 → ExtLedgerState blk mk2 → LedgerTables blk ValuesMK → LedgerTables blk ValuesMK Source #

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

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

Methods

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

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

LedgerTablesAreTrivial LedgerState blk ⇒ LedgerTablesAreTrivial ExtLedgerState blk Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

Methods

convertMapKind ∷ ∀ (mk ∷ MapKind) (mk' ∷ MapKind). ExtLedgerState blk mk → ExtLedgerState blk mk' Source #

SerializeTablesWithHint LedgerState blk ⇒ SerializeTablesWithHint ExtLedgerState blk Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

Methods

encodeTablesWithHint ∷ ExtLedgerState blk EmptyMK → LedgerTables blk ValuesMK → Encoding Source #

decodeTablesWithHint ∷ ExtLedgerState blk EmptyMK → Decoder s (LedgerTables blk ValuesMK) Source #

(txout ~ TxOut blk, IndexedMemPack LedgerState blk txout) ⇒ IndexedMemPack ExtLedgerState blk txout Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

Methods

indexedPackedByteCount ∷ ExtLedgerState blk EmptyMK → txout → Int Source #

indexedPackM ∷ ExtLedgerState blk EmptyMK → txout → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ ∀ s. ExtLedgerState blk EmptyMK → Unpack s b txout Source #

indexedTypeName ∷ Proxy txout → ExtLedgerState blk EmptyMK → String Source #

IsLedger LedgerState blk ⇒ GetTip (ExtLedgerState blk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

Methods

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

CanStowLedgerTables (LedgerState blk) ⇒ CanStowLedgerTables (ExtLedgerState blk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

Methods

stowLedgerTables ∷ ExtLedgerState blk ValuesMK → ExtLedgerState blk EmptyMK Source #

unstowLedgerTables ∷ ExtLedgerState blk EmptyMK → ExtLedgerState blk ValuesMK Source #

(EqMK mk, LedgerSupportsProtocol blk) ⇒ Eq (ExtLedgerState blk mk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

Methods

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

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

Generic (ExtLedgerState blk mk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

Associated Types

type Rep (ExtLedgerState blk mk)

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

type Rep (ExtLedgerState blk mk) = D1 ('MetaData "ExtLedgerState" "Ouroboros.Consensus.Ledger.Extended" "ouroboros-consensus-3.0.1.0-inplace" 'False) (C1 ('MetaCons "ExtLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "ledgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerState blk mk)) :*: S1 ('MetaSel ('Just "headerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HeaderState blk))))

Methods

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

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

(ShowMK mk, LedgerSupportsProtocol blk) ⇒ Show (ExtLedgerState blk mk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

Methods

showsPrec ∷ Int → ExtLedgerState blk mk → ShowS #

show ∷ ExtLedgerState blk mk → String #

showList ∷ [ExtLedgerState blk mk] → ShowS #

(NoThunksMK mk, LedgerSupportsProtocol blk) ⇒ NoThunks (ExtLedgerState blk mk) Source #

We override showTypeOf to show the type of the block

This makes debugging a bit easier, as the block gets used to resolve all kinds of type families.

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

Methods

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

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

showTypeOf ∷ Proxy (ExtLedgerState blk mk) → String 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 #

(NFData (HeaderHash blk), NoThunks (HeaderHash blk), Typeable (HeaderHash blk), Show (HeaderHash blk), Ord (HeaderHash blk), Eq (HeaderHash blk)) ⇒ StandardHash (ExtLedgerState blk ∷ MapKind → Type) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

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 #

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

Isomorphic (Flip ExtLedgerState mk) Source #

Instance details

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

Methods

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

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

type LedgerCfg ExtLedgerState blk Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

type LedgerCfg ExtLedgerState blk = ExtLedgerCfg blk

type LedgerErr ExtLedgerState blk Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

type LedgerErr ExtLedgerState blk = ExtValidationError blk

type Rep (ExtLedgerState blk mk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

type Rep (ExtLedgerState blk mk) = D1 ('MetaData "ExtLedgerState" "Ouroboros.Consensus.Ledger.Extended" "ouroboros-consensus-3.0.1.0-inplace" 'False) (C1 ('MetaCons "ExtLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "ledgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerState blk mk)) :*: S1 ('MetaSel ('Just "headerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HeaderState 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)

}

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

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

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

data ExtValidationError blk Source #

Constructors

ExtValidationErrorLedger !(LedgerErr LedgerState blk)
ExtValidationErrorHeader !(HeaderError blk)

Instances

Instances details

LedgerSupportsProtocol blk ⇒ Eq (ExtValidationError blk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

Methods

(==) ∷ ExtValidationError blk → ExtValidationError blk → Bool #

(/=) ∷ ExtValidationError blk → ExtValidationError blk → Bool #

Generic (ExtValidationError blk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

Associated Types

type Rep (ExtValidationError blk)

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

type Rep (ExtValidationError blk) = D1 ('MetaData "ExtValidationError" "Ouroboros.Consensus.Ledger.Extended" "ouroboros-consensus-3.0.1.0-inplace" 'False) (C1 ('MetaCons "ExtValidationErrorLedger" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerErr LedgerState blk))) :+: C1 ('MetaCons "ExtValidationErrorHeader" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HeaderError blk))))

Methods

from ∷ ExtValidationError blk → Rep (ExtValidationError blk) x #

to ∷ Rep (ExtValidationError blk) x → ExtValidationError blk #

LedgerSupportsProtocol blk ⇒ Show (ExtValidationError blk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

Methods

showsPrec ∷ Int → ExtValidationError blk → ShowS #

show ∷ ExtValidationError blk → String #

showList ∷ [ExtValidationError blk] → ShowS #

LedgerSupportsProtocol blk ⇒ NoThunks (ExtValidationError blk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

Methods

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

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

showTypeOf ∷ Proxy (ExtValidationError blk) → String Source #

type Rep (ExtValidationError blk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

type Rep (ExtValidationError blk) = D1 ('MetaData "ExtValidationError" "Ouroboros.Consensus.Ledger.Extended" "ouroboros-consensus-3.0.1.0-inplace" 'False) (C1 ('MetaCons "ExtValidationErrorLedger" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerErr LedgerState blk))) :+: C1 ('MetaCons "ExtValidationErrorHeader" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HeaderError blk))))

Serialisation

decodeDiskExtLedgerState ∷ (DecodeDisk blk (LedgerState blk EmptyMK), DecodeDisk blk (ChainDepState (BlockProtocol blk)), DecodeDisk blk (AnnTip blk)) ⇒ CodecConfig blk → ∀ s. Decoder s (ExtLedgerState blk EmptyMK) Source #

decodeExtLedgerState ∷ (∀ s. Decoder s (LedgerState blk EmptyMK)) → (∀ s. Decoder s (ChainDepState (BlockProtocol blk))) → (∀ s. Decoder s (AnnTip blk)) → ∀ s. Decoder s (ExtLedgerState blk EmptyMK) Source #

encodeDiskExtLedgerState ∷ (EncodeDisk blk (LedgerState blk EmptyMK), EncodeDisk blk (ChainDepState (BlockProtocol blk)), EncodeDisk blk (AnnTip blk)) ⇒ CodecConfig blk → ExtLedgerState blk EmptyMK → Encoding Source #

encodeExtLedgerState ∷ ∀ blk (mk ∷ MapKind). (LedgerState blk mk → Encoding) → (ChainDepState (BlockProtocol blk) → Encoding) → (AnnTip blk → Encoding) → ExtLedgerState blk mk → Encoding Source #

Type family instances

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-3.0.1.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-3.0.1.0-inplace" 'True) (C1 ('MetaCons "LedgerTables" 'PrefixI 'True) (S1 ('MetaSel ('Just "getLedgerTables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (mk (TxIn blk) (TxOut blk)))))

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 Defined in Ouroboros.Consensus.Ticked Methods showsPrec ∷ Int → Ticked () → ShowS # show ∷ Ticked () → String # showList ∷ [Ticked ()] → ShowS #
(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 #
(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 Defined in Ouroboros.Consensus.Ledger.Dual 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 #
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 Defined in Ouroboros.Consensus.Ledger.Dual Methods getTip ∷ ∀ (mk ∷ MapKind). Ticked LedgerState (DualBlock m a) mk → Point (Ticked LedgerState (DualBlock m a)) 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 #
NoThunks (Ticked LedgerState (DualBlock m a) mk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual 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 #
Show (Ticked (f a)) ⇒ Show (((Ticked ∷ Type → Type) :.: f) a) Source #
Instance details Defined in Ouroboros.Consensus.Ticked 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 Defined in Ouroboros.Consensus.Ticked 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 () Source #
Instance details Defined in Ouroboros.Consensus.Ticked 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 Defined in Ouroboros.Consensus.Ticked 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) }
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 Defined in Ouroboros.Consensus.Ledger.Dual 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 }