{-# LANGUAGE CPP, ForeignFunctionInterface, EmptyDataDecls #-} -- | -- Module : Database.LevelDB.Base -- Copyright : (c) 2012 Kim Altintop -- License : BSD3 -- Maintainer : kim.altintop@gmail.com -- Stability : experimental -- Portability : non-portable -- module Database.LevelDB.Base where import Foreign import Foreign.C.Types import Foreign.C.String #include data LevelDB data LCache data LComparator data LIterator data LLogger data LOptions data LReadOptions data LSnapshot data LWriteBatch data LWriteOptions type LevelDBPtr = Ptr LevelDB type CachePtr = Ptr LCache type ComparatorPtr = Ptr LComparator type IteratorPtr = Ptr LIterator type LoggerPtr = Ptr LLogger type OptionsPtr = Ptr LOptions type ReadOptionsPtr = Ptr LReadOptions type SnapshotPtr = Ptr LSnapshot type WriteBatchPtr = Ptr LWriteBatch type WriteOptionsPtr = Ptr LWriteOptions -- custom env from haskell doesn't make too much sense data LEnv data LFileLock data LRandomFile data LSeqfile data LWritableFile type EnvPtr = Ptr LEnv type FileLockPtr = Ptr LFileLock type RandomFilePtr = Ptr LRandomFile type WritableFilePtr = Ptr LWritableFile type SeqfilePtr = Ptr LSeqfile type DBName = CString type ErrPtr = Ptr CString type Key = CString type Val = CString newtype CompressionOpt = CompressionOpt { compressionOpt :: CInt } deriving (Eq, Show) #{enum CompressionOpt, CompressionOpt , noCompression = 0 , snappyCompression = 1 } foreign import ccall safe "leveldb/c.h leveldb_open" c_leveldb_open :: OptionsPtr -> DBName -> ErrPtr -> IO LevelDBPtr foreign import ccall safe "leveldb/c.h leveldb_close" c_leveldb_close :: LevelDBPtr -> IO () foreign import ccall safe "leveldb/c.h leveldb_put" c_leveldb_put :: LevelDBPtr -> WriteOptionsPtr -> Key -> CSize -> Val -> CSize -> ErrPtr -> IO () foreign import ccall safe "leveldb/c.h leveldb_delete" c_leveldb_delete :: LevelDBPtr -> WriteOptionsPtr -> Key -> CSize -> ErrPtr -> IO () foreign import ccall safe "leveldb/c.h leveldb_write" c_leveldb_write :: LevelDBPtr -> WriteOptionsPtr -> WriteBatchPtr -> ErrPtr -> IO () -- | Returns NULL if not found. A malloc()ed array otherwise. Stores the length -- of the array in *vallen. foreign import ccall safe "leveldb/c.h leveldb_get" c_leveldb_get :: LevelDBPtr -> ReadOptionsPtr -> Key -> CSize -> Ptr CSize -- ^ value length -> ErrPtr -> IO CString foreign import ccall safe "leveldb/c.h leveldb_create_snapshot" c_leveldb_create_snapshot :: LevelDBPtr -> IO SnapshotPtr foreign import ccall safe "leveldb/c.h leveldb_release_snapshot" c_leveldb_release_snapshot :: LevelDBPtr -> SnapshotPtr -> IO () -- | Returns NULL if property name is unknown. Else returns a pointer to a -- malloc()-ed null-terminated value. foreign import ccall safe "leveldb/c.h leveldb_property_value" c_leveldb_property_value :: LevelDBPtr -> CString -> IO CString -- not sure why this needs to be imported safe foreign import ccall safe "leveldb/c.h leveldb_approximate_sizes" c_leveldb_approximate_sizes :: LevelDBPtr -> CInt -- ^ num ranges -> Ptr CString -> Ptr CSize -- ^ range start keys (array) -> Ptr CString -> Ptr CSize -- ^ range limit keys (array) -> Ptr Word64 -- ^ array of approx. sizes of ranges -> IO () foreign import ccall safe "leveldb/c.h leveldb_destroy_db" c_leveldb_destroy_db :: OptionsPtr -> DBName -> ErrPtr -> IO () foreign import ccall safe "leveldb/c.h leveldb_repair_db" c_leveldb_repair_db :: OptionsPtr -> DBName -> ErrPtr -> IO () -- ^ Iterator foreign import ccall safe "leveldb/c.h leveldb_create_iterator" c_leveldb_create_iterator :: LevelDBPtr -> ReadOptionsPtr -> IO IteratorPtr foreign import ccall safe "leveldb/c.h leveldb_iter_destroy" c_leveldb_iter_destroy :: IteratorPtr -> IO () foreign import ccall safe "leveldb/c.h leveldb_iter_valid" c_leveldb_iter_valid :: IteratorPtr -> IO CUChar foreign import ccall safe "leveldb/c.h leveldb_iter_seek_to_first" c_leveldb_iter_seek_to_first :: IteratorPtr -> IO () foreign import ccall safe "leveldb/c.h leveldb_iter_seek_to_last" c_leveldb_iter_seek_to_last :: IteratorPtr -> IO () foreign import ccall safe "leveldb/c.h leveldb_iter_seek" c_leveldb_iter_seek :: IteratorPtr -> Key -> CSize -> IO () foreign import ccall safe "leveldb/c.h leveldb_iter_next" c_leveldb_iter_next :: IteratorPtr -> IO () foreign import ccall safe "leveldb/c.h leveldb_iter_prev" c_leveldb_iter_prev :: IteratorPtr -> IO () foreign import ccall safe "leveldb/c.h leveldb_iter_key" c_leveldb_iter_key :: IteratorPtr -> Ptr CSize -> IO Key foreign import ccall safe "leveldb/c.h leveldb_iter_value" c_leveldb_iter_value :: IteratorPtr -> Ptr CSize -> IO Val foreign import ccall safe "leveldb/c.h leveldb_iter_get_error" c_leveldb_iter_get_error :: IteratorPtr -> ErrPtr -> IO () -- ^ Write batch foreign import ccall safe "leveldb/c.h leveldb_writebatch_create" c_leveldb_writebatch_create :: IO WriteBatchPtr foreign import ccall safe "leveldb/c.h leveldb_writebatch_destroy" c_leveldb_writebatch_destroy :: WriteBatchPtr -> IO () foreign import ccall safe "leveldb/c.h leveldb_writebatch_clear" c_leveldb_writebatch_clear :: WriteBatchPtr -> IO () foreign import ccall safe "leveldb/c.h leveldb_writebatch_put" c_leveldb_writebatch_put :: WriteBatchPtr -> Key -> CSize -> Val -> CSize -> IO () foreign import ccall safe "leveldb/c.h leveldb_writebatch_delete" c_leveldb_writebatch_delete :: WriteBatchPtr -> Key -> CSize -> IO () foreign import ccall safe "leveldb/c.h leveldb_writebatch_iterate" c_leveldb_writebatch_iterate :: WriteBatchPtr -> Ptr () -- ^ state -> FunPtr (Ptr () -> Key -> CSize -> Val -> CSize) -- ^ put -> FunPtr (Ptr () -> Key -> CSize) -- ^ delete -> IO () -- ^ Options foreign import ccall safe "leveldb/c.h leveldb_options_create" c_leveldb_options_create :: IO OptionsPtr foreign import ccall safe "leveldb/c.h leveldb_options_destroy" c_leveldb_options_destroy :: OptionsPtr -> IO () foreign import ccall safe "leveldb/c.h leveldb_options_set_comparator" c_leveldb_options_set_comparator :: OptionsPtr -> ComparatorPtr -> IO () foreign import ccall safe "leveldb/c.h leveldb_options_set_create_if_missing" c_leveldb_options_set_create_if_missing :: OptionsPtr -> CUChar -> IO () foreign import ccall safe "leveldb/c.h leveldb_options_set_error_if_exists" c_leveldb_options_set_error_if_exists :: OptionsPtr -> CUChar -> IO () foreign import ccall safe "leveldb/c.h leveldb_options_set_paranoid_checks" c_leveldb_options_set_paranoid_checks :: OptionsPtr -> CUChar -> IO () foreign import ccall safe "leveldb/c.h leveldb_options_set_env" c_leveldb_options_set_env :: OptionsPtr -> EnvPtr -> IO () foreign import ccall safe "leveldb/c.h leveldb_options_set_info_log" c_leveldb_options_set_info_log :: OptionsPtr -> LoggerPtr -> IO () foreign import ccall safe "leveldb/c.h leveldb_options_set_write_buffer_size" c_leveldb_options_set_write_buffer_size :: OptionsPtr -> CSize -> IO () foreign import ccall safe "leveldb/c.h leveldb_options_set_max_open_files" c_leveldb_options_set_max_open_files :: OptionsPtr -> CInt -> IO () foreign import ccall safe "leveldb/c.h leveldb_options_set_block_size" c_leveldb_options_set_block_size :: OptionsPtr -> CSize -> IO () foreign import ccall safe "leveldb/c.h leveldb_options_set_block_restart_interval" c_leveldb_options_set_block_restart_interval :: OptionsPtr -> CInt -> IO () foreign import ccall safe "leveldb/c.h leveldb_options_set_compression" c_leveldb_options_set_compression :: OptionsPtr -> CompressionOpt -> IO () foreign import ccall safe "leveldb/c.h leveldb_options_set_cache" c_leveldb_options_set_cache :: OptionsPtr -> CachePtr -> IO () -- -- Comparator -- type StatePtr = Ptr () type Destructor = StatePtr -> () type CompareFun = StatePtr -> CString -> CSize -> CString -> CSize -> IO CInt type NameFun = StatePtr -> CString -- | Make a FunPtr to a user-defined comparator function foreign import ccall "wrapper" mkCmp :: CompareFun -> IO (FunPtr CompareFun) -- | Make a destructor FunPtr foreign import ccall "wrapper" mkDest :: Destructor -> IO (FunPtr Destructor) -- | Make a name FunPtr foreign import ccall "wrapper" mkName :: NameFun -> IO (FunPtr NameFun) foreign import ccall safe "leveldb/c.h leveldb_comparator_create" c_leveldb_comparator_create :: StatePtr -> FunPtr Destructor -> FunPtr CompareFun -> FunPtr NameFun -> IO ComparatorPtr foreign import ccall safe "leveldb/c.h leveldb_comparator_destroy" c_leveldb_comparator_destroy :: ComparatorPtr -> IO () -- ^ Read options foreign import ccall safe "leveldb/c.h leveldb_readoptions_create" c_leveldb_readoptions_create :: IO ReadOptionsPtr foreign import ccall safe "leveldb/c.h leveldb_readoptions_destroy" c_leveldb_readoptions_destroy :: ReadOptionsPtr -> IO () foreign import ccall safe "leveldb/c.h leveldb_readoptions_set_verify_checksums" c_leveldb_readoptions_set_verify_checksums :: ReadOptionsPtr -> CUChar -> IO () foreign import ccall safe "leveldb/c.h leveldb_readoptions_set_fill_cache" c_leveldb_readoptions_set_fill_cache :: ReadOptionsPtr -> CUChar -> IO () foreign import ccall safe "leveldb/c.h leveldb_readoptions_set_snapshot" c_leveldb_readoptions_set_snapshot :: ReadOptionsPtr -> SnapshotPtr -> IO () -- ^ Write options foreign import ccall safe "leveldb/c.h leveldb_writeoptions_create" c_leveldb_writeoptions_create :: IO WriteOptionsPtr foreign import ccall safe "leveldb/c.h leveldb_writeoptions_destroy" c_leveldb_writeoptions_destroy :: WriteOptionsPtr -> IO () foreign import ccall safe "leveldb/c.h leveldb_writeoptions_set_sync" c_leveldb_writeoptions_set_sync :: WriteOptionsPtr -> CUChar -> IO () -- ^ Cache foreign import ccall safe "leveldb/c.h leveldb_cache_create_lru" c_leveldb_cache_create_lru :: CSize -> IO CachePtr foreign import ccall safe "leveldb/c.h leveldb_cache_destroy" c_leveldb_cache_destroy :: CachePtr -> IO () -- ^ Env foreign import ccall safe "leveldb/c.h leveldb_create_default_env" c_leveldb_create_default_env :: IO EnvPtr foreign import ccall safe "leveldb/c.h leveldb_env_destroy" c_leveldb_env_destroy :: EnvPtr -> IO ()