| 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 Source # (<$) :: a -> ValidatedFragment b b0 -> ValidatedFragment b a Source # |
|
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 #