Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.HardFork.Combinator.Ledger

Synopsis

value ejectHardForkTxOutDefault
value ejectLedgerTables
value injectHardForkTxOutDefault
value injectLedgerTables
value mkHardForkForecast
data AnnForecast
type DefaultHardForkTxOut
newtype FlipTickedLedgerState
data HardForkEnvelopeErr
data HardForkLedgerError
data HardForkLedgerUpdate
data HardForkLedgerWarning
class HasCanonicalTxIn
class HasHardForkTxOut
class MemPackTxOut
data family Ticked
constructor TickedHardForkLedgerState
value tickedHardForkLedgerStatePerEra
value tickedHardForkLedgerStateTransition
constructor TickedHeaderState
value tickedHeaderStateChainDep
value untickedHeaderStateTip
constructor TickedTrivial
constructor WrapTickedChainDepState
value unwrapTickedChainDepState

Packageouroboros-consensus-4.2.1.0
Exports25
LicenceApache-2.0

valueejectHardForkTxOutDefault

:: (SListI xs, HasHardForkTxOut xs)
=> Index xs x
-> DefaultHardForkTxOut xs
-> TxOut x

valueejectLedgerTables

:: (CanMapKeysMK mk, Ord (TxIn x), HasCanonicalTxIn xs, CanMapMK mk, HasHardForkTxOut xs)
=> Index xs x
-> LedgerTables (HardForkBlock xs) mk
-> LedgerTables x mk

valueinjectHardForkTxOutDefault

:: SListI xs
=> Index xs x
-> TxOut x
-> DefaultHardForkTxOut xs

valueinjectLedgerTables

:: (CanMapKeysMK mk, CanMapMK mk, HasCanonicalTxIn xs, HasHardForkTxOut xs)
=> Index xs x
-> LedgerTables x mk
-> LedgerTables (HardForkBlock xs) mk

valuemkHardForkForecast

:: SListI xs
=> InPairs (CrossEraForecaster state view) xs
-> HardForkState (AnnForecast state view) xs
-> Forecast (HardForkLedgerView_ view xs)

datadata AnnForecast (state :: Type -> (Type -> Type -> Type) -> Type) (view :: Type -> Type) blk

Constructors

AnnForecast
- annForecast :: Forecast (view blk)
- annForecastState :: state blk EmptyMK
- annForecastTip :: WithOrigin SlotNo
- annForecastEnd :: Maybe Bound

typetype DefaultHardForkTxOut (xs :: [Type]) = NS WrapTxOut xs

newtypenewtype FlipTickedLedgerState (mk :: MapKind) blk

Constructors

FlipTickedLedgerState
- getFlipTickedLedgerState :: Ticked LedgerState blk mk

Instances1Isomorphic

Isomorphic (FlipTickedLedgerState mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

datadata HardForkEnvelopeErr (xs :: [Type])

Constructors

HardForkEnvelopeErrFromEra (OneEraEnvelopeErr xs)
HardForkEnvelopeErrWrongEra (MismatchEraInfo xs)

Instances5Eq, Show, Generic, NoThunks, Rep

CanHardFork xs => Eq (HardForkEnvelopeErr xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger
CanHardFork xs => Show (HardForkEnvelopeErr xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger
Generic (HardForkEnvelopeErr xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger
CanHardFork xs => NoThunks (HardForkEnvelopeErr xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger
type Rep (HardForkEnvelopeErr xs) = D1 ('MetaData "HardForkEnvelopeErr" "Ouroboros.Consensus.HardFork.Combinator.Ledger" "ouroboros-consensus-4.2.1.0-89mGcUlIDtl9Zis3MBCDdC" 'False) (C1 ('MetaCons "HardForkEnvelopeErrFromEra" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraEnvelopeErr xs))) :+: C1 ('MetaCons "HardForkEnvelopeErrWrongEra" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MismatchEraInfo xs))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger

datadata HardForkLedgerError (xs :: [Type])

Constructors

HardForkLedgerErrorFromEra (OneEraLedgerError xs)
HardForkLedgerErrorWrongEra (MismatchEraInfo xs)

Instances5Eq, Show, Generic, NoThunks, Rep

CanHardFork xs => Eq (HardForkLedgerError xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger
CanHardFork xs => Show (HardForkLedgerError xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger
Generic (HardForkLedgerError xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger
CanHardFork xs => NoThunks (HardForkLedgerError xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger
type Rep (HardForkLedgerError xs) = D1 ('MetaData "HardForkLedgerError" "Ouroboros.Consensus.HardFork.Combinator.Ledger" "ouroboros-consensus-4.2.1.0-89mGcUlIDtl9Zis3MBCDdC" 'False) (C1 ('MetaCons "HardForkLedgerErrorFromEra" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraLedgerError xs))) :+: C1 ('MetaCons "HardForkLedgerErrorWrongEra" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MismatchEraInfo xs))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger

datadata HardForkLedgerUpdate (xs :: [Type])

Constructors

HardForkUpdateInEra (OneEraLedgerUpdate xs)
HardForkUpdateTransitionConfirmed (EraIndex xs) (EraIndex xs) EpochNo
HardForkUpdateTransitionDone (EraIndex xs) (EraIndex xs) EpochNo
HardForkUpdateTransitionRolledBack (EraIndex xs) (EraIndex xs)

Instances3Eq, Show, Condense

CanHardFork xs => Eq (HardForkLedgerUpdate xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger
CanHardFork xs => Show (HardForkLedgerUpdate xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger
CanHardFork xs => Condense (HardForkLedgerUpdate xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger

datadata HardForkLedgerWarning (xs :: [Type])

Constructors

HardForkWarningInEra (OneEraLedgerWarning xs)
HardForkWarningTransitionMismatch (EraIndex xs) EraParams EpochNo
HardForkWarningTransitionInFinalEra (EraIndex xs) EpochNo
HardForkWarningTransitionUnconfirmed (EraIndex xs)
HardForkWarningTransitionReconfirmed (EraIndex xs) (EraIndex xs) EpochNo EpochNo

Instances2Eq, Show

CanHardFork xs => Eq (HardForkLedgerWarning xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger
CanHardFork xs => Show (HardForkLedgerWarning xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger

class

class (Show (CanonicalTxIn xs), Ord (CanonicalTxIn xs), NoThunks (CanonicalTxIn xs), MemPack (CanonicalTxIn xs)) => HasCanonicalTxIn (xs :: [Type]) where

Associated types

data family CanonicalTxIn (xs :: [Type])

Methods

injectCanonicalTxIn :: Index xs x -> TxIn x -> CanonicalTxIn xs
ejectCanonicalTxIn :: Index xs x -> CanonicalTxIn xs -> TxIn x

class

class (Show (HardForkTxOut xs), Eq (HardForkTxOut xs), NoThunks (HardForkTxOut xs), IndexedMemPack LedgerState (HardForkBlock xs) (HardForkTxOut xs), SerializeTablesWithHint LedgerState (HardForkBlock xs)) => HasHardForkTxOut (xs :: [Type]) where