Safe Haskell	None
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 :: forall b l. ( IsLedger l, HasHeader b, HeaderHash l ~ HeaderHash b, HasCallStack ) => ChainDiff b -> l -> ValidatedChainDiff b l
rollbackExceedsSuffix :: HasHeader b => ValidatedChainDiff b l -> Bool
toValidatedFragment :: ( IsLedger 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 :: forall b l. ( IsLedger 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 :: ( IsLedger l, HasHeader b, HeaderHash l ~ HeaderHash b, HasCallStack ) => ValidatedChainDiff b l -> ValidatedFragment b l Source #