Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Storage.ImmutableDB.Impl.Index.Primary

2 types
27 values

Packageouroboros-consensus-4.2.1.0
Exports29
LicenceApache-2.0

valueappendOffsets

:: (Monad m, Foldable f, HasCallStack)
=> HasFS m h
-> Handle h
-> f SecondaryOffset
-> m ()

valuebackfill

valuebackfillChunk

valuecontainsSlot :: PrimaryIndex -> RelativeSlot -> Bool

valuecurrentVersionNumber :: Word8

valuefilledSlots :: ChunkInfo -> PrimaryIndex -> [RelativeSlot]

valuefirstFilledSlot :: ChunkInfo -> PrimaryIndex -> Maybe RelativeSlot

valuegetLastSlot :: ChunkInfo -> PrimaryIndex -> Maybe RelativeSlot

valueisFilledSlot :: HasCallStack => PrimaryIndex -> RelativeSlot -> Bool

valuelastFilledSlot

valuelastOffset :: PrimaryIndex -> SecondaryOffset

valueload

:: (HasCallStack, MonadThrow m, StandardHash blk, Typeable blk)
=> Proxy blk
-> HasFS m h
-> ChunkNo
-> m PrimaryIndex

valuemk :: ChunkNo -> [SecondaryOffset] -> Maybe PrimaryIndex

valuenextFilledSlot

valueoffsetOfSlot

valueopen

:: (HasCallStack, MonadCatch m)
=> HasFS m h
-> ChunkNo
-> AllowExisting
-> m (Handle h)

valuereadFirstFilledSlot

:: (HasCallStack, MonadThrow m, StandardHash blk, Typeable blk)
=> Proxy blk
-> HasFS m h
-> ChunkInfo
-> ChunkNo
-> m (Maybe RelativeSlot)

valuereadOffset

:: (HasCallStack, MonadThrow m, StandardHash blk, Typeable blk)
=> Proxy blk
-> HasFS m h
-> ChunkNo
-> RelativeSlot
-> m (Maybe SecondaryOffset)

valuereadOffsets

:: (HasCallStack, MonadThrow m, Traversable t, StandardHash blk, Typeable blk)
=> Proxy blk
-> HasFS m h
-> ChunkNo
-> t RelativeSlot
-> m (t (Maybe SecondaryOffset))

valuesecondaryOffsetSize :: Word64

valuesizeOfSlot :: HasCallStack => PrimaryIndex -> RelativeSlot -> Word32

valueslots :: PrimaryIndex -> Word64

valuetoSecondaryOffsets :: PrimaryIndex -> [SecondaryOffset]

valuetruncateToSlot :: ChunkInfo -> RelativeSlot -> PrimaryIndex -> PrimaryIndex

valuetruncateToSlotFS

:: (HasCallStack, MonadThrow m)
=> HasFS m h
-> ChunkNo
-> RelativeSlot
-> m ()

valueunfinalise

:: (HasCallStack, MonadThrow m, StandardHash blk, Typeable blk)
=> Proxy blk
-> HasFS m h
-> ChunkInfo
-> ChunkNo
-> m ()

valuewrite

:: (HasCallStack, MonadThrow m)
=> HasFS m h
-> ChunkNo
-> PrimaryIndex
-> m ()

typetype SecondaryOffset = Word32

datadata PrimaryIndex

Constructors

MkPrimaryIndex
- primaryIndexChunkNo :: !ChunkNo
- primaryIndexOffsets :: !Vector SecondaryOffset

Instances5Eq, Show, Generic, NoThunks, Rep

Eq PrimaryIndexDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Impl.Index.Primary
Show PrimaryIndexDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Impl.Index.Primary
Generic PrimaryIndexDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Impl.Index.Primary
NoThunks PrimaryIndexDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Impl.Index.Primary
type Rep PrimaryIndex = D1 ('MetaData "PrimaryIndex" "Ouroboros.Consensus.Storage.ImmutableDB.Impl.Index.Primary" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "MkPrimaryIndex" 'PrefixI 'True) (S1 ('MetaSel ('Just "primaryIndexChunkNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ChunkNo) :*: S1 ('MetaSel ('Just "primaryIndexOffsets") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Vector SecondaryOffset))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Impl.Index.Primary