Moduleouroboros-consensus-4.2.1.0
Ouroboros.Consensus.Storage.ImmutableDB
- 25 types
- 59 values
- Packageouroboros-consensus-4.2.1.0
- Exports85
- LicenceApache-2.0
Constructors
AppendBlockNotNewerThanTipError (RealPoint blk) (Point blk)InvalidIteratorRangeError (StreamFrom blk) (StreamTo blk)ClosedDBErrorOpenDBError
Instances1Show
(StandardHash blk, Typeable blk) => Show (ApiMisuse blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.API
Constructors
CompareTipgetCompareTip :: Tip blk
Instances2Eq, Ord
Eq (CompareTip blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.APIOrd (CompareTip blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.API
Constructors
ImmutableDBcloseDB_ :: HasCallStack => m ()getTip_ :: HasCallStack => STM m (WithOrigin (Tip blk))getBlockComponent_ :: forall b. HasCallStack => BlockComponent blk b -> RealPoint blk -> m (Either (MissingBlock blk) b)appendBlock_ :: HasCallStack => blk -> m ()stream_ :: forall b. HasCallStack => ResourceRegistry m -> BlockComponent blk b -> StreamFrom blk -> StreamTo blk -> m (Either (MissingBlock blk) (Iterator m blk b))getBlockAtOrAfterPoint_ :: HasCallStack => RealPoint blk -> m (Either SeekBlockError (RealPoint blk))
Instances1NoThunks
NoThunks (ImmutableDB m blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.API
Constructors
Instances4Show, Generic, Exception, Rep
(StandardHash blk, Typeable blk) => Show (ImmutableDBError blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.APIGeneric (ImmutableDBError blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.API(StandardHash blk, Typeable blk) => Exception (ImmutableDBError blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.APItype Rep (ImmutableDBError blk) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.API"ImmutableDBError"
"Ouroboros.Consensus.Storage.ImmutableDB.API"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons"ApiMisuse"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ApiMisuse blk)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PrettyCallStack)) :+: C1 ('MetaCons"UnexpectedFailure"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UnexpectedFailure blk))))
Constructors
IteratoriteratorNext :: HasCallStack => m (IteratorResult b)iteratorHasNext :: HasCallStack => STM m (Maybe (RealPoint blk))iteratorClose :: HasCallStack => m ()
Constructors
Instances7Functor, Foldable, Traversable, Eq, Show, Generic, …
Functor IteratorResultDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.APIFoldable IteratorResultDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.APITraversable IteratorResultDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.APIEq b => Eq (IteratorResult b)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.APIShow b => Show (IteratorResult b)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.APIGeneric (IteratorResult b)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.APItype Rep (IteratorResult b) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.API"IteratorResult"
"Ouroboros.Consensus.Storage.ImmutableDB.API"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons"IteratorExhausted"
'PrefixI 'False) U1 :+: C1 ('MetaCons"IteratorResult"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 b)))
Constructors
EmptySlot (RealPoint blk) ChunkNo [RelativeSlot] (Maybe (StrictSeq SecondaryOffset))WrongHash (RealPoint blk) (NonEmpty (HeaderHash blk))NewerThanTip (RealPoint blk) (Point blk)
Instances4Eq, Show, Generic, Rep
StandardHash blk => Eq (MissingBlock blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.APIStandardHash blk => Show (MissingBlock blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.APIGeneric (MissingBlock blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.APItype Rep (MissingBlock blk) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.API"MissingBlock"
"Ouroboros.Consensus.Storage.ImmutableDB.API"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons"EmptySlot"
'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RealPoint blk)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChunkNo)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [RelativeSlot]) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (StrictSeq SecondaryOffset))))) :+: (C1 ('MetaCons"WrongHash"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RealPoint blk)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (HeaderHash blk)))) :+: C1 ('MetaCons"NewerThanTip"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RealPoint blk)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk)))))
Instances2Eq, Show
Eq SeekBlockErrorDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.APIShow SeekBlockErrorDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.API
Constructors
TiptipSlotNo :: !SlotNotipIsEBB :: !IsEBBtipBlockNo :: !BlockNotipHash :: !HeaderHash blk
Instances6Eq, Show, Generic, NFData, NoThunks, Rep
StandardHash blk => Eq (Tip blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.APIStandardHash blk => Show (Tip blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.APIGeneric (Tip blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.APIStandardHash blk => NFData (Tip blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.APIStandardHash blk => NoThunks (Tip blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.APItype Rep (Tip blk) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.API"Tip"
"Ouroboros.Consensus.Storage.ImmutableDB.API"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons"Tip"
'PrefixI 'True) ((S1 ('MetaSel ('Just"tipSlotNo"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just"tipIsEBB"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IsEBB)) :*: (S1 ('MetaSel ('Just"tipBlockNo"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 BlockNo) :*: S1 ('MetaSel ('Just"tipHash"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HeaderHash blk)))))
Constructors
FileSystemError FsErrorInvalidFileError FsPath String PrettyCallStackMissingFileError FsPath PrettyCallStackChecksumMismatchError (RealPoint blk) CRC CRC FsPath PrettyCallStackParseError FsPath (RealPoint blk) DecoderErrorTrailingDataError FsPath (RealPoint blk) ByteStringMissingBlockError (MissingBlock blk)CorruptBlockError (RealPoint blk)
Instances1Show
(StandardHash blk, Typeable blk) => Show (UnexpectedFailure blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.API
Constructors
Instances4Show, Generic, NoThunks, Rep
Show ChunkInfoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Chunks.InternalGeneric ChunkInfoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Chunks.InternalNoThunks ChunkInfoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internaltype Rep ChunkInfo = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internal"ChunkInfo"
"Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internal"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons"UniformChunkSize"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChunkSize)))
Instances6Eq, Ord, Show, Generic, NoThunks, Rep
Eq ChunkNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Chunks.InternalOrd ChunkNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Chunks.InternalShow ChunkNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Chunks.InternalGeneric ChunkNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Chunks.InternalNoThunks ChunkNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internaltype Rep ChunkNo = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internal"ChunkNo"
"Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internal"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'True) (C1 ('MetaCons"ChunkNo"
'PrefixI 'True) (S1 ('MetaSel ('Just"unChunkNo"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
Constructors
Instances4Show, Generic, NoThunks, Rep
Show ChunkSizeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Chunks.InternalGeneric ChunkSizeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Chunks.InternalNoThunks ChunkSizeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internaltype Rep ChunkSize = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internal"ChunkSize"
"Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internal"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons"ChunkSize"
'PrefixI 'True) (S1 ('MetaSel ('Just"chunkCanContainEBB"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just"numRegularBlocks"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64)))
Instances5Eq, Show, Generic, NoThunks, Rep
Eq RelativeSlotDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Chunks.InternalShow RelativeSlotDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Chunks.InternalGeneric RelativeSlotDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Chunks.InternalNoThunks RelativeSlotDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internaltype Rep RelativeSlot = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internal"RelativeSlot"
"Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internal"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons"RelativeSlot"
'PrefixI 'True) (S1 ('MetaSel ('Just"relativeSlotChunkNo"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ChunkNo) :*: (S1 ('MetaSel ('Just"relativeSlotChunkSize"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChunkSize) :*: S1 ('MetaSel ('Just"relativeSlotIndex"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64))))
Constructors
Instances6Eq, Ord, Show, Generic, NoThunks, Rep
Eq ChunkSlotDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Chunks.LayoutOrd ChunkSlotDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Chunks.LayoutShow ChunkSlotDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Chunks.LayoutGeneric ChunkSlotDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Chunks.LayoutNoThunks ChunkSlotDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Layouttype Rep ChunkSlot = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Layout"ChunkSlot"
"Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Layout"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons"UnsafeChunkSlot"
'PrefixI 'True) (S1 ('MetaSel ('Just"chunkIndex"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ChunkNo) :*: S1 ('MetaSel ('Just"chunkRelative"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RelativeSlot)))
Constructors
Constructors
ImmutableDbArgsimmCacheConfig :: CacheConfigimmCheckIntegrity :: HKD f (blk -> Bool)immChunkInfo :: HKD f ChunkInfoimmCodecConfig :: HKD f (CodecConfig blk)immHasFS :: HKD f (SomeHasFS m)immRegistry :: HKD f (ResourceRegistry m)immTracer :: Tracer m (TraceEvent blk)immValidationPolicy :: ValidationPolicy
type
type ImmutableDbSerialiseConstraints blk = (EncodeDisk blk blk, DecodeDisk blk (ByteString -> Either DecoderError blk), DecodeDiskDep (NestedCtxt Header) blk, ReconstructNestedCtxt Header blk, HasBinaryBlockInfo blk)Constructors
InternaldeleteAfter_ :: HasCallStack => WithOrigin (Tip blk) -> m ()getHashForSlot_ :: HasCallStack => SlotNo -> m (Maybe (HeaderHash blk))
Constructors
Instances2Eq, Show
Eq CacheConfigDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Impl.Index.CacheShow CacheConfigDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Impl.Index.Cache
Constructors
Instances2Eq, Show
StandardHash blk => Eq (ChunkFileError blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Impl.TypesStandardHash blk => Show (ChunkFileError blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Impl.Types
Constructors
StartedValidatingChunk ChunkNo validateToValidatedChunk ChunkNo validateToMissingChunkFile ChunkNoInvalidChunkFile ChunkNo (ChunkFileError blk)MissingPrimaryIndex ChunkNoMissingSecondaryIndex ChunkNoInvalidPrimaryIndex ChunkNoInvalidSecondaryIndex ChunkNoRewritePrimaryIndex ChunkNoRewriteSecondaryIndex ChunkNo
Instances5Functor, Eq, Show, Generic, Rep
Functor (TraceChunkValidation blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Impl.Types(StandardHash blk, Eq validateTo) => Eq (TraceChunkValidation blk validateTo)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Impl.Types(StandardHash blk, Show validateTo) => Show (TraceChunkValidation blk validateTo)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Impl.TypesGeneric (TraceChunkValidation blk validateTo)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Impl.Typestype Rep (TraceChunkValidation blk validateTo) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Impl.Types"TraceChunkValidation"
"Ouroboros.Consensus.Storage.ImmutableDB.Impl.Types"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (((C1 ('MetaCons"StartedValidatingChunk"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChunkNo) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 validateTo)) :+: C1 ('MetaCons"ValidatedChunk"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChunkNo) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 validateTo))) :+: (C1 ('MetaCons"MissingChunkFile"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChunkNo)) :+: (C1 ('MetaCons"InvalidChunkFile"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChunkNo) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ChunkFileError blk))) :+: C1 ('MetaCons"MissingPrimaryIndex"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChunkNo))))) :+: ((C1 ('MetaCons"MissingSecondaryIndex"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChunkNo)) :+: C1 ('MetaCons"InvalidPrimaryIndex"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChunkNo))) :+: (C1 ('MetaCons"InvalidSecondaryIndex"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChunkNo)) :+: (C1 ('MetaCons"RewritePrimaryIndex"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChunkNo)) :+: C1 ('MetaCons"RewriteSecondaryIndex"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChunkNo))))))
Instances4Eq, Show, Generic, Rep
StandardHash blk => Eq (TraceEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Impl.TypesStandardHash blk => Show (TraceEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Impl.TypesGeneric (TraceEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Impl.Typestype Rep (TraceEvent blk) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Impl.Types"TraceEvent"
"Ouroboros.Consensus.Storage.ImmutableDB.Impl.Types"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (((C1 ('MetaCons"NoValidLastLocation"
'PrefixI 'False) U1 :+: C1 ('MetaCons"ValidatedLastLocation"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChunkNo) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Tip blk)))) :+: (C1 ('MetaCons"ChunkValidationEvent"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TraceChunkValidation blk ChunkNo))) :+: C1 ('MetaCons"ChunkFileDoesntFit"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ChainHash blk)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ChainHash blk))))) :+: ((C1 ('MetaCons"Migrating"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons"DeletingAfter"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WithOrigin (Tip blk))))) :+: (C1 ('MetaCons"DBAlreadyClosed"
'PrefixI 'False) U1 :+: (C1 ('MetaCons"DBClosed"
'PrefixI 'False) U1 :+: C1 ('MetaCons"TraceCacheEvent"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TraceCacheEvent))))))
Instances4Eq, Show, Generic, Rep
Eq ValidationPolicyDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Impl.TypesShow ValidationPolicyDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Impl.TypesGeneric ValidationPolicyDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Impl.Typestype Rep ValidationPolicy = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Impl.Types"ValidationPolicy"
"Ouroboros.Consensus.Storage.ImmutableDB.Impl.Types"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons"ValidateMostRecentChunk"
'PrefixI 'False) U1 :+: C1 ('MetaCons"ValidateAllChunks"
'PrefixI 'False) U1)