Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.x99ffbb82026-10-19Search packagesCtrl K

Theme: |

GHC 9.14.1 · lts/ghc-9.14.x · 99ffbb8 · 2026-10-19

Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Fragment.Diff

Synopsis

value append
value apply
value diff
value extend
value getAnchorPoint
value getTip
value map
value mapM
value rollbackExceedsSuffix
value takeWhileOldest
value truncate
data ChainDiff

Packageouroboros-consensus-4.2.1.0
Exports12
LicenceApache-2.0

valueappend :: HasHeader b => ChainDiff b -> b -> ChainDiff b

valueapply

:: HasHeader b
=> AnchoredFragment b
-> ChainDiff b
-> Maybe (AnchoredFragment b)

valuediff

:: (HasHeader b, HasHeader b', HeaderHash b ~ HeaderHash b', HasCallStack)
=> AnchoredFragment b'
-> AnchoredFragment b
-> ChainDiff b

valueextend :: AnchoredFragment b -> ChainDiff b

valuegetAnchorPoint :: ChainDiff b -> Point b

valuegetTip :: HasHeader b => ChainDiff b -> Point b

valuemap

:: (HasHeader b, HeaderHash a ~ HeaderHash b)
=> a -> b
-> ChainDiff a
-> ChainDiff b

valuemapM

:: (HasHeader b, HeaderHash a ~ HeaderHash b, Monad m)
=> a -> m b
-> ChainDiff a
-> m (ChainDiff b)

valuerollbackExceedsSuffix

:: (HasHeader b0, HasHeader b1, HasHeader b2, HeaderHash b0 ~ HeaderHash b1, HeaderHash b0 ~ HeaderHash b2)
=> PerasWeightSnapshot b0
-> AnchoredFragment b1
-> ChainDiff b2
-> Bool

valuetakeWhileOldest :: HasHeader b => (b -> Bool) -> ChainDiff b -> ChainDiff b

valuetruncate

:: (HasHeader b, HasCallStack)
=> Point b
-> ChainDiff b
-> ChainDiff b

datadata ChainDiff b

Constructors

ChainDiff
- getRollback :: !Word64
- getSuffix :: !AnchoredFragment b

Instances2Eq, Show

(StandardHash b, Eq b) => Eq (ChainDiff b)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Fragment.Diff
(StandardHash b, Show b) => Show (ChainDiff b)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Fragment.Diff