| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.Fragment.Validated
Description
Intended for qualified import
import Ouroboros.Consensus.Fragment.Validated (ValidatedFragment) import qualified Ouroboros.Consensus.Fragment.Validated as VF
Synopsis
- data ValidatedFragment b l where
- pattern ValidatedFragment ∷ (GetTip l, HasHeader b, HeaderHash b ~ HeaderHash l, HasCallStack) ⇒ AnchoredFragment b → l → ValidatedFragment b l
- validatedFragment ∷ ValidatedFragment b l → AnchoredFragment b
- validatedLedger ∷ ValidatedFragment b l → l
- validatedTip ∷ HasHeader b ⇒ ValidatedFragment b l → Point b
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 ∷ (GetTip l, HasHeader b, HeaderHash b ~ HeaderHash l, HasCallStack) ⇒ AnchoredFragment b → l → ValidatedFragment b l |
Instances
| Functor (ValidatedFragment b) Source # | |
Defined in Ouroboros.Consensus.Fragment.Validated Methods fmap ∷ (a → b0) → ValidatedFragment b a → ValidatedFragment b b0 # (<$) ∷ a → ValidatedFragment b b0 → ValidatedFragment b a # | |
validatedFragment ∷ ValidatedFragment b l → AnchoredFragment b Source #
Chain fragment
validatedLedger ∷ ValidatedFragment b l → l Source #
Ledger after after validation
validatedTip ∷ HasHeader b ⇒ ValidatedFragment b l → Point b Source #