Safe Haskell	Safe-Inferred
Language	GHC2021

Database.LSMTree.Extras.NoThunks

Contents

Orphan instances

Description

NoThunks orphan instances

Documentation

assertNoThunks :: NoThunks a => a -> b -> b Source #

propUnsafeNoThunks :: NoThunks a => a -> Property Source #

propNoThunks :: NoThunks a => a -> IO Property Source #

type NoThunksIOLike m = NoThunksIOLike' m (PrimState m) Source #

Orphan instances

Generic BlobSpan Source #
Instance details Associated Types type Rep BlobSpan :: Type -> Type # Methods from :: BlobSpan -> Rep BlobSpan x # to :: Rep BlobSpan x -> BlobSpan #
Generic CRC32C Source #
Instance details Associated Types type Rep CRC32C :: Type -> Type # Methods from :: CRC32C -> Rep CRC32C x # to :: Rep CRC32C x -> CRC32C #
Generic BloomFilterAlloc Source #
Instance details Associated Types type Rep BloomFilterAlloc :: Type -> Type # Methods from :: BloomFilterAlloc -> Rep BloomFilterAlloc x # to :: Rep BloomFilterAlloc x -> BloomFilterAlloc #
Generic DiskCachePolicy Source #
Instance details Associated Types type Rep DiskCachePolicy :: Type -> Type # Methods from :: DiskCachePolicy -> Rep DiskCachePolicy x # to :: Rep DiskCachePolicy x -> DiskCachePolicy #
Generic FencePointerIndexType Source #
Instance details Associated Types type Rep FencePointerIndexType :: Type -> Type # Methods from :: FencePointerIndexType -> Rep FencePointerIndexType x # to :: Rep FencePointerIndexType x -> FencePointerIndexType #
Generic MergeBatchSize Source #
Instance details Associated Types type Rep MergeBatchSize :: Type -> Type # Methods from :: MergeBatchSize -> Rep MergeBatchSize x # to :: Rep MergeBatchSize x -> MergeBatchSize #
Generic MergePolicy Source #
Instance details Associated Types type Rep MergePolicy :: Type -> Type # Methods from :: MergePolicy -> Rep MergePolicy x # to :: Rep MergePolicy x -> MergePolicy #
Generic MergeSchedule Source #
Instance details Associated Types type Rep MergeSchedule :: Type -> Type # Methods from :: MergeSchedule -> Rep MergeSchedule x # to :: Rep MergeSchedule x -> MergeSchedule #
Generic SizeRatio Source #
Instance details Associated Types type Rep SizeRatio :: Type -> Type # Methods from :: SizeRatio -> Rep SizeRatio x # to :: Rep SizeRatio x -> SizeRatio #
Generic TableConfig Source #
Instance details Associated Types type Rep TableConfig :: Type -> Type # Methods from :: TableConfig -> Rep TableConfig x # to :: Rep TableConfig x -> TableConfig #
Generic WriteBufferAlloc Source #
Instance details Associated Types type Rep WriteBufferAlloc :: Type -> Type # Methods from :: WriteBufferAlloc -> Rep WriteBufferAlloc x # to :: Rep WriteBufferAlloc x -> WriteBufferAlloc #
Generic NumEntries Source #
Instance details Associated Types type Rep NumEntries :: Type -> Type # Methods from :: NumEntries -> Rep NumEntries x # to :: Rep NumEntries x -> NumEntries #
Generic MergePolicyForLevel Source #
Instance details Associated Types type Rep MergePolicyForLevel :: Type -> Type # Methods from :: MergePolicyForLevel -> Rep MergePolicyForLevel x # to :: Rep MergePolicyForLevel x -> MergePolicyForLevel #
Generic NominalCredits Source #
Instance details Associated Types type Rep NominalCredits :: Type -> Type # Methods from :: NominalCredits -> Rep NominalCredits x # to :: Rep NominalCredits x -> NominalCredits #
Generic NominalDebt Source #
Instance details Associated Types type Rep NominalDebt :: Type -> Type # Methods from :: NominalDebt -> Rep NominalDebt x # to :: Rep NominalDebt x -> NominalDebt #
Generic Index Source #
Instance details Associated Types type Rep Index :: Type -> Type # Methods from :: Index -> Rep Index x # to :: Rep Index x -> Index #
Generic IndexType Source #
Instance details Associated Types type Rep IndexType :: Type -> Type # Methods from :: IndexType -> Rep IndexType x # to :: Rep IndexType x -> IndexType #
Generic IndexCompact Source #
Instance details Associated Types type Rep IndexCompact :: Type -> Type # Methods from :: IndexCompact -> Rep IndexCompact x # to :: Rep IndexCompact x -> IndexCompact #
Generic IndexOrdinary Source #
Instance details Associated Types type Rep IndexOrdinary :: Type -> Type # Methods from :: IndexOrdinary -> Rep IndexOrdinary x # to :: Rep IndexOrdinary x -> IndexOrdinary #
Generic LevelMergeType Source #
Instance details Associated Types type Rep LevelMergeType :: Type -> Type # Methods from :: LevelMergeType -> Rep LevelMergeType x # to :: Rep LevelMergeType x -> LevelMergeType #
Generic MergeState Source #
Instance details Associated Types type Rep MergeState :: Type -> Type # Methods from :: MergeState -> Rep MergeState x # to :: Rep MergeState x -> MergeState #
Generic MergeType Source #
Instance details Associated Types type Rep MergeType :: Type -> Type # Methods from :: MergeType -> Rep MergeType x # to :: Rep MergeType x -> MergeType #
Generic StepResult Source #
Instance details Associated Types type Rep StepResult :: Type -> Type # Methods from :: StepResult -> Rep StepResult x # to :: Rep StepResult x -> StepResult #
Generic TreeMergeType Source #
Instance details Associated Types type Rep TreeMergeType :: Type -> Type # Methods from :: TreeMergeType -> Rep TreeMergeType x # to :: Rep TreeMergeType x -> TreeMergeType #
Generic MergeCredits Source #
Instance details Associated Types type Rep MergeCredits :: Type -> Type # Methods from :: MergeCredits -> Rep MergeCredits x # to :: Rep MergeCredits x -> MergeCredits #
Generic MergeDebt Source #
Instance details Associated Types type Rep MergeDebt :: Type -> Type # Methods from :: MergeDebt -> Rep MergeDebt x # to :: Rep MergeDebt x -> MergeDebt #
Generic MergeKnownCompleted Source #
Instance details Associated Types type Rep MergeKnownCompleted :: Type -> Type # Methods from :: MergeKnownCompleted -> Rep MergeKnownCompleted x # to :: Rep MergeKnownCompleted x -> MergeKnownCompleted #
Generic PageNo Source #
Instance details Associated Types type Rep PageNo :: Type -> Type # Methods from :: PageNo -> Rep PageNo x # to :: Rep PageNo x -> PageNo #
Generic RunFsPaths Source #
Instance details Associated Types type Rep RunFsPaths :: Type -> Type # Methods from :: RunFsPaths -> Rep RunFsPaths x # to :: Rep RunFsPaths x -> RunFsPaths #
Generic SessionRoot Source #
Instance details Associated Types type Rep SessionRoot :: Type -> Type # Methods from :: SessionRoot -> Rep SessionRoot x # to :: Rep SessionRoot x -> SessionRoot #
Generic RawBytes Source #
Instance details Associated Types type Rep RawBytes :: Type -> Type # Methods from :: RawBytes -> Rep RawBytes x # to :: Rep RawBytes x -> RawBytes #
Generic RawOverflowPage Source #
Instance details Associated Types type Rep RawOverflowPage :: Type -> Type # Methods from :: RawOverflowPage -> Rep RawOverflowPage x # to :: Rep RawOverflowPage x -> RawOverflowPage #
Generic RawPage Source #
Instance details Associated Types type Rep RawPage :: Type -> Type # Methods from :: RawPage -> Rep RawPage x # to :: Rep RawPage x -> RawPage #
Generic HasMore Source #
Instance details Associated Types type Rep HasMore :: Type -> Type # Methods from :: HasMore -> Rep HasMore x # to :: Rep HasMore x -> HasMore #
Generic ReaderNumber Source #
Instance details Associated Types type Rep ReaderNumber :: Type -> Type # Methods from :: ReaderNumber -> Rep ReaderNumber x # to :: Rep ReaderNumber x -> ReaderNumber #
Generic ReadersMergeType Source #
Instance details Associated Types type Rep ReadersMergeType :: Type -> Type # Methods from :: ReadersMergeType -> Rep ReadersMergeType x # to :: Rep ReadersMergeType x -> ReadersMergeType #
Generic RunBloomFilterAlloc Source #
Instance details Associated Types type Rep RunBloomFilterAlloc :: Type -> Type # Methods from :: RunBloomFilterAlloc -> Rep RunBloomFilterAlloc x # to :: Rep RunBloomFilterAlloc x -> RunBloomFilterAlloc #
Generic RunDataCaching Source #
Instance details Associated Types type Rep RunDataCaching :: Type -> Type # Methods from :: RunDataCaching -> Rep RunDataCaching x # to :: Rep RunDataCaching x -> RunDataCaching #
Generic RunParams Source #
Instance details Associated Types type Rep RunParams :: Type -> Type # Methods from :: RunParams -> Rep RunParams x # to :: Rep RunParams x -> RunParams #
Generic CursorId Source #
Instance details Associated Types type Rep CursorId :: Type -> Type # Methods from :: CursorId -> Rep CursorId x # to :: Rep CursorId x -> CursorId #
Generic RunNumber Source #
Instance details Associated Types type Rep RunNumber :: Type -> Type # Methods from :: RunNumber -> Rep RunNumber x # to :: Rep RunNumber x -> RunNumber #
Generic TableId Source #
Instance details Associated Types type Rep TableId :: Type -> Type # Methods from :: TableId -> Rep TableId x # to :: Rep TableId x -> TableId #
Generic SerialisedBlob Source #
Instance details Associated Types type Rep SerialisedBlob :: Type -> Type # Methods from :: SerialisedBlob -> Rep SerialisedBlob x # to :: Rep SerialisedBlob x -> SerialisedBlob #
Generic SerialisedKey Source #
Instance details Associated Types type Rep SerialisedKey :: Type -> Type # Methods from :: SerialisedKey -> Rep SerialisedKey x # to :: Rep SerialisedKey x -> SerialisedKey #
Generic SerialisedValue Source #
Instance details Associated Types type Rep SerialisedValue :: Type -> Type # Methods from :: SerialisedValue -> Rep SerialisedValue x # to :: Rep SerialisedValue x -> SerialisedValue #
NoThunks ByteArray Source #
Instance details Methods noThunks :: Context -> ByteArray -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> ByteArray -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy ByteArray -> String Source #
NoThunks FsPath Source #
Instance details Methods noThunks :: Context -> FsPath -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> FsPath -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy FsPath -> String Source #
NoThunks RefCtx Source #
Instance details Methods noThunks :: Context -> RefCtx -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> RefCtx -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy RefCtx -> String Source #
NoThunks BlobSpan Source #
Instance details Methods noThunks :: Context -> BlobSpan -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> BlobSpan -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy BlobSpan -> String Source #
NoThunks CRC32C Source #
Instance details Methods noThunks :: Context -> CRC32C -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> CRC32C -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy CRC32C -> String Source #
NoThunks BloomFilterAlloc Source #
Instance details Methods noThunks :: Context -> BloomFilterAlloc -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> BloomFilterAlloc -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy BloomFilterAlloc -> String Source #
NoThunks DiskCachePolicy Source #
Instance details Methods noThunks :: Context -> DiskCachePolicy -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> DiskCachePolicy -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy DiskCachePolicy -> String Source #
NoThunks FencePointerIndexType Source #
Instance details Methods noThunks :: Context -> FencePointerIndexType -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> FencePointerIndexType -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy FencePointerIndexType -> String Source #
NoThunks MergeBatchSize Source #
Instance details Methods noThunks :: Context -> MergeBatchSize -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> MergeBatchSize -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy MergeBatchSize -> String Source #
NoThunks MergePolicy Source #
Instance details Methods noThunks :: Context -> MergePolicy -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> MergePolicy -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy MergePolicy -> String Source #
NoThunks MergeSchedule Source #
Instance details Methods noThunks :: Context -> MergeSchedule -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> MergeSchedule -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy MergeSchedule -> String Source #
NoThunks SizeRatio Source #
Instance details Methods noThunks :: Context -> SizeRatio -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> SizeRatio -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy SizeRatio -> String Source #
NoThunks TableConfig Source #
Instance details Methods noThunks :: Context -> TableConfig -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> TableConfig -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy TableConfig -> String Source #
NoThunks WriteBufferAlloc Source #
Instance details Methods noThunks :: Context -> WriteBufferAlloc -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> WriteBufferAlloc -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy WriteBufferAlloc -> String Source #
NoThunks NumEntries Source #
Instance details Methods noThunks :: Context -> NumEntries -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> NumEntries -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy NumEntries -> String Source #
NoThunks MergePolicyForLevel Source #
Instance details Methods noThunks :: Context -> MergePolicyForLevel -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> MergePolicyForLevel -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy MergePolicyForLevel -> String Source #
NoThunks NominalCredits Source #
Instance details Methods noThunks :: Context -> NominalCredits -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> NominalCredits -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy NominalCredits -> String Source #
NoThunks NominalDebt Source #
Instance details Methods noThunks :: Context -> NominalDebt -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> NominalDebt -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy NominalDebt -> String Source #
NoThunks Index Source #
Instance details Methods noThunks :: Context -> Index -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> Index -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy Index -> String Source #
NoThunks IndexType Source #
Instance details Methods noThunks :: Context -> IndexType -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> IndexType -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy IndexType -> String Source #
NoThunks IndexCompact Source #
Instance details Methods noThunks :: Context -> IndexCompact -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> IndexCompact -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy IndexCompact -> String Source #
NoThunks IndexOrdinary Source #
Instance details Methods noThunks :: Context -> IndexOrdinary -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> IndexOrdinary -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy IndexOrdinary -> String Source #
NoThunks LevelMergeType Source #
Instance details Methods noThunks :: Context -> LevelMergeType -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> LevelMergeType -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy LevelMergeType -> String Source #
NoThunks MergeState Source #
Instance details Methods noThunks :: Context -> MergeState -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> MergeState -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy MergeState -> String Source #
NoThunks MergeType Source #
Instance details Methods noThunks :: Context -> MergeType -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> MergeType -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy MergeType -> String Source #
NoThunks StepResult Source #
Instance details Methods noThunks :: Context -> StepResult -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> StepResult -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy StepResult -> String Source #
NoThunks TreeMergeType Source #
Instance details Methods noThunks :: Context -> TreeMergeType -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> TreeMergeType -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy TreeMergeType -> String Source #
NoThunks MergeCredits Source #
Instance details Methods noThunks :: Context -> MergeCredits -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> MergeCredits -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy MergeCredits -> String Source #
NoThunks MergeDebt Source #
Instance details Methods noThunks :: Context -> MergeDebt -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> MergeDebt -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy MergeDebt -> String Source #
NoThunks MergeKnownCompleted Source #
Instance details Methods noThunks :: Context -> MergeKnownCompleted -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> MergeKnownCompleted -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy MergeKnownCompleted -> String Source #
NoThunks PageNo Source #
Instance details Methods noThunks :: Context -> PageNo -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> PageNo -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy PageNo -> String Source #
NoThunks RunFsPaths Source #
Instance details Methods noThunks :: Context -> RunFsPaths -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> RunFsPaths -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy RunFsPaths -> String Source #
NoThunks SessionRoot Source #
Instance details Methods noThunks :: Context -> SessionRoot -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> SessionRoot -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy SessionRoot -> String Source #
NoThunks RawBytes Source #
Instance details Methods noThunks :: Context -> RawBytes -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> RawBytes -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy RawBytes -> String Source #
NoThunks RawOverflowPage Source #
Instance details Methods noThunks :: Context -> RawOverflowPage -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> RawOverflowPage -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy RawOverflowPage -> String Source #
NoThunks RawPage Source #
Instance details Methods noThunks :: Context -> RawPage -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> RawPage -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy RawPage -> String Source #
NoThunks HasMore Source #
Instance details Methods noThunks :: Context -> HasMore -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> HasMore -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy HasMore -> String Source #
NoThunks ReaderNumber Source #
Instance details Methods noThunks :: Context -> ReaderNumber -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> ReaderNumber -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy ReaderNumber -> String Source #
NoThunks ReadersMergeType Source #
Instance details Methods noThunks :: Context -> ReadersMergeType -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> ReadersMergeType -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy ReadersMergeType -> String Source #
NoThunks RunBloomFilterAlloc Source #
Instance details Methods noThunks :: Context -> RunBloomFilterAlloc -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> RunBloomFilterAlloc -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy RunBloomFilterAlloc -> String Source #
NoThunks RunDataCaching Source #
Instance details Methods noThunks :: Context -> RunDataCaching -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> RunDataCaching -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy RunDataCaching -> String Source #
NoThunks RunParams Source #
Instance details Methods noThunks :: Context -> RunParams -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> RunParams -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy RunParams -> String Source #
NoThunks CursorId Source #
Instance details Methods noThunks :: Context -> CursorId -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> CursorId -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy CursorId -> String Source #
NoThunks RunNumber Source #
Instance details Methods noThunks :: Context -> RunNumber -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> RunNumber -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy RunNumber -> String Source #
NoThunks TableId Source #
Instance details Methods noThunks :: Context -> TableId -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> TableId -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy TableId -> String Source #
NoThunks SerialisedBlob Source #
Instance details Methods noThunks :: Context -> SerialisedBlob -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> SerialisedBlob -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy SerialisedBlob -> String Source #
NoThunks SerialisedKey Source #
Instance details Methods noThunks :: Context -> SerialisedKey -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> SerialisedKey -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy SerialisedKey -> String Source #
NoThunks SerialisedValue Source #
Instance details Methods noThunks :: Context -> SerialisedValue -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> SerialisedValue -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy SerialisedValue -> String Source #
NoThunks WriteBuffer Source #
Instance details Methods noThunks :: Context -> WriteBuffer -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> WriteBuffer -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy WriteBuffer -> String Source #
Generic (RWState a) Source #
Instance details Associated Types type Rep (RWState a) :: Type -> Type # Methods from :: RWState a -> Rep (RWState a) x # to :: Rep (RWState a) x -> RWState a #
Generic (WeakRef obj) Source #
Instance details Associated Types type Rep (WeakRef obj) :: Type -> Type # Methods from :: WeakRef obj -> Rep (WeakRef obj) x # to :: Rep (WeakRef obj) x -> WeakRef obj #
Generic (Baler s) Source #
Instance details Associated Types type Rep (Baler s) :: Type -> Type # Methods from :: Baler s -> Rep (Baler s) x # to :: Rep (Baler s) x -> Baler s #
Generic (IndexAcc s) Source #
Instance details Associated Types type Rep (IndexAcc s) :: Type -> Type # Methods from :: IndexAcc s -> Rep (IndexAcc s) x # to :: Rep (IndexAcc s) x -> IndexAcc s #
Generic (IndexCompactAcc s) Source #
Instance details Associated Types type Rep (IndexCompactAcc s) :: Type -> Type # Methods from :: IndexCompactAcc s -> Rep (IndexCompactAcc s) x # to :: Rep (IndexCompactAcc s) x -> IndexCompactAcc s #
Generic (SMaybe a) Source #
Instance details Associated Types type Rep (SMaybe a) :: Type -> Type # Methods from :: SMaybe a -> Rep (SMaybe a) x # to :: Rep (SMaybe a) x -> SMaybe a #
Generic (IndexOrdinaryAcc s) Source #
Instance details Associated Types type Rep (IndexOrdinaryAcc s) :: Type -> Type # Methods from :: IndexOrdinaryAcc s -> Rep (IndexOrdinaryAcc s) x # to :: Rep (IndexOrdinaryAcc s) x -> IndexOrdinaryAcc s #
Generic (CreditsVar s) Source #
Instance details Associated Types type Rep (CreditsVar s) :: Type -> Type # Methods from :: CreditsVar s -> Rep (CreditsVar s) x # to :: Rep (CreditsVar s) x -> CreditsVar s #
Generic (LookupTree a) Source #
Instance details Associated Types type Rep (LookupTree a) :: Type -> Type # Methods from :: LookupTree a -> Rep (LookupTree a) x # to :: Rep (LookupTree a) x -> LookupTree a #
Generic (PageAcc s) Source #
Instance details Associated Types type Rep (PageAcc s) :: Type -> Type # Methods from :: PageAcc s -> Rep (PageAcc s) x # to :: Rep (PageAcc s) x -> PageAcc s #
Generic (ForBlob a) Source #
Instance details Associated Types type Rep (ForBlob a) :: Type -> Type # Methods from :: ForBlob a -> Rep (ForBlob a) x # to :: Rep (ForBlob a) x -> ForBlob a #
Generic (ForFilter a) Source #
Instance details Associated Types type Rep (ForFilter a) :: Type -> Type # Methods from :: ForFilter a -> Rep (ForFilter a) x # to :: Rep (ForFilter a) x -> ForFilter a #
Generic (ForIndex a) Source #
Instance details Associated Types type Rep (ForIndex a) :: Type -> Type # Methods from :: ForIndex a -> Rep (ForIndex a) x # to :: Rep (ForIndex a) x -> ForIndex a #
Generic (ForKOps a) Source #
Instance details Associated Types type Rep (ForKOps a) :: Type -> Type # Methods from :: ForKOps a -> Rep (ForKOps a) x # to :: Rep (ForKOps a) x -> ForKOps a #
Generic (ForRunFiles a) Source #
Instance details Associated Types type Rep (ForRunFiles a) :: Type -> Type # Methods from :: ForRunFiles a -> Rep (ForRunFiles a) x # to :: Rep (ForRunFiles a) x -> ForRunFiles a #
Generic (RunAcc s) Source #
Instance details Associated Types type Rep (RunAcc s) :: Type -> Type # Methods from :: RunAcc s -> Rep (RunAcc s) x # to :: Rep (RunAcc s) x -> RunAcc s #
Generic (UniqCounter m) Source #
Instance details Associated Types type Rep (UniqCounter m) :: Type -> Type # Methods from :: UniqCounter m -> Rep (UniqCounter m) x # to :: Rep (UniqCounter m) x -> UniqCounter m #
Generic (FilePointer m) Source #
Instance details Associated Types type Rep (FilePointer m) :: Type -> Type # Methods from :: FilePointer m -> Rep (FilePointer m) x # to :: Rep (FilePointer m) x -> FilePointer m #
Typeable m => NoThunks (LockFileHandle m) Source #
Instance details Methods noThunks :: Context -> LockFileHandle m -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> LockFileHandle m -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (LockFileHandle m) -> String Source #
Typeable a => NoThunks (Bloom a) Source #
Instance details Methods noThunks :: Context -> Bloom a -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> Bloom a -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (Bloom a) -> String Source #
Typeable h => NoThunks (Handle h) Source #
Instance details Methods noThunks :: Context -> Handle h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> Handle h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (Handle h) -> String Source #
NoThunks a => NoThunks (RWState a) Source #
Instance details Methods noThunks :: Context -> RWState a -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> RWState a -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (RWState a) -> String Source #
(NoThunks obj, Typeable obj) => NoThunks (Ref obj) Source #
Instance details Methods noThunks :: Context -> Ref obj -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> Ref obj -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (Ref obj) -> String Source #
Typeable (PrimState m) => NoThunks (RefCounter m) Source #
Instance details Methods noThunks :: Context -> RefCounter m -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> RefCounter m -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (RefCounter m) -> String Source #
(NoThunks obj, Typeable obj) => NoThunks (WeakRef obj) Source #
Instance details Methods noThunks :: Context -> WeakRef obj -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> WeakRef obj -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (WeakRef obj) -> String Source #
Typeable m => NoThunks (ArenaManager m) Source #
Instance details Methods noThunks :: Context -> ArenaManager m -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> ArenaManager m -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (ArenaManager m) -> String Source #
Typeable s => NoThunks (Baler s) Source #
Instance details Methods noThunks :: Context -> Baler s -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> Baler s -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (Baler s) -> String Source #
Typeable s => NoThunks (IndexAcc s) Source #
Instance details Methods noThunks :: Context -> IndexAcc s -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> IndexAcc s -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (IndexAcc s) -> String Source #
Typeable s => NoThunks (IndexCompactAcc s) Source #
Instance details Methods noThunks :: Context -> IndexCompactAcc s -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> IndexCompactAcc s -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (IndexCompactAcc s) -> String Source #
NoThunks a => NoThunks (SMaybe a) Source #
Instance details Methods noThunks :: Context -> SMaybe a -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> SMaybe a -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (SMaybe a) -> String Source #
Typeable s => NoThunks (IndexOrdinaryAcc s) Source #
Instance details Methods noThunks :: Context -> IndexOrdinaryAcc s -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> IndexOrdinaryAcc s -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (IndexOrdinaryAcc s) -> String Source #
Typeable s => NoThunks (CreditsVar s) Source #
Instance details Methods noThunks :: Context -> CreditsVar s -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> CreditsVar s -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (CreditsVar s) -> String Source #
NoThunks a => NoThunks (LookupTree a) Source #
Instance details Methods noThunks :: Context -> LookupTree a -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> LookupTree a -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (LookupTree a) -> String Source #
Typeable s => NoThunks (PageAcc s) Source #
Instance details Methods noThunks :: Context -> PageAcc s -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> PageAcc s -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (PageAcc s) -> String Source #
NoThunks a => NoThunks (ForBlob a) Source #
Instance details Methods noThunks :: Context -> ForBlob a -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> ForBlob a -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (ForBlob a) -> String Source #
NoThunks a => NoThunks (ForFilter a) Source #
Instance details Methods noThunks :: Context -> ForFilter a -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> ForFilter a -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (ForFilter a) -> String Source #
NoThunks a => NoThunks (ForIndex a) Source #
Instance details Methods noThunks :: Context -> ForIndex a -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> ForIndex a -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (ForIndex a) -> String Source #
NoThunks a => NoThunks (ForKOps a) Source #
Instance details Methods noThunks :: Context -> ForKOps a -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> ForKOps a -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (ForKOps a) -> String Source #
NoThunks a => NoThunks (ForRunFiles a) Source #
Instance details Methods noThunks :: Context -> ForRunFiles a -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> ForRunFiles a -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (ForRunFiles a) -> String Source #
Typeable s => NoThunks (RunAcc s) Source #
Instance details Methods noThunks :: Context -> RunAcc s -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> RunAcc s -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (RunAcc s) -> String Source #
(NoThunksIOLike m, Typeable m, Typeable (PrimState m)) => NoThunks (Session m) Source #	Also checks `NoThunks` for the tables that are known to be open in the session.
Instance details Methods noThunks :: Context -> Session m -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> Session m -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (Session m) -> String Source #
NoThunks (PrimVar (PrimState m) Int) => NoThunks (UniqCounter m) Source #
Instance details Methods noThunks :: Context -> UniqCounter m -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> UniqCounter m -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (UniqCounter m) -> String Source #
Typeable (PrimState m) => NoThunks (FilePointer m) Source #
Instance details Methods noThunks :: Context -> FilePointer m -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> FilePointer m -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (FilePointer m) -> String Source #
Typeable a => NoThunks (Vector a) Source #
Instance details Methods noThunks :: Context -> Vector a -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> Vector a -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (Vector a) -> String Source #
Generic (RWVar m a) Source #
Instance details Associated Types type Rep (RWVar m a) :: Type -> Type # Methods from :: RWVar m a -> Rep (RWVar m a) x # to :: Rep (RWVar m a) x -> RWVar m a #
Generic (BlobFile m h) Source #
Instance details Associated Types type Rep (BlobFile m h) :: Type -> Type # Methods from :: BlobFile m h -> Rep (BlobFile m h) x # to :: Rep (BlobFile m h) x -> BlobFile m h #
Generic (RawBlobRef m h) Source #
Instance details Associated Types type Rep (RawBlobRef m h) :: Type -> Type # Methods from :: RawBlobRef m h -> Rep (RawBlobRef m h) x # to :: Rep (RawBlobRef m h) x -> RawBlobRef m h #
Generic (WeakBlobRef m h) Source #
Instance details Associated Types type Rep (WeakBlobRef m h) :: Type -> Type # Methods from :: WeakBlobRef m h -> Rep (WeakBlobRef m h) x # to :: Rep (WeakBlobRef m h) x -> WeakBlobRef m h #
Generic (ChecksumHandle s h) Source #
Instance details Associated Types type Rep (ChecksumHandle s h) :: Type -> Type # Methods from :: ChecksumHandle s h -> Rep (ChecksumHandle s h) x # to :: Rep (ChecksumHandle s h) x -> ChecksumHandle s h #
Generic (Entry v b) Source #
Instance details Associated Types type Rep (Entry v b) :: Type -> Type # Methods from :: Entry v b -> Rep (Entry v b) x # to :: Rep (Entry v b) x -> Entry v b #
Generic (IncomingRun m h) Source #
Instance details Associated Types type Rep (IncomingRun m h) :: Type -> Type # Methods from :: IncomingRun m h -> Rep (IncomingRun m h) x # to :: Rep (IncomingRun m h) x -> IncomingRun m h #
Generic (Level m h) Source #
Instance details Associated Types type Rep (Level m h) :: Type -> Type # Methods from :: Level m h -> Rep (Level m h) x # to :: Rep (Level m h) x -> Level m h #
Generic (LevelsCache m h) Source #
Instance details Associated Types type Rep (LevelsCache m h) :: Type -> Type # Methods from :: LevelsCache m h -> Rep (LevelsCache m h) x # to :: Rep (LevelsCache m h) x -> LevelsCache m h #
Generic (TableContent m h) Source #
Instance details Associated Types type Rep (TableContent m h) :: Type -> Type # Methods from :: TableContent m h -> Rep (TableContent m h) x # to :: Rep (TableContent m h) x -> TableContent m h #
Generic (UnionCache m h) Source #
Instance details Associated Types type Rep (UnionCache m h) :: Type -> Type # Methods from :: UnionCache m h -> Rep (UnionCache m h) x # to :: Rep (UnionCache m h) x -> UnionCache m h #
Generic (UnionLevel m h) Source #
Instance details Associated Types type Rep (UnionLevel m h) :: Type -> Type # Methods from :: UnionLevel m h -> Rep (UnionLevel m h) x # to :: Rep (UnionLevel m h) x -> UnionLevel m h #
Generic (MergingTree m h) Source #
Instance details Associated Types type Rep (MergingTree m h) :: Type -> Type # Methods from :: MergingTree m h -> Rep (MergingTree m h) x # to :: Rep (MergingTree m h) x -> MergingTree m h #
Generic (MergingTreeState m h) Source #
Instance details Associated Types type Rep (MergingTreeState m h) :: Type -> Type # Methods from :: MergingTreeState m h -> Rep (MergingTreeState m h) x # to :: Rep (MergingTreeState m h) x -> MergingTreeState m h #
Generic (PendingMerge m h) Source #
Instance details Associated Types type Rep (PendingMerge m h) :: Type -> Type # Methods from :: PendingMerge m h -> Rep (PendingMerge m h) x # to :: Rep (PendingMerge m h) x -> PendingMerge m h #
Generic (PreExistingRun m h) Source #
Instance details Associated Types type Rep (PreExistingRun m h) :: Type -> Type # Methods from :: PreExistingRun m h -> Rep (PreExistingRun m h) x # to :: Rep (PreExistingRun m h) x -> PreExistingRun m h #
Generic (ReadCtx m h) Source #
Instance details Associated Types type Rep (ReadCtx m h) :: Type -> Type # Methods from :: ReadCtx m h -> Rep (ReadCtx m h) x # to :: Rep (ReadCtx m h) x -> ReadCtx m h #
Generic (Reader m h) Source #
Instance details Associated Types type Rep (Reader m h) :: Type -> Type # Methods from :: Reader m h -> Rep (Reader m h) x # to :: Rep (Reader m h) x -> Reader m h #
Generic (Readers m h) Source #
Instance details Associated Types type Rep (Readers m h) :: Type -> Type # Methods from :: Readers m h -> Rep (Readers m h) x # to :: Rep (Readers m h) x -> Readers m h #
Generic (Run m h) Source #
Instance details Associated Types type Rep (Run m h) :: Type -> Type # Methods from :: Run m h -> Rep (Run m h) x # to :: Rep (Run m h) x -> Run m h #
Generic (RunBuilder m h) Source #
Instance details Associated Types type Rep (RunBuilder m h) :: Type -> Type # Methods from :: RunBuilder m h -> Rep (RunBuilder m h) x # to :: Rep (RunBuilder m h) x -> RunBuilder m h #
Generic (RunReader m h) Source #
Instance details Associated Types type Rep (RunReader m h) :: Type -> Type # Methods from :: RunReader m h -> Rep (RunReader m h) x # to :: Rep (RunReader m h) x -> RunReader m h #
Generic (Cursor m h) Source #
Instance details Associated Types type Rep (Cursor m h) :: Type -> Type # Methods from :: Cursor m h -> Rep (Cursor m h) x # to :: Rep (Cursor m h) x -> Cursor m h #
Generic (CursorEnv m h) Source #
Instance details Associated Types type Rep (CursorEnv m h) :: Type -> Type # Methods from :: CursorEnv m h -> Rep (CursorEnv m h) x # to :: Rep (CursorEnv m h) x -> CursorEnv m h #
Generic (CursorState m h) Source #
Instance details Associated Types type Rep (CursorState m h) :: Type -> Type # Methods from :: CursorState m h -> Rep (CursorState m h) x # to :: Rep (CursorState m h) x -> CursorState m h #
Generic (Session m h) Source #
Instance details Associated Types type Rep (Session m h) :: Type -> Type # Methods from :: Session m h -> Rep (Session m h) x # to :: Rep (Session m h) x -> Session m h #
Generic (SessionEnv m h) Source #
Instance details Associated Types type Rep (SessionEnv m h) :: Type -> Type # Methods from :: SessionEnv m h -> Rep (SessionEnv m h) x # to :: Rep (SessionEnv m h) x -> SessionEnv m h #
Generic (SessionState m h) Source #
Instance details Associated Types type Rep (SessionState m h) :: Type -> Type # Methods from :: SessionState m h -> Rep (SessionState m h) x # to :: Rep (SessionState m h) x -> SessionState m h #
Generic (Table m h) Source #
Instance details Associated Types type Rep (Table m h) :: Type -> Type # Methods from :: Table m h -> Rep (Table m h) x # to :: Rep (Table m h) x -> Table m h #
Generic (TableEnv m h) Source #
Instance details Associated Types type Rep (TableEnv m h) :: Type -> Type # Methods from :: TableEnv m h -> Rep (TableEnv m h) x # to :: Rep (TableEnv m h) x -> TableEnv m h #
Generic (TableState m h) Source #
Instance details Associated Types type Rep (TableState m h) :: Type -> Type # Methods from :: TableState m h -> Rep (TableState m h) x # to :: Rep (TableState m h) x -> TableState m h #
Generic (WriteBufferBlobs m h) Source #
Instance details Associated Types type Rep (WriteBufferBlobs m h) :: Type -> Type # Methods from :: WriteBufferBlobs m h -> Rep (WriteBufferBlobs m h) x # to :: Rep (WriteBufferBlobs m h) x -> WriteBufferBlobs m h #
NoThunks a => NoThunks (STRef s a) Source #
Instance details Methods noThunks :: Context -> STRef s a -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> STRef s a -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (STRef s a) -> String Source #
(Typeable m, Typeable h) => NoThunks (HasBlockIO m h) Source #
Instance details Methods noThunks :: Context -> HasBlockIO m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> HasBlockIO m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (HasBlockIO m h) -> String Source #
(Typeable s, Typeable a) => NoThunks (MBloom s a) Source #
Instance details Methods noThunks :: Context -> MBloom s a -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> MBloom s a -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (MBloom s a) -> String Source #
(Typeable m, Typeable a) => NoThunks (Tracer m a) Source #
Instance details Methods noThunks :: Context -> Tracer m a -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> Tracer m a -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (Tracer m a) -> String Source #
(Typeable m, Typeable h) => NoThunks (HasFS m h) Source #
Instance details Methods noThunks :: Context -> HasFS m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> HasFS m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (HasFS m h) -> String Source #
(NoThunks a, Typeable a) => NoThunks (StrictMVar IO a) Source #
Instance details Methods noThunks :: Context -> StrictMVar IO a -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> StrictMVar IO a -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (StrictMVar IO a) -> String Source #
(NoThunks a, Typeable a) => NoThunks (StrictTVar IO a) Source #
Instance details Methods noThunks :: Context -> StrictTVar IO a -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> StrictTVar IO a -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (StrictTVar IO a) -> String Source #
NoThunks (StrictTVar m (RWState a)) => NoThunks (RWVar m a) Source #
Instance details Methods noThunks :: Context -> RWVar m a -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> RWVar m a -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (RWVar m a) -> String Source #
(Typeable h, Typeable (PrimState m)) => NoThunks (BlobFile m h) Source #
Instance details Methods noThunks :: Context -> BlobFile m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> BlobFile m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (BlobFile m h) -> String Source #
(Typeable h, Typeable (PrimState m)) => NoThunks (RawBlobRef m h) Source #
Instance details Methods noThunks :: Context -> RawBlobRef m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> RawBlobRef m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (RawBlobRef m h) -> String Source #
(Typeable h, Typeable m, Typeable (PrimState m)) => NoThunks (WeakBlobRef m h) Source #
Instance details Methods noThunks :: Context -> WeakBlobRef m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> WeakBlobRef m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (WeakBlobRef m h) -> String Source #
(Typeable s, Typeable h) => NoThunks (ChecksumHandle s h) Source #
Instance details Methods noThunks :: Context -> ChecksumHandle s h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> ChecksumHandle s h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (ChecksumHandle s h) -> String Source #
(NoThunks v, NoThunks b) => NoThunks (Entry v b) Source #
Instance details Methods noThunks :: Context -> Entry v b -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> Entry v b -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (Entry v b) -> String Source #
(Typeable m, Typeable (PrimState m), Typeable h, NoThunks (StrictMVar m (MergingRunState LevelMergeType m h))) => NoThunks (IncomingRun m h) Source #
Instance details Methods noThunks :: Context -> IncomingRun m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> IncomingRun m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (IncomingRun m h) -> String Source #
(Typeable m, Typeable (PrimState m), Typeable h, NoThunks (StrictMVar m (MergingRunState LevelMergeType m h))) => NoThunks (Level m h) Source #
Instance details Methods noThunks :: Context -> Level m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> Level m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (Level m h) -> String Source #
(Typeable m, Typeable (PrimState m), Typeable h) => NoThunks (LevelsCache m h) Source #
Instance details Methods noThunks :: Context -> LevelsCache m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> LevelsCache m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (LevelsCache m h) -> String Source #
(Typeable m, Typeable (PrimState m), Typeable h, NoThunks (StrictMVar m (MergingRunState LevelMergeType m h)), NoThunks (StrictMVar m (MergingTreeState m h))) => NoThunks (TableContent m h) Source #
Instance details Methods noThunks :: Context -> TableContent m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> TableContent m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (TableContent m h) -> String Source #
(Typeable m, Typeable (PrimState m), Typeable h) => NoThunks (UnionCache m h) Source #
Instance details Methods noThunks :: Context -> UnionCache m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> UnionCache m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (UnionCache m h) -> String Source #
(Typeable m, Typeable (PrimState m), Typeable h, NoThunks (StrictMVar m (MergingTreeState m h))) => NoThunks (UnionLevel m h) Source #
Instance details Methods noThunks :: Context -> UnionLevel m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> UnionLevel m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (UnionLevel m h) -> String Source #
(Typeable m, Typeable (PrimState m), Typeable h, NoThunks (StrictMVar m (MergingTreeState m h))) => NoThunks (MergingTree m h) Source #
Instance details Methods noThunks :: Context -> MergingTree m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> MergingTree m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (MergingTree m h) -> String Source #
(Typeable m, Typeable (PrimState m), Typeable h, NoThunks (StrictMVar m (MergingRunState LevelMergeType m h)), NoThunks (StrictMVar m (MergingRunState TreeMergeType m h)), NoThunks (StrictMVar m (MergingTreeState m h))) => NoThunks (MergingTreeState m h) Source #
Instance details Methods noThunks :: Context -> MergingTreeState m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> MergingTreeState m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (MergingTreeState m h) -> String Source #
(Typeable m, Typeable (PrimState m), Typeable h, NoThunks (StrictMVar m (MergingRunState LevelMergeType m h)), NoThunks (StrictMVar m (MergingTreeState m h))) => NoThunks (PendingMerge m h) Source #
Instance details Methods noThunks :: Context -> PendingMerge m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> PendingMerge m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (PendingMerge m h) -> String Source #
(Typeable m, Typeable (PrimState m), Typeable h, NoThunks (StrictMVar m (MergingRunState LevelMergeType m h))) => NoThunks (PreExistingRun m h) Source #
Instance details Methods noThunks :: Context -> PreExistingRun m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> PreExistingRun m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (PreExistingRun m h) -> String Source #
(Typeable m, Typeable (PrimState m), Typeable h) => NoThunks (ReadCtx m h) Source #
Instance details Methods noThunks :: Context -> ReadCtx m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> ReadCtx m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (ReadCtx m h) -> String Source #
(Typeable m, Typeable (PrimState m), Typeable h) => NoThunks (Reader m h) Source #
Instance details Methods noThunks :: Context -> Reader m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> Reader m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (Reader m h) -> String Source #
(Typeable m, Typeable (PrimState m), Typeable h) => NoThunks (Readers m h) Source #
Instance details Methods noThunks :: Context -> Readers m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> Readers m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (Readers m h) -> String Source #
(Typeable m, Typeable (PrimState m), Typeable h) => NoThunks (Run m h) Source #
Instance details Methods noThunks :: Context -> Run m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> Run m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (Run m h) -> String Source #
(Typeable m, Typeable (PrimState m), Typeable h) => NoThunks (RunBuilder m h) Source #
Instance details Methods noThunks :: Context -> RunBuilder m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> RunBuilder m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (RunBuilder m h) -> String Source #
(Typeable m, Typeable (PrimState m), Typeable h) => NoThunks (Entry m h) Source #	Allows thunks in the overflow pages
Instance details Methods noThunks :: Context -> Entry m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> Entry m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (Entry m h) -> String Source #
(Typeable m, Typeable (PrimState m), Typeable h) => NoThunks (RunReader m h) Source #
Instance details Methods noThunks :: Context -> RunReader m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> RunReader m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (RunReader m h) -> String Source #
(NoThunksIOLike m, Typeable m, Typeable h, Typeable (PrimState m)) => NoThunks (Cursor m h) Source #
Instance details Methods noThunks :: Context -> Cursor m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> Cursor m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (Cursor m h) -> String Source #
(Typeable m, Typeable h, Typeable (PrimState m)) => NoThunks (CursorEnv m h) Source #
Instance details Methods noThunks :: Context -> CursorEnv m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> CursorEnv m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (CursorEnv m h) -> String Source #
(NoThunksIOLike m, Typeable m, Typeable h, Typeable (PrimState m)) => NoThunks (CursorState m h) Source #
Instance details Methods noThunks :: Context -> CursorState m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> CursorState m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (CursorState m h) -> String Source #
(NoThunksIOLike m, Typeable m, Typeable h, Typeable (PrimState m)) => NoThunks (Session m h) Source #	Also checks `NoThunks` for the `Table`s that are known to be open in the `Session`.
Instance details Methods noThunks :: Context -> Session m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> Session m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (Session m h) -> String Source #
(NoThunksIOLike m, Typeable m, Typeable h, Typeable (PrimState m)) => NoThunks (SessionEnv m h) Source #
Instance details Methods noThunks :: Context -> SessionEnv m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> SessionEnv m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (SessionEnv m h) -> String Source #
(NoThunksIOLike m, Typeable m, Typeable h, Typeable (PrimState m)) => NoThunks (SessionState m h) Source #
Instance details Methods noThunks :: Context -> SessionState m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> SessionState m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (SessionState m h) -> String Source #
(NoThunksIOLike m, Typeable m, Typeable h, Typeable (PrimState m)) => NoThunks (Table m h) Source #	Does not check `NoThunks` for the `Session` that this `Table` belongs to.
Instance details Methods noThunks :: Context -> Table m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> Table m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (Table m h) -> String Source #
(NoThunksIOLike m, Typeable m, Typeable h, Typeable (PrimState m)) => NoThunks (TableEnv m h) Source #
Instance details Methods noThunks :: Context -> TableEnv m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> TableEnv m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (TableEnv m h) -> String Source #
(NoThunksIOLike m, Typeable m, Typeable h, Typeable (PrimState m)) => NoThunks (TableState m h) Source #
Instance details Methods noThunks :: Context -> TableState m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> TableState m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (TableState m h) -> String Source #
NoThunks (Unsliced a) Source #
Instance details Methods noThunks :: Context -> Unsliced a -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> Unsliced a -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (Unsliced a) -> String Source #
(NoThunks a, Typeable s, Typeable a) => NoThunks (GrowingVector s a) Source #
Instance details Methods noThunks :: Context -> GrowingVector s a -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> GrowingVector s a -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (GrowingVector s a) -> String Source #
(Typeable (PrimState m), Typeable m, Typeable h) => NoThunks (WriteBufferBlobs m h) Source #
Instance details Methods noThunks :: Context -> WriteBufferBlobs m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> WriteBufferBlobs m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (WriteBufferBlobs m h) -> String Source #
(NoThunks a, Typeable s, Typeable a) => NoThunks (MutableHeap s a) Source #
Instance details Methods noThunks :: Context -> MutableHeap s a -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> MutableHeap s a -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (MutableHeap s a) -> String Source #
NoThunks a => NoThunks (MutVar s a) Source #
Instance details Methods noThunks :: Context -> MutVar s a -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> MutVar s a -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (MutVar s a) -> String Source #
(Typeable s, Typeable a) => NoThunks (MutablePrimArray s a) Source #
Instance details Methods noThunks :: Context -> MutablePrimArray s a -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> MutablePrimArray s a -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (MutablePrimArray s a) -> String Source #
(Typeable s, Typeable a) => NoThunks (PrimVar s a) Source #
Instance details Methods noThunks :: Context -> PrimVar s a -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> PrimVar s a -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (PrimVar s a) -> String Source #
NoThunks a => NoThunks (SmallMutableArray s a) Source #
Instance details Methods noThunks :: Context -> SmallMutableArray s a -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> SmallMutableArray s a -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (SmallMutableArray s a) -> String Source #
(NoThunks a, Typeable s, Typeable a) => NoThunks (MVector s a) Source #
Instance details Methods noThunks :: Context -> MVector s a -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> MVector s a -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (MVector s a) -> String Source #
Typeable s => NoThunks (MVector s Word8) Source #
Instance details Methods noThunks :: Context -> MVector s Word8 -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> MVector s Word8 -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (MVector s Word8) -> String Source #
Typeable s => NoThunks (MVector s Word64) Source #
Instance details Methods noThunks :: Context -> MVector s Word64 -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> MVector s Word64 -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (MVector s Word64) -> String Source #
Typeable s => NoThunks (MVector s Bit) Source #
Instance details Methods noThunks :: Context -> MVector s Bit -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> MVector s Bit -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (MVector s Bit) -> String Source #
Generic (Merge t m h) Source #
Instance details Associated Types type Rep (Merge t m h) :: Type -> Type # Methods from :: Merge t m h -> Rep (Merge t m h) x # to :: Rep (Merge t m h) x -> Merge t m h #
Generic (MergingRun t m h) Source #
Instance details Associated Types type Rep (MergingRun t m h) :: Type -> Type # Methods from :: MergingRun t m h -> Rep (MergingRun t m h) x # to :: Rep (MergingRun t m h) x -> MergingRun t m h #
Generic (MergingRunState t m h) Source #
Instance details Associated Types type Rep (MergingRunState t m h) :: Type -> Type # Methods from :: MergingRunState t m h -> Rep (MergingRunState t m h) x # to :: Rep (MergingRunState t m h) x -> MergingRunState t m h #
(Typeable m, Typeable (PrimState m), Typeable h, NoThunks t) => NoThunks (Merge t m h) Source #
Instance details Methods noThunks :: Context -> Merge t m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> Merge t m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (Merge t m h) -> String Source #
(Typeable m, Typeable (PrimState m), Typeable h, NoThunks (StrictMVar m (MergingRunState t m h))) => NoThunks (MergingRun t m h) Source #
Instance details Methods noThunks :: Context -> MergingRun t m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> MergingRun t m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (MergingRun t m h) -> String Source #
(Typeable m, Typeable (PrimState m), Typeable h, NoThunks t) => NoThunks (MergingRunState t m h) Source #
Instance details Methods noThunks :: Context -> MergingRunState t m h -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> MergingRunState t m h -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (MergingRunState t m h) -> String Source #
(NoThunksIOLike m, Typeable m, Typeable (PrimState m)) => NoThunks (Table m k v b) Source #	Does not check `NoThunks` for the session that this table belongs to.
Instance details Methods noThunks :: Context -> Table m k v b -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> Table m k v b -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (Table m k v b) -> String Source #