Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.HardFork.Combinator

Description

The hard fork combinator

Intended for unqualified import

Synopsis

type Except e = ExceptT e Identity
data EpochInfo (m ∷ Type → Type) = EpochInfo {
- epochInfoSize_ ∷ HasCallStack ⇒ EpochNo → m EpochSize
- epochInfoFirst_ ∷ HasCallStack ⇒ EpochNo → m SlotNo
- epochInfoEpoch_ ∷ HasCallStack ⇒ SlotNo → m EpochNo
- epochInfoSlotToRelativeTime_ ∷ HasCallStack ⇒ SlotNo → m RelativeTime
- epochInfoSlotLength_ ∷ HasCallStack ⇒ SlotNo → m SlotLength
}
data Product2 (f ∷ Type → Type → Type) (g ∷ Type → Type → Type) x y = Pair2 (f x y) (g x y)
class IsNonEmpty (xs ∷ [a]) where
- isNonEmpty ∷ proxy xs → ProofNonEmpty xs
data ProofNonEmpty (xs ∷ [a]) where
- ProofNonEmpty ∷ ∀ {a} (x ∷ a) (xs1 ∷ [a]). Proxy x → Proxy xs1 → ProofNonEmpty (x ': xs1)
data InPairs (f ∷ k → k → Type) (xs ∷ [k]) where
- PNil ∷ ∀ {k} (f ∷ k → k → Type) (x ∷ k). InPairs f '[x]
- PCons ∷ ∀ {k} (f ∷ k → k → Type) (x ∷ k) (y ∷ k) (zs ∷ [k]). f x y → InPairs f (y ': zs) → InPairs f (x ': (y ': zs))
data Telescope (g ∷ k → Type) (f ∷ k → Type) (xs ∷ [k]) where
- TZ ∷ ∀ {k} (f ∷ k → Type) (x ∷ k) (g ∷ k → Type) (xs1 ∷ [k]). !(f x) → Telescope g f (x ': xs1)
- TS ∷ ∀ {k} (g ∷ k → Type) (x ∷ k) (f ∷ k → Type) (xs1 ∷ [k]). !(g x) → !(Telescope g f xs1) → Telescope g f (x ': xs1)
data Mismatch (f ∷ k → Type) (g ∷ k → Type) (xs ∷ [k]) where
- ML ∷ ∀ {k} (f ∷ k → Type) (x ∷ k) (g ∷ k → Type) (xs1 ∷ [k]). f x → NS g xs1 → Mismatch f g (x ': xs1)
- MR ∷ ∀ {k} (f ∷ k → Type) (xs1 ∷ [k]) (g ∷ k → Type) (x ∷ k). NS f xs1 → g x → Mismatch f g (x ': xs1)
- MS ∷ ∀ {k} (f ∷ k → Type) (g ∷ k → Type) (xs1 ∷ [k]) (x ∷ k). Mismatch f g xs1 → Mismatch f g (x ': xs1)
data family BlockConfig blk ∷ Type
data family CodecConfig blk ∷ Type
data family StorageConfig blk ∷ Type
data family Header blk ∷ Type
data family Ticked st ∷ Type
data family NestedCtxt_ blk ∷ (Type → Type) → Type → Type
data PastHorizonException
data family Validated x ∷ Type
newtype MismatchEraInfo xs = MismatchEraInfo {
- getMismatchEraInfo ∷ Mismatch SingleEraInfo LedgerEraInfo xs
}
newtype OneEraApplyTxErr xs = OneEraApplyTxErr {
- getOneEraApplyTxErr ∷ NS WrapApplyTxErr xs
}
newtype OneEraBlock xs = OneEraBlock {
- getOneEraBlock ∷ NS I xs
}
newtype OneEraGenTx xs = OneEraGenTx {
- getOneEraGenTx ∷ NS GenTx xs
}
newtype OneEraGenTxId xs = OneEraGenTxId {
- getOneEraGenTxId ∷ NS WrapGenTxId xs
}
newtype OneEraHash (xs ∷ [k]) = OneEraHash {
- getOneEraHash ∷ ShortByteString
}
newtype OneEraHeader xs = OneEraHeader {
- getOneEraHeader ∷ NS Header xs
}
newtype OneEraTipInfo xs = OneEraTipInfo {
- getOneEraTipInfo ∷ NS WrapTipInfo xs
}
newtype PerEraBlockConfig xs = PerEraBlockConfig {
- getPerEraBlockConfig ∷ NP BlockConfig xs
}
newtype PerEraCodecConfig xs = PerEraCodecConfig {
- getPerEraCodecConfig ∷ NP CodecConfig xs
}
newtype PerEraConsensusConfig xs = PerEraConsensusConfig {
- getPerEraConsensusConfig ∷ NP WrapPartialConsensusConfig xs
}
newtype PerEraLedgerConfig xs = PerEraLedgerConfig {
- getPerEraLedgerConfig ∷ NP WrapPartialLedgerConfig xs
}
newtype PerEraStorageConfig xs = PerEraStorageConfig {
- getPerEraStorageConfig ∷ NP StorageConfig xs
}
data HardForkForgeStateInfo xs where
- CurrentEraLacksBlockForging ∷ EraIndex (x ': (y ': xs)) → HardForkForgeStateInfo (x ': (y ': xs))
- CurrentEraForgeStateUpdated ∷ OneEraForgeStateInfo xs → HardForkForgeStateInfo xs
type InjectTx = InjectPolyTx GenTx
type InjectValidatedTx = InjectPolyTx WrapValidatedGenTx
newtype HardForkState f xs = HardForkState {
- getHardForkState ∷ Telescope (K Past) (Current f) xs
}
class (All SingleEraBlock xs, Typeable xs, IsNonEmpty xs) ⇒ CanHardFork xs where
- hardForkEraTranslation ∷ EraTranslation xs
- hardForkChainSel ∷ Tails AcrossEraSelection xs
- hardForkInjectTxs ∷ InPairs (RequiringBoth WrapLedgerConfig (Product2 InjectTx InjectValidatedTx)) xs
class SingleEraBlock blk ⇒ NoHardForks blk where
- getEraParams ∷ TopLevelConfig blk → EraParams
- toPartialLedgerConfig ∷ proxy blk → LedgerConfig blk → PartialLedgerConfig blk
class (LedgerSupportsProtocol blk, InspectLedger blk, LedgerSupportsMempool blk, ConvertRawTxId (GenTx blk), BlockSupportsLedgerQuery blk, HasPartialConsensusConfig (BlockProtocol blk), HasPartialLedgerConfig blk, ConvertRawHash blk, ReconstructNestedCtxt Header blk, CommonProtocolParams blk, LedgerSupportsPeerSelection blk, ConfigSupportsNode blk, NodeInitStorage blk, BlockSupportsDiffusionPipelining blk, BlockSupportsMetrics blk, Eq (GenTx blk), Eq (Validated (GenTx blk)), Eq (ApplyTxErr blk), Show blk, Show (Header blk), Show (CannotForge blk), Show (ForgeStateInfo blk), Show (ForgeStateUpdateError blk), Show (LedgerState blk), Eq (LedgerState blk), NoThunks (LedgerState blk)) ⇒ SingleEraBlock blk where
- singleEraTransition ∷ PartialLedgerConfig blk → EraParams → Bound → LedgerState blk → Maybe EpochNo
- singleEraInfo ∷ proxy blk → SingleEraInfo blk
newtype EraIndex xs = EraIndex {
- getEraIndex ∷ NS (K ()) xs
}
newtype HardForkBlock xs = HardForkBlock {
- getHardForkBlock ∷ OneEraBlock xs
}
data HardForkProtocol (xs ∷ [Type])
data family LedgerState blk ∷ Type
data family ConsensusConfig p ∷ Type
data HardForkLedgerConfig xs = HardForkLedgerConfig {
- hardForkLedgerConfigShape ∷ !(Shape xs)
- hardForkLedgerConfigPerEra ∷ !(PerEraLedgerConfig xs)
}
data family GenTx blk ∷ Type
data family BlockQuery blk ∷ Type → Type
data HardForkApplyTxErr xs
- = HardForkApplyTxErrFromEra !(OneEraApplyTxErr xs)
- | HardForkApplyTxErrWrongEra !(MismatchEraInfo xs)
data HardForkEnvelopeErr xs
- = HardForkEnvelopeErrFromEra (OneEraEnvelopeErr xs)
- | HardForkEnvelopeErrWrongEra (MismatchEraInfo xs)
data HardForkLedgerError xs
- = HardForkLedgerErrorFromEra (OneEraLedgerError xs)
- | HardForkLedgerErrorWrongEra (MismatchEraInfo xs)
data family TxId tx ∷ Type
newtype LedgerEraInfo blk = LedgerEraInfo {
- getLedgerEraInfo ∷ SingleEraInfo blk
}
data SingleEraInfo blk = SingleEraInfo {
- singleEraName ∷ !Text
}
data HardForkLedgerUpdate xs
- = HardForkUpdateInEra (OneEraLedgerUpdate xs)
- | HardForkUpdateTransitionConfirmed (EraIndex xs) (EraIndex xs) EpochNo
- | HardForkUpdateTransitionDone (EraIndex xs) (EraIndex xs) EpochNo
- | HardForkUpdateTransitionRolledBack (EraIndex xs) (EraIndex xs)
data HardForkLedgerWarning xs
- = HardForkWarningInEra (OneEraLedgerWarning xs)
- | HardForkWarningTransitionMismatch (EraIndex xs) EraParams EpochNo
- | HardForkWarningTransitionInFinalEra (EraIndex xs) EpochNo
- | HardForkWarningTransitionUnconfirmed (EraIndex xs)
- | HardForkWarningTransitionReconfirmed (EraIndex xs) (EraIndex xs) EpochNo EpochNo
data AnnForecast state view blk = AnnForecast {
- annForecast ∷ Forecast (view blk)
- annForecastState ∷ state blk
- annForecastTip ∷ WithOrigin SlotNo
- annForecastEnd ∷ Maybe Bound
}
type HardForkQueryResult xs = Either (MismatchEraInfo xs)
data QueryAnytime result where
- GetEraStart ∷ QueryAnytime (Maybe Bound)
data QueryHardFork xs result where
- GetInterpreter ∷ QueryHardFork xs (Interpreter xs)
- GetCurrentEra ∷ QueryHardFork xs (EraIndex xs)
data QueryIfCurrent ∷ [Type] → Type → Type where
- QZ ∷ BlockQuery x result → QueryIfCurrent (x ': xs) result
- QS ∷ QueryIfCurrent xs result → QueryIfCurrent (x ': xs) result
class (ConsensusProtocol p, NoThunks (PartialConsensusConfig p)) ⇒ HasPartialConsensusConfig p where
- type PartialConsensusConfig p ∷ Type
- completeConsensusConfig ∷ proxy p → EpochInfo (Except PastHorizonException) → PartialConsensusConfig p → ConsensusConfig p
- toPartialConsensusConfig ∷ proxy p → ConsensusConfig p → PartialConsensusConfig p
class (UpdateLedger blk, NoThunks (PartialLedgerConfig blk)) ⇒ HasPartialLedgerConfig blk where
- type PartialLedgerConfig blk ∷ Type
- completeLedgerConfig ∷ proxy blk → EpochInfo (Except PastHorizonException) → PartialLedgerConfig blk → LedgerConfig blk
newtype WrapPartialConsensusConfig blk = WrapPartialConsensusConfig {
- unwrapPartialConsensusConfig ∷ PartialConsensusConfig (BlockProtocol blk)
}
newtype WrapPartialLedgerConfig blk = WrapPartialLedgerConfig {
- unwrapPartialLedgerConfig ∷ PartialLedgerConfig blk
}
newtype HardForkSelectView xs = HardForkSelectView {
- getHardForkSelectView ∷ WithBlockNo OneEraSelectView xs
}
type HardForkCanBeLeader xs = SomeErasCanBeLeader xs
type HardForkChainDepState xs = HardForkState WrapChainDepState xs
type HardForkIsLeader xs = OneEraIsLeader xs
data HardForkValidationErr xs
- = HardForkValidationErrFromEra (OneEraValidationErr xs)
- | HardForkValidationErrWrongEra (MismatchEraInfo xs)
type HardForkLedgerView = HardForkLedgerView_ WrapLedgerView
data HardForkLedgerView_ f xs = HardForkLedgerView {
- hardForkLedgerViewTransition ∷ !TransitionInfo
- hardForkLedgerViewPerEra ∷ !(HardForkState f xs)
}
data AcrossEraMode cfg a where
- AcrossEraCompare ∷ AcrossEraMode Proxy Ordering
- AcrossEraPreferCandidate ∷ AcrossEraMode WrapChainOrderConfig Bool
data AcrossEraSelection ∷ Type → Type → Type where
- CompareBlockNo ∷ AcrossEraSelection x y
- CompareSameSelectView ∷ SelectView (BlockProtocol x) ~ SelectView (BlockProtocol y) ⇒ AcrossEraSelection x y
data WithBlockNo (f ∷ k → Type) (a ∷ k) = WithBlockNo {
- getBlockNo ∷ BlockNo
- dropBlockNo ∷ f a
}
data EraTranslation xs = EraTranslation {
- translateLedgerState ∷ InPairs (RequiringBoth WrapLedgerConfig (Translate LedgerState)) xs
- translateChainDepState ∷ InPairs (RequiringBoth WrapConsensusConfig (Translate WrapChainDepState)) xs
- crossEraForecast ∷ InPairs (RequiringBoth WrapLedgerConfig (CrossEraForecaster LedgerState WrapLedgerView)) xs
}
pattern InjectTx ∷ (GenTx blk → Maybe (GenTx blk')) → InjectTx blk blk'
pattern InjectValidatedTx ∷ (WrapValidatedGenTx blk → Maybe (WrapValidatedGenTx blk')) → InjectValidatedTx blk blk'
hardForkBlockForging ∷ ∀ m xs. (CanHardFork xs, Monad m) ⇒ Text → NonEmptyOptNP (BlockForging m) xs → BlockForging m (HardForkBlock xs)
cannotInjectTx ∷ InjectTx blk blk'
cannotInjectValidatedTx ∷ InjectValidatedTx blk blk'
initHardForkState ∷ f x → HardForkState f (x ': xs)
noHardForksEpochInfo ∷ (Monad m, NoHardForks blk) ⇒ TopLevelConfig blk → EpochInfo m
proxySingle ∷ Proxy SingleEraBlock
singleEraTransition' ∷ SingleEraBlock blk ⇒ WrapPartialLedgerConfig blk → EraParams → Bound → LedgerState blk → Maybe EpochNo
eraIndexEmpty ∷ EraIndex '[] → Void
eraIndexFromIndex ∷ Index xs blk → EraIndex xs
eraIndexFromNS ∷ SListI xs ⇒ NS f xs → EraIndex xs
eraIndexSucc ∷ EraIndex xs → EraIndex (x ': xs)
eraIndexToInt ∷ EraIndex xs → Int
eraIndexZero ∷ EraIndex (x ': xs)
completeConsensusConfig' ∷ ∀ blk. HasPartialConsensusConfig (BlockProtocol blk) ⇒ EpochInfo (Except PastHorizonException) → WrapPartialConsensusConfig blk → ConsensusConfig (BlockProtocol blk)
completeConsensusConfig'' ∷ ∀ blk. HasPartialConsensusConfig (BlockProtocol blk) ⇒ EpochInfo (Except PastHorizonException) → WrapPartialConsensusConfig blk → WrapConsensusConfig blk
completeLedgerConfig' ∷ ∀ blk. HasPartialLedgerConfig blk ⇒ EpochInfo (Except PastHorizonException) → WrapPartialLedgerConfig blk → LedgerConfig blk
completeLedgerConfig'' ∷ ∀ blk. HasPartialLedgerConfig blk ⇒ EpochInfo (Except PastHorizonException) → WrapPartialLedgerConfig blk → WrapLedgerConfig blk
distribLedgerConfig ∷ CanHardFork xs ⇒ EpochInfo (Except PastHorizonException) → LedgerConfig (HardForkBlock xs) → NP WrapLedgerConfig xs
distribTopLevelConfig ∷ All SingleEraBlock xs ⇒ EpochInfo (Except PastHorizonException) → TopLevelConfig (HardForkBlock xs) → NP TopLevelConfig xs
distribAnnTip ∷ SListI xs ⇒ AnnTip (HardForkBlock xs) → NS AnnTip xs
undistribAnnTip ∷ SListI xs ⇒ NS AnnTip xs → AnnTip (HardForkBlock xs)
mkHardForkForecast ∷ ∀ state view xs. SListI xs ⇒ InPairs (CrossEraForecaster state view) xs → HardForkState (AnnForecast state view) xs → Forecast (HardForkLedgerView_ view xs)
decodeQueryAnytimeResult ∷ QueryAnytime result → ∀ s. Decoder s result
decodeQueryHardForkResult ∷ SListI xs ⇒ EraParamsFormat → QueryHardFork xs result → ∀ s. Decoder s result
encodeQueryAnytimeResult ∷ QueryAnytime result → result → Encoding
encodeQueryHardForkResult ∷ SListI xs ⇒ EraParamsFormat → QueryHardFork xs result → result → Encoding
getHardForkQuery ∷ BlockQuery (HardForkBlock xs) result → (∀ result'. (result :~: HardForkQueryResult xs result') → QueryIfCurrent xs result' → r) → (∀ x' xs'. (xs :~: (x' ': xs')) → ProofNonEmpty xs' → QueryAnytime result → EraIndex xs → r) → (∀ x' xs'. (xs :~: (x' ': xs')) → ProofNonEmpty xs' → QueryHardFork xs result → r) → r
hardForkQueryInfo ∷ All SingleEraBlock xs ⇒ QueryIfCurrent xs result → NS SingleEraInfo xs
hardForkApplyTxErrFromEither ∷ Either (MismatchEraInfo xs) (OneEraApplyTxErr xs) → HardForkApplyTxErr xs
hardForkApplyTxErrToEither ∷ HardForkApplyTxErr xs → Either (MismatchEraInfo xs) (OneEraApplyTxErr xs)
acrossEraSelection ∷ ∀ xs cfg a. All SingleEraBlock xs ⇒ AcrossEraMode cfg a → NP cfg xs → Tails AcrossEraSelection xs → WithBlockNo (NS WrapSelectView) xs → WithBlockNo (NS WrapSelectView) xs → a
mapWithBlockNo ∷ (f x → g y) → WithBlockNo f x → WithBlockNo g y
trivialEraTranslation ∷ EraTranslation '[blk]

Documentation

type Except e = ExceptT e Identity #

The parameterizable exception monad.

Computations are either exceptions or normal values.

The return function returns a normal value, while >>= exits on the first exception. For a variant that continues after an error and collects all the errors, see Errors.

data EpochInfo (m ∷ Type → Type) Source #

Information about epochs

Different epochs may have different sizes and different slot lengths. This information is encapsulated by EpochInfo. It is parameterized over a monad m because the information about how long each epoch is may depend on information derived from the blockchain itself. It ultimately requires acess to state, and so either uses the monad for that or uses the monad to reify failure due to cached state information being too stale for the current query.

Constructors

EpochInfo

Fields

epochInfoSize_ ∷ HasCallStack ⇒ EpochNo → m EpochSize
Return the size of the given epoch as a number of slots
Note that the number of slots does not bound the number of blocks, since the EBB and a regular block share a slot number.
epochInfoFirst_ ∷ HasCallStack ⇒ EpochNo → m SlotNo
First slot in the specified epoch
See also epochInfoRange
epochInfoEpoch_ ∷ HasCallStack ⇒ SlotNo → m EpochNo
Epoch containing the given slot
We should have the property that
```
s `inRange` epochInfoRange (epochInfoEpoch s)
```
epochInfoSlotToRelativeTime_ ∷ HasCallStack ⇒ SlotNo → m RelativeTime
The RelativeTime of the start of the given slot
This calculation depends on the varying slot lengths of the relevant epochs.
See also epochInfoSlotToUTCTime.
epochInfoSlotLength_ ∷ HasCallStack ⇒ SlotNo → m SlotLength
Return the length of the specified slot.

Instances

Instances details

Show (EpochInfo f)	Unhelpful instance, but this type occurs in records (eg `Shelley.Globals`) that we want to be able to `show`
Instance details Defined in Cardano.Slotting.EpochInfo.API Methods showsPrec ∷ Int → EpochInfo f → ShowS # show ∷ EpochInfo f → String # showList ∷ [EpochInfo f] → ShowS #
NoThunks (EpochInfo m)
Instance details Defined in Cardano.Slotting.EpochInfo.API Methods noThunks ∷ Context → EpochInfo m → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → EpochInfo m → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (EpochInfo m) → String Source #

data Product2 (f ∷ Type → Type → Type) (g ∷ Type → Type → Type) x y Source #

Constructors

Pair2 (f x y) (g x y)

Instances

Instances details

Generic (Product2 f g x y)
Instance details Defined in Data.SOP.Functors Associated Types type Rep (Product2 f g x y) ∷ Type → Type # Methods from ∷ Product2 f g x y → Rep (Product2 f g x y) x0 # to ∷ Rep (Product2 f g x y) x0 → Product2 f g x y #
(Show (f x y), Show (g x y)) ⇒ Show (Product2 f g x y)
Instance details Defined in Data.SOP.Functors Methods showsPrec ∷ Int → Product2 f g x y → ShowS # show ∷ Product2 f g x y → String # showList ∷ [Product2 f g x y] → ShowS #
(Eq (f x y), Eq (g x y)) ⇒ Eq (Product2 f g x y)
Instance details Defined in Data.SOP.Functors Methods (==) ∷ Product2 f g x y → Product2 f g x y → Bool # (/=) ∷ Product2 f g x y → Product2 f g x y → Bool #
type Rep (Product2 f g x y)
Instance details Defined in Data.SOP.Functors type Rep (Product2 f g x y) = D1 ('MetaData "Product2" "Data.SOP.Functors" "sop-extras-0.2.0.0-inplace" 'False) (C1 ('MetaCons "Pair2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f x y)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (g x y))))

class IsNonEmpty (xs ∷ [a]) where Source #

Methods

isNonEmpty ∷ proxy xs → ProofNonEmpty xs Source #

Instances

Instances details

IsNonEmpty (x ': xs ∷ [a])
Instance details Defined in Data.SOP.NonEmpty Methods isNonEmpty ∷ proxy (x ': xs) → ProofNonEmpty (x ': xs) Source #

data ProofNonEmpty (xs ∷ [a]) where Source #

Constructors

ProofNonEmpty ∷ ∀ {a} (x ∷ a) (xs1 ∷ [a]). Proxy x → Proxy xs1 → ProofNonEmpty (x ': xs1)

data InPairs (f ∷ k → k → Type) (xs ∷ [k]) where Source #

We have an f x y for each pair (x, y) of successive list elements

Constructors

PNil ∷ ∀ {k} (f ∷ k → k → Type) (x ∷ k). InPairs f '[x]
PCons ∷ ∀ {k} (f ∷ k → k → Type) (x ∷ k) (y ∷ k) (zs ∷ [k]). f x y → InPairs f (y ': zs) → InPairs f (x ': (y ': zs))

data Telescope (g ∷ k → Type) (f ∷ k → Type) (xs ∷ [k]) where Source #

Telescope

A telescope is an extension of an NS, where every time we "go right" in the sum we have an additional value.

The Telescope API mostly follows sop-core conventions, supporting functor (hmap, hcmap), applicative (hap, hpure), foldable (hcollapse) and traversable (hsequence'). However, since Telescope is a bi-functor, it cannot reuse the sop-core classes. The naming scheme of the functions is adopted from sop-core though; for example:

bi h (c) zipWith
|  |  |    |
|  |  |    \ zipWith: the name from base
|  |  |
|  |  \ constrained: version of the function with a constraint parameter
|  |
|  \ higher order: 'Telescope' (like 'NS'/'NP') is a /higher order/ functor
|
\ bifunctor: 'Telescope' (unlike 'NS'/'NP') is a higher order /bifunctor/

In addition to the standard SOP operators, the new operators that make a Telescope a telescope are extend, retract and align; see their documentation for details.

Constructors

TZ ∷ ∀ {k} (f ∷ k → Type) (x ∷ k) (g ∷ k → Type) (xs1 ∷ [k]). !(f x) → Telescope g f (x ': xs1)
TS ∷ ∀ {k} (g ∷ k → Type) (x ∷ k) (f ∷ k → Type) (xs1 ∷ [k]). !(g x) → !(Telescope g f xs1) → Telescope g f (x ': xs1)

Instances

Instances details

(∀ (x ∷ k2) (y ∷ k2). LiftedCoercible g g x y) ⇒ HTrans (Telescope g ∷ (k2 → Type) → [k2] → Type) (Telescope g ∷ (k2 → Type) → [k2] → Type)
Instance details Defined in Data.SOP.Telescope Methods htrans ∷ ∀ c (xs ∷ l1) (ys ∷ l2) proxy f g0. AllZipN (Prod (Telescope g)) c xs ys ⇒ proxy c → (∀ (x ∷ k1) (y ∷ k20). c x y ⇒ f x → g0 y) → Telescope g f xs → Telescope g g0 ys Source # hcoerce ∷ ∀ (f ∷ k1 → Type) (g0 ∷ k20 → Type) (xs ∷ l1) (ys ∷ l2). AllZipN (Prod (Telescope g)) (LiftedCoercible f g0) xs ys ⇒ Telescope g f xs → Telescope g g0 ys Source #
HAp (Telescope g ∷ (k → Type) → [k] → Type)
Instance details Defined in Data.SOP.Telescope Methods hap ∷ ∀ (f ∷ k0 → Type) (g0 ∷ k0 → Type) (xs ∷ l). Prod (Telescope g) (f -.-> g0) xs → Telescope g f xs → Telescope g g0 xs Source #
HSequence (Telescope g ∷ (k → Type) → [k] → Type)
Instance details Defined in Data.SOP.Telescope Methods hsequence' ∷ ∀ (xs ∷ l) f (g0 ∷ k0 → Type). (SListIN (Telescope g) xs, Applicative f) ⇒ Telescope g (f :.: g0) xs → f (Telescope g g0 xs) Source # hctraverse' ∷ ∀ c (xs ∷ l) g0 proxy f f'. (AllN (Telescope g) c xs, Applicative g0) ⇒ proxy c → (∀ (a ∷ k0). c a ⇒ f a → g0 (f' a)) → Telescope g f xs → g0 (Telescope g f' xs) Source # htraverse' ∷ ∀ (xs ∷ l) g0 f f'. (SListIN (Telescope g) xs, Applicative g0) ⇒ (∀ (a ∷ k0). f a → g0 (f' a)) → Telescope g f xs → g0 (Telescope g f' xs) Source #
HTraverse_ (Telescope g ∷ (k → Type) → [k] → Type)
Instance details Defined in Data.SOP.Telescope Methods hctraverse_ ∷ ∀ c (xs ∷ l) g0 proxy f. (AllN (Telescope g) c xs, Applicative g0) ⇒ proxy c → (∀ (a ∷ k0). c a ⇒ f a → g0 ()) → Telescope g f xs → g0 () Source # htraverse_ ∷ ∀ (xs ∷ l) g0 f. (SListIN (Telescope g) xs, Applicative g0) ⇒ (∀ (a ∷ k0). f a → g0 ()) → Telescope g f xs → g0 () Source #
(All (Compose Show g) xs, All (Compose Show f) xs) ⇒ Show (Telescope g f xs)
Instance details Defined in Data.SOP.Telescope Methods showsPrec ∷ Int → Telescope g f xs → ShowS # show ∷ Telescope g f xs → String # showList ∷ [Telescope g f xs] → ShowS #
(All (Compose Eq g) xs, All (Compose Eq f) xs) ⇒ Eq (Telescope g f xs)
Instance details Defined in Data.SOP.Telescope Methods (==) ∷ Telescope g f xs → Telescope g f xs → Bool # (/=) ∷ Telescope g f xs → Telescope g f xs → Bool #
(All (Compose Eq g) xs, All (Compose Ord g) xs, All (Compose Eq f) xs, All (Compose Ord f) xs) ⇒ Ord (Telescope g f xs)
Instance details Defined in Data.SOP.Telescope Methods compare ∷ Telescope g f xs → Telescope g f xs → Ordering # (<) ∷ Telescope g f xs → Telescope g f xs → Bool # (<=) ∷ Telescope g f xs → Telescope g f xs → Bool # (>) ∷ Telescope g f xs → Telescope g f xs → Bool # (>=) ∷ Telescope g f xs → Telescope g f xs → Bool # max ∷ Telescope g f xs → Telescope g f xs → Telescope g f xs # min ∷ Telescope g f xs → Telescope g f xs → Telescope g f xs #
(All (Compose NoThunks g) xs, All (Compose NoThunks f) xs) ⇒ NoThunks (Telescope g f xs)
Instance details Defined in Data.SOP.Telescope Methods noThunks ∷ Context → Telescope g f xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Telescope g f xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Telescope g f xs) → String Source #
type Same (Telescope g ∷ (k2 → Type) → [k2] → Type)
Instance details Defined in Data.SOP.Telescope type Same (Telescope g ∷ (k2 → Type) → [k2] → Type) = Telescope g
type Prod (Telescope g ∷ (k → Type) → [k] → Type)
Instance details Defined in Data.SOP.Telescope type Prod (Telescope g ∷ (k → Type) → [k] → Type) = NP ∷ (k → Type) → [k] → Type
type SListIN (Telescope g ∷ (k → Type) → [k] → Type)
Instance details Defined in Data.SOP.Telescope type SListIN (Telescope g ∷ (k → Type) → [k] → Type) = SListI ∷ [k] → Constraint
type AllN (Telescope g ∷ (k → Type) → [k] → Type) (c ∷ k → Constraint)
Instance details Defined in Data.SOP.Telescope type AllN (Telescope g ∷ (k → Type) → [k] → Type) (c ∷ k → Constraint) = All c

data Mismatch (f ∷ k → Type) (g ∷ k → Type) (xs ∷ [k]) where Source #

We have a mismatch in the index between two NS

Constructors

ML ∷ ∀ {k} (f ∷ k → Type) (x ∷ k) (g ∷ k → Type) (xs1 ∷ [k]). f x → NS g xs1 → Mismatch f g (x ': xs1)	The left is at the current `x` and the right is somewhere in the later `xs`
MR ∷ ∀ {k} (f ∷ k → Type) (xs1 ∷ [k]) (g ∷ k → Type) (x ∷ k). NS f xs1 → g x → Mismatch f g (x ': xs1)	The right is at the current `x` and the left is somewhere in the later `xs`
MS ∷ ∀ {k} (f ∷ k → Type) (g ∷ k → Type) (xs1 ∷ [k]) (x ∷ k). Mismatch f g xs1 → Mismatch f g (x ': xs1)	There is a mismatch later on in the `xs`

Instances

Instances details

(∀ (x ∷ k2) (y ∷ k2). LiftedCoercible p p x y) ⇒ HTrans (Mismatch p ∷ (k2 → Type) → [k2] → Type) (Mismatch p ∷ (k2 → Type) → [k2] → Type)
Instance details Defined in Data.SOP.Match Methods htrans ∷ ∀ c (xs ∷ l1) (ys ∷ l2) proxy f g. AllZipN (Prod (Mismatch p)) c xs ys ⇒ proxy c → (∀ (x ∷ k1) (y ∷ k20). c x y ⇒ f x → g y) → Mismatch p f xs → Mismatch p g ys Source # hcoerce ∷ ∀ (f ∷ k1 → Type) (g ∷ k20 → Type) (xs ∷ l1) (ys ∷ l2). AllZipN (Prod (Mismatch p)) (LiftedCoercible f g) xs ys ⇒ Mismatch p f xs → Mismatch p g ys Source #
HAp (Mismatch f ∷ (k → Type) → [k] → Type)
Instance details Defined in Data.SOP.Match Methods hap ∷ ∀ (f0 ∷ k0 → Type) (g ∷ k0 → Type) (xs ∷ l). Prod (Mismatch f) (f0 -.-> g) xs → Mismatch f f0 xs → Mismatch f g xs Source #
(All (Compose Show f) xs, All (Compose Show g) xs) ⇒ Show (Mismatch f g xs)
Instance details Defined in Data.SOP.Match Methods showsPrec ∷ Int → Mismatch f g xs → ShowS # show ∷ Mismatch f g xs → String # showList ∷ [Mismatch f g xs] → ShowS #
(All (Compose Eq f) xs, All (Compose Eq g) xs) ⇒ Eq (Mismatch f g xs)
Instance details Defined in Data.SOP.Match Methods (==) ∷ Mismatch f g xs → Mismatch f g xs → Bool # (/=) ∷ Mismatch f g xs → Mismatch f g xs → Bool #
(All (Compose Eq f) xs, All (Compose Ord f) xs, All (Compose Eq g) xs, All (Compose Ord g) xs) ⇒ Ord (Mismatch f g xs)
Instance details Defined in Data.SOP.Match Methods compare ∷ Mismatch f g xs → Mismatch f g xs → Ordering # (<) ∷ Mismatch f g xs → Mismatch f g xs → Bool # (<=) ∷ Mismatch f g xs → Mismatch f g xs → Bool # (>) ∷ Mismatch f g xs → Mismatch f g xs → Bool # (>=) ∷ Mismatch f g xs → Mismatch f g xs → Bool # max ∷ Mismatch f g xs → Mismatch f g xs → Mismatch f g xs # min ∷ Mismatch f g xs → Mismatch f g xs → Mismatch f g xs #
(All (Compose NoThunks f) xs, All (Compose NoThunks g) xs) ⇒ NoThunks (Mismatch f g xs)
Instance details Defined in Data.SOP.Match Methods noThunks ∷ Context → Mismatch f g xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Mismatch f g xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Mismatch f g xs) → String Source #
type Same (Mismatch f ∷ (k2 → Type) → [k2] → Type)
Instance details Defined in Data.SOP.Match type Same (Mismatch f ∷ (k2 → Type) → [k2] → Type) = Mismatch f
type Prod (Mismatch f ∷ (k → Type) → [k] → Type)
Instance details Defined in Data.SOP.Match type Prod (Mismatch f ∷ (k → Type) → [k] → Type) = NP ∷ (k → Type) → [k] → Type
type SListIN (Mismatch f ∷ (k → Type) → [k] → Type)
Instance details Defined in Data.SOP.Match type SListIN (Mismatch f ∷ (k → Type) → [k] → Type) = SListI ∷ [k] → Constraint
type AllN (Mismatch f ∷ (k → Type) → [k] → Type) (c ∷ k → Constraint)
Instance details Defined in Data.SOP.Match type AllN (Mismatch f ∷ (k → Type) → [k] → Type) (c ∷ k → Constraint) = All c

data family BlockConfig blk ∷ Type Source #

Static configuration required to work with this type of blocks

Instances

Instances details

Isomorphic BlockConfig Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ BlockConfig (HardForkBlock '[blk]) → BlockConfig blk Source # inject ∷ NoHardForks blk ⇒ BlockConfig blk → BlockConfig (HardForkBlock '[blk]) Source #
CanHardFork xs ⇒ NoThunks (BlockConfig (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → BlockConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BlockConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BlockConfig (HardForkBlock xs)) → String Source #
NoThunks (BlockConfig (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks ∷ Context → BlockConfig (DualBlock m a) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BlockConfig (DualBlock m a) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BlockConfig (DualBlock m a)) → String Source #
newtype BlockConfig (DisableDiffusionPipelining blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining newtype BlockConfig (DisableDiffusionPipelining blk) = DisableDiffusionPipeliningBlockConfig (BlockConfig blk)
newtype BlockConfig (SelectViewDiffusionPipelining blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining newtype BlockConfig (SelectViewDiffusionPipelining blk) = SelectViewDiffusionPipeliningBlockConfig (BlockConfig blk)
newtype BlockConfig (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype BlockConfig (HardForkBlock xs) = HardForkBlockConfig { hardForkBlockConfigPerEra ∷ PerEraBlockConfig xs }
data BlockConfig (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual data BlockConfig (DualBlock m a) = DualBlockConfig { dualBlockConfigMain ∷ BlockConfig m dualBlockConfigAux ∷ BlockConfig a }

data family CodecConfig blk ∷ Type Source #

Static configuration required for serialisation and deserialisation of types pertaining to this type of block.

Data family instead of type family to get better type inference.

Instances

Instances details

Isomorphic CodecConfig Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ CodecConfig (HardForkBlock '[blk]) → CodecConfig blk Source # inject ∷ NoHardForks blk ⇒ CodecConfig blk → CodecConfig (HardForkBlock '[blk]) Source #
Generic (CodecConfig (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Associated Types type Rep (CodecConfig (DualBlock m a)) ∷ Type → Type # Methods from ∷ CodecConfig (DualBlock m a) → Rep (CodecConfig (DualBlock m a)) x # to ∷ Rep (CodecConfig (DualBlock m a)) x → CodecConfig (DualBlock m a) #
CanHardFork xs ⇒ NoThunks (CodecConfig (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → CodecConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CodecConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CodecConfig (HardForkBlock xs)) → String Source #
(NoThunks (CodecConfig m), NoThunks (CodecConfig a)) ⇒ NoThunks (CodecConfig (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks ∷ Context → CodecConfig (DualBlock m a) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CodecConfig (DualBlock m a) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CodecConfig (DualBlock m a)) → String Source #
type Rep (CodecConfig (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual type Rep (CodecConfig (DualBlock m a)) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-0.18.0.0-inplace" 'False) (C1 ('MetaCons "DualCodecConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "dualCodecConfigMain") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CodecConfig m)) :*: S1 ('MetaSel ('Just "dualCodecConfigAux") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CodecConfig a))))
newtype CodecConfig (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype CodecConfig (HardForkBlock xs) = HardForkCodecConfig { hardForkCodecConfigPerEra ∷ PerEraCodecConfig xs }
data CodecConfig (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual data CodecConfig (DualBlock m a) = DualCodecConfig { dualCodecConfigMain ∷ !(CodecConfig m) dualCodecConfigAux ∷ !(CodecConfig a) }

data family StorageConfig blk ∷ Type Source #

Config needed for the NodeInitStorage class. Defined here to avoid circular dependencies.

Instances

Instances details

Isomorphic StorageConfig Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ StorageConfig (HardForkBlock '[blk]) → StorageConfig blk Source # inject ∷ NoHardForks blk ⇒ StorageConfig blk → StorageConfig (HardForkBlock '[blk]) Source #
Generic (StorageConfig (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Associated Types type Rep (StorageConfig (DualBlock m a)) ∷ Type → Type # Methods from ∷ StorageConfig (DualBlock m a) → Rep (StorageConfig (DualBlock m a)) x # to ∷ Rep (StorageConfig (DualBlock m a)) x → StorageConfig (DualBlock m a) #
CanHardFork xs ⇒ NoThunks (StorageConfig (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → StorageConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StorageConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StorageConfig (HardForkBlock xs)) → String Source #
(NoThunks (StorageConfig m), NoThunks (StorageConfig a)) ⇒ NoThunks (StorageConfig (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks ∷ Context → StorageConfig (DualBlock m a) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StorageConfig (DualBlock m a) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StorageConfig (DualBlock m a)) → String Source #
type Rep (StorageConfig (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual type Rep (StorageConfig (DualBlock m a)) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-0.18.0.0-inplace" 'False) (C1 ('MetaCons "DualStorageConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "dualStorageConfigMain") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StorageConfig m)) :*: S1 ('MetaSel ('Just "dualStorageConfigAux") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StorageConfig a))))
newtype StorageConfig (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype StorageConfig (HardForkBlock xs) = HardForkStorageConfig { hardForkStorageConfigPerEra ∷ PerEraStorageConfig xs }
data StorageConfig (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual data StorageConfig (DualBlock m a) = DualStorageConfig { dualStorageConfigMain ∷ !(StorageConfig m) dualStorageConfigAux ∷ !(StorageConfig a) }

data family Header blk ∷ Type Source #

Instances

data family Ticked st ∷ Type Source #

" Ticked " piece of state, either LedgerState or ChainDepState

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

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

Some examples of time related changes:

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

Instances

Instances details

Generic (Ticked (LedgerState (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Associated Types type Rep (Ticked (LedgerState (HardForkBlock xs))) ∷ Type → Type # Methods from ∷ Ticked (LedgerState (HardForkBlock xs)) → Rep (Ticked (LedgerState (HardForkBlock xs))) x # to ∷ Rep (Ticked (LedgerState (HardForkBlock xs))) x → Ticked (LedgerState (HardForkBlock xs)) #
Show (Ticked ()) Source #
Instance details Defined in Ouroboros.Consensus.Ticked Methods showsPrec ∷ Int → Ticked () → ShowS # show ∷ Ticked () → String # showList ∷ [Ticked ()] → ShowS #
CanHardFork xs ⇒ NoThunks (Ticked (LedgerState (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods noThunks ∷ Context → Ticked (LedgerState (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Ticked (LedgerState (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Ticked (LedgerState (HardForkBlock xs))) → String Source #
NoThunks (Ticked (LedgerState (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks ∷ Context → Ticked (LedgerState (DualBlock m a)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Ticked (LedgerState (DualBlock m a)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Ticked (LedgerState (DualBlock m a))) → String Source #
CanHardFork xs ⇒ GetTip (Ticked (LedgerState (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods getTip ∷ Ticked (LedgerState (HardForkBlock xs)) → 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 ∷ Ticked (LedgerState (DualBlock m a)) → 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 ∷ Ticked (ExtLedgerState blk) → Point (Ticked (ExtLedgerState blk)) Source #
Isomorphic (Ticked :.: LedgerState) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ (Ticked :.: LedgerState) (HardForkBlock '[blk]) → (Ticked :.: LedgerState) blk Source # inject ∷ NoHardForks blk ⇒ (Ticked :.: LedgerState) blk → (Ticked :.: LedgerState) (HardForkBlock '[blk]) Source #
Show (Ticked (f a)) ⇒ Show ((Ticked :.: f) a) Source #
Instance details Defined in Ouroboros.Consensus.Ticked Methods showsPrec ∷ Int → (Ticked :.: f) a → ShowS # show ∷ (Ticked :.: f) a → String # showList ∷ [(Ticked :.: f) a] → ShowS #
NoThunks (Ticked (f a)) ⇒ NoThunks ((Ticked :.: f) a) Source #
Instance details Defined in Ouroboros.Consensus.Ticked Methods noThunks ∷ Context → (Ticked :.: f) a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → (Ticked :.: f) a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ((Ticked :.: f) a) → String Source #
data Ticked () Source #
Instance details Defined in Ouroboros.Consensus.Ticked data Ticked () = TickedTrivial
type HeaderHash (Ticked l ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Ticked type HeaderHash (Ticked l ∷ Type) = HeaderHash l
type Rep (Ticked (LedgerState (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type Rep (Ticked (LedgerState (HardForkBlock xs))) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.HardFork.Combinator.Ledger" "ouroboros-consensus-0.18.0.0-inplace" 'False) (C1 ('MetaCons "TickedHardForkLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "tickedHardForkLedgerStateTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TransitionInfo) :*: S1 ('MetaSel ('Just "tickedHardForkLedgerStatePerEra") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HardForkState (Ticked :.: LedgerState) xs))))
data Ticked (HardForkChainDepState xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol data Ticked (HardForkChainDepState xs) = TickedHardForkChainDepState { tickedHardForkChainDepStatePerEra ∷ HardForkState (Ticked :.: WrapChainDepState) xs tickedHardForkChainDepStateEpochInfo ∷ EpochInfo (Except PastHorizonException) }
data Ticked (HeaderState blk) Source #
Instance details Defined in Ouroboros.Consensus.HeaderValidation data Ticked (HeaderState blk) = TickedHeaderState { untickedHeaderStateTip ∷ WithOrigin (AnnTip blk) tickedHeaderStateChainDep ∷ Ticked (ChainDepState (BlockProtocol blk)) }
data Ticked (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger data Ticked (LedgerState (HardForkBlock xs)) = TickedHardForkLedgerState { tickedHardForkLedgerStateTransition ∷ !TransitionInfo tickedHardForkLedgerStatePerEra ∷ !(HardForkState (Ticked :.: LedgerState) xs) }
data Ticked (LedgerState (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual data Ticked (LedgerState (DualBlock m a)) = TickedDualLedgerState { tickedDualLedgerStateMain ∷ Ticked (LedgerState m) tickedDualLedgerStateAux ∷ Ticked (LedgerState a) tickedDualLedgerStateBridge ∷ BridgeLedger m a tickedDualLedgerStateAuxOrig ∷ LedgerState a }
data Ticked (ExtLedgerState blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended data Ticked (ExtLedgerState blk) = TickedExtLedgerState { tickedLedgerState ∷ Ticked (LedgerState blk) ledgerView ∷ LedgerView (BlockProtocol blk) tickedHeaderState ∷ Ticked (HeaderState blk) }
data Ticked (PBftState c) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT data Ticked (PBftState c) = TickedPBftState { getPBftLedgerView ∷ LedgerView (PBft c) getTickedPBftState ∷ PBftState c }
newtype Ticked (WrapChainDepState blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers newtype Ticked (WrapChainDepState blk) = WrapTickedChainDepState { unwrapTickedChainDepState ∷ Ticked (ChainDepState (BlockProtocol blk)) }

data family NestedCtxt_ blk ∷ (Type → Type) → Type → Type Source #

Context identifying what kind of block we have

In almost all places we will use NestedCtxt rather than NestedCtxt_.

Instances

Instances details

CanHardFork xs ⇒ SameDepIndex (NestedCtxt_ (HardForkBlock xs) Header) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods sameDepIndex ∷ NestedCtxt_ (HardForkBlock xs) Header a → NestedCtxt_ (HardForkBlock xs) Header b → Maybe (a :~: b) Source #
SameDepIndex (NestedCtxt_ m f) ⇒ SameDepIndex (NestedCtxt_ (DualBlock m a) f) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods sameDepIndex ∷ NestedCtxt_ (DualBlock m a) f a0 → NestedCtxt_ (DualBlock m a) f b → Maybe (a0 :~: b) Source #
All SingleEraBlock xs ⇒ Show (NestedCtxt_ (HardForkBlock xs) Header a) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods showsPrec ∷ Int → NestedCtxt_ (HardForkBlock xs) Header a → ShowS # show ∷ NestedCtxt_ (HardForkBlock xs) Header a → String # showList ∷ [NestedCtxt_ (HardForkBlock xs) Header a] → ShowS #
Show (NestedCtxt_ m f x) ⇒ Show (NestedCtxt_ (DualBlock m a) f x) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showsPrec ∷ Int → NestedCtxt_ (DualBlock m a) f x → ShowS # show ∷ NestedCtxt_ (DualBlock m a) f x → String # showList ∷ [NestedCtxt_ (DualBlock m a) f x] → ShowS #
data NestedCtxt_ (HardForkBlock xs) a b Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block data NestedCtxt_ (HardForkBlock xs) a b where NCZ ∷ ∀ x (a ∷ Type → Type) b (xs1 ∷ [Type]). !(NestedCtxt_ x a b) → NestedCtxt_ (HardForkBlock (x ': xs1)) a b NCS ∷ ∀ (xs1 ∷ [Type]) (a ∷ Type → Type) b x. !(NestedCtxt_ (HardForkBlock xs1) a b) → NestedCtxt_ (HardForkBlock (x ': xs1)) a b
newtype NestedCtxt_ (DualBlock m a) f x Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual newtype NestedCtxt_ (DualBlock m a) f x where CtxtDual ∷ ∀ m (f ∷ Type → Type) x a. NestedCtxt_ m f x → NestedCtxt_ (DualBlock m a) f x

data PastHorizonException Source #

We tried to convert something that is past the horizon

That is, we tried to convert something that is past the point in time beyond which we lack information due to uncertainty about the next hard fork.

Instances

Instances details

Exception PastHorizonException Source #
Instance details Defined in Ouroboros.Consensus.HardFork.History.Qry Methods toException ∷ PastHorizonException → SomeException # fromException ∷ SomeException → Maybe PastHorizonException # displayException ∷ PastHorizonException → String #
Show PastHorizonException Source #
Instance details Defined in Ouroboros.Consensus.HardFork.History.Qry Methods showsPrec ∷ Int → PastHorizonException → ShowS # show ∷ PastHorizonException → String # showList ∷ [PastHorizonException] → ShowS #

data family Validated x ∷ Type Source #

" Validated " transaction or block

The ledger defines how to validate transactions and blocks. It's possible the type before and after validation may be distinct (eg Alonzo transactions), which originally motivated this family.

We also gain the related benefit that certain interface functions, such as those that reapply blocks, can have a more precise type now. TODO

Similarly, the Node-to-Client mini protocols can explicitly indicate that the client trusts the blocks from the local server, by having the server send Validated blocks to the client. TODO

Note that validation has different implications for a transaction than for a block. In particular, a validated transaction can be " reapplied " to different ledger states, whereas a validated block must only be " reapplied " to the exact same ledger state (eg as part of rebuilding from an on-disk ledger snapshot).

Since the ledger defines validation, see the ledger details for concrete examples of what determines the validity (wrt to a LedgerState) of a transaction and/or block. Example properties include: a transaction's claimed inputs exist and are still unspent, a block carries a sufficient cryptographic signature, etc.

Instances

Instances details

Generic (Validated (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Associated Types type Rep (Validated (GenTx (HardForkBlock xs))) ∷ Type → Type # Methods from ∷ Validated (GenTx (HardForkBlock xs)) → Rep (Validated (GenTx (HardForkBlock xs))) x # to ∷ Rep (Validated (GenTx (HardForkBlock xs))) x → Validated (GenTx (HardForkBlock xs)) #
CanHardFork xs ⇒ Show (Validated (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showsPrec ∷ Int → Validated (GenTx (HardForkBlock xs)) → ShowS # show ∷ Validated (GenTx (HardForkBlock xs)) → String # showList ∷ [Validated (GenTx (HardForkBlock xs))] → ShowS #
Bridge m a ⇒ Show (Validated (GenTx (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showsPrec ∷ Int → Validated (GenTx (DualBlock m a)) → ShowS # show ∷ Validated (GenTx (DualBlock m a)) → String # showList ∷ [Validated (GenTx (DualBlock m a))] → ShowS #
CanHardFork xs ⇒ Eq (Validated (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods (==) ∷ Validated (GenTx (HardForkBlock xs)) → Validated (GenTx (HardForkBlock xs)) → Bool # (/=) ∷ Validated (GenTx (HardForkBlock xs)) → Validated (GenTx (HardForkBlock xs)) → Bool #
CanHardFork xs ⇒ NoThunks (Validated (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods noThunks ∷ Context → Validated (GenTx (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Validated (GenTx (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Validated (GenTx (HardForkBlock xs))) → String Source #
NoThunks (Validated (GenTx (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks ∷ Context → Validated (GenTx (DualBlock m a)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Validated (GenTx (DualBlock m a)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Validated (GenTx (DualBlock m a))) → String Source #
type Rep (Validated (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (Validated (GenTx (HardForkBlock xs))) = D1 ('MetaData "Validated" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.18.0.0-inplace" 'True) (C1 ('MetaCons "HardForkValidatedGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkValidatedGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraValidatedGenTx xs))))
newtype Validated (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype Validated (GenTx (HardForkBlock xs)) = HardForkValidatedGenTx { getHardForkValidatedGenTx ∷ OneEraValidatedGenTx xs }
data Validated (GenTx (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual data Validated (GenTx (DualBlock m a)) = ValidatedDualGenTx { vDualGenTxMain ∷ Validated (GenTx m) vDualGenTxAux ∷ Validated (GenTx a) vDualGenTxBridge ∷ BridgeTx m a }

newtype MismatchEraInfo xs Source #

Constructors

MismatchEraInfo
Fields getMismatchEraInfo ∷ Mismatch SingleEraInfo LedgerEraInfo xs Era mismatch We have an era mismatch between the era of a blockheadertx/query and the era of the current ledger.

Instances

Instances details

All SingleEraBlock xs ⇒ Show (MismatchEraInfo xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec ∷ Int → MismatchEraInfo xs → ShowS # show ∷ MismatchEraInfo xs → String # showList ∷ [MismatchEraInfo xs] → ShowS #
All SingleEraBlock xs ⇒ Eq (MismatchEraInfo xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ MismatchEraInfo xs → MismatchEraInfo xs → Bool # (/=) ∷ MismatchEraInfo xs → MismatchEraInfo xs → Bool #
CanHardFork xs ⇒ NoThunks (MismatchEraInfo xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → MismatchEraInfo xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → MismatchEraInfo xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (MismatchEraInfo xs) → String Source #

newtype OneEraApplyTxErr xs Source #

Constructors

OneEraApplyTxErr
Fields getOneEraApplyTxErr ∷ NS WrapApplyTxErr xs

Instances

Instances details

CanHardFork xs ⇒ Show (OneEraApplyTxErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec ∷ Int → OneEraApplyTxErr xs → ShowS # show ∷ OneEraApplyTxErr xs → String # showList ∷ [OneEraApplyTxErr xs] → ShowS #
CanHardFork xs ⇒ Eq (OneEraApplyTxErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ OneEraApplyTxErr xs → OneEraApplyTxErr xs → Bool # (/=) ∷ OneEraApplyTxErr xs → OneEraApplyTxErr xs → Bool #

newtype OneEraBlock xs Source #

Constructors

OneEraBlock
Fields getOneEraBlock ∷ NS I xs

Instances

Instances details

CanHardFork xs ⇒ Show (OneEraBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec ∷ Int → OneEraBlock xs → ShowS # show ∷ OneEraBlock xs → String # showList ∷ [OneEraBlock xs] → ShowS #

newtype OneEraGenTx xs Source #

Constructors

OneEraGenTx
Fields getOneEraGenTx ∷ NS GenTx xs

Instances

Instances details

CanHardFork xs ⇒ Show (OneEraGenTx xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec ∷ Int → OneEraGenTx xs → ShowS # show ∷ OneEraGenTx xs → String # showList ∷ [OneEraGenTx xs] → ShowS #
CanHardFork xs ⇒ Eq (OneEraGenTx xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ OneEraGenTx xs → OneEraGenTx xs → Bool # (/=) ∷ OneEraGenTx xs → OneEraGenTx xs → Bool #
CanHardFork xs ⇒ NoThunks (OneEraGenTx xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraGenTx xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OneEraGenTx xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OneEraGenTx xs) → String Source #

newtype OneEraGenTxId xs Source #

Constructors

OneEraGenTxId
Fields getOneEraGenTxId ∷ NS WrapGenTxId xs

Instances

Instances details

CanHardFork xs ⇒ Show (OneEraGenTxId xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec ∷ Int → OneEraGenTxId xs → ShowS # show ∷ OneEraGenTxId xs → String # showList ∷ [OneEraGenTxId xs] → ShowS #
CanHardFork xs ⇒ Eq (OneEraGenTxId xs) Source #	This instance compares the underlying raw hash (`toRawTxIdHash`) of the `TxId`. Note that this means that transactions in different eras can have equal `TxId`s. This should only be the case when the transaction format is backwards compatible from one era to the next.
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ OneEraGenTxId xs → OneEraGenTxId xs → Bool # (/=) ∷ OneEraGenTxId xs → OneEraGenTxId xs → Bool #
CanHardFork xs ⇒ Ord (OneEraGenTxId xs) Source #	See the corresponding `Eq` instance.
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods compare ∷ OneEraGenTxId xs → OneEraGenTxId xs → Ordering # (<) ∷ OneEraGenTxId xs → OneEraGenTxId xs → Bool # (<=) ∷ OneEraGenTxId xs → OneEraGenTxId xs → Bool # (>) ∷ OneEraGenTxId xs → OneEraGenTxId xs → Bool # (>=) ∷ OneEraGenTxId xs → OneEraGenTxId xs → Bool # max ∷ OneEraGenTxId xs → OneEraGenTxId xs → OneEraGenTxId xs # min ∷ OneEraGenTxId xs → OneEraGenTxId xs → OneEraGenTxId xs #
CanHardFork xs ⇒ NoThunks (OneEraGenTxId xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraGenTxId xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OneEraGenTxId xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OneEraGenTxId xs) → String Source #

newtype OneEraHash (xs ∷ [k]) Source #

The hash for an era

This type is special: we don't use an NS here, because the hash by itself should not allow us to differentiate between eras. If it did, the size of the hash would necessarily have to increase, and that leads to trouble. So, the type parameter xs here is merely a phantom one, and we just store the underlying raw hash.

Constructors

OneEraHash
Fields getOneEraHash ∷ ShortByteString

Instances

Instances details

Show (OneEraHash xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec ∷ Int → OneEraHash xs → ShowS # show ∷ OneEraHash xs → String # showList ∷ [OneEraHash xs] → ShowS #
Eq (OneEraHash xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ OneEraHash xs → OneEraHash xs → Bool # (/=) ∷ OneEraHash xs → OneEraHash xs → Bool #
Ord (OneEraHash xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods compare ∷ OneEraHash xs → OneEraHash xs → Ordering # (<) ∷ OneEraHash xs → OneEraHash xs → Bool # (<=) ∷ OneEraHash xs → OneEraHash xs → Bool # (>) ∷ OneEraHash xs → OneEraHash xs → Bool # (>=) ∷ OneEraHash xs → OneEraHash xs → Bool # max ∷ OneEraHash xs → OneEraHash xs → OneEraHash xs # min ∷ OneEraHash xs → OneEraHash xs → OneEraHash xs #
NoThunks (OneEraHash xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraHash xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OneEraHash xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OneEraHash xs) → String Source #
Condense (OneEraHash xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods condense ∷ OneEraHash xs → String Source #
Serialise (OneEraHash xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods encode ∷ OneEraHash xs → Encoding Source # decode ∷ Decoder s (OneEraHash xs) Source # encodeList ∷ [OneEraHash xs] → Encoding Source # decodeList ∷ Decoder s [OneEraHash xs] Source #

newtype OneEraHeader xs Source #

Constructors

OneEraHeader
Fields getOneEraHeader ∷ NS Header xs

Instances

Instances details

CanHardFork xs ⇒ Show (OneEraHeader xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec ∷ Int → OneEraHeader xs → ShowS # show ∷ OneEraHeader xs → String # showList ∷ [OneEraHeader xs] → ShowS #
CanHardFork xs ⇒ NoThunks (OneEraHeader xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraHeader xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OneEraHeader xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OneEraHeader xs) → String Source #

newtype OneEraTipInfo xs Source #

Constructors

OneEraTipInfo
Fields getOneEraTipInfo ∷ NS WrapTipInfo xs

Instances

Instances details

CanHardFork xs ⇒ Show (OneEraTipInfo xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec ∷ Int → OneEraTipInfo xs → ShowS # show ∷ OneEraTipInfo xs → String # showList ∷ [OneEraTipInfo xs] → ShowS #
CanHardFork xs ⇒ Eq (OneEraTipInfo xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ OneEraTipInfo xs → OneEraTipInfo xs → Bool # (/=) ∷ OneEraTipInfo xs → OneEraTipInfo xs → Bool #
CanHardFork xs ⇒ NoThunks (OneEraTipInfo xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraTipInfo xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OneEraTipInfo xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OneEraTipInfo xs) → String Source #

newtype PerEraBlockConfig xs Source #

Constructors

PerEraBlockConfig
Fields getPerEraBlockConfig ∷ NP BlockConfig xs

Instances

Instances details

CanHardFork xs ⇒ NoThunks (PerEraBlockConfig xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → PerEraBlockConfig xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PerEraBlockConfig xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PerEraBlockConfig xs) → String Source #

newtype PerEraCodecConfig xs Source #

Constructors

PerEraCodecConfig
Fields getPerEraCodecConfig ∷ NP CodecConfig xs

Instances

Instances details

CanHardFork xs ⇒ NoThunks (PerEraCodecConfig xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → PerEraCodecConfig xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PerEraCodecConfig xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PerEraCodecConfig xs) → String Source #

newtype PerEraConsensusConfig xs Source #

Constructors

PerEraConsensusConfig
Fields getPerEraConsensusConfig ∷ NP WrapPartialConsensusConfig xs

Instances

Instances details

CanHardFork xs ⇒ NoThunks (PerEraConsensusConfig xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → PerEraConsensusConfig xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PerEraConsensusConfig xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PerEraConsensusConfig xs) → String Source #

newtype PerEraLedgerConfig xs Source #

Constructors

PerEraLedgerConfig
Fields getPerEraLedgerConfig ∷ NP WrapPartialLedgerConfig xs

Instances

Instances details

CanHardFork xs ⇒ NoThunks (PerEraLedgerConfig xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → PerEraLedgerConfig xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PerEraLedgerConfig xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PerEraLedgerConfig xs) → String Source #

newtype PerEraStorageConfig xs Source #

Constructors

PerEraStorageConfig
Fields getPerEraStorageConfig ∷ NP StorageConfig xs

Instances

Instances details

CanHardFork xs ⇒ NoThunks (PerEraStorageConfig xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → PerEraStorageConfig xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PerEraStorageConfig xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PerEraStorageConfig xs) → String Source #

data HardForkForgeStateInfo xs where Source #

For each era in which we want to forge blocks, we have a BlockForging, and thus ForgeStateInfo.

When we update the hard fork forge state, we only update the forge state of the current era. However, the current era might not have a forge state as it lacks a BlockForging.

TODO #2766: expire past ForgeState

Constructors

CurrentEraLacksBlockForging ∷ EraIndex (x ': (y ': xs)) → HardForkForgeStateInfo (x ': (y ': xs))	There is no `BlockForging` record for the current era.
CurrentEraForgeStateUpdated ∷ OneEraForgeStateInfo xs → HardForkForgeStateInfo xs	The `ForgeState` of the current era was updated.

Instances

Instances details

CanHardFork xs ⇒ Show (HardForkForgeStateInfo xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Forging Methods showsPrec ∷ Int → HardForkForgeStateInfo xs → ShowS # show ∷ HardForkForgeStateInfo xs → String # showList ∷ [HardForkForgeStateInfo xs] → ShowS #

type InjectTx = InjectPolyTx GenTx Source #

type InjectValidatedTx = InjectPolyTx WrapValidatedGenTx Source #

newtype HardForkState f xs Source #

Generic hard fork state

This is used both for the consensus state and the ledger state.

By using a telescope with f ~ LedgerState, we will keep track of Past information for eras before the current one:

TZ currentByronState
TZ pastByronState $ TZ currentShelleyState
TZ pastByronState $ TS pastShelleyState $ TZ currentAllegraState
...

These are some intuitions on how the Telescope operations behave for this type:

`extend`

Suppose we have a telescope containing the ledger state. The "how to extend" argument would take, say, the final Byron state to the initial Shelley state; and "where to extend from" argument would indicate when we want to extend: when the current slot number has gone past the end of the Byron era.

`retract`

Suppose we have a telescope containing the consensus state. When we rewind the consensus state, we might cross a hard fork transition point. So we first retract the telescope to the era containing the slot number that we want to rewind to, and only then call rewindChainDepState on that era. Of course, retraction may fail (we might not have past consensus state to rewind to anymore); this failure would require a choice for a particular monad m.

`align`

Suppose we have one telescope containing the already-ticked ledger state, and another telescope containing the consensus state. Since the ledger state has already been ticked, it might have been advanced to the next era. If this happens, we should then align the consensus state with the ledger state, moving it also to the next era, before we can do the consensus header validation check. Note that in this particular example, the ledger state will always be ahead of the consensus state, never behind; alignExtend can be used in this case.

Constructors

HardForkState
Fields getHardForkState ∷ Telescope (K Past) (Current f) xs

Instances

Instances details

HAp HardForkState Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.State.Instances Methods hap ∷ ∀ (f ∷ k → Type) (g ∷ k → Type) (xs ∷ l). Prod HardForkState (f -.-> g) xs → HardForkState f xs → HardForkState g xs Source #
HCollapse HardForkState Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.State.Instances Methods hcollapse ∷ ∀ (xs ∷ l) a. SListIN HardForkState xs ⇒ HardForkState (K a) xs → CollapseTo HardForkState a Source #
HSequence HardForkState Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.State.Instances Methods hsequence' ∷ ∀ (xs ∷ l) f (g ∷ k → Type). (SListIN HardForkState xs, Applicative f) ⇒ HardForkState (f :.: g) xs → f (HardForkState g xs) Source # hctraverse' ∷ ∀ c (xs ∷ l) g proxy f f'. (AllN HardForkState c xs, Applicative g) ⇒ proxy c → (∀ (a ∷ k). c a ⇒ f a → g (f' a)) → HardForkState f xs → g (HardForkState f' xs) Source # htraverse' ∷ ∀ (xs ∷ l) g f f'. (SListIN HardForkState xs, Applicative g) ⇒ (∀ (a ∷ k). f a → g (f' a)) → HardForkState f xs → g (HardForkState f' xs) Source #
HTrans HardForkState HardForkState Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.State.Instances Methods htrans ∷ ∀ c (xs ∷ l1) (ys ∷ l2) proxy f g. AllZipN (Prod HardForkState) c xs ys ⇒ proxy c → (∀ (x ∷ k1) (y ∷ k2). c x y ⇒ f x → g y) → HardForkState f xs → HardForkState g ys Source # hcoerce ∷ ∀ (f ∷ k1 → Type) (g ∷ k2 → Type) (xs ∷ l1) (ys ∷ l2). AllZipN (Prod HardForkState) (LiftedCoercible f g) xs ys ⇒ HardForkState f xs → HardForkState g ys Source #
SerialiseHFC xs ⇒ DecodeDisk (HardForkBlock xs) (HardForkChainDepState xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods decodeDisk ∷ CodecConfig (HardForkBlock xs) → ∀ s. Decoder s (HardForkChainDepState xs) Source #
SerialiseHFC xs ⇒ EncodeDisk (HardForkBlock xs) (HardForkChainDepState xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods encodeDisk ∷ CodecConfig (HardForkBlock xs) → HardForkChainDepState xs → Encoding Source #
(All SingleEraBlock xs, ∀ blk. SingleEraBlock blk ⇒ Show (f blk)) ⇒ Show (HardForkState f xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.State.Instances Methods showsPrec ∷ Int → HardForkState f xs → ShowS # show ∷ HardForkState f xs → String # showList ∷ [HardForkState f xs] → ShowS #
(All SingleEraBlock xs, ∀ blk. SingleEraBlock blk ⇒ Eq (f blk)) ⇒ Eq (HardForkState f xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.State.Instances Methods (==) ∷ HardForkState f xs → HardForkState f xs → Bool # (/=) ∷ HardForkState f xs → HardForkState f xs → Bool #
(All SingleEraBlock xs, ∀ blk. SingleEraBlock blk ⇒ NoThunks (f blk)) ⇒ NoThunks (HardForkState f xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.State.Instances Methods noThunks ∷ Context → HardForkState f xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → HardForkState f xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (HardForkState f xs) → String Source #
type Prod HardForkState Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.State.Instances type Prod HardForkState = NP ∷ (Type → Type) → [Type] → Type
type SListIN HardForkState Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.State.Instances type SListIN HardForkState = SListI ∷ [Type] → Constraint
type CollapseTo HardForkState a Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.State.Instances type CollapseTo HardForkState a = a
type AllN HardForkState (c ∷ Type → Constraint) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.State.Instances type AllN HardForkState (c ∷ Type → Constraint) = All c
type Same HardForkState Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.State.Instances type Same HardForkState = HardForkState
data Ticked (HardForkChainDepState xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol data Ticked (HardForkChainDepState xs) = TickedHardForkChainDepState { tickedHardForkChainDepStatePerEra ∷ HardForkState (Ticked :.: WrapChainDepState) xs tickedHardForkChainDepStateEpochInfo ∷ EpochInfo (Except PastHorizonException) }

class (All SingleEraBlock xs, Typeable xs, IsNonEmpty xs) ⇒ CanHardFork xs where Source #

Methods

hardForkEraTranslation ∷ EraTranslation xs Source #

hardForkChainSel ∷ Tails AcrossEraSelection xs Source #

hardForkInjectTxs ∷ InPairs (RequiringBoth WrapLedgerConfig (Product2 InjectTx InjectValidatedTx)) xs Source #

Instances

Instances details

SingleEraBlock blk ⇒ CanHardFork '[blk] Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Abstract.CanHardFork Methods hardForkEraTranslation ∷ EraTranslation '[blk] Source # hardForkChainSel ∷ Tails AcrossEraSelection '[blk] Source # hardForkInjectTxs ∷ InPairs (RequiringBoth WrapLedgerConfig (Product2 InjectTx InjectValidatedTx)) '[blk] Source #

class SingleEraBlock blk ⇒ NoHardForks blk where Source #

Methods

getEraParams ∷ TopLevelConfig blk → EraParams Source #

Extract EraParams from the top-level config

The HFC itself does not care about this, as it must be given the full shape across all eras.

toPartialLedgerConfig ∷ proxy blk → LedgerConfig blk → PartialLedgerConfig blk Source #

Construct partial ledger config from full ledger config

Instances

Instances details

All SingleEraBlock xs ⇒ Show (EraIndex xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Abstract.SingleEraBlock Methods showsPrec ∷ Int → EraIndex xs → ShowS # show ∷ EraIndex xs → String # showList ∷ [EraIndex xs] → ShowS #
Eq (EraIndex xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Abstract.SingleEraBlock Methods (==) ∷ EraIndex xs → EraIndex xs → Bool # (/=) ∷ EraIndex xs → EraIndex xs → Bool #
All SingleEraBlock xs ⇒ Condense (EraIndex xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Abstract.SingleEraBlock Methods condense ∷ EraIndex xs → String Source #
SListI xs ⇒ Serialise (EraIndex xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Abstract.SingleEraBlock Methods encode ∷ EraIndex xs → Encoding Source # decode ∷ Decoder s (EraIndex xs) Source # encodeList ∷ [EraIndex xs] → Encoding Source # decodeList ∷ Decoder s [EraIndex xs] Source #

newtype HardForkBlock xs Source #

Constructors

HardForkBlock
Fields getHardForkBlock ∷ OneEraBlock xs

Instances

Instances details

CanHardFork xs ⇒ HasNestedContent Header (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods unnest ∷ Header (HardForkBlock xs) → DepPair (NestedCtxt Header (HardForkBlock xs)) Source # nest ∷ DepPair (NestedCtxt Header (HardForkBlock xs)) → Header (HardForkBlock xs) Source #
SerialiseHFC xs ⇒ ReconstructNestedCtxt Header (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods reconstructPrefixLen ∷ proxy (Header (HardForkBlock xs)) → PrefixLen Source # reconstructNestedCtxt ∷ proxy (Header (HardForkBlock xs)) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (HardForkBlock xs) Source #
CanHardFork xs ⇒ StandardHash (HardForkBlock xs ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block
Typeable xs ⇒ ShowProxy (Header (HardForkBlock xs) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods showProxy ∷ Proxy (Header (HardForkBlock xs)) → String Source #
Typeable xs ⇒ ShowProxy (HardForkBlock xs ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods showProxy ∷ Proxy (HardForkBlock xs) → String Source #
Typeable xs ⇒ ShowProxy (GenTx (HardForkBlock xs) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showProxy ∷ Proxy (GenTx (HardForkBlock xs)) → String Source #
Typeable xs ⇒ ShowProxy (TxId (GenTx (HardForkBlock xs)) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showProxy ∷ Proxy (TxId (GenTx (HardForkBlock xs))) → String Source #
Generic (Validated (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Associated Types type Rep (Validated (GenTx (HardForkBlock xs))) ∷ Type → Type # Methods from ∷ Validated (GenTx (HardForkBlock xs)) → Rep (Validated (GenTx (HardForkBlock xs))) x # to ∷ Rep (Validated (GenTx (HardForkBlock xs))) x → Validated (GenTx (HardForkBlock xs)) #
Generic (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Associated Types type Rep (GenTx (HardForkBlock xs)) ∷ Type → Type # Methods from ∷ GenTx (HardForkBlock xs) → Rep (GenTx (HardForkBlock xs)) x # to ∷ Rep (GenTx (HardForkBlock xs)) x → GenTx (HardForkBlock xs) #
Generic (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Associated Types type Rep (TxId (GenTx (HardForkBlock xs))) ∷ Type → Type # Methods from ∷ TxId (GenTx (HardForkBlock xs)) → Rep (TxId (GenTx (HardForkBlock xs))) x # to ∷ Rep (TxId (GenTx (HardForkBlock xs))) x → TxId (GenTx (HardForkBlock xs)) #
Generic (Ticked (LedgerState (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Associated Types type Rep (Ticked (LedgerState (HardForkBlock xs))) ∷ Type → Type # Methods from ∷ Ticked (LedgerState (HardForkBlock xs)) → Rep (Ticked (LedgerState (HardForkBlock xs))) x # to ∷ Rep (Ticked (LedgerState (HardForkBlock xs))) x → Ticked (LedgerState (HardForkBlock xs)) #
CanHardFork xs ⇒ Show (Header (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods showsPrec ∷ Int → Header (HardForkBlock xs) → ShowS # show ∷ Header (HardForkBlock xs) → String # showList ∷ [Header (HardForkBlock xs)] → ShowS #
CanHardFork xs ⇒ Show (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods showsPrec ∷ Int → HardForkBlock xs → ShowS # show ∷ HardForkBlock xs → String # showList ∷ [HardForkBlock xs] → ShowS #
CanHardFork xs ⇒ Show (Validated (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showsPrec ∷ Int → Validated (GenTx (HardForkBlock xs)) → ShowS # show ∷ Validated (GenTx (HardForkBlock xs)) → String # showList ∷ [Validated (GenTx (HardForkBlock xs))] → ShowS #
CanHardFork xs ⇒ Show (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods showsPrec ∷ Int → LedgerState (HardForkBlock xs) → ShowS # show ∷ LedgerState (HardForkBlock xs) → String # showList ∷ [LedgerState (HardForkBlock xs)] → ShowS #
CanHardFork xs ⇒ Show (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showsPrec ∷ Int → GenTx (HardForkBlock xs) → ShowS # show ∷ GenTx (HardForkBlock xs) → String # showList ∷ [GenTx (HardForkBlock xs)] → ShowS #
CanHardFork xs ⇒ Show (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showsPrec ∷ Int → TxId (GenTx (HardForkBlock xs)) → ShowS # show ∷ TxId (GenTx (HardForkBlock xs)) → String # showList ∷ [TxId (GenTx (HardForkBlock xs))] → ShowS #
All (Compose Eq Header) xs ⇒ Eq (Header (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods (==) ∷ Header (HardForkBlock xs) → Header (HardForkBlock xs) → Bool # (/=) ∷ Header (HardForkBlock xs) → Header (HardForkBlock xs) → Bool #
All Eq xs ⇒ Eq (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods (==) ∷ HardForkBlock xs → HardForkBlock xs → Bool # (/=) ∷ HardForkBlock xs → HardForkBlock xs → Bool #
CanHardFork xs ⇒ Eq (Validated (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods (==) ∷ Validated (GenTx (HardForkBlock xs)) → Validated (GenTx (HardForkBlock xs)) → Bool # (/=) ∷ Validated (GenTx (HardForkBlock xs)) → Validated (GenTx (HardForkBlock xs)) → Bool #
CanHardFork xs ⇒ Eq (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods (==) ∷ LedgerState (HardForkBlock xs) → LedgerState (HardForkBlock xs) → Bool # (/=) ∷ LedgerState (HardForkBlock xs) → LedgerState (HardForkBlock xs) → Bool #
CanHardFork xs ⇒ Eq (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods (==) ∷ GenTx (HardForkBlock xs) → GenTx (HardForkBlock xs) → Bool # (/=) ∷ GenTx (HardForkBlock xs) → GenTx (HardForkBlock xs) → Bool #
CanHardFork xs ⇒ Eq (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods (==) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool # (/=) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool #
CanHardFork xs ⇒ Ord (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods compare ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Ordering # (<) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool # (<=) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool # (>) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool # (>=) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool # max ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) # min ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) #
CanHardFork xs ⇒ NoThunks (BlockConfig (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → BlockConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BlockConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BlockConfig (HardForkBlock xs)) → String Source #
CanHardFork xs ⇒ NoThunks (CodecConfig (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → CodecConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CodecConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CodecConfig (HardForkBlock xs)) → String Source #
CanHardFork xs ⇒ NoThunks (Header (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods noThunks ∷ Context → Header (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Header (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Header (HardForkBlock xs)) → String Source #
CanHardFork xs ⇒ NoThunks (StorageConfig (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → StorageConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StorageConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StorageConfig (HardForkBlock xs)) → String Source #
CanHardFork xs ⇒ NoThunks (Validated (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods noThunks ∷ Context → Validated (GenTx (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Validated (GenTx (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Validated (GenTx (HardForkBlock xs))) → String Source #
CanHardFork xs ⇒ NoThunks (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → LedgerState (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LedgerState (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (LedgerState (HardForkBlock xs)) → String Source #
CanHardFork xs ⇒ NoThunks (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods noThunks ∷ Context → GenTx (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → GenTx (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (GenTx (HardForkBlock xs)) → String Source #
CanHardFork xs ⇒ NoThunks (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods noThunks ∷ Context → TxId (GenTx (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxId (GenTx (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxId (GenTx (HardForkBlock xs))) → String Source #
CanHardFork xs ⇒ NoThunks (Ticked (LedgerState (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods noThunks ∷ Context → Ticked (LedgerState (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Ticked (LedgerState (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Ticked (LedgerState (HardForkBlock xs))) → String Source #
CanHardFork xs ⇒ ConvertRawHash (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods toRawHash ∷ proxy (HardForkBlock xs) → HeaderHash (HardForkBlock xs) → ByteString Source # fromRawHash ∷ proxy (HardForkBlock xs) → ByteString → HeaderHash (HardForkBlock xs) Source # toShortRawHash ∷ proxy (HardForkBlock xs) → HeaderHash (HardForkBlock xs) → ShortByteString Source # fromShortRawHash ∷ proxy (HardForkBlock xs) → ShortByteString → HeaderHash (HardForkBlock xs) Source # hashSize ∷ proxy (HardForkBlock xs) → Word32 Source #
CanHardFork xs ⇒ GetHeader (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods getHeader ∷ HardForkBlock xs → Header (HardForkBlock xs) Source # blockMatchesHeader ∷ Header (HardForkBlock xs) → HardForkBlock xs → Bool Source # headerIsEBB ∷ Header (HardForkBlock xs) → Maybe EpochNo Source #
CanHardFork xs ⇒ GetPrevHash (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods headerPrevHash ∷ Header (HardForkBlock xs) → ChainHash (HardForkBlock xs) Source #
CanHardFork xs ⇒ BlockSupportsDiffusionPipelining (HardForkBlock xs) Source #	The `BlockSupportsDiffusionPipelining` instance for the HFC is compositional: `TentativeHeaderState (HardForkBlock xs)` is `OneEraTentativeHeaderState`, the n-ary sum of per-era `TentativeHeaderState`s. The `initialTentativeHeaderState` is the one for the first era. Similarly, `TentativeHeaderView (HardForkBlock xs)` is `OneEraTentativeHeaderView`, the n-ary sum of per-era `TentativeHeaderView`s, and `tentativeHeaderView` delegates to the era-specific `tentativeHeaderView`. `applyTentativeHeaderView Proxy thv st` works like this: If `thv` and `st` are in the same era, we call the corresponding era-specific `applyTentativeHeaderView`. If `thv` is in a later era than `st`, we replace `st` with the `initialTentativeHeaderState` for the era of `thv`, and then proceed like in the previous step. If `thv` is in an earlier era than `st`, we return `Nothing` to disallow pipelining. This behavior guarantees the "Consistent validity under subsequences" requirement if it is satisfied for every era. Note that at an era boundary, the tip of the selection might switch multiple times between two adjacent eras. Compared to the scenario where the pipelining criteria in both eras are compatible and make sense even across eras, this might lead to unnecessarily strict/relaxed diffusion pipelining. However, the tip switching between different eras is rare and rather short, so there is no direct need to address this, so we rather avoid the extra complexity for now. Still, a possible future refinement would be to allow custom logic for "upgrading" the `TentativeHeaderState` to a new era.
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Node.DiffusionPipelining Associated Types type TentativeHeaderState (HardForkBlock xs) Source # type TentativeHeaderView (HardForkBlock xs) Source # Methods initialTentativeHeaderState ∷ Proxy (HardForkBlock xs) → TentativeHeaderState (HardForkBlock xs) Source # tentativeHeaderView ∷ BlockConfig (HardForkBlock xs) → Header (HardForkBlock xs) → TentativeHeaderView (HardForkBlock xs) Source # applyTentativeHeaderView ∷ Proxy (HardForkBlock xs) → TentativeHeaderView (HardForkBlock xs) → TentativeHeaderState (HardForkBlock xs) → Maybe (TentativeHeaderState (HardForkBlock xs)) Source #
CanHardFork xs ⇒ BlockSupportsMetrics (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Node.Metrics Methods isSelfIssued ∷ BlockConfig (HardForkBlock xs) → Header (HardForkBlock xs) → WhetherSelfIssued Source #
CanHardFork xs ⇒ BlockSupportsProtocol (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol Methods validateView ∷ BlockConfig (HardForkBlock xs) → Header (HardForkBlock xs) → ValidateView (BlockProtocol (HardForkBlock xs)) Source # selectView ∷ BlockConfig (HardForkBlock xs) → Header (HardForkBlock xs) → SelectView (BlockProtocol (HardForkBlock xs)) Source # projectChainOrderConfig ∷ BlockConfig (HardForkBlock xs) → ChainOrderConfig (SelectView (BlockProtocol (HardForkBlock xs))) Source #
CanHardFork xs ⇒ ConfigSupportsNode (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Node Methods getSystemStart ∷ BlockConfig (HardForkBlock xs) → SystemStart Source # getNetworkMagic ∷ BlockConfig (HardForkBlock xs) → NetworkMagic Source #
All SingleEraBlock xs ⇒ HasHardForkHistory (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Associated Types type HardForkIndices (HardForkBlock xs) ∷ [Type] Source # Methods hardForkSummary ∷ LedgerConfig (HardForkBlock xs) → LedgerState (HardForkBlock xs) → Summary (HardForkIndices (HardForkBlock xs)) Source #
CanHardFork xs ⇒ BasicEnvelopeValidation (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods expectedFirstBlockNo ∷ proxy (HardForkBlock xs) → BlockNo Source # expectedNextBlockNo ∷ proxy (HardForkBlock xs) → TipInfo (HardForkBlock xs) → TipInfo (HardForkBlock xs) → BlockNo → BlockNo Source # minimumPossibleSlotNo ∷ Proxy (HardForkBlock xs) → SlotNo Source # minimumNextSlotNo ∷ proxy (HardForkBlock xs) → TipInfo (HardForkBlock xs) → TipInfo (HardForkBlock xs) → SlotNo → SlotNo Source #
CanHardFork xs ⇒ HasAnnTip (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Associated Types type TipInfo (HardForkBlock xs) Source # Methods getTipInfo ∷ Header (HardForkBlock xs) → TipInfo (HardForkBlock xs) Source # tipInfoHash ∷ proxy (HardForkBlock xs) → TipInfo (HardForkBlock xs) → HeaderHash (HardForkBlock xs) Source #
CanHardFork xs ⇒ ValidateEnvelope (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Associated Types type OtherHeaderEnvelopeError (HardForkBlock xs) Source # Methods additionalEnvelopeChecks ∷ TopLevelConfig (HardForkBlock xs) → LedgerView (BlockProtocol (HardForkBlock xs)) → Header (HardForkBlock xs) → Except (OtherHeaderEnvelopeError (HardForkBlock xs)) () Source #
CanHardFork xs ⇒ UpdateLedger (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger
CanHardFork xs ⇒ GetTip (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods getTip ∷ LedgerState (HardForkBlock xs) → Point (LedgerState (HardForkBlock xs)) Source #
CanHardFork xs ⇒ GetTip (Ticked (LedgerState (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods getTip ∷ Ticked (LedgerState (HardForkBlock xs)) → Point (Ticked (LedgerState (HardForkBlock xs))) Source #
CanHardFork xs ⇒ IsLedger (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Associated Types type LedgerErr (LedgerState (HardForkBlock xs)) Source # type AuxLedgerEvent (LedgerState (HardForkBlock xs)) Source # Methods applyChainTickLedgerResult ∷ LedgerCfg (LedgerState (HardForkBlock xs)) → SlotNo → LedgerState (HardForkBlock xs) → LedgerResult (LedgerState (HardForkBlock xs)) (Ticked (LedgerState (HardForkBlock xs))) Source #
CanHardFork xs ⇒ CommonProtocolParams (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.CommonProtocolParams Methods maxHeaderSize ∷ LedgerState (HardForkBlock xs) → Word32 Source # maxTxSize ∷ LedgerState (HardForkBlock xs) → Word32 Source #
CanHardFork xs ⇒ InspectLedger (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Associated Types type LedgerWarning (HardForkBlock xs) Source # type LedgerUpdate (HardForkBlock xs) Source # Methods inspectLedger ∷ TopLevelConfig (HardForkBlock xs) → LedgerState (HardForkBlock xs) → LedgerState (HardForkBlock xs) → [LedgerEvent (HardForkBlock xs)] Source #
All SingleEraBlock xs ⇒ BlockSupportsLedgerQuery (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods answerBlockQuery ∷ ExtLedgerCfg (HardForkBlock xs) → BlockQuery (HardForkBlock xs) result → ExtLedgerState (HardForkBlock xs) → result Source #
CanHardFork xs ⇒ HasTxId (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods txId ∷ GenTx (HardForkBlock xs) → TxId (GenTx (HardForkBlock xs)) Source #
All HasTxs xs ⇒ HasTxs (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods extractTxs ∷ HardForkBlock xs → [GenTx (HardForkBlock xs)] Source #
CanHardFork xs ⇒ LedgerSupportsMempool (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods txInvariant ∷ GenTx (HardForkBlock xs) → Bool Source # applyTx ∷ LedgerConfig (HardForkBlock xs) → WhetherToIntervene → SlotNo → GenTx (HardForkBlock xs) → TickedLedgerState (HardForkBlock xs) → Except (ApplyTxErr (HardForkBlock xs)) (TickedLedgerState (HardForkBlock xs), Validated (GenTx (HardForkBlock xs))) Source # reapplyTx ∷ LedgerConfig (HardForkBlock xs) → SlotNo → Validated (GenTx (HardForkBlock xs)) → TickedLedgerState (HardForkBlock xs) → Except (ApplyTxErr (HardForkBlock xs)) (TickedLedgerState (HardForkBlock xs)) Source # txsMaxBytes ∷ TickedLedgerState (HardForkBlock xs) → Word32 Source # txInBlockSize ∷ GenTx (HardForkBlock xs) → Word32 Source # txForgetValidated ∷ Validated (GenTx (HardForkBlock xs)) → GenTx (HardForkBlock xs) Source #
CanHardFork xs ⇒ LedgerSupportsPeerSelection (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.PeerSelection Methods getPeers ∷ LedgerState (HardForkBlock xs) → [(PoolStake, NonEmpty StakePoolRelay)] Source #
CanHardFork xs ⇒ LedgerSupportsProtocol (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods protocolLedgerView ∷ LedgerConfig (HardForkBlock xs) → Ticked (LedgerState (HardForkBlock xs)) → LedgerView (BlockProtocol (HardForkBlock xs)) Source # ledgerViewForecastAt ∷ LedgerConfig (HardForkBlock xs) → LedgerState (HardForkBlock xs) → Forecast (LedgerView (BlockProtocol (HardForkBlock xs))) Source #
CanHardFork xs ⇒ NodeInitStorage (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Node.InitStorage Methods nodeImmutableDbChunkInfo ∷ StorageConfig (HardForkBlock xs) → ChunkInfo Source # nodeCheckIntegrity ∷ StorageConfig (HardForkBlock xs) → HardForkBlock xs → Bool Source # nodeInitChainDB ∷ IOLike m ⇒ StorageConfig (HardForkBlock xs) → InitChainDB m (HardForkBlock xs) → m () Source #
SerialiseHFC xs ⇒ HasNetworkProtocolVersion (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.Common Associated Types type BlockNodeToNodeVersion (HardForkBlock xs) Source # type BlockNodeToClientVersion (HardForkBlock xs) Source #
(CanHardFork xs, SupportedNetworkProtocolVersion (HardForkBlock xs), SerialiseHFC xs) ⇒ RunNode (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Node
SerialiseHFC xs ⇒ SerialiseNodeToClientConstraints (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient
SerialiseHFC xs ⇒ SerialiseNodeToNodeConstraints (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode Methods estimateBlockSize ∷ Header (HardForkBlock xs) → SizeInBytes Source #
SerialiseHFC xs ⇒ SerialiseDiskConstraints (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk
SerialiseHFC xs ⇒ HasBinaryBlockInfo (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods getBinaryBlockInfo ∷ HardForkBlock xs → BinaryBlockInfo Source #
All CondenseConstraints xs ⇒ Condense (Header (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Condense Methods condense ∷ Header (HardForkBlock xs) → String Source #
All CondenseConstraints xs ⇒ Condense (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Condense Methods condense ∷ HardForkBlock xs → String Source #
All CondenseConstraints xs ⇒ Condense (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Condense Methods condense ∷ GenTx (HardForkBlock xs) → String Source #
All CondenseConstraints xs ⇒ Condense (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Condense Methods condense ∷ TxId (GenTx (HardForkBlock xs)) → String Source #
All SingleEraBlock xs ⇒ SameDepIndex (BlockQuery (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods sameDepIndex ∷ BlockQuery (HardForkBlock xs) a → BlockQuery (HardForkBlock xs) b → Maybe (a :~: b) Source #
CanHardFork xs ⇒ HasHeader (Header (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods getHeaderFields ∷ Header (HardForkBlock xs) → HeaderFields (Header (HardForkBlock xs)) Source #
CanHardFork xs ⇒ HasHeader (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods getHeaderFields ∷ HardForkBlock xs → HeaderFields (HardForkBlock xs) Source #
All SingleEraBlock xs ⇒ ShowQuery (BlockQuery (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showResult ∷ BlockQuery (HardForkBlock xs) result → result → String Source #
SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) SlotNo Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → SlotNo → Encoding Source # decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s SlotNo Source #
CanHardFork xs ⇒ ApplyBlock (LedgerState (HardForkBlock xs)) (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods applyBlockLedgerResult ∷ LedgerCfg (LedgerState (HardForkBlock xs)) → HardForkBlock xs → Ticked (LedgerState (HardForkBlock xs)) → Except (LedgerErr (LedgerState (HardForkBlock xs))) (LedgerResult (LedgerState (HardForkBlock xs)) (LedgerState (HardForkBlock xs))) Source # reapplyBlockLedgerResult ∷ LedgerCfg (LedgerState (HardForkBlock xs)) → HardForkBlock xs → Ticked (LedgerState (HardForkBlock xs)) → LedgerResult (LedgerState (HardForkBlock xs)) (LedgerState (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → HardForkBlock xs → Encoding Source # decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (HardForkBlock xs) Source #
SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (HardForkApplyTxErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → HardForkApplyTxErr xs → Encoding Source # decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (HardForkApplyTxErr xs) Source #
SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → GenTx (HardForkBlock xs) → Encoding Source # decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (GenTx (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (GenTxId (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → GenTxId (HardForkBlock xs) → Encoding Source # decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (GenTxId (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ SerialiseNodeToNode (HardForkBlock xs) (Header (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode Methods encodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → Header (HardForkBlock xs) → Encoding Source # decodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → ∀ s. Decoder s (Header (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ SerialiseNodeToNode (HardForkBlock xs) (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode Methods encodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → HardForkBlock xs → Encoding Source # decodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → ∀ s. Decoder s (HardForkBlock xs) Source #
SerialiseHFC xs ⇒ SerialiseNodeToNode (HardForkBlock xs) (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode Methods encodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → GenTx (HardForkBlock xs) → Encoding Source # decodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → ∀ s. Decoder s (GenTx (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ SerialiseNodeToNode (HardForkBlock xs) (GenTxId (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode Methods encodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → GenTxId (HardForkBlock xs) → Encoding Source # decodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → ∀ s. Decoder s (GenTxId (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ SerialiseNodeToNode (HardForkBlock xs) (SerialisedHeader (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode Methods encodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → SerialisedHeader (HardForkBlock xs) → Encoding Source # decodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → ∀ s. Decoder s (SerialisedHeader (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ SerialiseResult (HardForkBlock xs) (BlockQuery (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeResult ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → BlockQuery (HardForkBlock xs) result → result → Encoding Source # decodeResult ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → BlockQuery (HardForkBlock xs) result → ∀ s. Decoder s result Source #
SerialiseHFC xs ⇒ DecodeDisk (HardForkBlock xs) (HardForkChainDepState xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods decodeDisk ∷ CodecConfig (HardForkBlock xs) → ∀ s. Decoder s (HardForkChainDepState xs) Source #
SerialiseHFC xs ⇒ DecodeDisk (HardForkBlock xs) (AnnTip (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods decodeDisk ∷ CodecConfig (HardForkBlock xs) → ∀ s. Decoder s (AnnTip (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ DecodeDisk (HardForkBlock xs) (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods decodeDisk ∷ CodecConfig (HardForkBlock xs) → ∀ s. Decoder s (LedgerState (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ DecodeDiskDep (NestedCtxt Header) (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods decodeDiskDep ∷ CodecConfig (HardForkBlock xs) → NestedCtxt Header (HardForkBlock xs) a → ∀ s. Decoder s (ByteString → a) Source #
SerialiseHFC xs ⇒ DecodeDiskDepIx (NestedCtxt Header) (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods decodeDiskDepIx ∷ CodecConfig (HardForkBlock xs) → Decoder s (SomeSecond (NestedCtxt Header) (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ EncodeDisk (HardForkBlock xs) (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods encodeDisk ∷ CodecConfig (HardForkBlock xs) → HardForkBlock xs → Encoding Source #
SerialiseHFC xs ⇒ EncodeDisk (HardForkBlock xs) (HardForkChainDepState xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods encodeDisk ∷ CodecConfig (HardForkBlock xs) → HardForkChainDepState xs → Encoding Source #
SerialiseHFC xs ⇒ EncodeDisk (HardForkBlock xs) (AnnTip (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods encodeDisk ∷ CodecConfig (HardForkBlock xs) → AnnTip (HardForkBlock xs) → Encoding Source #
SerialiseHFC xs ⇒ EncodeDisk (HardForkBlock xs) (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods encodeDisk ∷ CodecConfig (HardForkBlock xs) → LedgerState (HardForkBlock xs) → Encoding Source #
SerialiseHFC xs ⇒ EncodeDiskDep (NestedCtxt Header) (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods encodeDiskDep ∷ CodecConfig (HardForkBlock xs) → NestedCtxt Header (HardForkBlock xs) a → a → Encoding Source #
SerialiseHFC xs ⇒ EncodeDiskDepIx (NestedCtxt Header) (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods encodeDiskDepIx ∷ CodecConfig (HardForkBlock xs) → SomeSecond (NestedCtxt Header) (HardForkBlock xs) → Encoding Source #
SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (Serialised (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → Serialised (HardForkBlock xs) → Encoding Source # decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (Serialised (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ SerialiseNodeToNode (HardForkBlock xs) (Serialised (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode Methods encodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → Serialised (HardForkBlock xs) → Encoding Source # decodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → ∀ s. Decoder s (Serialised (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ DecodeDisk (HardForkBlock xs) (ByteString → HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods decodeDisk ∷ CodecConfig (HardForkBlock xs) → ∀ s. Decoder s (ByteString → HardForkBlock xs) Source #
SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (SomeSecond BlockQuery (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → SomeSecond BlockQuery (HardForkBlock xs) → Encoding Source # decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (SomeSecond BlockQuery (HardForkBlock xs)) Source #
All SingleEraBlock xs ⇒ Show (BlockQuery (HardForkBlock xs) result) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showsPrec ∷ Int → BlockQuery (HardForkBlock xs) result → ShowS # show ∷ BlockQuery (HardForkBlock xs) result → String # showList ∷ [BlockQuery (HardForkBlock xs) result] → ShowS #
CanHardFork xs ⇒ SameDepIndex (NestedCtxt_ (HardForkBlock xs) Header) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods sameDepIndex ∷ NestedCtxt_ (HardForkBlock xs) Header a → NestedCtxt_ (HardForkBlock xs) Header b → Maybe (a :~: b) Source #
Typeable xs ⇒ ShowProxy (BlockQuery (HardForkBlock xs) ∷ Type → Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showProxy ∷ Proxy (BlockQuery (HardForkBlock xs)) → String Source #
All SingleEraBlock xs ⇒ Show (NestedCtxt_ (HardForkBlock xs) Header a) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods showsPrec ∷ Int → NestedCtxt_ (HardForkBlock xs) Header a → ShowS # show ∷ NestedCtxt_ (HardForkBlock xs) Header a → String # showList ∷ [NestedCtxt_ (HardForkBlock xs) Header a] → ShowS #
type HeaderHash (HardForkBlock xs ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics type HeaderHash (HardForkBlock xs ∷ Type) = OneEraHash xs
type Rep (Validated (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (Validated (GenTx (HardForkBlock xs))) = D1 ('MetaData "Validated" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.18.0.0-inplace" 'True) (C1 ('MetaCons "HardForkValidatedGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkValidatedGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraValidatedGenTx xs))))
type Rep (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (GenTx (HardForkBlock xs)) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.18.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTx xs))))
type Rep (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (TxId (GenTx (HardForkBlock xs))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.18.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs))))
type Rep (Ticked (LedgerState (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type Rep (Ticked (LedgerState (HardForkBlock xs))) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.HardFork.Combinator.Ledger" "ouroboros-consensus-0.18.0.0-inplace" 'False) (C1 ('MetaCons "TickedHardForkLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "tickedHardForkLedgerStateTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TransitionInfo) :*: S1 ('MetaSel ('Just "tickedHardForkLedgerStatePerEra") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HardForkState (Ticked :.: LedgerState) xs))))
newtype BlockConfig (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype BlockConfig (HardForkBlock xs) = HardForkBlockConfig { hardForkBlockConfigPerEra ∷ PerEraBlockConfig xs }
type BlockProtocol (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics type BlockProtocol (HardForkBlock xs) = HardForkProtocol xs
newtype CodecConfig (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype CodecConfig (HardForkBlock xs) = HardForkCodecConfig { hardForkCodecConfigPerEra ∷ PerEraCodecConfig xs }
newtype Header (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block newtype Header (HardForkBlock xs) = HardForkHeader { getHardForkHeader ∷ OneEraHeader xs }
newtype StorageConfig (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype StorageConfig (HardForkBlock xs) = HardForkStorageConfig { hardForkStorageConfigPerEra ∷ PerEraStorageConfig xs }
type CannotForge (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Forging type CannotForge (HardForkBlock xs) = HardForkCannotForge xs
type ForgeStateInfo (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Forging type ForgeStateInfo (HardForkBlock xs) = HardForkForgeStateInfo xs
type ForgeStateUpdateError (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Forging type ForgeStateUpdateError (HardForkBlock xs) = HardForkForgeStateUpdateError xs
data NestedCtxt_ (HardForkBlock xs) a b Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block data NestedCtxt_ (HardForkBlock xs) a b where NCZ ∷ ∀ x (a ∷ Type → Type) b (xs1 ∷ [Type]). !(NestedCtxt_ x a b) → NestedCtxt_ (HardForkBlock (x ': xs1)) a b NCS ∷ ∀ (xs1 ∷ [Type]) (a ∷ Type → Type) b x. !(NestedCtxt_ (HardForkBlock xs1) a b) → NestedCtxt_ (HardForkBlock (x ': xs1)) a b
type TentativeHeaderState (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Node.DiffusionPipelining type TentativeHeaderState (HardForkBlock xs) = OneEraTentativeHeaderState xs
type TentativeHeaderView (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Node.DiffusionPipelining type TentativeHeaderView (HardForkBlock xs) = OneEraTentativeHeaderView xs
type HardForkIndices (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type HardForkIndices (HardForkBlock xs) = xs
type OtherHeaderEnvelopeError (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type OtherHeaderEnvelopeError (HardForkBlock xs) = HardForkEnvelopeErr xs
type TipInfo (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block type TipInfo (HardForkBlock xs) = OneEraTipInfo xs
newtype Validated (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype Validated (GenTx (HardForkBlock xs)) = HardForkValidatedGenTx { getHardForkValidatedGenTx ∷ OneEraValidatedGenTx xs }
type AuxLedgerEvent (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type AuxLedgerEvent (LedgerState (HardForkBlock xs)) = OneEraLedgerEvent xs
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
newtype LedgerState (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype LedgerState (HardForkBlock xs) = HardForkLedgerState { hardForkLedgerStatePerEra ∷ HardForkState LedgerState xs }
type LedgerUpdate (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type LedgerUpdate (HardForkBlock xs) = HardForkLedgerUpdate xs
type LedgerWarning (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type LedgerWarning (HardForkBlock xs) = HardForkLedgerWarning xs
data BlockQuery (HardForkBlock xs) a Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query data BlockQuery (HardForkBlock xs) a where QueryIfCurrent ∷ ∀ (xs ∷ [Type]) result. QueryIfCurrent xs result → BlockQuery (HardForkBlock xs) (Either (MismatchEraInfo xs) result) QueryAnytime ∷ ∀ (xs1 ∷ [Type]) a x. IsNonEmpty xs1 ⇒ QueryAnytime a → EraIndex (x ': xs1) → BlockQuery (HardForkBlock (x ': xs1)) a QueryHardFork ∷ ∀ (xs1 ∷ [Type]) x a. IsNonEmpty xs1 ⇒ QueryHardFork (x ': xs1) a → BlockQuery (HardForkBlock (x ': xs1)) a
type ApplyTxErr (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type ApplyTxErr (HardForkBlock xs) = HardForkApplyTxErr xs
newtype GenTx (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype GenTx (HardForkBlock xs) = HardForkGenTx { getHardForkGenTx ∷ OneEraGenTx xs }
newtype TxId (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype TxId (GenTx (HardForkBlock xs)) = HardForkGenTxId { getHardForkGenTxId ∷ OneEraGenTxId xs }
type BlockNodeToClientVersion (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.Common type BlockNodeToClientVersion (HardForkBlock xs) = HardForkNodeToClientVersion xs
type BlockNodeToNodeVersion (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.Common type BlockNodeToNodeVersion (HardForkBlock xs) = HardForkNodeToNodeVersion xs
data Ticked (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger data Ticked (LedgerState (HardForkBlock xs)) = TickedHardForkLedgerState { tickedHardForkLedgerStateTransition ∷ !TransitionInfo tickedHardForkLedgerStatePerEra ∷ !(HardForkState (Ticked :.: LedgerState) xs) }

data HardForkProtocol (xs ∷ [Type]) Source #

Instances

Instances details

Generic (ConsensusConfig (HardForkProtocol xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Associated Types type Rep (ConsensusConfig (HardForkProtocol xs)) ∷ Type → Type # Methods from ∷ ConsensusConfig (HardForkProtocol xs) → Rep (ConsensusConfig (HardForkProtocol xs)) x # to ∷ Rep (ConsensusConfig (HardForkProtocol xs)) x → ConsensusConfig (HardForkProtocol xs) #
CanHardFork xs ⇒ NoThunks (ConsensusConfig (HardForkProtocol xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → ConsensusConfig (HardForkProtocol xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConsensusConfig (HardForkProtocol xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConsensusConfig (HardForkProtocol xs)) → String Source #
CanHardFork xs ⇒ ConsensusProtocol (HardForkProtocol xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol Associated Types type ChainDepState (HardForkProtocol xs) Source # type IsLeader (HardForkProtocol xs) Source # type CanBeLeader (HardForkProtocol xs) Source # type SelectView (HardForkProtocol xs) Source # type LedgerView (HardForkProtocol xs) Source # type ValidationErr (HardForkProtocol xs) Source # type ValidateView (HardForkProtocol xs) Source # Methods checkIsLeader ∷ ConsensusConfig (HardForkProtocol xs) → CanBeLeader (HardForkProtocol xs) → SlotNo → Ticked (ChainDepState (HardForkProtocol xs)) → Maybe (IsLeader (HardForkProtocol xs)) Source # tickChainDepState ∷ ConsensusConfig (HardForkProtocol xs) → LedgerView (HardForkProtocol xs) → SlotNo → ChainDepState (HardForkProtocol xs) → Ticked (ChainDepState (HardForkProtocol xs)) Source # updateChainDepState ∷ ConsensusConfig (HardForkProtocol xs) → ValidateView (HardForkProtocol xs) → SlotNo → Ticked (ChainDepState (HardForkProtocol xs)) → Except (ValidationErr (HardForkProtocol xs)) (ChainDepState (HardForkProtocol xs)) Source # reupdateChainDepState ∷ ConsensusConfig (HardForkProtocol xs) → ValidateView (HardForkProtocol xs) → SlotNo → Ticked (ChainDepState (HardForkProtocol xs)) → ChainDepState (HardForkProtocol xs) Source # protocolSecurityParam ∷ ConsensusConfig (HardForkProtocol xs) → SecurityParam Source #
type Rep (ConsensusConfig (HardForkProtocol xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics type Rep (ConsensusConfig (HardForkProtocol xs)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.HardFork.Combinator.Basics" "ouroboros-consensus-0.18.0.0-inplace" 'False) (C1 ('MetaCons "HardForkConsensusConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "hardForkConsensusConfigK") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SecurityParam) :: (S1 ('MetaSel ('Just "hardForkConsensusConfigShape") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Shape xs)) :: S1 ('MetaSel ('Just "hardForkConsensusConfigPerEra") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerEraConsensusConfig xs)))))
type CanBeLeader (HardForkProtocol xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol type CanBeLeader (HardForkProtocol xs) = HardForkCanBeLeader xs
type ChainDepState (HardForkProtocol xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol type ChainDepState (HardForkProtocol xs) = HardForkChainDepState xs
data ConsensusConfig (HardForkProtocol xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics data ConsensusConfig (HardForkProtocol xs) = HardForkConsensusConfig { hardForkConsensusConfigK ∷ !SecurityParam hardForkConsensusConfigShape ∷ !(Shape xs) hardForkConsensusConfigPerEra ∷ !(PerEraConsensusConfig xs) }
type IsLeader (HardForkProtocol xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol type IsLeader (HardForkProtocol xs) = HardForkIsLeader xs
type LedgerView (HardForkProtocol xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol type LedgerView (HardForkProtocol xs) = HardForkLedgerView xs
type SelectView (HardForkProtocol xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol type SelectView (HardForkProtocol xs) = HardForkSelectView xs
type ValidateView (HardForkProtocol xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol type ValidateView (HardForkProtocol xs) = OneEraValidateView xs
type ValidationErr (HardForkProtocol xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol type ValidationErr (HardForkProtocol xs) = HardForkValidationErr xs

data family LedgerState blk ∷ Type Source #

Ledger state associated with a block

This is the Consensus notion of a 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 denote that the expected instantiation is either a LedgerState or some wrapper over it (like the ExtLedgerState).

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

Instances

Instances details

Inject LedgerState Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary Methods inject ∷ ∀ x (xs ∷ [Type]). CanHardFork xs ⇒ Exactly xs Bound → Index xs x → LedgerState x → LedgerState (HardForkBlock xs) Source #
Isomorphic LedgerState Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ LedgerState (HardForkBlock '[blk]) → LedgerState blk Source # inject ∷ NoHardForks blk ⇒ LedgerState blk → LedgerState (HardForkBlock '[blk]) Source #
Generic (Ticked (LedgerState (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Associated Types type Rep (Ticked (LedgerState (HardForkBlock xs))) ∷ Type → Type # Methods from ∷ Ticked (LedgerState (HardForkBlock xs)) → Rep (Ticked (LedgerState (HardForkBlock xs))) x # to ∷ Rep (Ticked (LedgerState (HardForkBlock xs))) x → Ticked (LedgerState (HardForkBlock xs)) #
CanHardFork xs ⇒ Show (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods showsPrec ∷ Int → LedgerState (HardForkBlock xs) → ShowS # show ∷ LedgerState (HardForkBlock xs) → String # showList ∷ [LedgerState (HardForkBlock xs)] → ShowS #
Bridge m a ⇒ Show (LedgerState (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showsPrec ∷ Int → LedgerState (DualBlock m a) → ShowS # show ∷ LedgerState (DualBlock m a) → String # showList ∷ [LedgerState (DualBlock m a)] → ShowS #
CanHardFork xs ⇒ Eq (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods (==) ∷ LedgerState (HardForkBlock xs) → LedgerState (HardForkBlock xs) → Bool # (/=) ∷ LedgerState (HardForkBlock xs) → LedgerState (HardForkBlock xs) → Bool #
Bridge m a ⇒ Eq (LedgerState (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods (==) ∷ LedgerState (DualBlock m a) → LedgerState (DualBlock m a) → Bool # (/=) ∷ LedgerState (DualBlock m a) → LedgerState (DualBlock m a) → Bool #
CanHardFork xs ⇒ NoThunks (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → LedgerState (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LedgerState (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (LedgerState (HardForkBlock xs)) → String Source #
NoThunks (LedgerState (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks ∷ Context → LedgerState (DualBlock m a) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LedgerState (DualBlock m a) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (LedgerState (DualBlock m a)) → String Source #
CanHardFork xs ⇒ NoThunks (Ticked (LedgerState (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods noThunks ∷ Context → Ticked (LedgerState (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Ticked (LedgerState (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Ticked (LedgerState (HardForkBlock xs))) → String Source #
NoThunks (Ticked (LedgerState (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks ∷ Context → Ticked (LedgerState (DualBlock m a)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Ticked (LedgerState (DualBlock m a)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Ticked (LedgerState (DualBlock m a))) → String Source #
CanHardFork xs ⇒ GetTip (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods getTip ∷ LedgerState (HardForkBlock xs) → Point (LedgerState (HardForkBlock xs)) Source #
Bridge m a ⇒ GetTip (LedgerState (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods getTip ∷ LedgerState (DualBlock m a) → Point (LedgerState (DualBlock m a)) Source #
CanHardFork xs ⇒ GetTip (Ticked (LedgerState (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods getTip ∷ Ticked (LedgerState (HardForkBlock xs)) → 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 ∷ Ticked (LedgerState (DualBlock m a)) → Point (Ticked (LedgerState (DualBlock m a))) Source #
CanHardFork xs ⇒ IsLedger (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Associated Types type LedgerErr (LedgerState (HardForkBlock xs)) Source # type AuxLedgerEvent (LedgerState (HardForkBlock xs)) Source # Methods applyChainTickLedgerResult ∷ LedgerCfg (LedgerState (HardForkBlock xs)) → SlotNo → LedgerState (HardForkBlock xs) → LedgerResult (LedgerState (HardForkBlock xs)) (Ticked (LedgerState (HardForkBlock xs))) Source #
Bridge m a ⇒ IsLedger (LedgerState (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Associated Types type LedgerErr (LedgerState (DualBlock m a)) Source # type AuxLedgerEvent (LedgerState (DualBlock m a)) Source # Methods applyChainTickLedgerResult ∷ LedgerCfg (LedgerState (DualBlock m a)) → SlotNo → LedgerState (DualBlock m a) → LedgerResult (LedgerState (DualBlock m a)) (Ticked (LedgerState (DualBlock m a))) Source #
CanHardFork xs ⇒ ApplyBlock (LedgerState (HardForkBlock xs)) (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods applyBlockLedgerResult ∷ LedgerCfg (LedgerState (HardForkBlock xs)) → HardForkBlock xs → Ticked (LedgerState (HardForkBlock xs)) → Except (LedgerErr (LedgerState (HardForkBlock xs))) (LedgerResult (LedgerState (HardForkBlock xs)) (LedgerState (HardForkBlock xs))) Source # reapplyBlockLedgerResult ∷ LedgerCfg (LedgerState (HardForkBlock xs)) → HardForkBlock xs → Ticked (LedgerState (HardForkBlock xs)) → LedgerResult (LedgerState (HardForkBlock xs)) (LedgerState (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ DecodeDisk (HardForkBlock xs) (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods decodeDisk ∷ CodecConfig (HardForkBlock xs) → ∀ s. Decoder s (LedgerState (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ EncodeDisk (HardForkBlock xs) (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods encodeDisk ∷ CodecConfig (HardForkBlock xs) → LedgerState (HardForkBlock xs) → Encoding Source #
Bridge m a ⇒ ApplyBlock (LedgerState (DualBlock m a)) (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods applyBlockLedgerResult ∷ LedgerCfg (LedgerState (DualBlock m a)) → DualBlock m a → Ticked (LedgerState (DualBlock m a)) → Except (LedgerErr (LedgerState (DualBlock m a))) (LedgerResult (LedgerState (DualBlock m a)) (LedgerState (DualBlock m a))) Source # reapplyBlockLedgerResult ∷ LedgerCfg (LedgerState (DualBlock m a)) → DualBlock m a → Ticked (LedgerState (DualBlock m a)) → LedgerResult (LedgerState (DualBlock m a)) (LedgerState (DualBlock m a)) Source #
Isomorphic (Ticked :.: LedgerState) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ (Ticked :.: LedgerState) (HardForkBlock '[blk]) → (Ticked :.: LedgerState) blk Source # inject ∷ NoHardForks blk ⇒ (Ticked :.: LedgerState) blk → (Ticked :.: LedgerState) (HardForkBlock '[blk]) Source #
type HeaderHash (LedgerState blk ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Basics type HeaderHash (LedgerState blk ∷ Type) = HeaderHash blk
type Rep (Ticked (LedgerState (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type Rep (Ticked (LedgerState (HardForkBlock xs))) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.HardFork.Combinator.Ledger" "ouroboros-consensus-0.18.0.0-inplace" 'False) (C1 ('MetaCons "TickedHardForkLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "tickedHardForkLedgerStateTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TransitionInfo) :*: S1 ('MetaSel ('Just "tickedHardForkLedgerStatePerEra") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HardForkState (Ticked :.: LedgerState) xs))))
type AuxLedgerEvent (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type AuxLedgerEvent (LedgerState (HardForkBlock xs)) = OneEraLedgerEvent xs
type AuxLedgerEvent (LedgerState (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual type AuxLedgerEvent (LedgerState (DualBlock m a)) = AuxLedgerEvent (LedgerState m)
type LedgerCfg (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics type LedgerCfg (LedgerState (HardForkBlock xs)) = HardForkLedgerConfig xs
type LedgerCfg (LedgerState (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual type LedgerCfg (LedgerState (DualBlock m a)) = DualLedgerConfig m a
type LedgerErr (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type LedgerErr (LedgerState (HardForkBlock xs)) = HardForkLedgerError xs
type LedgerErr (LedgerState (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual type LedgerErr (LedgerState (DualBlock m a)) = DualLedgerError m a
newtype LedgerState (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype LedgerState (HardForkBlock xs) = HardForkLedgerState { hardForkLedgerStatePerEra ∷ HardForkState LedgerState xs }
data Ticked (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger data Ticked (LedgerState (HardForkBlock xs)) = TickedHardForkLedgerState { tickedHardForkLedgerStateTransition ∷ !TransitionInfo tickedHardForkLedgerStatePerEra ∷ !(HardForkState (Ticked :.: LedgerState) xs) }
data Ticked (LedgerState (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual data Ticked (LedgerState (DualBlock m a)) = TickedDualLedgerState { tickedDualLedgerStateMain ∷ Ticked (LedgerState m) tickedDualLedgerStateAux ∷ Ticked (LedgerState a) tickedDualLedgerStateBridge ∷ BridgeLedger m a tickedDualLedgerStateAuxOrig ∷ LedgerState a }
data LedgerState (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual data LedgerState (DualBlock m a) = DualLedgerState { dualLedgerStateMain ∷ LedgerState m dualLedgerStateAux ∷ LedgerState a dualLedgerStateBridge ∷ BridgeLedger m a }

data family ConsensusConfig p ∷ Type Source #

Static configuration required to run the consensus protocol

Every method in the ConsensusProtocol class takes the consensus configuration as a parameter, so having this as a data family rather than a type family resolves most ambiguity.

Defined out of the class so that protocols can define this type without having to define the entire protocol at the same time (or indeed in the same module).

Instances

Instances details

Generic (ConsensusConfig (HardForkProtocol xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Associated Types type Rep (ConsensusConfig (HardForkProtocol xs)) ∷ Type → Type # Methods from ∷ ConsensusConfig (HardForkProtocol xs) → Rep (ConsensusConfig (HardForkProtocol xs)) x # to ∷ Rep (ConsensusConfig (HardForkProtocol xs)) x → ConsensusConfig (HardForkProtocol xs) #
Generic (ConsensusConfig (Bft c)) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.BFT Associated Types type Rep (ConsensusConfig (Bft c)) ∷ Type → Type # Methods from ∷ ConsensusConfig (Bft c) → Rep (ConsensusConfig (Bft c)) x # to ∷ Rep (ConsensusConfig (Bft c)) x → ConsensusConfig (Bft c) #
Generic (ConsensusConfig (ModChainSel p s)) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.ModChainSel Associated Types type Rep (ConsensusConfig (ModChainSel p s)) ∷ Type → Type # Methods from ∷ ConsensusConfig (ModChainSel p s) → Rep (ConsensusConfig (ModChainSel p s)) x # to ∷ Rep (ConsensusConfig (ModChainSel p s)) x → ConsensusConfig (ModChainSel p s) #
Generic (ConsensusConfig (PBft c)) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT Associated Types type Rep (ConsensusConfig (PBft c)) ∷ Type → Type # Methods from ∷ ConsensusConfig (PBft c) → Rep (ConsensusConfig (PBft c)) x # to ∷ Rep (ConsensusConfig (PBft c)) x → ConsensusConfig (PBft c) #
CanHardFork xs ⇒ NoThunks (ConsensusConfig (HardForkProtocol xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → ConsensusConfig (HardForkProtocol xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConsensusConfig (HardForkProtocol xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConsensusConfig (HardForkProtocol xs)) → String Source #
BftCrypto c ⇒ NoThunks (ConsensusConfig (Bft c)) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.BFT Methods noThunks ∷ Context → ConsensusConfig (Bft c) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConsensusConfig (Bft c) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConsensusConfig (Bft c)) → String Source #
ConsensusProtocol p ⇒ NoThunks (ConsensusConfig (ModChainSel p s)) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.ModChainSel Methods noThunks ∷ Context → ConsensusConfig (ModChainSel p s) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConsensusConfig (ModChainSel p s) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConsensusConfig (ModChainSel p s)) → String Source #
NoThunks (ConsensusConfig (PBft c)) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT Methods noThunks ∷ Context → ConsensusConfig (PBft c) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConsensusConfig (PBft c) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConsensusConfig (PBft c)) → String Source #
type Rep (ConsensusConfig (HardForkProtocol xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics type Rep (ConsensusConfig (HardForkProtocol xs)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.HardFork.Combinator.Basics" "ouroboros-consensus-0.18.0.0-inplace" 'False) (C1 ('MetaCons "HardForkConsensusConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "hardForkConsensusConfigK") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SecurityParam) :: (S1 ('MetaSel ('Just "hardForkConsensusConfigShape") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Shape xs)) :: S1 ('MetaSel ('Just "hardForkConsensusConfigPerEra") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerEraConsensusConfig xs)))))
type Rep (ConsensusConfig (Bft c)) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.BFT type Rep (ConsensusConfig (Bft c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.BFT" "ouroboros-consensus-0.18.0.0-inplace" 'False) (C1 ('MetaCons "BftConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "bftParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BftParams) :: (S1 ('MetaSel ('Just "bftSignKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignKeyDSIGN (BftDSIGN c))) :: S1 ('MetaSel ('Just "bftVerKeys") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map NodeId (VerKeyDSIGN (BftDSIGN c)))))))
type Rep (ConsensusConfig (ModChainSel p s)) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.ModChainSel type Rep (ConsensusConfig (ModChainSel p s)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.ModChainSel" "ouroboros-consensus-0.18.0.0-inplace" 'True) (C1 ('MetaCons "McsConsensusConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "mcsConfigP") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ConsensusConfig p))))
type Rep (ConsensusConfig (PBft c)) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT type Rep (ConsensusConfig (PBft c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.PBFT" "ouroboros-consensus-0.18.0.0-inplace" 'True) (C1 ('MetaCons "PBftConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "pbftParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PBftParams)))
data ConsensusConfig (HardForkProtocol xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics data ConsensusConfig (HardForkProtocol xs) = HardForkConsensusConfig { hardForkConsensusConfigK ∷ !SecurityParam hardForkConsensusConfigShape ∷ !(Shape xs) hardForkConsensusConfigPerEra ∷ !(PerEraConsensusConfig xs) }
data ConsensusConfig (Bft c) Source #	(Static) node configuration
Instance details Defined in Ouroboros.Consensus.Protocol.BFT data ConsensusConfig (Bft c) = BftConfig { bftParams ∷ !BftParams bftSignKey ∷ !(SignKeyDSIGN (BftDSIGN c)) bftVerKeys ∷ !(Map NodeId (VerKeyDSIGN (BftDSIGN c))) }
newtype ConsensusConfig (PBft c) Source #	(Static) node configuration
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT newtype ConsensusConfig (PBft c) = PBftConfig { pbftParams ∷ PBftParams }
newtype ConsensusConfig (ModChainSel p s) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.ModChainSel newtype ConsensusConfig (ModChainSel p s) = McsConsensusConfig { mcsConfigP ∷ ConsensusConfig p }

data HardForkLedgerConfig xs Source #

Constructors

HardForkLedgerConfig
Fields hardForkLedgerConfigShape ∷ !(Shape xs) hardForkLedgerConfigPerEra ∷ !(PerEraLedgerConfig xs)

Instances

Instances details

Generic (HardForkLedgerConfig xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Associated Types type Rep (HardForkLedgerConfig xs) ∷ Type → Type # Methods from ∷ HardForkLedgerConfig xs → Rep (HardForkLedgerConfig xs) x # to ∷ Rep (HardForkLedgerConfig xs) x → HardForkLedgerConfig xs #
CanHardFork xs ⇒ NoThunks (HardForkLedgerConfig xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → HardForkLedgerConfig xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → HardForkLedgerConfig xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (HardForkLedgerConfig xs) → String Source #
type Rep (HardForkLedgerConfig xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics type Rep (HardForkLedgerConfig xs) = D1 ('MetaData "HardForkLedgerConfig" "Ouroboros.Consensus.HardFork.Combinator.Basics" "ouroboros-consensus-0.18.0.0-inplace" 'False) (C1 ('MetaCons "HardForkLedgerConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "hardForkLedgerConfigShape") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Shape xs)) :*: S1 ('MetaSel ('Just "hardForkLedgerConfigPerEra") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerEraLedgerConfig xs))))

data family GenTx blk ∷ Type Source #

Generalized transaction

The mempool (and, accordingly, blocks) consist of "generalized transactions"; this could be "proper" transactions (transferring funds) but also other kinds of things such as update proposals, delegations, etc.

Instances

Instances details

Inject GenTx Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary Methods inject ∷ ∀ x (xs ∷ [Type]). CanHardFork xs ⇒ Exactly xs Bound → Index xs x → GenTx x → GenTx (HardForkBlock xs) Source #
Isomorphic GenTx Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ GenTx (HardForkBlock '[blk]) → GenTx blk Source # inject ∷ NoHardForks blk ⇒ GenTx blk → GenTx (HardForkBlock '[blk]) Source #
Typeable xs ⇒ ShowProxy (GenTx (HardForkBlock xs) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showProxy ∷ Proxy (GenTx (HardForkBlock xs)) → String Source #
(Typeable m, Typeable a) ⇒ ShowProxy (GenTx (DualBlock m a) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showProxy ∷ Proxy (GenTx (DualBlock m a)) → String Source #
Typeable xs ⇒ ShowProxy (TxId (GenTx (HardForkBlock xs)) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showProxy ∷ Proxy (TxId (GenTx (HardForkBlock xs))) → String Source #
(Typeable m, Typeable a) ⇒ ShowProxy (TxId (GenTx (DualBlock m a)) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showProxy ∷ Proxy (TxId (GenTx (DualBlock m a))) → String Source #
Generic (Validated (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Associated Types type Rep (Validated (GenTx (HardForkBlock xs))) ∷ Type → Type # Methods from ∷ Validated (GenTx (HardForkBlock xs)) → Rep (Validated (GenTx (HardForkBlock xs))) x # to ∷ Rep (Validated (GenTx (HardForkBlock xs))) x → Validated (GenTx (HardForkBlock xs)) #
Generic (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Associated Types type Rep (GenTx (HardForkBlock xs)) ∷ Type → Type # Methods from ∷ GenTx (HardForkBlock xs) → Rep (GenTx (HardForkBlock xs)) x # to ∷ Rep (GenTx (HardForkBlock xs)) x → GenTx (HardForkBlock xs) #
Generic (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Associated Types type Rep (TxId (GenTx (HardForkBlock xs))) ∷ Type → Type # Methods from ∷ TxId (GenTx (HardForkBlock xs)) → Rep (TxId (GenTx (HardForkBlock xs))) x # to ∷ Rep (TxId (GenTx (HardForkBlock xs))) x → TxId (GenTx (HardForkBlock xs)) #
CanHardFork xs ⇒ Show (Validated (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showsPrec ∷ Int → Validated (GenTx (HardForkBlock xs)) → ShowS # show ∷ Validated (GenTx (HardForkBlock xs)) → String # showList ∷ [Validated (GenTx (HardForkBlock xs))] → ShowS #
Bridge m a ⇒ Show (Validated (GenTx (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showsPrec ∷ Int → Validated (GenTx (DualBlock m a)) → ShowS # show ∷ Validated (GenTx (DualBlock m a)) → String # showList ∷ [Validated (GenTx (DualBlock m a))] → ShowS #
CanHardFork xs ⇒ Show (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showsPrec ∷ Int → GenTx (HardForkBlock xs) → ShowS # show ∷ GenTx (HardForkBlock xs) → String # showList ∷ [GenTx (HardForkBlock xs)] → ShowS #
Bridge m a ⇒ Show (GenTx (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showsPrec ∷ Int → GenTx (DualBlock m a) → ShowS # show ∷ GenTx (DualBlock m a) → String # showList ∷ [GenTx (DualBlock m a)] → ShowS #
CanHardFork xs ⇒ Show (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showsPrec ∷ Int → TxId (GenTx (HardForkBlock xs)) → ShowS # show ∷ TxId (GenTx (HardForkBlock xs)) → String # showList ∷ [TxId (GenTx (HardForkBlock xs))] → ShowS #
Show (GenTxId m) ⇒ Show (TxId (GenTx (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showsPrec ∷ Int → TxId (GenTx (DualBlock m a)) → ShowS # show ∷ TxId (GenTx (DualBlock m a)) → String # showList ∷ [TxId (GenTx (DualBlock m a))] → ShowS #
CanHardFork xs ⇒ Eq (Validated (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods (==) ∷ Validated (GenTx (HardForkBlock xs)) → Validated (GenTx (HardForkBlock xs)) → Bool # (/=) ∷ Validated (GenTx (HardForkBlock xs)) → Validated (GenTx (HardForkBlock xs)) → Bool #
CanHardFork xs ⇒ Eq (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods (==) ∷ GenTx (HardForkBlock xs) → GenTx (HardForkBlock xs) → Bool # (/=) ∷ GenTx (HardForkBlock xs) → GenTx (HardForkBlock xs) → Bool #
CanHardFork xs ⇒ Eq (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods (==) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool # (/=) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool #
Eq (GenTxId m) ⇒ Eq (TxId (GenTx (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods (==) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool # (/=) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #
CanHardFork xs ⇒ Ord (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods compare ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Ordering # (<) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool # (<=) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool # (>) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool # (>=) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool # max ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) # min ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) #
Ord (GenTxId m) ⇒ Ord (TxId (GenTx (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods compare ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Ordering # (<) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool # (<=) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool # (>) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool # (>=) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool # max ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) # min ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) #
CanHardFork xs ⇒ NoThunks (Validated (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods noThunks ∷ Context → Validated (GenTx (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Validated (GenTx (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Validated (GenTx (HardForkBlock xs))) → String Source #
NoThunks (Validated (GenTx (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks ∷ Context → Validated (GenTx (DualBlock m a)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Validated (GenTx (DualBlock m a)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Validated (GenTx (DualBlock m a))) → String Source #
CanHardFork xs ⇒ NoThunks (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods noThunks ∷ Context → GenTx (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → GenTx (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (GenTx (HardForkBlock xs)) → String Source #
NoThunks (GenTx (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks ∷ Context → GenTx (DualBlock m a) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → GenTx (DualBlock m a) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (GenTx (DualBlock m a)) → String Source #
CanHardFork xs ⇒ NoThunks (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods noThunks ∷ Context → TxId (GenTx (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxId (GenTx (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxId (GenTx (HardForkBlock xs))) → String Source #
NoThunks (TxId (GenTx (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks ∷ Context → TxId (GenTx (DualBlock m a)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxId (GenTx (DualBlock m a)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxId (GenTx (DualBlock m a))) → String Source #
CanHardFork xs ⇒ HasTxId (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods txId ∷ GenTx (HardForkBlock xs) → TxId (GenTx (HardForkBlock xs)) Source #
Bridge m a ⇒ HasTxId (GenTx (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods txId ∷ GenTx (DualBlock m a) → TxId (GenTx (DualBlock m a)) Source #
All CondenseConstraints xs ⇒ Condense (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Condense Methods condense ∷ GenTx (HardForkBlock xs) → String Source #
All CondenseConstraints xs ⇒ Condense (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Condense Methods condense ∷ TxId (GenTx (HardForkBlock xs)) → String Source #
SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → GenTx (HardForkBlock xs) → Encoding Source # decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (GenTx (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (GenTxId (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → GenTxId (HardForkBlock xs) → Encoding Source # decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (GenTxId (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ SerialiseNodeToNode (HardForkBlock xs) (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode Methods encodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → GenTx (HardForkBlock xs) → Encoding Source # decodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → ∀ s. Decoder s (GenTx (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ SerialiseNodeToNode (HardForkBlock xs) (GenTxId (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode Methods encodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → GenTxId (HardForkBlock xs) → Encoding Source # decodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → ∀ s. Decoder s (GenTxId (HardForkBlock xs)) Source #
type Rep (Validated (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (Validated (GenTx (HardForkBlock xs))) = D1 ('MetaData "Validated" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.18.0.0-inplace" 'True) (C1 ('MetaCons "HardForkValidatedGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkValidatedGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraValidatedGenTx xs))))
type Rep (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (GenTx (HardForkBlock xs)) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.18.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTx xs))))
type Rep (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (TxId (GenTx (HardForkBlock xs))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.18.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs))))
newtype Validated (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype Validated (GenTx (HardForkBlock xs)) = HardForkValidatedGenTx { getHardForkValidatedGenTx ∷ OneEraValidatedGenTx xs }
data Validated (GenTx (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual data Validated (GenTx (DualBlock m a)) = ValidatedDualGenTx { vDualGenTxMain ∷ Validated (GenTx m) vDualGenTxAux ∷ Validated (GenTx a) vDualGenTxBridge ∷ BridgeTx m a }
newtype GenTx (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype GenTx (HardForkBlock xs) = HardForkGenTx { getHardForkGenTx ∷ OneEraGenTx xs }
newtype TxId (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype TxId (GenTx (HardForkBlock xs)) = HardForkGenTxId { getHardForkGenTxId ∷ OneEraGenTxId xs }
newtype TxId (GenTx (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual newtype TxId (GenTx (DualBlock m a)) = DualGenTxId { dualGenTxIdMain ∷ GenTxId m }
data GenTx (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual data GenTx (DualBlock m a) = DualGenTx { dualGenTxMain ∷ GenTx m dualGenTxAux ∷ GenTx a dualGenTxBridge ∷ BridgeTx m a }

data family BlockQuery blk ∷ Type → Type Source #

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

Instances

Instances details

All SingleEraBlock xs ⇒ SameDepIndex (BlockQuery (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods sameDepIndex ∷ BlockQuery (HardForkBlock xs) a → BlockQuery (HardForkBlock xs) b → Maybe (a :~: b) Source #
SameDepIndex (BlockQuery (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods sameDepIndex ∷ BlockQuery (DualBlock m a) a0 → BlockQuery (DualBlock m a) b → Maybe (a0 :~: b) Source #
All SingleEraBlock xs ⇒ ShowQuery (BlockQuery (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showResult ∷ BlockQuery (HardForkBlock xs) result → result → String Source #
ShowQuery (BlockQuery (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showResult ∷ BlockQuery (DualBlock m a) result → result → String Source #
SerialiseHFC xs ⇒ SerialiseResult (HardForkBlock xs) (BlockQuery (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeResult ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → BlockQuery (HardForkBlock xs) result → result → Encoding Source # decodeResult ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → BlockQuery (HardForkBlock xs) result → ∀ s. Decoder s result Source #
SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (SomeSecond BlockQuery (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → SomeSecond BlockQuery (HardForkBlock xs) → Encoding Source # decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (SomeSecond BlockQuery (HardForkBlock xs)) Source #
All SingleEraBlock xs ⇒ Show (BlockQuery (HardForkBlock xs) result) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showsPrec ∷ Int → BlockQuery (HardForkBlock xs) result → ShowS # show ∷ BlockQuery (HardForkBlock xs) result → String # showList ∷ [BlockQuery (HardForkBlock xs) result] → ShowS #
Show (BlockQuery (DualBlock m a) result) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showsPrec ∷ Int → BlockQuery (DualBlock m a) result → ShowS # show ∷ BlockQuery (DualBlock m a) result → String # showList ∷ [BlockQuery (DualBlock m a) result] → ShowS #
Typeable xs ⇒ ShowProxy (BlockQuery (HardForkBlock xs) ∷ Type → Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showProxy ∷ Proxy (BlockQuery (HardForkBlock xs)) → String Source #
(Typeable m, Typeable a) ⇒ ShowProxy (BlockQuery (DualBlock m a) ∷ Type → Type) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showProxy ∷ Proxy (BlockQuery (DualBlock m a)) → String Source #
Inject (SomeSecond BlockQuery) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary Methods inject ∷ ∀ x (xs ∷ [Type]). CanHardFork xs ⇒ Exactly xs Bound → Index xs x → SomeSecond BlockQuery x → SomeSecond BlockQuery (HardForkBlock xs) Source #
(∀ result. Show (BlockQuery blk result)) ⇒ Show (SomeSecond BlockQuery blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Query Methods showsPrec ∷ Int → SomeSecond BlockQuery blk → ShowS # show ∷ SomeSecond BlockQuery blk → String # showList ∷ [SomeSecond BlockQuery blk] → ShowS #
SameDepIndex (BlockQuery blk) ⇒ Eq (SomeSecond BlockQuery blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Query Methods (==) ∷ SomeSecond BlockQuery blk → SomeSecond BlockQuery blk → Bool # (/=) ∷ SomeSecond BlockQuery blk → SomeSecond BlockQuery blk → Bool #
data BlockQuery (HardForkBlock xs) a Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query data BlockQuery (HardForkBlock xs) a where QueryIfCurrent ∷ ∀ (xs ∷ [Type]) result. QueryIfCurrent xs result → BlockQuery (HardForkBlock xs) (Either (MismatchEraInfo xs) result) QueryAnytime ∷ ∀ (xs1 ∷ [Type]) a x. IsNonEmpty xs1 ⇒ QueryAnytime a → EraIndex (x ': xs1) → BlockQuery (HardForkBlock (x ': xs1)) a QueryHardFork ∷ ∀ (xs1 ∷ [Type]) x a. IsNonEmpty xs1 ⇒ QueryHardFork (x ': xs1) a → BlockQuery (HardForkBlock (x ': xs1)) a
data BlockQuery (DualBlock m a) result Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual data BlockQuery (DualBlock m a) result

data HardForkApplyTxErr xs Source #

Constructors

HardForkApplyTxErrFromEra !(OneEraApplyTxErr xs)	Validation error from one of the eras
HardForkApplyTxErrWrongEra !(MismatchEraInfo xs)	We tried to apply a block from the wrong era

Instances

Instances details

Typeable xs ⇒ ShowProxy (HardForkApplyTxErr xs ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showProxy ∷ Proxy (HardForkApplyTxErr xs) → String Source #
Generic (HardForkApplyTxErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Associated Types type Rep (HardForkApplyTxErr xs) ∷ Type → Type # Methods from ∷ HardForkApplyTxErr xs → Rep (HardForkApplyTxErr xs) x # to ∷ Rep (HardForkApplyTxErr xs) x → HardForkApplyTxErr xs #
CanHardFork xs ⇒ Show (HardForkApplyTxErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showsPrec ∷ Int → HardForkApplyTxErr xs → ShowS # show ∷ HardForkApplyTxErr xs → String # showList ∷ [HardForkApplyTxErr xs] → ShowS #
CanHardFork xs ⇒ Eq (HardForkApplyTxErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods (==) ∷ HardForkApplyTxErr xs → HardForkApplyTxErr xs → Bool # (/=) ∷ HardForkApplyTxErr xs → HardForkApplyTxErr xs → Bool #
SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (HardForkApplyTxErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → HardForkApplyTxErr xs → Encoding Source # decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (HardForkApplyTxErr xs) Source #
type Rep (HardForkApplyTxErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (HardForkApplyTxErr xs) = D1 ('MetaData "HardForkApplyTxErr" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.18.0.0-inplace" 'False) (C1 ('MetaCons "HardForkApplyTxErrFromEra" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (OneEraApplyTxErr xs))) :+: C1 ('MetaCons "HardForkApplyTxErrWrongEra" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MismatchEraInfo xs))))

data HardForkEnvelopeErr xs Source #

Constructors

HardForkEnvelopeErrFromEra (OneEraEnvelopeErr xs)	Validation error from one of the eras
HardForkEnvelopeErrWrongEra (MismatchEraInfo xs)	We tried to apply a block from the wrong era

Instances

Instances details

Generic (HardForkEnvelopeErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Associated Types type Rep (HardForkEnvelopeErr xs) ∷ Type → Type # Methods from ∷ HardForkEnvelopeErr xs → Rep (HardForkEnvelopeErr xs) x # to ∷ Rep (HardForkEnvelopeErr xs) x → HardForkEnvelopeErr xs #
CanHardFork xs ⇒ Show (HardForkEnvelopeErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods showsPrec ∷ Int → HardForkEnvelopeErr xs → ShowS # show ∷ HardForkEnvelopeErr xs → String # showList ∷ [HardForkEnvelopeErr xs] → ShowS #
CanHardFork xs ⇒ Eq (HardForkEnvelopeErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods (==) ∷ HardForkEnvelopeErr xs → HardForkEnvelopeErr xs → Bool # (/=) ∷ HardForkEnvelopeErr xs → HardForkEnvelopeErr xs → Bool #
CanHardFork xs ⇒ NoThunks (HardForkEnvelopeErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods noThunks ∷ Context → HardForkEnvelopeErr xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → HardForkEnvelopeErr xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (HardForkEnvelopeErr xs) → String Source #
type Rep (HardForkEnvelopeErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type Rep (HardForkEnvelopeErr xs) = D1 ('MetaData "HardForkEnvelopeErr" "Ouroboros.Consensus.HardFork.Combinator.Ledger" "ouroboros-consensus-0.18.0.0-inplace" 'False) (C1 ('MetaCons "HardForkEnvelopeErrFromEra" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraEnvelopeErr xs))) :+: C1 ('MetaCons "HardForkEnvelopeErrWrongEra" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MismatchEraInfo xs))))

data HardForkLedgerError xs Source #

Constructors

HardForkLedgerErrorFromEra (OneEraLedgerError xs)	Validation error from one of the eras
HardForkLedgerErrorWrongEra (MismatchEraInfo xs)	We tried to apply a block from the wrong era

Instances

Instances details

Generic (HardForkLedgerError xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Associated Types type Rep (HardForkLedgerError xs) ∷ Type → Type # Methods from ∷ HardForkLedgerError xs → Rep (HardForkLedgerError xs) x # to ∷ Rep (HardForkLedgerError xs) x → HardForkLedgerError xs #
CanHardFork xs ⇒ Show (HardForkLedgerError xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods showsPrec ∷ Int → HardForkLedgerError xs → ShowS # show ∷ HardForkLedgerError xs → String # showList ∷ [HardForkLedgerError xs] → ShowS #
CanHardFork xs ⇒ Eq (HardForkLedgerError xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods (==) ∷ HardForkLedgerError xs → HardForkLedgerError xs → Bool # (/=) ∷ HardForkLedgerError xs → HardForkLedgerError xs → Bool #
CanHardFork xs ⇒ NoThunks (HardForkLedgerError xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods noThunks ∷ Context → HardForkLedgerError xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → HardForkLedgerError xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (HardForkLedgerError xs) → String Source #
type Rep (HardForkLedgerError xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type Rep (HardForkLedgerError xs) = D1 ('MetaData "HardForkLedgerError" "Ouroboros.Consensus.HardFork.Combinator.Ledger" "ouroboros-consensus-0.18.0.0-inplace" 'False) (C1 ('MetaCons "HardForkLedgerErrorFromEra" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraLedgerError xs))) :+: C1 ('MetaCons "HardForkLedgerErrorWrongEra" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MismatchEraInfo xs))))

data family TxId tx ∷ Type Source #

A generalized transaction, GenTx, identifier.

Instances

Instances details

Typeable xs ⇒ ShowProxy (TxId (GenTx (HardForkBlock xs)) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showProxy ∷ Proxy (TxId (GenTx (HardForkBlock xs))) → String Source #
(Typeable m, Typeable a) ⇒ ShowProxy (TxId (GenTx (DualBlock m a)) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showProxy ∷ Proxy (TxId (GenTx (DualBlock m a))) → String Source #
Generic (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Associated Types type Rep (TxId (GenTx (HardForkBlock xs))) ∷ Type → Type # Methods from ∷ TxId (GenTx (HardForkBlock xs)) → Rep (TxId (GenTx (HardForkBlock xs))) x # to ∷ Rep (TxId (GenTx (HardForkBlock xs))) x → TxId (GenTx (HardForkBlock xs)) #
CanHardFork xs ⇒ Show (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showsPrec ∷ Int → TxId (GenTx (HardForkBlock xs)) → ShowS # show ∷ TxId (GenTx (HardForkBlock xs)) → String # showList ∷ [TxId (GenTx (HardForkBlock xs))] → ShowS #
Show (GenTxId m) ⇒ Show (TxId (GenTx (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showsPrec ∷ Int → TxId (GenTx (DualBlock m a)) → ShowS # show ∷ TxId (GenTx (DualBlock m a)) → String # showList ∷ [TxId (GenTx (DualBlock m a))] → ShowS #
CanHardFork xs ⇒ Eq (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods (==) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool # (/=) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool #
Eq (GenTxId m) ⇒ Eq (TxId (GenTx (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods (==) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool # (/=) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #
CanHardFork xs ⇒ Ord (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods compare ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Ordering # (<) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool # (<=) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool # (>) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool # (>=) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool # max ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) # min ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) #
Ord (GenTxId m) ⇒ Ord (TxId (GenTx (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods compare ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Ordering # (<) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool # (<=) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool # (>) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool # (>=) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool # max ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) # min ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) #
CanHardFork xs ⇒ NoThunks (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods noThunks ∷ Context → TxId (GenTx (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxId (GenTx (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxId (GenTx (HardForkBlock xs))) → String Source #
NoThunks (TxId (GenTx (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks ∷ Context → TxId (GenTx (DualBlock m a)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxId (GenTx (DualBlock m a)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxId (GenTx (DualBlock m a))) → String Source #
All CondenseConstraints xs ⇒ Condense (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Condense Methods condense ∷ TxId (GenTx (HardForkBlock xs)) → String Source #
SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (GenTxId (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → GenTxId (HardForkBlock xs) → Encoding Source # decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (GenTxId (HardForkBlock xs)) Source #
SerialiseHFC xs ⇒ SerialiseNodeToNode (HardForkBlock xs) (GenTxId (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode Methods encodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → GenTxId (HardForkBlock xs) → Encoding Source # decodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → ∀ s. Decoder s (GenTxId (HardForkBlock xs)) Source #
type Rep (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (TxId (GenTx (HardForkBlock xs))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.18.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs))))
newtype TxId (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype TxId (GenTx (HardForkBlock xs)) = HardForkGenTxId { getHardForkGenTxId ∷ OneEraGenTxId xs }
newtype TxId (GenTx (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual newtype TxId (GenTx (DualBlock m a)) = DualGenTxId { dualGenTxIdMain ∷ GenTxId m }

newtype LedgerEraInfo blk Source #

Additional newtype wrapper around SingleEraInfo

This is primarily useful for use in error messages: it marks which era info came from the ledger, and which came from a txblockheader/etc.

Constructors

LedgerEraInfo
Fields getLedgerEraInfo ∷ SingleEraInfo blk

Instances

Instances details

Show (LedgerEraInfo blk) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Info Methods showsPrec ∷ Int → LedgerEraInfo blk → ShowS # show ∷ LedgerEraInfo blk → String # showList ∷ [LedgerEraInfo blk] → ShowS #
Eq (LedgerEraInfo blk) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Info Methods (==) ∷ LedgerEraInfo blk → LedgerEraInfo blk → Bool # (/=) ∷ LedgerEraInfo blk → LedgerEraInfo blk → Bool #
NoThunks (LedgerEraInfo blk) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Info Methods noThunks ∷ Context → LedgerEraInfo blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LedgerEraInfo blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (LedgerEraInfo blk) → String Source #
Serialise (LedgerEraInfo blk) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Info Methods encode ∷ LedgerEraInfo blk → Encoding Source # decode ∷ Decoder s (LedgerEraInfo blk) Source # encodeList ∷ [LedgerEraInfo blk] → Encoding Source # decodeList ∷ Decoder s [LedgerEraInfo blk] Source #

data SingleEraInfo blk Source #

Information about an era (mostly for type errors)

Constructors

SingleEraInfo
Fields singleEraName ∷ !Text

Instances

Instances details

Generic (SingleEraInfo blk) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Info Associated Types type Rep (SingleEraInfo blk) ∷ Type → Type # Methods from ∷ SingleEraInfo blk → Rep (SingleEraInfo blk) x # to ∷ Rep (SingleEraInfo blk) x → SingleEraInfo blk #
Show (SingleEraInfo blk) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Info Methods showsPrec ∷ Int → SingleEraInfo blk → ShowS # show ∷ SingleEraInfo blk → String # showList ∷ [SingleEraInfo blk] → ShowS #
Eq (SingleEraInfo blk) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Info Methods (==) ∷ SingleEraInfo blk → SingleEraInfo blk → Bool # (/=) ∷ SingleEraInfo blk → SingleEraInfo blk → Bool #
NoThunks (SingleEraInfo blk) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Info Methods noThunks ∷ Context → SingleEraInfo blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SingleEraInfo blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SingleEraInfo blk) → String Source #
Serialise (SingleEraInfo blk) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Info Methods encode ∷ SingleEraInfo blk → Encoding Source # decode ∷ Decoder s (SingleEraInfo blk) Source # encodeList ∷ [SingleEraInfo blk] → Encoding Source # decodeList ∷ Decoder s [SingleEraInfo blk] Source #
type Rep (SingleEraInfo blk) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Info type Rep (SingleEraInfo blk) = D1 ('MetaData "SingleEraInfo" "Ouroboros.Consensus.HardFork.Combinator.Info" "ouroboros-consensus-0.18.0.0-inplace" 'False) (C1 ('MetaCons "SingleEraInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "singleEraName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))

data HardForkLedgerUpdate xs Source #

Constructors

HardForkUpdateInEra (OneEraLedgerUpdate xs)
HardForkUpdateTransitionConfirmed (EraIndex xs) (EraIndex xs) EpochNo	Hard fork transition got confirmed
HardForkUpdateTransitionDone (EraIndex xs) (EraIndex xs) EpochNo	Hard fork transition happened We record the `EpochNo` at the start of the era after the transition
HardForkUpdateTransitionRolledBack (EraIndex xs) (EraIndex xs)	The hard fork transition rolled back

Instances

Instances details

CanHardFork xs ⇒ Show (HardForkLedgerUpdate xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods showsPrec ∷ Int → HardForkLedgerUpdate xs → ShowS # show ∷ HardForkLedgerUpdate xs → String # showList ∷ [HardForkLedgerUpdate xs] → ShowS #
CanHardFork xs ⇒ Eq (HardForkLedgerUpdate xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods (==) ∷ HardForkLedgerUpdate xs → HardForkLedgerUpdate xs → Bool # (/=) ∷ HardForkLedgerUpdate xs → HardForkLedgerUpdate xs → Bool #
CanHardFork xs ⇒ Condense (HardForkLedgerUpdate xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods condense ∷ HardForkLedgerUpdate xs → String Source #

data HardForkLedgerWarning xs Source #

Constructors

HardForkWarningInEra (OneEraLedgerWarning xs)	Warning from the underlying era
HardForkWarningTransitionMismatch (EraIndex xs) EraParams EpochNo	The transition to the next era does not match the `EraParams` The `EraParams` can specify a lower bound on when the transition to the next era will happen. If the actual transition, when confirmed, is before this lower bound, the node is misconfigured and will likely not work correctly. This should be taken care of as soon as possible (before the transition happens).
HardForkWarningTransitionInFinalEra (EraIndex xs) EpochNo	Transition in the final era The final era should never confirm any transitions. For clarity, we also record the index of that final era.
HardForkWarningTransitionUnconfirmed (EraIndex xs)	An already-confirmed transition got un-confirmed
HardForkWarningTransitionReconfirmed (EraIndex xs) (EraIndex xs) EpochNo EpochNo	An already-confirmed transition got changed We record the indices of the era we are transitioning from and to, as well as the old and new `EpochNo` of that transition, in that order.

Instances

Instances details

CanHardFork xs ⇒ Show (HardForkLedgerWarning xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods showsPrec ∷ Int → HardForkLedgerWarning xs → ShowS # show ∷ HardForkLedgerWarning xs → String # showList ∷ [HardForkLedgerWarning xs] → ShowS #
CanHardFork xs ⇒ Eq (HardForkLedgerWarning xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods (==) ∷ HardForkLedgerWarning xs → HardForkLedgerWarning xs → Bool # (/=) ∷ HardForkLedgerWarning xs → HardForkLedgerWarning xs → Bool #

data AnnForecast state view blk Source #

Forecast annotated with details about the ledger it was derived from

Constructors

AnnForecast
Fields annForecast ∷ Forecast (view blk) annForecastState ∷ state blk annForecastTip ∷ WithOrigin SlotNo annForecastEnd ∷ Maybe Bound

type HardForkQueryResult xs = Either (MismatchEraInfo xs) Source #

data QueryAnytime result where Source #

Constructors

GetEraStart ∷ QueryAnytime (Maybe Bound)

Instances

Instances details

SameDepIndex QueryAnytime Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods sameDepIndex ∷ QueryAnytime a → QueryAnytime b → Maybe (a :~: b) Source #
ShowQuery QueryAnytime Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showResult ∷ QueryAnytime result → result → String Source #
Show (QueryAnytime result) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showsPrec ∷ Int → QueryAnytime result → ShowS # show ∷ QueryAnytime result → String # showList ∷ [QueryAnytime result] → ShowS #
Serialise (Some QueryAnytime) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods encode ∷ Some QueryAnytime → Encoding Source # decode ∷ Decoder s (Some QueryAnytime) Source # encodeList ∷ [Some QueryAnytime] → Encoding Source # decodeList ∷ Decoder s [Some QueryAnytime] Source #

data QueryHardFork xs result where Source #

Constructors

GetInterpreter ∷ QueryHardFork xs (Interpreter xs)
GetCurrentEra ∷ QueryHardFork xs (EraIndex xs)

Instances

Instances details

SameDepIndex (QueryHardFork xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods sameDepIndex ∷ QueryHardFork xs a → QueryHardFork xs b → Maybe (a :~: b) Source #
All SingleEraBlock xs ⇒ ShowQuery (QueryHardFork xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showResult ∷ QueryHardFork xs result → result → String Source #
Show (QueryHardFork xs result) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showsPrec ∷ Int → QueryHardFork xs result → ShowS # show ∷ QueryHardFork xs result → String # showList ∷ [QueryHardFork xs result] → ShowS #

data QueryIfCurrent ∷ [Type] → Type → Type where Source #

Constructors

QZ ∷ BlockQuery x result → QueryIfCurrent (x ': xs) result
QS ∷ QueryIfCurrent xs result → QueryIfCurrent (x ': xs) result

Instances

Instances details

All SingleEraBlock xs ⇒ SameDepIndex (QueryIfCurrent xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods sameDepIndex ∷ QueryIfCurrent xs a → QueryIfCurrent xs b → Maybe (a :~: b) Source #
All SingleEraBlock xs ⇒ ShowQuery (QueryIfCurrent xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showResult ∷ QueryIfCurrent xs result → result → String Source #
All SingleEraBlock xs ⇒ Show (QueryIfCurrent xs result) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showsPrec ∷ Int → QueryIfCurrent xs result → ShowS # show ∷ QueryIfCurrent xs result → String # showList ∷ [QueryIfCurrent xs result] → ShowS #

class (ConsensusProtocol p, NoThunks (PartialConsensusConfig p)) ⇒ HasPartialConsensusConfig p where Source #

Partial consensus config

Minimal complete definition

Nothing

Associated Types

type PartialConsensusConfig p ∷ Type Source #

type PartialConsensusConfig p = ConsensusConfig p

Methods

completeConsensusConfig ∷ proxy p → EpochInfo (Except PastHorizonException) → PartialConsensusConfig p → ConsensusConfig p Source #

Construct ConsensusConfig from PartialConsensusConfig

See comments for completeLedgerConfig for some details about the EpochInfo.

default completeConsensusConfig ∷ PartialConsensusConfig p ~ ConsensusConfig p ⇒ proxy p → EpochInfo (Except PastHorizonException) → PartialConsensusConfig p → ConsensusConfig p Source #

toPartialConsensusConfig ∷ proxy p → ConsensusConfig p → PartialConsensusConfig p Source #

Construct partial consensus config from full consensus config

NOTE: This is basically just losing EpochInfo, but that is constant anyway when we are dealing with a single era.

default toPartialConsensusConfig ∷ PartialConsensusConfig p ~ ConsensusConfig p ⇒ proxy p → ConsensusConfig p → PartialConsensusConfig p Source #

class (UpdateLedger blk, NoThunks (PartialLedgerConfig blk)) ⇒ HasPartialLedgerConfig blk where Source #

Partial ledger config

Minimal complete definition

Nothing

Associated Types

type PartialLedgerConfig blk ∷ Type Source #

type PartialLedgerConfig blk = LedgerConfig blk

Methods

completeLedgerConfig ∷ proxy blk → EpochInfo (Except PastHorizonException) → PartialLedgerConfig blk → LedgerConfig blk Source #

Construct LedgerConfig from PartialLedgerCfg

NOTE: The EpochInfo provided will have limited range, any attempt to look past its horizon will result in a pure PastHorizonException. The horizon is determined by the tip of the ledger state (not view) from which the EpochInfo is derived.

default completeLedgerConfig ∷ PartialLedgerConfig blk ~ LedgerConfig blk ⇒ proxy blk → EpochInfo (Except PastHorizonException) → PartialLedgerConfig blk → LedgerConfig blk Source #

newtype WrapPartialConsensusConfig blk Source #

Constructors

WrapPartialConsensusConfig
Fields unwrapPartialConsensusConfig ∷ PartialConsensusConfig (BlockProtocol blk)

Instances

Instances details

NoThunks (PartialConsensusConfig (BlockProtocol blk)) ⇒ NoThunks (WrapPartialConsensusConfig blk) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.PartialConfig Methods noThunks ∷ Context → WrapPartialConsensusConfig blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WrapPartialConsensusConfig blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WrapPartialConsensusConfig blk) → String Source #

newtype WrapPartialLedgerConfig blk Source #

Constructors

WrapPartialLedgerConfig
Fields unwrapPartialLedgerConfig ∷ PartialLedgerConfig blk

Instances

Instances details

NoThunks (PartialLedgerConfig blk) ⇒ NoThunks (WrapPartialLedgerConfig blk) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.PartialConfig Methods noThunks ∷ Context → WrapPartialLedgerConfig blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WrapPartialLedgerConfig blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WrapPartialLedgerConfig blk) → String Source #

newtype HardForkSelectView xs Source #

Constructors

HardForkSelectView
Fields getHardForkSelectView ∷ WithBlockNo OneEraSelectView xs

Instances

Instances details

CanHardFork xs ⇒ Show (HardForkSelectView xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol Methods showsPrec ∷ Int → HardForkSelectView xs → ShowS # show ∷ HardForkSelectView xs → String # showList ∷ [HardForkSelectView xs] → ShowS #
CanHardFork xs ⇒ Eq (HardForkSelectView xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol Methods (==) ∷ HardForkSelectView xs → HardForkSelectView xs → Bool # (/=) ∷ HardForkSelectView xs → HardForkSelectView xs → Bool #
CanHardFork xs ⇒ Ord (HardForkSelectView xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol Methods compare ∷ HardForkSelectView xs → HardForkSelectView xs → Ordering # (<) ∷ HardForkSelectView xs → HardForkSelectView xs → Bool # (<=) ∷ HardForkSelectView xs → HardForkSelectView xs → Bool # (>) ∷ HardForkSelectView xs → HardForkSelectView xs → Bool # (>=) ∷ HardForkSelectView xs → HardForkSelectView xs → Bool # max ∷ HardForkSelectView xs → HardForkSelectView xs → HardForkSelectView xs # min ∷ HardForkSelectView xs → HardForkSelectView xs → HardForkSelectView xs #
CanHardFork xs ⇒ NoThunks (HardForkSelectView xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol Methods noThunks ∷ Context → HardForkSelectView xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → HardForkSelectView xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (HardForkSelectView xs) → String Source #
CanHardFork xs ⇒ ChainOrder (HardForkSelectView xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol Associated Types type ChainOrderConfig (HardForkSelectView xs) Source # Methods preferCandidate ∷ ChainOrderConfig (HardForkSelectView xs) → HardForkSelectView xs → HardForkSelectView xs → Bool Source #
type ChainOrderConfig (HardForkSelectView xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol type ChainOrderConfig (HardForkSelectView xs) = PerEraChainOrderConfig xs

type HardForkCanBeLeader xs = SomeErasCanBeLeader xs Source #

We have one or more BlockForgings, and thus CanBeLeader proofs, for each era in which we can forge blocks.

type HardForkChainDepState xs = HardForkState WrapChainDepState xs Source #

type HardForkIsLeader xs = OneEraIsLeader xs Source #

We are a leader if we have a proof from one of the eras

data HardForkValidationErr xs Source #

Constructors

HardForkValidationErrFromEra (OneEraValidationErr xs)	Validation error from one of the eras
HardForkValidationErrWrongEra (MismatchEraInfo xs)	We tried to apply a block from the wrong era

Instances

Instances details

Generic (HardForkValidationErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol Associated Types type Rep (HardForkValidationErr xs) ∷ Type → Type # Methods from ∷ HardForkValidationErr xs → Rep (HardForkValidationErr xs) x # to ∷ Rep (HardForkValidationErr xs) x → HardForkValidationErr xs #
CanHardFork xs ⇒ Show (HardForkValidationErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol Methods showsPrec ∷ Int → HardForkValidationErr xs → ShowS # show ∷ HardForkValidationErr xs → String # showList ∷ [HardForkValidationErr xs] → ShowS #
CanHardFork xs ⇒ Eq (HardForkValidationErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol Methods (==) ∷ HardForkValidationErr xs → HardForkValidationErr xs → Bool # (/=) ∷ HardForkValidationErr xs → HardForkValidationErr xs → Bool #
CanHardFork xs ⇒ NoThunks (HardForkValidationErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol Methods noThunks ∷ Context → HardForkValidationErr xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → HardForkValidationErr xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (HardForkValidationErr xs) → String Source #
type Rep (HardForkValidationErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol type Rep (HardForkValidationErr xs) = D1 ('MetaData "HardForkValidationErr" "Ouroboros.Consensus.HardFork.Combinator.Protocol" "ouroboros-consensus-0.18.0.0-inplace" 'False) (C1 ('MetaCons "HardForkValidationErrFromEra" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraValidationErr xs))) :+: C1 ('MetaCons "HardForkValidationErrWrongEra" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MismatchEraInfo xs))))

type HardForkLedgerView = HardForkLedgerView_ WrapLedgerView Source #

data HardForkLedgerView_ f xs Source #

Constructors

HardForkLedgerView
Fields hardForkLedgerViewTransition ∷ !TransitionInfo Information about the transition to the next era, if known hardForkLedgerViewPerEra ∷ !(HardForkState f xs) The underlying ledger view

Instances

Instances details

CanHardFork xs ⇒ Show (HardForkLedgerView_ WrapLedgerView xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol.LedgerView Methods showsPrec ∷ Int → HardForkLedgerView_ WrapLedgerView xs → ShowS # show ∷ HardForkLedgerView_ WrapLedgerView xs → String # showList ∷ [HardForkLedgerView_ WrapLedgerView xs] → ShowS #
(SListI xs, Show a) ⇒ Show (HardForkLedgerView_ (K a ∷ Type → Type) xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol.LedgerView Methods showsPrec ∷ Int → HardForkLedgerView_ (K a) xs → ShowS # show ∷ HardForkLedgerView_ (K a) xs → String # showList ∷ [HardForkLedgerView_ (K a) xs] → ShowS #

data AcrossEraMode cfg a where Source #

GADT indicating whether we are lifting compare or preferCandidate to the HFC, together with the type of configuration we need for that and the result type.

Constructors

AcrossEraCompare ∷ AcrossEraMode Proxy Ordering
AcrossEraPreferCandidate ∷ AcrossEraMode WrapChainOrderConfig Bool

data AcrossEraSelection ∷ Type → Type → Type where Source #

Constructors

CompareBlockNo ∷ AcrossEraSelection x y

Just compare block numbers

This is a useful default when two eras run totally different consensus protocols, and we just want to choose the longer chain.

CompareSameSelectView ∷ SelectView (BlockProtocol x) ~ SelectView (BlockProtocol y) ⇒ AcrossEraSelection x y

Two eras using the same SelectView. In this case, we can just compare chains even across eras, as the chain ordering is fully captured by SelectView and its ChainOrder instance.

We use the ChainOrderConfig of the SelectView in the newer era (with the intuition that newer eras are generally "preferred") when invoking compareChains. However, this choice is arbitrary; we could also make it configurable here.

data WithBlockNo (f ∷ k → Type) (a ∷ k) Source #

Constructors

WithBlockNo
Fields getBlockNo ∷ BlockNo dropBlockNo ∷ f a

Instances

Instances details

Generic (WithBlockNo f a) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol.ChainSel Associated Types type Rep (WithBlockNo f a) ∷ Type → Type # Methods from ∷ WithBlockNo f a → Rep (WithBlockNo f a) x # to ∷ Rep (WithBlockNo f a) x → WithBlockNo f a #
Show (f a) ⇒ Show (WithBlockNo f a) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol.ChainSel Methods showsPrec ∷ Int → WithBlockNo f a → ShowS # show ∷ WithBlockNo f a → String # showList ∷ [WithBlockNo f a] → ShowS #
Eq (f a) ⇒ Eq (WithBlockNo f a) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol.ChainSel Methods (==) ∷ WithBlockNo f a → WithBlockNo f a → Bool # (/=) ∷ WithBlockNo f a → WithBlockNo f a → Bool #
NoThunks (f a) ⇒ NoThunks (WithBlockNo f a) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol.ChainSel Methods noThunks ∷ Context → WithBlockNo f a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WithBlockNo f a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WithBlockNo f a) → String Source #
type Rep (WithBlockNo f a) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol.ChainSel type Rep (WithBlockNo f a) = D1 ('MetaData "WithBlockNo" "Ouroboros.Consensus.HardFork.Combinator.Protocol.ChainSel" "ouroboros-consensus-0.18.0.0-inplace" 'False) (C1 ('MetaCons "WithBlockNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "getBlockNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockNo) :*: S1 ('MetaSel ('Just "dropBlockNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f a))))

data EraTranslation xs Source #

Constructors

EraTranslation
Fields translateLedgerState ∷ InPairs (RequiringBoth WrapLedgerConfig (Translate LedgerState)) xs translateChainDepState ∷ InPairs (RequiringBoth WrapConsensusConfig (Translate WrapChainDepState)) xs crossEraForecast ∷ InPairs (RequiringBoth WrapLedgerConfig (CrossEraForecaster LedgerState WrapLedgerView)) xs

Instances

Instances details

NoThunks (EraTranslation xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Translation Methods noThunks ∷ Context → EraTranslation xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → EraTranslation xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (EraTranslation xs) → String Source #

pattern InjectTx ∷ (GenTx blk → Maybe (GenTx blk')) → InjectTx blk blk' Source #

InjectPolyTx at type InjectTx

pattern InjectValidatedTx ∷ (WrapValidatedGenTx blk → Maybe (WrapValidatedGenTx blk')) → InjectValidatedTx blk blk' Source #

InjectPolyTx at type InjectValidatedTx

hardForkBlockForging Source #

Arguments

∷ ∀ m xs. (CanHardFork xs, Monad m)
⇒ Text	Used as the `forgeLabel`, the labels of the given `BlockForging`s will be ignored.
→ NonEmptyOptNP (BlockForging m) xs
→ BlockForging m (HardForkBlock xs)

cannotInjectTx ∷ InjectTx blk blk' Source #

cannotInjectPolyTx at type InjectTx

cannotInjectValidatedTx ∷ InjectValidatedTx blk blk' Source #

cannotInjectPolyTx at type InjectValidatedTx

initHardForkState ∷ f x → HardForkState f (x ': xs) Source #

noHardForksEpochInfo ∷ (Monad m, NoHardForks blk) ⇒ TopLevelConfig blk → EpochInfo m Source #

proxySingle ∷ Proxy SingleEraBlock Source #

singleEraTransition' ∷ SingleEraBlock blk ⇒ WrapPartialLedgerConfig blk → EraParams → Bound → LedgerState blk → Maybe EpochNo Source #

eraIndexEmpty ∷ EraIndex '[] → Void Source #

eraIndexFromIndex ∷ Index xs blk → EraIndex xs Source #

eraIndexFromNS ∷ SListI xs ⇒ NS f xs → EraIndex xs Source #

eraIndexSucc ∷ EraIndex xs → EraIndex (x ': xs) Source #

eraIndexToInt ∷ EraIndex xs → Int Source #

eraIndexZero ∷ EraIndex (x ': xs) Source #

completeConsensusConfig' ∷ ∀ blk. HasPartialConsensusConfig (BlockProtocol blk) ⇒ EpochInfo (Except PastHorizonException) → WrapPartialConsensusConfig blk → ConsensusConfig (BlockProtocol blk) Source #

completeConsensusConfig'' ∷ ∀ blk. HasPartialConsensusConfig (BlockProtocol blk) ⇒ EpochInfo (Except PastHorizonException) → WrapPartialConsensusConfig blk → WrapConsensusConfig blk Source #

completeLedgerConfig' ∷ ∀ blk. HasPartialLedgerConfig blk ⇒ EpochInfo (Except PastHorizonException) → WrapPartialLedgerConfig blk → LedgerConfig blk Source #

completeLedgerConfig'' ∷ ∀ blk. HasPartialLedgerConfig blk ⇒ EpochInfo (Except PastHorizonException) → WrapPartialLedgerConfig blk → WrapLedgerConfig blk Source #

distribLedgerConfig ∷ CanHardFork xs ⇒ EpochInfo (Except PastHorizonException) → LedgerConfig (HardForkBlock xs) → NP WrapLedgerConfig xs Source #

distribTopLevelConfig ∷ All SingleEraBlock xs ⇒ EpochInfo (Except PastHorizonException) → TopLevelConfig (HardForkBlock xs) → NP TopLevelConfig xs Source #

distribAnnTip ∷ SListI xs ⇒ AnnTip (HardForkBlock xs) → NS AnnTip xs Source #

undistribAnnTip ∷ SListI xs ⇒ NS AnnTip xs → AnnTip (HardForkBlock xs) Source #

mkHardForkForecast ∷ ∀ state view xs. SListI xs ⇒ InPairs (CrossEraForecaster state view) xs → HardForkState (AnnForecast state view) xs → Forecast (HardForkLedgerView_ view xs) Source #

Change a telescope of a forecast into a forecast of a telescope

decodeQueryAnytimeResult ∷ QueryAnytime result → ∀ s. Decoder s result Source #

decodeQueryHardForkResult ∷ SListI xs ⇒ EraParamsFormat → QueryHardFork xs result → ∀ s. Decoder s result Source #

encodeQueryAnytimeResult ∷ QueryAnytime result → result → Encoding Source #

encodeQueryHardForkResult ∷ SListI xs ⇒ EraParamsFormat → QueryHardFork xs result → result → Encoding Source #

getHardForkQuery ∷ BlockQuery (HardForkBlock xs) result → (∀ result'. (result :~: HardForkQueryResult xs result') → QueryIfCurrent xs result' → r) → (∀ x' xs'. (xs :~: (x' ': xs')) → ProofNonEmpty xs' → QueryAnytime result → EraIndex xs → r) → (∀ x' xs'. (xs :~: (x' ': xs')) → ProofNonEmpty xs' → QueryHardFork xs result → r) → r Source #

hardForkQueryInfo ∷ All SingleEraBlock xs ⇒ QueryIfCurrent xs result → NS SingleEraInfo xs Source #

hardForkApplyTxErrFromEither ∷ Either (MismatchEraInfo xs) (OneEraApplyTxErr xs) → HardForkApplyTxErr xs Source #

hardForkApplyTxErrToEither ∷ HardForkApplyTxErr xs → Either (MismatchEraInfo xs) (OneEraApplyTxErr xs) Source #

acrossEraSelection ∷ ∀ xs cfg a. All SingleEraBlock xs ⇒ AcrossEraMode cfg a → NP cfg xs → Tails AcrossEraSelection xs → WithBlockNo (NS WrapSelectView) xs → WithBlockNo (NS WrapSelectView) xs → a Source #

mapWithBlockNo ∷ (f x → g y) → WithBlockNo f x → WithBlockNo g y Source #

trivialEraTranslation ∷ EraTranslation '[blk] Source #

∷ PartialLedgerConfig blk
→ EraParams	Current era parameters
→ Bound	Start of this era
→ LedgerState blk
→ Maybe EpochNo