Safe Haskell | None |
---|---|
Language | Haskell2010 |
Ouroboros.Consensus.Storage.VolatileDB.Impl.FileInfo
Contents
Description
Information about the files stored by the volatile DB
Intended for qualified import.
Synopsis
- data FileInfo blk
- addBlock :: StandardHash blk => SlotNo -> HeaderHash blk -> FileInfo blk -> FileInfo blk
- empty :: FileInfo blk
- fromParsedBlockInfos :: forall blk. StandardHash blk => [ ParsedBlockInfo blk] -> FileInfo blk
- canGC :: FileInfo blk -> SlotNo -> Bool
- hashes :: FileInfo blk -> Set ( HeaderHash blk)
- isFull :: BlocksPerFile -> FileInfo blk -> Bool
- maxSlotNo :: FileInfo blk -> MaxSlotNo
- maxSlotNoInFiles :: [ FileInfo blk] -> MaxSlotNo
opaque
The internal information the VolatileDB keeps for each file.
Instances
StandardHash blk => Show ( FileInfo blk) Source # | |
Generic ( FileInfo blk) Source # | |
StandardHash blk => NoThunks ( FileInfo blk) Source # | |
type Rep ( FileInfo blk) Source # | |
Defined in Ouroboros.Consensus.Storage.VolatileDB.Impl.FileInfo
type
Rep
(
FileInfo
blk) =
D1
('
MetaData
"FileInfo" "Ouroboros.Consensus.Storage.VolatileDB.Impl.FileInfo" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" '
False
) (
C1
('
MetaCons
"FileInfo" '
PrefixI
'
True
) (
S1
('
MetaSel
('
Just
"maxSlotNo") '
NoSourceUnpackedness
'
SourceStrict
'
DecidedStrict
) (
Rec0
MaxSlotNo
)
:*:
S1
('
MetaSel
('
Just
"hashes") '
NoSourceUnpackedness
'
SourceStrict
'
DecidedStrict
) (
Rec0
(
Set
(
HeaderHash
blk)))))
|
Construction
addBlock :: StandardHash blk => SlotNo -> HeaderHash blk -> FileInfo blk -> FileInfo blk Source #
Adds a block to a
FileInfo
.
fromParsedBlockInfos :: forall blk. StandardHash blk => [ ParsedBlockInfo blk] -> FileInfo blk Source #
Construct a
FileInfo
from the parser result.
Queries
Checks if this file can be GCed.
maxSlotNoInFiles :: [ FileInfo blk] -> MaxSlotNo Source #