| Safe Haskell | None |
|---|---|
| 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 :: (IsLedger 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 :: (IsLedger 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 #