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

Ouroboros.Consensus.Fragment.Validated

Description

Intended for qualified import

import Ouroboros.Consensus.Fragment.Validated (ValidatedFragment)
import qualified Ouroboros.Consensus.Fragment.Validated as VF
Synopsis

Documentation

data ValidatedFragment b l where Source #

Validated chain fragment along with the ledger state after validation

INVARIANT:

AF.headPoint validatedFragment == ledgerTipPoint validatedLedger

Bundled Patterns

pattern ValidatedFragment ∷ (IsLedger l, HasHeader b, HeaderHash b ~ HeaderHash l, HasCallStack) ⇒ AnchoredFragment b → l → ValidatedFragment b l 

Instances

Instances details
Functor (ValidatedFragment b) Source # 
Instance details

Defined in Ouroboros.Consensus.Fragment.Validated

Methods

fmap ∷ (a → b0) → ValidatedFragment b a → ValidatedFragment b b0 Source #

(<$) ∷ a → ValidatedFragment b b0 → ValidatedFragment b a Source #

validatedLedgerValidatedFragment b l → l Source #

Ledger after after validation