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.Storage.ChainDB.Impl.Paths

Synopsis

value computePath
value computeReversePath
value extendWithSuccessors
value isReachable
value maximalCandidates
type LookupBlockInfo
data Path
data ReversePath

Packageouroboros-consensus-4.2.1.0
Exports8
LicenceApache-2.0

valuecomputePath

:: HasHeader blk
=> LookupBlockInfo blk
-> StreamFrom blk
-> StreamTo blk
-> Maybe (Path blk)

valuecomputeReversePath

:: LookupBlockInfo blk
-> HeaderHash blk
-> Maybe (ReversePath blk)

valueextendWithSuccessors

:: HasHeader blk
=> ChainHash blk -> Set (HeaderHash blk)
-> LookupBlockInfo blk
-> ChainDiff (HeaderFields blk)
-> NonEmpty (ChainDiff (HeaderFields blk))

valueisReachable

:: (HasHeader blk, GetHeader blk)
=> LookupBlockInfo blk
-> AnchoredFragment (Header blk)
-> RealPoint blk
-> Maybe (ChainDiff (HeaderFields blk))

valuemaximalCandidates

:: ChainHash blk -> Set (HeaderHash blk)
-> Maybe Word64
-> Point blk
-> [NonEmpty (HeaderHash blk)]

typetype LookupBlockInfo blk = HeaderHash blk -> Maybe (BlockInfo blk)

datadata Path blk

Constructors

NotInVolatileDB (RealPoint blk)
CompletelyInVolatileDB [RealPoint blk]
PartiallyInVolatileDB (HeaderHash blk) [RealPoint blk]

Instances2Eq, Show

HasHeader blk => Eq (Path blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Paths
HasHeader blk => Show (Path blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.Impl.Paths

datadata ReversePath blk

Constructors

StoppedAtGenesis
StoppedAt (HeaderHash blk) BlockNo
ReversePath blk ::> (HeaderFields blk, IsEBB)