ouroboros-consensus-0.1.0.0: Consensus layer for the Ouroboros blockchain protocol
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.HeaderValidation

Description

Header validation

Synopsis

Documentation

revalidateHeader ∷ ∀ blk. (BlockSupportsProtocol blk, ValidateEnvelope blk, HasCallStack) ⇒ TopLevelConfig blk → Ticked (LedgerView (BlockProtocol blk)) → Header blk → Ticked (HeaderState blk) → HeaderState blk Source #

Header revalidation

Same as validateHeader but used when the header has been validated before w.r.t. the same exact HeaderState.

Expensive validation checks are skipped (reupdateChainDepState vs. updateChainDepState).

validateHeader ∷ (BlockSupportsProtocol blk, ValidateEnvelope blk) ⇒ TopLevelConfig blk → Ticked (LedgerView (BlockProtocol blk)) → Header blk → Ticked (HeaderState blk) → Except (HeaderError blk) (HeaderState blk) Source #

Header validation

Header validation (as opposed to block validation) is done by the chain sync client: as we download headers from other network nodes, we validate those headers before deciding whether or not to download the corresponding blocks.

Before we adopt any blocks we have downloaded, however, we will do a full block validation. As such, the header validation check can omit some checks (provided that we do those checks when we do the full validation); at worst, this would mean we might download some blocks that we will reject as being invalid where we could have detected that sooner.

For this reason, the header validation currently only checks two things:

o It verifies the consensus part of the header.

For example, for Praos this means checking the VRF proofs.

o It verifies the HasHeader part of the header.

By default, we verify that

x Block numbers are consecutive x The block number of the first block is firstBlockNo x Slot numbers are strictly increasing x The slot number of the first block is at least minimumPossibleSlotNo x Hashes line up

If a particular ledger wants to verify additional fields in the header, it will get the chance to do so in applyBlockLedgerResult, which is passed the entire block (not just the block body).

Annotated tips

data AnnTip blk Source #

Annotated information about the tip of the chain

The annotation is the additional information we need to validate the header envelope. Under normal circumstances no additional information is required, but for instance for Byron we need to know if the previous header was an EBB.

Constructors

AnnTip 

Instances

Instances details
Isomorphic AnnTip Source # 
Instance details

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

Methods

projectNoHardForks blk ⇒ AnnTip (HardForkBlock '[blk]) → AnnTip blk Source #

injectNoHardForks blk ⇒ AnnTip blk → AnnTip (HardForkBlock '[blk]) Source #

Inject AnnTip Source # 
Instance details

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

Methods

inject ∷ ∀ x (xs ∷ [Type]). CanHardFork xs ⇒ Exactly xs BoundIndex xs x → AnnTip x → AnnTip (HardForkBlock xs) Source #

HasAnnTip blk ⇒ Eq (AnnTip blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Methods

(==)AnnTip blk → AnnTip blk → Bool Source #

(/=)AnnTip blk → AnnTip blk → Bool Source #

HasAnnTip blk ⇒ Show (AnnTip blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Methods

showsPrecIntAnnTip blk → ShowS Source #

showAnnTip blk → String Source #

showList ∷ [AnnTip blk] → ShowS Source #

Generic (AnnTip blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Associated Types

type Rep (AnnTip blk) ∷ TypeType Source #

Methods

fromAnnTip blk → Rep (AnnTip blk) x Source #

toRep (AnnTip blk) x → AnnTip blk Source #

HasAnnTip blk ⇒ NoThunks (AnnTip blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Methods

noThunks ∷ Context → AnnTip blk → IO (Maybe ThunkInfo) #

wNoThunks ∷ Context → AnnTip blk → IO (Maybe ThunkInfo) #

showTypeOfProxy (AnnTip blk) → String #

SerialiseHFC xs ⇒ DecodeDisk (HardForkBlock xs) (AnnTip (HardForkBlock xs)) Source # 
Instance details

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

Methods

decodeDiskCodecConfig (HardForkBlock xs) → ∀ s. Decoder s (AnnTip (HardForkBlock xs)) Source #

SerialiseHFC xs ⇒ EncodeDisk (HardForkBlock xs) (AnnTip (HardForkBlock xs)) Source # 
Instance details

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

Methods

encodeDiskCodecConfig (HardForkBlock xs) → AnnTip (HardForkBlock xs) → Encoding Source #

type Rep (AnnTip blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

type Rep (AnnTip blk) = D1 ('MetaData "AnnTip" "Ouroboros.Consensus.HeaderValidation" "ouroboros-consensus-0.1.0.0-inplace" 'False) (C1 ('MetaCons "AnnTip" 'PrefixI 'True) (S1 ('MetaSel ('Just "annTipSlotNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: (S1 ('MetaSel ('Just "annTipBlockNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BlockNo) :*: S1 ('MetaSel ('Just "annTipInfo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TipInfo blk)))))

class (StandardHash blk, Show (TipInfo blk), Eq (TipInfo blk), NoThunks (TipInfo blk)) ⇒ HasAnnTip blk where Source #

Minimal complete definition

Nothing

Associated Types

type TipInfo blk ∷ Type Source #

type TipInfo blk = HeaderHash blk

Methods

getTipInfoHeader blk → TipInfo blk Source #

Extract TipInfo from a block header

default getTipInfo ∷ (TipInfo blk ~ HeaderHash blk, HasHeader (Header blk)) ⇒ Header blk → TipInfo blk Source #

tipInfoHash ∷ proxy blk → TipInfo blk → HeaderHash blk Source #

The tip info must at least include the hash

default tipInfoHashTipInfo blk ~ HeaderHash blk ⇒ proxy blk → TipInfo blk → HeaderHash blk Source #

Instances

Instances details
CanHardFork xs ⇒ HasAnnTip (HardForkBlock xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

Associated Types

type TipInfo (HardForkBlock xs) Source #

Bridge m a ⇒ HasAnnTip (DualBlock m a) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Associated Types

type TipInfo (DualBlock m a) Source #

Methods

getTipInfoHeader (DualBlock m a) → TipInfo (DualBlock m a) Source #

tipInfoHash ∷ proxy (DualBlock m a) → TipInfo (DualBlock m a) → HeaderHash (DualBlock m a) Source #

annTipHash ∷ ∀ blk. HasAnnTip blk ⇒ AnnTip blk → HeaderHash blk Source #

annTipPoint ∷ ∀ blk. HasAnnTip blk ⇒ AnnTip blk → Point blk Source #

annTipRealPoint ∷ ∀ blk. HasAnnTip blk ⇒ AnnTip blk → RealPoint blk Source #

castAnnTipTipInfo blk ~ TipInfo blk' ⇒ AnnTip blk → AnnTip blk' Source #

getAnnTip ∷ (HasHeader (Header blk), HasAnnTip blk) ⇒ Header blk → AnnTip blk Source #

mapAnnTip ∷ (TipInfo blk → TipInfo blk') → AnnTip blk → AnnTip blk' Source #

Header state

data HeaderState blk Source #

State required to validate the header

See validateHeader for details

Instances

Instances details
Isomorphic HeaderState Source # 
Instance details

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

Inject HeaderState Source # 
Instance details

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

Methods

inject ∷ ∀ x (xs ∷ [Type]). CanHardFork xs ⇒ Exactly xs BoundIndex xs x → HeaderState x → HeaderState (HardForkBlock xs) Source #

(BlockSupportsProtocol blk, HasAnnTip blk) ⇒ Eq (HeaderState blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Methods

(==)HeaderState blk → HeaderState blk → Bool Source #

(/=)HeaderState blk → HeaderState blk → Bool Source #

(BlockSupportsProtocol blk, HasAnnTip blk) ⇒ Show (HeaderState blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Generic (HeaderState blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Associated Types

type Rep (HeaderState blk) ∷ TypeType Source #

Methods

fromHeaderState blk → Rep (HeaderState blk) x Source #

toRep (HeaderState blk) x → HeaderState blk Source #

(BlockSupportsProtocol blk, HasAnnTip blk) ⇒ NoThunks (HeaderState blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Methods

noThunks ∷ Context → HeaderState blk → IO (Maybe ThunkInfo) #

wNoThunks ∷ Context → HeaderState blk → IO (Maybe ThunkInfo) #

showTypeOfProxy (HeaderState blk) → String #

Anchorable (WithOrigin SlotNo) (HeaderState blk) (HeaderState blk) Source #

Used by HeaderStateHistory but defined here, where it is not an orphan.

Instance details

Defined in Ouroboros.Consensus.HeaderValidation

type Rep (HeaderState blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

type Rep (HeaderState blk) = D1 ('MetaData "HeaderState" "Ouroboros.Consensus.HeaderValidation" "ouroboros-consensus-0.1.0.0-inplace" 'False) (C1 ('MetaCons "HeaderState" 'PrefixI 'True) (S1 ('MetaSel ('Just "headerStateTip") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin (AnnTip blk))) :*: S1 ('MetaSel ('Just "headerStateChainDep") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ChainDepState (BlockProtocol blk)))))
data Ticked (HeaderState blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Validate header envelope

class (HasHeader (Header blk), HasAnnTip blk) ⇒ BasicEnvelopeValidation blk where Source #

Ledger-independent envelope validation (block, slot, hash)

Minimal complete definition

Nothing

Methods

expectedFirstBlockNo ∷ proxy blk → BlockNo Source #

The block number of the first block on the chain

expectedNextBlockNo Source #

Arguments

∷ proxy blk 
TipInfo blk

Old tip

TipInfo blk

New block

BlockNo 
BlockNo 

Next block number

minimumPossibleSlotNoProxy blk → SlotNo Source #

The smallest possible SlotNo

NOTE: This does not affect the translation between SlotNo and EpochNo. Ouroboros.Consensus.HardFork.History for details.

minimumNextSlotNo Source #

Arguments

∷ proxy blk 
TipInfo blk

Old tip

TipInfo blk

New block

SlotNo 
SlotNo 

Minimum next slot number

data HeaderEnvelopeError blk Source #

Constructors

UnexpectedBlockNo !BlockNo !BlockNo

Invalid block number

We record both the expected and actual block number

UnexpectedSlotNo !SlotNo !SlotNo

Invalid slot number

We record both the expected (minimum) and actual slot number

UnexpectedPrevHash !(WithOrigin (HeaderHash blk)) !(ChainHash blk)

Invalid hash (in the reference to the previous block)

We record the current tip as well as the prev hash of the new block.

OtherHeaderEnvelopeError !(OtherHeaderEnvelopeError blk)

Block specific envelope error

Instances

Instances details
ValidateEnvelope blk ⇒ Eq (HeaderEnvelopeError blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

ValidateEnvelope blk ⇒ Show (HeaderEnvelopeError blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Generic (HeaderEnvelopeError blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Associated Types

type Rep (HeaderEnvelopeError blk) ∷ TypeType Source #

(ValidateEnvelope blk, Typeable blk) ⇒ NoThunks (HeaderEnvelopeError blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Methods

noThunks ∷ Context → HeaderEnvelopeError blk → IO (Maybe ThunkInfo) #

wNoThunks ∷ Context → HeaderEnvelopeError blk → IO (Maybe ThunkInfo) #

showTypeOfProxy (HeaderEnvelopeError blk) → String #

type Rep (HeaderEnvelopeError blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

class (BasicEnvelopeValidation blk, GetPrevHash blk, Eq (OtherHeaderEnvelopeError blk), Show (OtherHeaderEnvelopeError blk), NoThunks (OtherHeaderEnvelopeError blk)) ⇒ ValidateEnvelope blk where Source #

Validate header envelope

Minimal complete definition

Nothing

Associated Types

type OtherHeaderEnvelopeError blk ∷ Type Source #

A block-specific error that validateEnvelope can return.

Methods

additionalEnvelopeChecksTopLevelConfig blk → Ticked (LedgerView (BlockProtocol blk)) → Header blk → Except (OtherHeaderEnvelopeError blk) () Source #

Do additional envelope checks

Errors

data HeaderError blk Source #

Invalid header

Constructors

HeaderProtocolError !(ValidationErr (BlockProtocol blk))

Invalid consensus protocol fields

HeaderEnvelopeError !(HeaderEnvelopeError blk)

Failed to validate the envelope

Instances

Instances details
(BlockSupportsProtocol blk, ValidateEnvelope blk) ⇒ Eq (HeaderError blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Methods

(==)HeaderError blk → HeaderError blk → Bool Source #

(/=)HeaderError blk → HeaderError blk → Bool Source #

(BlockSupportsProtocol blk, ValidateEnvelope blk) ⇒ Show (HeaderError blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Generic (HeaderError blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Associated Types

type Rep (HeaderError blk) ∷ TypeType Source #

Methods

fromHeaderError blk → Rep (HeaderError blk) x Source #

toRep (HeaderError blk) x → HeaderError blk Source #

(BlockSupportsProtocol blk, ValidateEnvelope blk, Typeable blk) ⇒ NoThunks (HeaderError blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Methods

noThunks ∷ Context → HeaderError blk → IO (Maybe ThunkInfo) #

wNoThunks ∷ Context → HeaderError blk → IO (Maybe ThunkInfo) #

showTypeOfProxy (HeaderError blk) → String #

type Rep (HeaderError blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

type Rep (HeaderError blk) = D1 ('MetaData "HeaderError" "Ouroboros.Consensus.HeaderValidation" "ouroboros-consensus-0.1.0.0-inplace" 'False) (C1 ('MetaCons "HeaderProtocolError" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ValidationErr (BlockProtocol blk)))) :+: C1 ('MetaCons "HeaderEnvelopeError" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HeaderEnvelopeError blk))))

TipInfoIsEBB

data TipInfoIsEBB blk Source #

Reusable strict data type for TipInfo in case the TipInfo should contain IsEBB in addition to the HeaderHash.

Constructors

TipInfoIsEBB !(HeaderHash blk) !IsEBB 

Instances

Instances details
StandardHash blk ⇒ Eq (TipInfoIsEBB blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Methods

(==)TipInfoIsEBB blk → TipInfoIsEBB blk → Bool Source #

(/=)TipInfoIsEBB blk → TipInfoIsEBB blk → Bool Source #

StandardHash blk ⇒ Show (TipInfoIsEBB blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Generic (TipInfoIsEBB blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Associated Types

type Rep (TipInfoIsEBB blk) ∷ TypeType Source #

Methods

fromTipInfoIsEBB blk → Rep (TipInfoIsEBB blk) x Source #

toRep (TipInfoIsEBB blk) x → TipInfoIsEBB blk Source #

StandardHash blk ⇒ NoThunks (TipInfoIsEBB blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

Methods

noThunks ∷ Context → TipInfoIsEBB blk → IO (Maybe ThunkInfo) #

wNoThunks ∷ Context → TipInfoIsEBB blk → IO (Maybe ThunkInfo) #

showTypeOfProxy (TipInfoIsEBB blk) → String #

type Rep (TipInfoIsEBB blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

type Rep (TipInfoIsEBB blk) = D1 ('MetaData "TipInfoIsEBB" "Ouroboros.Consensus.HeaderValidation" "ouroboros-consensus-0.1.0.0-inplace" 'False) (C1 ('MetaCons "TipInfoIsEBB" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HeaderHash blk)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IsEBB)))

Serialization

decodeAnnTipIsEBBTipInfo blk ~ TipInfoIsEBB blk ⇒ (∀ s. Decoder s (HeaderHash blk)) → ∀ s. Decoder s (AnnTip blk) Source #

decodeHeaderState ∷ (∀ s. Decoder s (ChainDepState (BlockProtocol blk))) → (∀ s. Decoder s (AnnTip blk)) → ∀ s. Decoder s (HeaderState blk) Source #

defaultDecodeAnnTipTipInfo blk ~ HeaderHash blk ⇒ (∀ s. Decoder s (HeaderHash blk)) → ∀ s. Decoder s (AnnTip blk) Source #

defaultEncodeAnnTipTipInfo blk ~ HeaderHash blk ⇒ (HeaderHash blk → Encoding) → AnnTip blk → Encoding Source #

encodeAnnTipIsEBBTipInfo blk ~ TipInfoIsEBB blk ⇒ (HeaderHash blk → Encoding) → AnnTip blk → Encoding Source #

encodeHeaderState ∷ (ChainDepState (BlockProtocol blk) → Encoding) → (AnnTip blk → Encoding) → HeaderState blk → Encoding Source #

Type family instances

data family Ticked st ∷ Type Source #

" Ticked " piece of state (LedgerState, LedgerView, ChainIndepState)

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 (or forecast).

Some examples of time related changes:

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

Instances

Instances details
Show (Ticked ()) Source # 
Instance details

Defined in Ouroboros.Consensus.Ticked

Methods

showsPrecIntTicked () → ShowS Source #

showTicked () → String Source #

showList ∷ [Ticked ()] → ShowS Source #

Show (Ticked a) ⇒ Show (Ticked (K a x)) Source # 
Instance details

Defined in Ouroboros.Consensus.Ticked

Methods

showsPrecIntTicked (K a x) → ShowS Source #

showTicked (K a x) → String Source #

showList ∷ [Ticked (K a x)] → ShowS Source #

(SListI xs, Show (Ticked a)) ⇒ Show (Ticked (HardForkLedgerView_ (K a ∷ TypeType) xs)) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol.LedgerView

Generic (Ticked (LedgerState (HardForkBlock xs))) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Associated Types

type Rep (Ticked (LedgerState (HardForkBlock xs))) ∷ TypeType 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) #

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

showTypeOfProxy (Ticked (LedgerState (DualBlock m a))) → String #

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

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

showTypeOfProxy (Ticked (LedgerState (HardForkBlock xs))) → String #

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

Defined in Ouroboros.Consensus.Ledger.Dual

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

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

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

Defined in Ouroboros.Consensus.Ledger.Extended

IsLedger l ⇒ GetTip (Ticked (LedgerDB l)) Source # 
Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.InMemory

Methods

getTipTicked (LedgerDB l) → Point (Ticked (LedgerDB l)) Source #

Isomorphic (Ticked :.: LedgerState) Source # 
Instance details

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

Show (Ticked (f a)) ⇒ Show ((Ticked :.: f) a) Source # 
Instance details

Defined in Ouroboros.Consensus.Ticked

Methods

showsPrecInt → (Ticked :.: f) a → ShowS Source #

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

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

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

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

showTypeOfProxy ((Ticked :.: f) a) → String #

data Ticked () Source # 
Instance details

Defined in Ouroboros.Consensus.Ticked

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.1.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 HeaderHash (Ticked l) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Basics

data Ticked (LedgerState (DualBlock m a)) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

data Ticked (LedgerState (HardForkBlock xs)) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

data Ticked (HeaderState blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HeaderValidation

newtype Ticked (WrapLedgerView blk) Source # 
Instance details

Defined in Ouroboros.Consensus.TypeFamilyWrappers

newtype Ticked (WrapChainDepState blk) Source # 
Instance details

Defined in Ouroboros.Consensus.TypeFamilyWrappers

data Ticked (ExtLedgerState blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Extended

data Ticked (LedgerDB l) Source #

Ticking the ledger DB just ticks the current state

We don't push the new state into the DB until we apply a block.

Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.InMemory

data Ticked (HardForkChainDepState xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol

data Ticked (PBftState c) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.PBFT

newtype Ticked (PBftLedgerView c) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.PBFT

data Ticked (HardForkLedgerView_ f xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol.LedgerView

newtype Ticked (K a x) Source # 
Instance details

Defined in Ouroboros.Consensus.Ticked

newtype Ticked (K a x) = TickedK {}