| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.Storage.VolatileDB.Impl.Types
Synopsis
- mkBlocksPerFile ∷ Word32 → BlocksPerFile
- unBlocksPerFile ∷ BlocksPerFile → Word32
- data BlocksPerFile
- data BlockValidationPolicy
- data ParseError blk
- data TraceEvent blk
- = DBAlreadyClosed
- | BlockAlreadyHere (HeaderHash blk)
- | Truncate (ParseError blk) FsPath BlockOffset
- | InvalidFileNames [FsPath]
- | DBClosed
- newtype BlockOffset = BlockOffset {}
- newtype BlockSize = BlockSize {}
- type FileId = Int
- data InternalBlockInfo blk = InternalBlockInfo {
- ibiFile ∷ !FsPath
- ibiBlockOffset ∷ !BlockOffset
- ibiBlockSize ∷ !BlockSize
- ibiBlockInfo ∷ !(BlockInfo blk)
- ibiNestedCtxt ∷ !(SomeSecond (NestedCtxt Header) blk)
- type ReverseIndex blk = Map (HeaderHash blk) (InternalBlockInfo blk)
- type SuccessorsIndex blk = Map (ChainHash blk) (Set (HeaderHash blk))
Blocks per file
mkBlocksPerFile ∷ Word32 → BlocksPerFile Source #
Create a BlocksPerFile.
PRECONDITION: the given number must be greater than 0, if not, this
function will throw an error.
opaque
data BlocksPerFile Source #
The maximum number of blocks to store per file.
Instances
| Generic BlocksPerFile Source # | |
Defined in Ouroboros.Consensus.Storage.VolatileDB.Impl.Types Associated Types type Rep BlocksPerFile ∷ Type → Type # | |
| Show BlocksPerFile Source # | |
Defined in Ouroboros.Consensus.Storage.VolatileDB.Impl.Types Methods showsPrec ∷ Int → BlocksPerFile → ShowS # show ∷ BlocksPerFile → String # showList ∷ [BlocksPerFile] → ShowS # | |
| type Rep BlocksPerFile Source # | |
Defined in Ouroboros.Consensus.Storage.VolatileDB.Impl.Types type Rep BlocksPerFile = D1 ('MetaData "BlocksPerFile" "Ouroboros.Consensus.Storage.VolatileDB.Impl.Types" "ouroboros-consensus-0.18.0.0-inplace" 'True) (C1 ('MetaCons "BlocksPerFile" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBlocksPerFile") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32))) | |
Block validation policy
data BlockValidationPolicy Source #
When block validation is enabled, the parser checks for each block a number of properties and stops parsing if it finds any invalid blocks.
Constructors
| NoValidation | |
| ValidateAll |
Instances
Parse error
data ParseError blk Source #
Note that we recover from the error, and thus never throw it as an
Exception.
Defined here instead of in the Parser module because TraceEvent depends
on it.
Constructors
| BlockReadErr ReadIncrementalErr | A block could not be parsed. |
| BlockCorruptedErr (HeaderHash blk) | A block was corrupted, e.g., checking its signature and/or hash failed. |
| DuplicatedBlock (HeaderHash blk) FsPath FsPath | A block with the same hash occurred twice in the VolatileDB files. We include the file in which it occurred first and the file in which it occured the second time. The two files can be the same. |
Instances
| StandardHash blk ⇒ Show (ParseError blk) Source # | |
Defined in Ouroboros.Consensus.Storage.VolatileDB.Impl.Types Methods showsPrec ∷ Int → ParseError blk → ShowS # show ∷ ParseError blk → String # showList ∷ [ParseError blk] → ShowS # | |
| StandardHash blk ⇒ Eq (ParseError blk) Source # | |
Defined in Ouroboros.Consensus.Storage.VolatileDB.Impl.Types Methods (==) ∷ ParseError blk → ParseError blk → Bool # (/=) ∷ ParseError blk → ParseError blk → Bool # | |
Tracing
data TraceEvent blk Source #
Constructors
| DBAlreadyClosed | |
| BlockAlreadyHere (HeaderHash blk) | |
| Truncate (ParseError blk) FsPath BlockOffset | |
| InvalidFileNames [FsPath] | |
| DBClosed |
Instances
Internal indices
newtype BlockOffset Source #
The offset at which a block is stored in a file.
Constructors
| BlockOffset | |
Fields | |
Instances
| Generic BlockOffset Source # | |
Defined in Ouroboros.Consensus.Storage.VolatileDB.Impl.Types Associated Types type Rep BlockOffset ∷ Type → Type # | |
| Show BlockOffset Source # | |
Defined in Ouroboros.Consensus.Storage.VolatileDB.Impl.Types Methods showsPrec ∷ Int → BlockOffset → ShowS # show ∷ BlockOffset → String # showList ∷ [BlockOffset] → ShowS # | |
| Eq BlockOffset Source # | |
| NoThunks BlockOffset Source # | |
| type Rep BlockOffset Source # | |
Defined in Ouroboros.Consensus.Storage.VolatileDB.Impl.Types type Rep BlockOffset = D1 ('MetaData "BlockOffset" "Ouroboros.Consensus.Storage.VolatileDB.Impl.Types" "ouroboros-consensus-0.18.0.0-inplace" 'True) (C1 ('MetaCons "BlockOffset" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBlockOffset") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64))) | |
Constructors
| BlockSize | |
Fields | |
data InternalBlockInfo blk Source #
The internal information the db keeps for each block.
Constructors
| InternalBlockInfo | |
Fields
| |
Instances
type ReverseIndex blk = Map (HeaderHash blk) (InternalBlockInfo blk) Source #
We map the header hash of each block to the InternalBlockInfo.
type SuccessorsIndex blk = Map (ChainHash blk) (Set (HeaderHash blk)) Source #
For each block, we store the set of all blocks which have this block as a predecessor (set of successors).