Documentation

Methods

(==) ∷ ByronTransition → ByronTransition → Bool #

(/=) ∷ ByronTransition → ByronTransition → Bool #

Generic ByronTransition Source #

Instance details

Associated Types

type Rep ByronTransition

Instance details

type Rep ByronTransition = D1 ('MetaData "ByronTransition" "Ouroboros.Consensus.Byron.Ledger.Ledger" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "ByronTransitionInfo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map ProtocolVersion BlockNo))))

Methods

from ∷ ByronTransition → Rep ByronTransition x #

to ∷ Rep ByronTransition x → ByronTransition #

Show ByronTransition Source #

Instance details

Methods

showsPrec ∷ Int → ByronTransition → ShowS #

show ∷ ByronTransition → String #

showList ∷ [ByronTransition] → ShowS #

NoThunks ByronTransition Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy ByronTransition → String Source #

type Rep ByronTransition Source #

Instance details

initByronLedgerState Source #

type Rep ByronTransition = D1 ('MetaData "ByronTransition" "Ouroboros.Consensus.Byron.Ledger.Ledger" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "ByronTransitionInfo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map ProtocolVersion BlockNo))))

Ledger integration

byronEraParams ∷ Config → EraParams Source #

To be used for a Byron-to-X (where X is typically Shelley) chain.

byronEraParamsNeverHardForks ∷ Config → EraParams Source #

Separate variant of byronEraParams to be used for a Byron-only chain.

Arguments

∷ ∀ (mk ∷ MapKind). Config
→ Maybe UTxO	Optionally override UTxO
→ LedgerState ByronBlock mk

Serialisation

decodeByronAnnTip ∷ Decoder s (AnnTip ByronBlock) Source #

decodeByronLedgerState ∷ ∀ s (mk ∷ MapKind). Decoder s (LedgerState ByronBlock mk) Source #

decodeByronQuery ∷ Decoder s (SomeBlockQuery (BlockQuery ByronBlock)) Source #

decodeByronResult ∷ ∀ (fp ∷ QueryFootprint) result. BlockQuery ByronBlock fp result → ∀ s. Decoder s result Source #

encodeByronAnnTip ∷ AnnTip ByronBlock → Encoding Source #

encodeByronExtLedgerState ∷ ∀ (mk ∷ MapKind). ExtLedgerState ByronBlock mk → Encoding Source #

encodeByronHeaderState ∷ HeaderState ByronBlock → Encoding Source #

encodeByronLedgerState ∷ ∀ (mk ∷ MapKind). LedgerState ByronBlock mk → Encoding Source #

encodeByronQuery ∷ ∀ (fp ∷ QueryFootprint) result. BlockQuery ByronBlock fp result → Encoding Source #

encodeByronResult ∷ ∀ (fp ∷ QueryFootprint) result. BlockQuery ByronBlock fp result → result → Encoding Source #

Type family instances

data family BlockQuery ∷ Type → QueryFootprint → Type → Type Source #

Different queries supported by the ledger, indexed by the result type.

Instances

Instances details

SerialiseBlockQueryResult ByronBlock BlockQuery Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeBlockQueryResult ∷ ∀ (fp ∷ QueryFootprint) result. CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → BlockQuery ByronBlock fp result → result → Encoding Source # decodeBlockQueryResult ∷ ∀ (fp ∷ QueryFootprint) result. CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → BlockQuery ByronBlock fp result → ∀ s. Decoder s result Source #
All SingleEraBlock xs ⇒ SameDepIndex2 (BlockQuery (HardForkBlock xs) ∷ QueryFootprint → Type → Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods sameDepIndex2 ∷ ∀ (x ∷ QueryFootprint) a (y ∷ QueryFootprint) b. BlockQuery (HardForkBlock xs) x a → BlockQuery (HardForkBlock xs) y b → Maybe ('(x, a) :~: '(y, b)) Source #
SameDepIndex2 (BlockQuery (DualBlock m a) ∷ QueryFootprint → Type → Type) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods sameDepIndex2 ∷ ∀ (x ∷ QueryFootprint) a0 (y ∷ QueryFootprint) b. BlockQuery (DualBlock m a) x a0 → BlockQuery (DualBlock m a) y b → Maybe ('(x, a0) :~: '(y, b)) Source #
SameDepIndex2 (BlockQuery ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods sameDepIndex2 ∷ ∀ (x ∷ QueryFootprint) a (y ∷ QueryFootprint) b. BlockQuery ByronBlock x a → BlockQuery ByronBlock y b → Maybe ('(x, a) :~: '(y, b)) Source #
SameDepIndex2 (BlockQuery (ShelleyBlock proto era) ∷ QueryFootprint → Type → Type) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods sameDepIndex2 ∷ ∀ (x ∷ QueryFootprint) a (y ∷ QueryFootprint) b. BlockQuery (ShelleyBlock proto era) x a → BlockQuery (ShelleyBlock proto era) y b → Maybe ('(x, a) :~: '(y, b)) Source #
SerialiseNodeToClient ByronBlock (SomeBlockQuery (BlockQuery ByronBlock)) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → SomeBlockQuery (BlockQuery ByronBlock) → Encoding Source # decodeNodeToClient ∷ CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → ∀ s. Decoder s (SomeBlockQuery (BlockQuery ByronBlock)) Source #
SerialiseHFC xs ⇒ SerialiseBlockQueryResult (HardForkBlock xs) BlockQuery Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeBlockQueryResult ∷ ∀ (fp ∷ QueryFootprint) result. CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → BlockQuery (HardForkBlock xs) fp result → result → Encoding Source # decodeBlockQueryResult ∷ ∀ (fp ∷ QueryFootprint) result. CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → BlockQuery (HardForkBlock xs) fp result → ∀ s. Decoder s result Source #
ShelleyCompatible proto era ⇒ SerialiseBlockQueryResult (ShelleyBlock proto era) BlockQuery Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeBlockQueryResult ∷ ∀ (fp ∷ QueryFootprint) result. CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → BlockQuery (ShelleyBlock proto era) fp result → result → Encoding Source # decodeBlockQueryResult ∷ ∀ (fp ∷ QueryFootprint) result. CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → BlockQuery (ShelleyBlock proto era) fp result → ∀ s. Decoder s result Source #
(∀ (footprint ∷ QueryFootprint) result. Show (BlockQuery blk footprint result)) ⇒ Show (SomeBlockQuery (BlockQuery blk)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Query Methods showsPrec ∷ Int → SomeBlockQuery (BlockQuery blk) → ShowS # show ∷ SomeBlockQuery (BlockQuery blk) → String # showList ∷ [SomeBlockQuery (BlockQuery blk)] → ShowS #
SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (SomeBlockQuery (BlockQuery (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → SomeBlockQuery (BlockQuery (HardForkBlock xs)) → Encoding Source # decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (SomeBlockQuery (BlockQuery (HardForkBlock xs))) Source #
All SingleEraBlock xs ⇒ ShowQuery (BlockQuery (HardForkBlock xs) footprint) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showResult ∷ BlockQuery (HardForkBlock xs) footprint result → result → String #
ShowQuery (BlockQuery (DualBlock m a) footprint) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showResult ∷ BlockQuery (DualBlock m a) footprint result → result → String #
ShowQuery (BlockQuery ByronBlock fp) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods showResult ∷ BlockQuery ByronBlock fp result → result → String #
ShelleyCompatible proto era ⇒ ShowQuery (BlockQuery (ShelleyBlock proto era) fp) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods showResult ∷ BlockQuery (ShelleyBlock proto era) fp result → result → String #
(ShelleyCompatible proto era, LedgerSupportsProtocol (ShelleyBlock proto era), ConfigSupportsNode (ShelleyBlock proto era)) ⇒ SerialiseNodeToClient (ShelleyBlock proto era) (SomeBlockQuery (BlockQuery (ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → SomeBlockQuery (BlockQuery (ShelleyBlock proto era)) → Encoding Source # decodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ∀ s. Decoder s (SomeBlockQuery (BlockQuery (ShelleyBlock proto era))) Source #
Typeable xs ⇒ ShowProxy (BlockQuery (HardForkBlock xs) ∷ QueryFootprint → Type → Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showProxy ∷ Proxy (BlockQuery (HardForkBlock xs)) → String #
(Typeable m, Typeable a) ⇒ ShowProxy (BlockQuery (DualBlock m a) ∷ QueryFootprint → Type → Type) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showProxy ∷ Proxy (BlockQuery (DualBlock m a)) → String #
ShowProxy (BlockQuery ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods showProxy ∷ Proxy (BlockQuery ByronBlock) → String #
(Typeable era, Typeable proto) ⇒ ShowProxy (BlockQuery (ShelleyBlock proto era) ∷ QueryFootprint → Type → Type) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods showProxy ∷ Proxy (BlockQuery (ShelleyBlock proto era)) → String #
Eq (BlockQuery ByronBlock fp result) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods (==) ∷ BlockQuery ByronBlock fp result → BlockQuery ByronBlock fp result → Bool # (/=) ∷ BlockQuery ByronBlock fp result → BlockQuery ByronBlock fp result → Bool #
Eq (BlockQuery (ShelleyBlock proto era) fp result) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods (==) ∷ BlockQuery (ShelleyBlock proto era) fp result → BlockQuery (ShelleyBlock proto era) fp result → Bool # (/=) ∷ BlockQuery (ShelleyBlock proto era) fp result → BlockQuery (ShelleyBlock proto era) fp result → Bool #
All SingleEraBlock xs ⇒ Show (BlockQuery (HardForkBlock xs) footprint result) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showsPrec ∷ Int → BlockQuery (HardForkBlock xs) footprint result → ShowS # show ∷ BlockQuery (HardForkBlock xs) footprint result → String # showList ∷ [BlockQuery (HardForkBlock xs) footprint result] → ShowS #
Show (BlockQuery (DualBlock m a) footprint result) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showsPrec ∷ Int → BlockQuery (DualBlock m a) footprint result → ShowS # show ∷ BlockQuery (DualBlock m a) footprint result → String # showList ∷ [BlockQuery (DualBlock m a) footprint result] → ShowS #
Show (BlockQuery ByronBlock fp result) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods showsPrec ∷ Int → BlockQuery ByronBlock fp result → ShowS # show ∷ BlockQuery ByronBlock fp result → String # showList ∷ [BlockQuery ByronBlock fp result] → ShowS #
Show (BlockQuery (ShelleyBlock proto era) fp result) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods showsPrec ∷ Int → BlockQuery (ShelleyBlock proto era) fp result → ShowS # show ∷ BlockQuery (ShelleyBlock proto era) fp result → String # showList ∷ [BlockQuery (ShelleyBlock proto era) fp result] → ShowS #
Inject (SomeBlockQuery :.: BlockQuery) 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 → (SomeBlockQuery :.: BlockQuery) x → (SomeBlockQuery :.: BlockQuery) (HardForkBlock xs) Source #
data BlockQuery ByronBlock fp result Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger data BlockQuery ByronBlock fp result where GetUpdateInterfaceState ∷ BlockQuery ByronBlock 'QFNoTables State
data BlockQuery (HardForkBlock xs) footprint result Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query data BlockQuery (HardForkBlock xs) footprint result where QueryIfCurrent ∷ ∀ (xs ∷ [Type]) (footprint ∷ QueryFootprint) result1. QueryIfCurrent xs footprint result1 → BlockQuery (HardForkBlock xs) footprint (Either (MismatchEraInfo xs) result1) QueryAnytime ∷ ∀ (xs1 ∷ [Type]) result x. IsNonEmpty xs1 ⇒ QueryAnytime result → EraIndex (x ': xs1) → BlockQuery (HardForkBlock (x ': xs1)) 'QFNoTables result QueryHardFork ∷ ∀ (xs1 ∷ [Type]) x result. IsNonEmpty xs1 ⇒ QueryHardFork (x ': xs1) result → BlockQuery (HardForkBlock (x ': xs1)) 'QFNoTables result
data BlockQuery (DualBlock m a) footprint result Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual data BlockQuery (DualBlock m a) footprint result
data BlockQuery (ShelleyBlock proto era) fp result Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query data BlockQuery (ShelleyBlock proto era) fp result where GetLedgerTip ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables (Point (ShelleyBlock proto era)) GetEpochNo ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables EpochNo GetNonMyopicMemberRewards ∷ ∀ proto era. Set (Either Coin (Credential 'Staking)) → BlockQuery (ShelleyBlock proto era) 'QFNoTables NonMyopicMemberRewards GetCurrentPParams ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables (PParams era) GetProposedPParamsUpdates ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables (ProposedPPUpdates era) GetStakeDistribution ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables (PoolDistr (ProtoCrypto proto)) GetUTxOByAddress ∷ ∀ proto era. Set Addr → BlockQuery (ShelleyBlock proto era) 'QFTraverseTables (UTxO era) GetUTxOWhole ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFTraverseTables (UTxO era) DebugEpochState ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables (EpochState era) GetCBOR ∷ ∀ proto era (fp ∷ QueryFootprint) result1. BlockQuery (ShelleyBlock proto era) fp result1 → BlockQuery (ShelleyBlock proto era) fp (Serialised result1) GetFilteredDelegationsAndRewardAccounts ∷ ∀ proto era. Set (Credential 'Staking) → BlockQuery (ShelleyBlock proto era) 'QFNoTables (Delegations, Map (Credential 'Staking) Coin) GetGenesisConfig ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables CompactGenesis DebugNewEpochState ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables (NewEpochState era) DebugChainDepState ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables (ChainDepState proto) GetRewardProvenance ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables RewardProvenance GetUTxOByTxIn ∷ ∀ proto era. Set TxIn → BlockQuery (ShelleyBlock proto era) 'QFLookupTables (UTxO era) GetStakePools ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables (Set (KeyHash 'StakePool)) GetStakePoolParams ∷ ∀ proto era. Set (KeyHash 'StakePool) → BlockQuery (ShelleyBlock proto era) 'QFNoTables (Map (KeyHash 'StakePool) StakePoolParams) GetRewardInfoPools ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables (RewardParams, Map (KeyHash 'StakePool) RewardInfoPool) GetPoolState ∷ ∀ proto era. Maybe (Set (KeyHash 'StakePool)) → BlockQuery (ShelleyBlock proto era) 'QFNoTables QueryPoolStateResult GetStakeSnapshots ∷ ∀ era proto. EraGov era ⇒ Maybe (Set (KeyHash 'StakePool)) → BlockQuery (ShelleyBlock proto era) 'QFNoTables StakeSnapshots GetPoolDistr ∷ ∀ proto era. Maybe (Set (KeyHash 'StakePool)) → BlockQuery (ShelleyBlock proto era) 'QFNoTables (PoolDistr (ProtoCrypto proto)) GetStakeDelegDeposits ∷ ∀ proto era. Set (Credential 'Staking) → BlockQuery (ShelleyBlock proto era) 'QFNoTables (Map (Credential 'Staking) Coin) GetConstitution ∷ ∀ era proto. ConwayEraGov era ⇒ BlockQuery (ShelleyBlock proto era) 'QFNoTables (Constitution era) GetGovState ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables (GovState era) GetDRepState ∷ ∀ era proto. (ConwayEraGov era, ConwayEraCertState era) ⇒ Set (Credential 'DRepRole) → BlockQuery (ShelleyBlock proto era) 'QFNoTables (Map (Credential 'DRepRole) DRepState) GetDRepStakeDistr ∷ ∀ era proto. ConwayEraGov era ⇒ Set DRep → BlockQuery (ShelleyBlock proto era) 'QFNoTables (Map DRep Coin) GetCommitteeMembersState ∷ ∀ era proto. (ConwayEraGov era, ConwayEraCertState era) ⇒ Set (Credential 'ColdCommitteeRole) → Set (Credential 'HotCommitteeRole) → Set MemberStatus → BlockQuery (ShelleyBlock proto era) 'QFNoTables CommitteeMembersState GetFilteredVoteDelegatees ∷ ∀ era proto. ConwayEraGov era ⇒ Set (Credential 'Staking) → BlockQuery (ShelleyBlock proto era) 'QFNoTables (Map (Credential 'Staking) DRep) GetAccountState ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables ChainAccountState GetSPOStakeDistr ∷ ∀ era proto. ConwayEraGov era ⇒ Set (KeyHash 'StakePool) → BlockQuery (ShelleyBlock proto era) 'QFNoTables (Map (KeyHash 'StakePool) Coin) GetProposals ∷ ∀ era proto. ConwayEraGov era ⇒ Set GovActionId → BlockQuery (ShelleyBlock proto era) 'QFNoTables (Seq (GovActionState era)) GetRatifyState ∷ ∀ era proto. ConwayEraGov era ⇒ BlockQuery (ShelleyBlock proto era) 'QFNoTables (RatifyState era) GetFuturePParams ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables (Maybe (PParams era)) GetLedgerPeerSnapshot' ∷ ∀ proto era (ledgerPeersKind ∷ LedgerPeersKind). Bool → SingLedgerPeersKind ledgerPeersKind → BlockQuery (ShelleyBlock proto era) 'QFNoTables (LedgerPeerSnapshot ledgerPeersKind) QueryStakePoolDefaultVote ∷ ∀ era proto. ConwayEraGov era ⇒ KeyHash 'StakePool → BlockQuery (ShelleyBlock proto era) 'QFNoTables DefaultVote GetPoolDistr2 ∷ ∀ proto era. Maybe (Set (KeyHash 'StakePool)) → BlockQuery (ShelleyBlock proto era) 'QFNoTables QueryResultPoolDistr GetStakeDistribution2 ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables PoolDistr GetMaxMajorProtocolVersion ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables MaxMajorProtVer GetDRepDelegations ∷ ∀ era proto. (ConwayEraGov era, ConwayEraCertState era) ⇒ Set DRep → BlockQuery (ShelleyBlock proto era) 'QFNoTables (Map DRep (Set (Credential 'Staking)))

data family LedgerState blk (mk ∷ MapKind) Source #

Ledger state associated with a block

This is the Consensus notion of a Ledger ledger state. Each block type is associated with one of the Ledger types for the ledger state. Virtually every concept in this codebase revolves around this type, or the referenced blk. Whenever we use the type variable l we intend to signal that the expected instantiation is either a LedgerState or some wrapper over it (like the ExtLedgerState).

This type is parametrized over mk :: MapKind to express the LedgerTables contained in such a LedgerState. See LedgerTables for a more thorough description.

The main operations we can do with a LedgerState are ticking (defined in IsLedger), and applying a block (defined in ApplyBlock).

Instances

Instances details

ApplyBlock LedgerState ByronBlock Source #

Instance details

IsLedger LedgerState ByronBlock Source #

Instance details

CanUpgradeLedgerTables LedgerState ByronBlock Source #

Associated Types

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

Methods

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

Instance details

Methods

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

HasLedgerTables LedgerState ByronBlock Source #

Instance details

LedgerTablesAreTrivial LedgerState ByronBlock Source #

Methods

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

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

Instance details

SerializeTablesWithHint LedgerState ByronBlock Source #

Methods

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

Instance details

Methods

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

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

IndexedMemPack LedgerState ByronBlock Void Source #

Instance details

Methods

indexedPackedByteCount ∷ LedgerState ByronBlock EmptyMK → Void → Int Source #

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

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

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

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

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

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

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

CanHardFork xs ⇒ IsLedger LedgerState (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Associated Types

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

Methods

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

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

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

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

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

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

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

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

Instance details

Defined in Ouroboros.Consensus.Cardano.Ledger

Methods

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

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

SerializeTablesWithHint LedgerState (HardForkBlock '[ByronBlock]) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.ByronHFC

Methods

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

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

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

Instance details

Methods

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

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

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

Instance details

Defined in Ouroboros.Consensus.Byron.ByronHFC

Methods

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

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

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

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

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

Instance details

Methods

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

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

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

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

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

Instance details

Defined in Ouroboros.Consensus.Cardano.Ledger

Methods

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

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

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

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

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

Instance details

Methods

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

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

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

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

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

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

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

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

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

Instance details

Associated Types

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

Methods

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

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

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Associated Types

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

Methods

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

CanUpgradeLedgerTables LedgerState (DualBlock m a) Source #

Instance details

Methods

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

CanUpgradeLedgerTables LedgerState (ShelleyBlock proto era) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

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

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

Instance details

Methods

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

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

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

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

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

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

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

Instance details

Methods

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

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

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

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

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

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

DecodeDisk ByronBlock (LedgerState ByronBlock mk) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

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

EncodeDisk ByronBlock (LedgerState ByronBlock mk) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

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

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

Instance details

Methods

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

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

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

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

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

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

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

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

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

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

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

Instance details

Associated Types

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

Methods

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

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

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

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

Instance details

Methods

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

GetTip (LedgerState ByronBlock) Source #

Instance details

Methods

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

GetTip (LedgerState (ShelleyBlock proto era)) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

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

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

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

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

LedgerStateSupportsPeras (LedgerState (DualBlock m a)) Source #

Instance details

Methods

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

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

LedgerStateSupportsPeras (LedgerState ByronBlock) Source #

Instance details

Methods

getPoolDistr ∷ LedgerState ByronBlock EmptyMK → PoolDistr Source #

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

LedgerStateSupportsPeras (LedgerState (ShelleyBlock proto era)) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

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

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

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

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

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

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

Instance details

Methods

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

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

CanStowLedgerTables (LedgerState ByronBlock) Source #

Instance details

Methods

stowLedgerTables ∷ LedgerState ByronBlock ValuesMK → LedgerState ByronBlock EmptyMK Source #

unstowLedgerTables ∷ LedgerState ByronBlock EmptyMK → LedgerState ByronBlock ValuesMK Source #

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

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

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

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

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

Instance details

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

Methods

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

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

Instance details

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

Methods

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

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

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

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

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

Instance details

Methods

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

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

Eq (LedgerState ByronBlock mk) Source #

Instance details

Methods

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

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

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

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

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

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

Generic (LedgerState ByronBlock mk) Source #

Instance details

Associated Types

type Rep (LedgerState ByronBlock mk)

Instance details

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

Methods

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

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

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

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Associated Types

type Rep (LedgerState (ShelleyBlock proto era) mk)

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

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

Methods

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

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

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

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

show ∷ LedgerState (HardForkBlock xs) mk → String #

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

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

Instance details

Methods

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

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

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

Show (LedgerState ByronBlock mk) Source #

Instance details

Methods

showsPrec ∷ Int → LedgerState ByronBlock mk → ShowS #

show ∷ LedgerState ByronBlock mk → String #

showList ∷ [LedgerState ByronBlock mk] → ShowS #

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

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

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

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

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

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

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

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

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

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

Instance details

Methods

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

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

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

NoThunks (LedgerState ByronBlock mk) Source #

Instance details

Methods

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

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

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

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

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

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

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

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

HasLedgerTables (Ticked LedgerState) ByronBlock Source #

Instance details

Methods

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

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

LedgerTablesAreTrivial (Ticked LedgerState) ByronBlock Source #

Instance details

Methods

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

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

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

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

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

Instance details

Defined in Ouroboros.Consensus.Ledger.Basics

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

Instance details

Methods

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

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

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

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

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

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

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

Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

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

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

Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

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

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

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

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

Instance details

Methods

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

GetTip (Ticked LedgerState ByronBlock) Source #

Instance details

Methods

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

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

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

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

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

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

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

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

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

Instance details

Methods

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

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

LedgerStateSupportsPeras (Ticked LedgerState ByronBlock) Source #

Instance details

Methods

getPoolDistr ∷ Ticked LedgerState ByronBlock EmptyMK → PoolDistr Source #

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

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

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

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

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

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

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

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

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

Generic (Ticked LedgerState ByronBlock mk) Source #

Instance details

Associated Types

type Rep (Ticked LedgerState ByronBlock mk)

Instance details

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

Methods

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

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

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

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Associated Types

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

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

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

Methods

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

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

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

Instance details

Methods

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

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

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

NoThunks (Ticked LedgerState ByronBlock mk) Source #

Instance details

Methods

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

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

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

Inject (Flip LedgerState mk) Source #

Instance details

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

Methods

inject ∷ ∀ x (xs ∷ [Type]). (CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ InjectionIndex xs x → Flip LedgerState mk x → Flip LedgerState mk (HardForkBlock xs) Source #

Isomorphic (Flip LedgerState mk) Source #

Instance details

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

Methods

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

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

data LedgerState ByronBlock mk Source #

Instance details

data LedgerState ByronBlock mk = ByronLedgerState {

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

}

type LedgerCfg LedgerState ByronBlock Source #

Instance details

type LedgerCfg LedgerState ByronBlock = Config

type LedgerErr LedgerState ByronBlock Source #

Instance details

type LedgerErr LedgerState ByronBlock = ChainValidationError

type LedgerCfg LedgerState (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

type LedgerCfg LedgerState (HardForkBlock xs) = HardForkLedgerConfig xs

type LedgerErr LedgerState (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type LedgerErr LedgerState (HardForkBlock xs) = HardForkLedgerError xs

type LedgerCfg LedgerState (DualBlock m a) Source #

Instance details

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

type LedgerCfg LedgerState (ShelleyBlock proto era) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type LedgerCfg LedgerState (ShelleyBlock proto era) = ShelleyLedgerConfig era

type LedgerErr LedgerState (DualBlock m a) Source #

Instance details

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

type LedgerErr LedgerState (ShelleyBlock proto era) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type LedgerErr LedgerState (ShelleyBlock proto era) = BlockTransitionError era

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

Instance details

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

newtype LedgerState (HardForkBlock xs) mk Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype LedgerState (HardForkBlock xs) mk = HardForkLedgerState {

hardForkLedgerStatePerEra ∷ HardForkState (Flip LedgerState mk) xs

}

type Rep (LedgerState ByronBlock mk) Source #

Instance details

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

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

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

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

data LedgerState (DualBlock m a) mk Source #

Instance details

data LedgerState (DualBlock m a) mk = DualLedgerState {

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

}

data LedgerState (ShelleyBlock proto era) mk Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

data LedgerState (ShelleyBlock proto era) mk = ShelleyLedgerState {

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

}

data Ticked LedgerState ByronBlock (mk ∷ MapKind) Source #

The ticked Byron ledger state

Instance details

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

}

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

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

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

}

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

Instance details

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

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

}

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

Ticking only affects the state itself

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

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

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

}

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

Instance details

Defined in Ouroboros.Consensus.Ledger.Basics

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

type Rep (Ticked LedgerState ByronBlock mk) Source #

Instance details

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

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

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

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

newtype LedgerTables blk (mk ∷ MapKind) Source #

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

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

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

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

Constructors

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

Instances

Instances details

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

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Combinators

Methods

mempty ∷ LedgerTables l mk #

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

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

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

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Combinators

Methods

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

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

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

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

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Methods

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

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

Generic (LedgerTables blk mk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Associated Types

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

Methods

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

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

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

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Methods

showsPrec ∷ Int → LedgerTables blk mk → ShowS #

show ∷ LedgerTables blk mk → String #

showList ∷ [LedgerTables blk mk] → ShowS #

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

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Methods

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

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

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

type Rep (LedgerTables blk mk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

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

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

" Ticked " piece of state, either LedgerState or ChainDepState

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

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

Some examples of time related changes:

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

Ticked is used mainly in two ways:

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

Instances

Instances details

Show (Ticked ()) Source #

Instance details

Methods

showsPrec ∷ Int → Ticked () → ShowS #

show ∷ Ticked () → String #

showList ∷ [Ticked ()] → ShowS #

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol

Methods

getEpochNonce ∷ Ticked (HardForkChainDepState xs) → Nonce Source #

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

Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Methods

getEpochNonce ∷ Ticked (HeaderState blk) → Nonce Source #

ChainDepStateSupportsPeras (Ticked (PBftState c)) Source #

Instance details

Defined in Ouroboros.Consensus.Protocol.PBFT

Methods

getEpochNonce ∷ Ticked (PBftState c) → Nonce Source #

ChainDepStateSupportsPeras (Ticked PraosState) #

Instance details

Defined in Ouroboros.Consensus.Protocol.Praos

Methods

getEpochNonce ∷ Ticked PraosState → Nonce Source #

ChainDepStateSupportsPeras (Ticked TPraosState) #

Instance details

Defined in Ouroboros.Consensus.Protocol.TPraos

Methods

getEpochNonce ∷ Ticked TPraosState → Nonce Source #

ChainDepStateSupportsPeras (Ticked ()) Source #

Instance details

Defined in Ouroboros.Consensus.Protocol.Abstract

Methods

getEpochNonce ∷ Ticked () → Nonce Source #

HasLedgerTables (Ticked LedgerState) ByronBlock Source #

Instance details

Methods

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

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

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

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

Methods

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

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

LedgerTablesAreTrivial (Ticked LedgerState) ByronBlock Source #

Instance details

Methods

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

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

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

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

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

Instance details

Methods

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

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

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

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

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

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

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

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

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

Instance details

Methods

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

GetTip (Ticked LedgerState ByronBlock) Source #

Instance details

Methods

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

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

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

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

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

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

Methods

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

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

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

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

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

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

Instance details

Methods

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

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

LedgerStateSupportsPeras (Ticked LedgerState ByronBlock) Source #

Instance details

Methods

getPoolDistr ∷ Ticked LedgerState ByronBlock EmptyMK → PoolDistr Source #

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

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

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

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

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

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

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

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

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

Generic (Ticked LedgerState ByronBlock mk) Source #

Instance details

Associated Types

type Rep (Ticked LedgerState ByronBlock mk)

Instance details

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

Methods

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

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

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

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Associated Types

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

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

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

Methods

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

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

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

Instance details

Methods

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

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

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

NoThunks (Ticked LedgerState ByronBlock mk) Source #

Instance details

Methods

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

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

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

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

Instance details

Methods

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

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

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

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

Instance details

Methods

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

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

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

data Ticked PraosState #

Instance details

Defined in Ouroboros.Consensus.Protocol.Praos

data Ticked PraosState = TickedPraosState {

tickedPraosStateChainDepState ∷ PraosState
tickedPraosStateLedgerView ∷ PraosLedgerView

}

data Ticked TPraosState #

Instance details

Defined in Ouroboros.Consensus.Protocol.TPraos

data Ticked TPraosState = TickedChainDepState {

tickedTPraosStateChainDepState ∷ ChainDepState
tickedTPraosStateLedgerView ∷ TPraosLedgerView

}

data Ticked () Source #

Instance details

data Ticked () = TickedTrivial

data Ticked (HardForkChainDepState xs ∷ Type) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol

data Ticked (HardForkChainDepState xs ∷ Type) = TickedHardForkChainDepState {

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

}

data Ticked (HeaderState blk ∷ Type) Source #

Instance details

Defined in Ouroboros.Consensus.HeaderValidation

data Ticked (HeaderState blk ∷ Type) = TickedHeaderState {

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

}

data Ticked (PBftState c ∷ Type) Source #

Instance details

Defined in Ouroboros.Consensus.Protocol.PBFT

data Ticked (PBftState c ∷ Type) = TickedPBftState {

getPBftLedgerView ∷ LedgerView (PBft c)
getTickedPBftState ∷ PBftState c

}

newtype Ticked (WrapChainDepState blk ∷ Type) Source #

Instance details

Defined in Ouroboros.Consensus.TypeFamilyWrappers

newtype Ticked (WrapChainDepState blk ∷ Type) = WrapTickedChainDepState {

unwrapTickedChainDepState ∷ Ticked (ChainDepState (BlockProtocol blk))

}

type HeaderHash (Ticked l blk ∷ k2) Source #

Instance details

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

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

Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

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

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

}

data Ticked LedgerState ByronBlock (mk ∷ MapKind) Source #

The ticked Byron ledger state

Instance details

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

}

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

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

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

}

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

Instance details

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

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

}

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

Ticking only affects the state itself

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

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

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

}

type Rep (Ticked LedgerState ByronBlock mk) Source #

Instance details