lsm-tree-1.0.0.0: Log-structured merge-trees

Safe Haskell	Safe-Inferred
Language	GHC2021

RocksDB

Contents

Options
Read Options
Write options
DB operations
Write batch
Block based table options
Filter policy

Synopsis

data Options
withOptions :: (Options -> IO r) -> IO r
optionsSetCreateIfMissing :: Options -> Bool -> IO ()
optionsSetMaxOpenFiles :: Options -> Int -> IO ()
optionsSetCompression :: Options -> Int -> IO ()
optionsIncreaseParallelism :: Options -> Int -> IO ()
optionsOptimizeLevelStyleCompaction :: Options -> Word64 -> IO ()
data ReadOptions
withReadOptions :: (ReadOptions -> IO r) -> IO r
data WriteOptions
withWriteOptions :: (WriteOptions -> IO r) -> IO r
writeOptionsDisableWAL :: WriteOptions -> Bool -> IO ()
data RocksDB
withRocksDB :: Options -> FilePath -> (RocksDB -> IO r) -> IO r
put :: RocksDB -> WriteOptions -> ByteString -> ByteString -> IO ()
get :: RocksDB -> ReadOptions -> ByteString -> IO (Maybe ByteString)
multiGet :: RocksDB -> ReadOptions -> [ByteString] -> IO [Maybe ByteString]
delete :: RocksDB -> WriteOptions -> ByteString -> IO ()
write :: RocksDB -> WriteOptions -> WriteBatch -> IO ()
checkpoint :: RocksDB -> FilePath -> IO ()
data WriteBatch
withWriteBatch :: (WriteBatch -> IO r) -> IO r
writeBatchPut :: WriteBatch -> ByteString -> ByteString -> IO ()
writeBatchDelete :: WriteBatch -> ByteString -> IO ()
data BlockTableOptions
withBlockTableOptions :: (BlockTableOptions -> IO r) -> IO r
blockBasedOptionsSetFilterPolicy :: BlockTableOptions -> FilterPolicy -> IO ()
optionsSetBlockBasedTableFactory :: Options -> BlockTableOptions -> IO ()
data FilterPolicy
withFilterPolicyBloom :: Int -> (FilterPolicy -> IO r) -> IO r

Options

data Options Source #

withOptions :: (Options -> IO r) -> IO r Source #

optionsSetCreateIfMissing :: Options -> Bool -> IO () Source #

optionsSetMaxOpenFiles :: Options -> Int -> IO () Source #

optionsSetCompression :: Options -> Int -> IO () Source #

optionsIncreaseParallelism :: Options -> Int -> IO () Source #

optionsOptimizeLevelStyleCompaction :: Options -> Word64 -> IO () Source #

Read Options

data ReadOptions Source #

withReadOptions :: (ReadOptions -> IO r) -> IO r Source #

Write options

data WriteOptions Source #

withWriteOptions :: (WriteOptions -> IO r) -> IO r Source #

writeOptionsDisableWAL Source #

Arguments

:: WriteOptions
-> Bool	Disable
-> IO ()

DB operations

data RocksDB Source #

withRocksDB :: Options -> FilePath -> (RocksDB -> IO r) -> IO r Source #

put :: RocksDB -> WriteOptions -> ByteString -> ByteString -> IO () Source #

get :: RocksDB -> ReadOptions -> ByteString -> IO (Maybe ByteString) Source #

multiGet :: RocksDB -> ReadOptions -> [ByteString] -> IO [Maybe ByteString] Source #

delete :: RocksDB -> WriteOptions -> ByteString -> IO () Source #

write :: RocksDB -> WriteOptions -> WriteBatch -> IO () Source #

checkpoint :: RocksDB -> FilePath -> IO () Source #

Write batch

data WriteBatch Source #

withWriteBatch :: (WriteBatch -> IO r) -> IO r Source #

writeBatchPut :: WriteBatch -> ByteString -> ByteString -> IO () Source #

writeBatchDelete :: WriteBatch -> ByteString -> IO () Source #

Block based table options

data BlockTableOptions Source #

withBlockTableOptions :: (BlockTableOptions -> IO r) -> IO r Source #

blockBasedOptionsSetFilterPolicy :: BlockTableOptions -> FilterPolicy -> IO () Source #

optionsSetBlockBasedTableFactory :: Options -> BlockTableOptions -> IO () Source #

Filter policy

data FilterPolicy Source #

withFilterPolicyBloom :: Int -> (FilterPolicy -> IO r) -> IO r Source #