Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Util.AnchoredFragment

Synopsis

value compareAnchoredFragments
value compareHeadBlockNo
value cross
value forksAtMostKWeight
value preferAnchoredCandidate
value stripCommonPrefix
type ReasonForSwitch'

Packageouroboros-consensus-4.2.1.0
Exports7
LicenceApache-2.0

valuecompareAnchoredFragments

:: (BlockSupportsProtocol blk, HasCallStack, GetHeader1 h, HasHeader (h blk), HeaderHash (h blk) ~ HeaderHash blk)
=> BlockConfig blk
-> PerasWeightSnapshot blk
-> AnchoredFragment (h blk)
-> AnchoredFragment (h blk)
-> Ordering

valuecompareHeadBlockNo

:: HasHeader b
=> AnchoredFragment b
-> AnchoredFragment b
-> Ordering

valuecross

:: HasHeader block
=> AnchoredFragment block
-> AnchoredFragment block
-> Maybe (Point block, AnchoredFragment block)

valueforksAtMostKWeight

:: (StandardHash blk, HasHeader b, HeaderHash blk ~ HeaderHash b)
=> PerasWeightSnapshot blk
-> PerasWeight
-> AnchoredFragment b
-> AnchoredFragment b
-> Bool

valuepreferAnchoredCandidate

:: (BlockSupportsProtocol blk, HasCallStack, GetHeader1 h, GetHeader1 h', HeaderHash (h blk) ~ HeaderHash blk, HeaderHash (h blk) ~ HeaderHash (h' blk), HasHeader (h blk), HasHeader (h' blk))
=> BlockConfig blk
-> PerasWeightSnapshot blk
-> AnchoredFragment (h blk)
-> AnchoredFragment (h' blk)
-> ShouldSwitch (ReasonForSwitch' blk)

valuestripCommonPrefix

:: (Functor f, Foldable f, HasHeader blk)
=> Anchor blk
-> f (AnchoredFragment blk)
-> (AnchoredFragment blk, f (AnchoredFragment blk))

type

type ReasonForSwitch' blk = Either (ReasonForSwitch (WithEmptyFragment (WeightedSelectView (BlockProtocol blk)))) (ReasonForSwitch (SelectView (BlockProtocol blk)))