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

Ouroboros.Consensus.Fragment.Validated

Contents

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

The invariant is only checked on construction, maintaining it afterwards is up to the user.

Bundled Patterns

pattern ValidatedFragment ∷ ∀ l b (mk ∷ MapKind). (GetTip l, HasHeader b, HeaderHash b ~ HeaderHash l, HasCallStack) ⇒ AnchoredFragment b → l mk → ValidatedFragment b (l mk) 

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 #

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

Foldable (ValidatedFragment b) Source # 
Instance details

Defined in Ouroboros.Consensus.Fragment.Validated

Methods

fold ∷ Monoid m ⇒ ValidatedFragment b m → m #

foldMap ∷ Monoid m ⇒ (a → m) → ValidatedFragment b a → m #

foldMap' ∷ Monoid m ⇒ (a → m) → ValidatedFragment b a → m #

foldr ∷ (a → b0 → b0) → b0 → ValidatedFragment b a → b0 #

foldr' ∷ (a → b0 → b0) → b0 → ValidatedFragment b a → b0 #

foldl ∷ (b0 → a → b0) → b0 → ValidatedFragment b a → b0 #

foldl' ∷ (b0 → a → b0) → b0 → ValidatedFragment b a → b0 #

foldr1 ∷ (a → a → a) → ValidatedFragment b a → a #

foldl1 ∷ (a → a → a) → ValidatedFragment b a → a #

toList ∷ ValidatedFragment b a → [a] #

null ∷ ValidatedFragment b a → Bool #

length ∷ ValidatedFragment b a → Int #

elem ∷ Eq a ⇒ a → ValidatedFragment b a → Bool #

maximum ∷ Ord a ⇒ ValidatedFragment b a → a #

minimum ∷ Ord a ⇒ ValidatedFragment b a → a #

sum ∷ Num a ⇒ ValidatedFragment b a → a #

product ∷ Num a ⇒ ValidatedFragment b a → a #

Traversable (ValidatedFragment b) Source # 
Instance details

Defined in Ouroboros.Consensus.Fragment.Validated

Methods

traverse ∷ Applicative f ⇒ (a → f b0) → ValidatedFragment b a → f (ValidatedFragment b b0) #

sequenceA ∷ Applicative f ⇒ ValidatedFragment b (f a) → f (ValidatedFragment b a) #

mapM ∷ Monad m ⇒ (a → m b0) → ValidatedFragment b a → m (ValidatedFragment b b0) #

sequence ∷ Monad m ⇒ ValidatedFragment b (m a) → m (ValidatedFragment b a) #

validatedFragment ∷ ValidatedFragment b l → AnchoredFragment b Source #

Chain fragment

validatedLedger ∷ ValidatedFragment b l → l Source #

Ledger after validation

validatedTip ∷ HasHeader b ⇒ ValidatedFragment b l → Point b Source #

Monadic

newM ∷ (MonadSTM m, GetTipSTM m l, HasHeader b, HeaderHash b ~ HeaderHash l, HasCallStack) ⇒ AnchoredFragment b → l → m (ValidatedFragment b l) Source #

Constructor for ValidatedFragment that checks the invariant