Safe Haskell	Safe-Inferred
Language	GHC2021

RocksDB.FFI

Contents

options
read options
write options
db operations
- checkpoints
write batch
block table options
filter policy
error

Synopsis

data OPTIONS
rocksdb_options_create :: IO (Ptr OPTIONS)
rocksdb_options_destroy :: Ptr OPTIONS -> IO ()
rocksdb_options_set_create_if_missing :: Ptr OPTIONS -> CUChar -> IO ()
rocksdb_options_set_max_open_files :: Ptr OPTIONS -> CInt -> IO ()
rocksdb_options_increase_parallelism :: Ptr OPTIONS -> CInt -> IO ()
rocksdb_options_optimize_level_style_compaction :: Ptr OPTIONS -> Word64 -> IO ()
rocksdb_options_set_compression :: Ptr OPTIONS -> CInt -> IO ()
data READOPTIONS
rocksdb_readoptions_create :: IO (Ptr READOPTIONS)
rocksdb_readoptions_destroy :: Ptr READOPTIONS -> IO ()
data WRITEOPTIONS
rocksdb_writeoptions_create :: IO (Ptr WRITEOPTIONS)
rocksdb_writeoptions_destroy :: Ptr WRITEOPTIONS -> IO ()
rocksdb_writeoptions_disable_WAL :: Ptr WRITEOPTIONS -> CInt -> IO ()
data DB
rocksdb_open :: Ptr OPTIONS -> CString -> ErrPtr -> IO (Ptr DB)
rocksdb_close :: Ptr DB -> IO ()
rocksdb_get :: Ptr DB -> Ptr READOPTIONS -> CString -> CSize -> Ptr CSize -> ErrPtr -> IO CString
rocksdb_multi_get :: Ptr DB -> Ptr READOPTIONS -> CSize -> Ptr (ConstPtr CChar) -> Ptr CSize -> Ptr CString -> Ptr CSize -> Ptr CString -> IO ()
rocksdb_put :: Ptr DB -> Ptr WRITEOPTIONS -> CString -> CSize -> CString -> CSize -> ErrPtr -> IO ()
rocksdb_delete :: Ptr DB -> Ptr WRITEOPTIONS -> CString -> CSize -> ErrPtr -> IO ()
rocksdb_write :: Ptr DB -> Ptr WRITEOPTIONS -> Ptr WRITEBATCH -> ErrPtr -> IO ()
data CHECKPOINT
rocksdb_checkpoint_object_create :: Ptr DB -> ErrPtr -> IO (Ptr CHECKPOINT)
rocksdb_checkpoint_object_destroy :: Ptr CHECKPOINT -> IO ()
rocksdb_checkpoint_create :: Ptr CHECKPOINT -> CString -> Word64 -> ErrPtr -> IO ()
data WRITEBATCH
rocksdb_writebatch_create :: IO (Ptr WRITEBATCH)
rocksdb_writebatch_destroy :: Ptr WRITEBATCH -> IO ()
rocksdb_writebatch_put :: Ptr WRITEBATCH -> CString -> CSize -> CString -> CSize -> IO ()
rocksdb_writebatch_delete :: Ptr WRITEBATCH -> CString -> CSize -> IO ()
data BLOCKTABLEOPTIONS
rocksdb_block_based_options_create :: IO (Ptr BLOCKTABLEOPTIONS)
rocksdb_block_based_options_destroy :: Ptr BLOCKTABLEOPTIONS -> IO ()
rocksdb_block_based_options_set_filter_policy :: Ptr BLOCKTABLEOPTIONS -> Ptr FILTERPOLICY -> IO ()
rocksdb_options_set_block_based_table_factory :: Ptr OPTIONS -> Ptr BLOCKTABLEOPTIONS -> IO ()
data FILTERPOLICY
rocksdb_filterpolicy_destroy :: Ptr FILTERPOLICY -> IO ()
rocksdb_filterpolicy_create_bloom :: CInt -> IO (Ptr FILTERPOLICY)
type ErrPtr = Ptr CString

options

data OPTIONS Source #

rocksdb_options_create :: IO (Ptr OPTIONS) Source #

rocksdb_options_destroy :: Ptr OPTIONS -> IO () Source #

rocksdb_options_set_create_if_missing :: Ptr OPTIONS -> CUChar -> IO () Source #

rocksdb_options_set_max_open_files :: Ptr OPTIONS -> CInt -> IO () Source #

rocksdb_options_increase_parallelism :: Ptr OPTIONS -> CInt -> IO () Source #

rocksdb_options_optimize_level_style_compaction :: Ptr OPTIONS -> Word64 -> IO () Source #

rocksdb_options_set_compression :: Ptr OPTIONS -> CInt -> IO () Source #

read options

data READOPTIONS Source #

rocksdb_readoptions_create :: IO (Ptr READOPTIONS) Source #

rocksdb_readoptions_destroy :: Ptr READOPTIONS -> IO () Source #

write options

data WRITEOPTIONS Source #

rocksdb_writeoptions_create :: IO (Ptr WRITEOPTIONS) Source #

rocksdb_writeoptions_destroy :: Ptr WRITEOPTIONS -> IO () Source #

rocksdb_writeoptions_disable_WAL :: Ptr WRITEOPTIONS -> CInt -> IO () Source #

db operations

data DB Source #

rocksdb_open :: Ptr OPTIONS -> CString -> ErrPtr -> IO (Ptr DB) Source #

rocksdb_close :: Ptr DB -> IO () Source #

rocksdb_get :: Ptr DB -> Ptr READOPTIONS -> CString -> CSize -> Ptr CSize -> ErrPtr -> IO CString Source #

Returns NULL if not found. A malloc()ed array otherwise. Stores the length of the array in *vallen.

rocksdb_multi_get :: Ptr DB -> Ptr READOPTIONS -> CSize -> Ptr (ConstPtr CChar) -> Ptr CSize -> Ptr CString -> Ptr CSize -> Ptr CString -> IO () Source #

rocksdb_put :: Ptr DB -> Ptr WRITEOPTIONS -> CString -> CSize -> CString -> CSize -> ErrPtr -> IO () Source #

rocksdb_delete :: Ptr DB -> Ptr WRITEOPTIONS -> CString -> CSize -> ErrPtr -> IO () Source #

rocksdb_write :: Ptr DB -> Ptr WRITEOPTIONS -> Ptr WRITEBATCH -> ErrPtr -> IO () Source #

checkpoints

data CHECKPOINT Source #

rocksdb_checkpoint_object_create :: Ptr DB -> ErrPtr -> IO (Ptr CHECKPOINT) Source #

rocksdb_checkpoint_object_destroy :: Ptr CHECKPOINT -> IO () Source #

rocksdb_checkpoint_create :: Ptr CHECKPOINT -> CString -> Word64 -> ErrPtr -> IO () Source #

write batch

data WRITEBATCH Source #

rocksdb_writebatch_create :: IO (Ptr WRITEBATCH) Source #

rocksdb_writebatch_destroy :: Ptr WRITEBATCH -> IO () Source #

rocksdb_writebatch_put :: Ptr WRITEBATCH -> CString -> CSize -> CString -> CSize -> IO () Source #

rocksdb_writebatch_delete :: Ptr WRITEBATCH -> CString -> CSize -> IO () Source #

block table options

data BLOCKTABLEOPTIONS Source #

rocksdb_block_based_options_create :: IO (Ptr BLOCKTABLEOPTIONS) Source #

rocksdb_block_based_options_destroy :: Ptr BLOCKTABLEOPTIONS -> IO () Source #

rocksdb_block_based_options_set_filter_policy :: Ptr BLOCKTABLEOPTIONS -> Ptr FILTERPOLICY -> IO () Source #

rocksdb_options_set_block_based_table_factory :: Ptr OPTIONS -> Ptr BLOCKTABLEOPTIONS -> IO () Source #

filter policy

data FILTERPOLICY Source #

rocksdb_filterpolicy_destroy :: Ptr FILTERPOLICY -> IO () Source #

rocksdb_filterpolicy_create_bloom :: CInt -> IO (Ptr FILTERPOLICY) Source #

error

type ErrPtr = Ptr CString Source #