Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.Fragment.ValidatedDiff

Description

Intended for qualified import

import Ouroboros.Consensus.Fragment.ValidatedDiff (ValidatedChainDiff (..))
import qualified Ouroboros.Consensus.Fragment.ValidatedDiff as ValidatedDiff

Synopsis

data ValidatedChainDiff b l where
- pattern ValidatedChainDiff ∷ ChainDiff b → l → ValidatedChainDiff b l
getChainDiff ∷ ValidatedChainDiff b l → ChainDiff b
getLedger ∷ ValidatedChainDiff b l → l
new ∷ ∀ b l. (GetTip l, HasHeader b, HeaderHash l ~ HeaderHash b, HasCallStack) ⇒ ChainDiff b → l → ValidatedChainDiff b l
rollbackExceedsSuffix ∷ HasHeader b ⇒ ValidatedChainDiff b l → Bool
toValidatedFragment ∷ (GetTip l, HasHeader b, HeaderHash l ~ HeaderHash b, HasCallStack) ⇒ ValidatedChainDiff b l → ValidatedFragment b l

Documentation

data ValidatedChainDiff b l where Source #

A ChainDiff along with the ledger state after validation.

INVARIANT:

getTip chainDiff == ledgerTipPoint ledger

Bundled Patterns

pattern ValidatedChainDiff ∷ ChainDiff b → l → ValidatedChainDiff b l

Allow for pattern matching on a ValidatedChainDiff without exposing the (unsafe) constructor. Use new to construct a ValidatedChainDiff.

getChainDiff ∷ ValidatedChainDiff b l → ChainDiff b Source #

getLedger ∷ ValidatedChainDiff b l → l Source #

new ∷ ∀ b l. (GetTip l, HasHeader b, HeaderHash l ~ HeaderHash b, HasCallStack) ⇒ ChainDiff b → l → ValidatedChainDiff b l Source #

Create a ValidatedChainDiff.

PRECONDITION:

getTip chainDiff == ledgerTipPoint ledger

rollbackExceedsSuffix ∷ HasHeader b ⇒ ValidatedChainDiff b l → Bool Source #

toValidatedFragment ∷ (GetTip l, HasHeader b, HeaderHash l ~ HeaderHash b, HasCallStack) ⇒ ValidatedChainDiff b l → ValidatedFragment b l Source #