Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Fragment.Validated

Contents

Monadic

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 ∷ ∀ l b (mk ∷ MapKind). (GetTip l, HasHeader b, HeaderHash b ~ HeaderHash l, HasCallStack) ⇒ AnchoredFragment b → l mk → ValidatedFragment b (l mk)
validatedFragment ∷ ValidatedFragment b l → AnchoredFragment b
validatedLedger ∷ ValidatedFragment b l → l
validatedTip ∷ HasHeader b ⇒ ValidatedFragment b l → Point b
newM ∷ (MonadSTM m, GetTipSTM m l, HasHeader b, HeaderHash b ~ HeaderHash l, HasCallStack) ⇒ AnchoredFragment b → l → m (ValidatedFragment b l)

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