Moduleouroboros-consensus-4.2.1.0
Ouroboros.Consensus.Storage.VolatileDB
- 11 types
- 8 values
- Packageouroboros-consensus-4.2.1.0
- Exports19
- LicenceApache-2.0
Constructors
Constructors
BlockInfobiHash :: !HeaderHash blkbiSlotNo :: !SlotNobiBlockNo :: !BlockNobiPrevHash :: !ChainHash blkbiIsEBB :: !IsEBBbiHeaderOffset :: !Word16biHeaderSize :: !Word16
Instances5Eq, Show, Generic, NoThunks, Rep
StandardHash blk => Eq (BlockInfo blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.VolatileDB.APIStandardHash blk => Show (BlockInfo blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.VolatileDB.APIGeneric (BlockInfo blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.VolatileDB.API(StandardHash blk, Typeable blk) => NoThunks (BlockInfo blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.VolatileDB.APItype Rep (BlockInfo blk) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.VolatileDB.API"BlockInfo"
"Ouroboros.Consensus.Storage.VolatileDB.API"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons"BlockInfo"
'PrefixI 'True) ((S1 ('MetaSel ('Just"biHash"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HeaderHash blk)) :*: (S1 ('MetaSel ('Just"biSlotNo"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just"biBlockNo"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 BlockNo))) :*: ((S1 ('MetaSel ('Just"biPrevHash"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ChainHash blk)) :*: S1 ('MetaSel ('Just"biIsEBB"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IsEBB)) :*: (S1 ('MetaSel ('Just"biHeaderOffset"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word16) :*: S1 ('MetaSel ('Just"biHeaderSize"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word16)))))
Constructors
Instances1Show
(Typeable blk, StandardHash blk) => Show (UnexpectedFailure blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.VolatileDB.API
Constructors
VolatileDBcloseDB :: HasCallStack => m ()getBlockComponent :: forall b. HasCallStack => BlockComponent blk b -> HeaderHash blk -> m (Maybe b)putBlock :: HasCallStack => blk -> m ()filterByPredecessor :: HasCallStack => STM m (ChainHash blk -> Set (HeaderHash blk))getBlockInfo :: HasCallStack => STM m (HeaderHash blk -> Maybe (BlockInfo blk))garbageCollect :: HasCallStack => SlotNo -> m ()getMaxSlotNo :: HasCallStack => STM m MaxSlotNo
Instances1NoThunks
NoThunks (VolatileDB m blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.VolatileDB.API
Constructors
Instances2Show, Exception
(StandardHash blk, Typeable blk) => Show (VolatileDBError blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.VolatileDB.API(StandardHash blk, Typeable blk) => Exception (VolatileDBError blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.VolatileDB.API
Constructors
VolatileDbArgsvolCheckIntegrity :: HKD f (blk -> Bool)volCodecConfig :: HKD f (CodecConfig blk)volHasFS :: HKD f (SomeHasFS m)volMaxBlocksPerFile :: BlocksPerFilevolTracer :: Tracer m (TraceEvent blk)volValidationPolicy :: BlockValidationPolicy
type
type VolatileDbSerialiseConstraints blk = (EncodeDisk blk blk, DecodeDisk blk (ByteString -> Either DecoderError blk), DecodeDiskDep (NestedCtxt Header) blk, HasNestedContent Header blk, HasBinaryBlockInfo blk)Instances1Eq
Eq BlockValidationPolicyDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.VolatileDB.Impl.Types
Instances3Show, Generic, Rep
Show BlocksPerFileDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.VolatileDB.Impl.TypesGeneric BlocksPerFileDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.VolatileDB.Impl.Typestype Rep BlocksPerFile = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.VolatileDB.Impl.Types"BlocksPerFile"
"Ouroboros.Consensus.Storage.VolatileDB.Impl.Types"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'True) (C1 ('MetaCons"BlocksPerFile"
'PrefixI 'True) (S1 ('MetaSel ('Just"unBlocksPerFile"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32)))
Constructors
Instances2Eq, Show
StandardHash blk => Eq (ParseError blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.VolatileDB.Impl.TypesStandardHash blk => Show (ParseError blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.VolatileDB.Impl.Types
Constructors
Instances4Eq, Show, Generic, Rep
StandardHash blk => Eq (TraceEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.VolatileDB.Impl.TypesStandardHash blk => Show (TraceEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.VolatileDB.Impl.TypesGeneric (TraceEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.VolatileDB.Impl.Typestype Rep (TraceEvent blk) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.VolatileDB.Impl.Types"TraceEvent"
"Ouroboros.Consensus.Storage.VolatileDB.Impl.Types"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) ((C1 ('MetaCons"DBAlreadyClosed"
'PrefixI 'False) U1 :+: C1 ('MetaCons"BlockAlreadyHere"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HeaderHash blk)))) :+: (C1 ('MetaCons"Truncate"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ParseError blk)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FsPath) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockOffset))) :+: (C1 ('MetaCons"InvalidFileNames"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FsPath])) :+: C1 ('MetaCons"DBClosed"
'PrefixI 'False) U1)))