streamly-lmdb-0.7.0: Stream data to or from LMDB databases using the streamly library.

Safe Haskell	Safe-Inferred
Language	Haskell2010

Streamly.External.LMDB.Internal.Foreign

Synopsis

type MDB_mode_t = Word32
type MDB_dbi_t = Word32
type MDB_cursor_op_t = Word32
data MDB_env
data MDB_txn
data MDB_cursor
data MDB_val = MDB_val {
- mv_size :: !CSize
- mv_data :: !(Ptr CChar)
}
c_mdb_strerror :: CInt -> IO CString
c_mdb_env_create :: Ptr (Ptr MDB_env) -> IO CInt
c_mdb_env_set_mapsize :: Ptr MDB_env -> CSize -> IO CInt
c_mdb_env_set_maxreaders :: Ptr MDB_env -> CUInt -> IO CInt
c_mdb_env_set_maxdbs :: Ptr MDB_env -> MDB_dbi_t -> IO CInt
c_mdb_env_open :: Ptr MDB_env -> CString -> CUInt -> MDB_mode_t -> IO CInt
c_mdb_txn_begin :: Ptr MDB_env -> Ptr MDB_txn -> CUInt -> Ptr (Ptr MDB_txn) -> IO CInt
c_mdb_txn_begin_unsafe :: Ptr MDB_env -> Ptr MDB_txn -> CUInt -> Ptr (Ptr MDB_txn) -> IO CInt
c_mdb_dbi_open :: Ptr MDB_txn -> CString -> CUInt -> Ptr MDB_dbi_t -> IO CInt
c_mdb_txn_commit :: Ptr MDB_txn -> IO CInt
c_mdb_txn_commit_unsafe :: Ptr MDB_txn -> IO CInt
c_mdb_txn_abort :: Ptr MDB_txn -> IO ()
c_mdb_txn_abort_unsafe :: Ptr MDB_txn -> IO ()
c_mdb_cursor_open :: Ptr MDB_txn -> MDB_dbi_t -> Ptr (Ptr MDB_cursor) -> IO CInt
c_mdb_cursor_open_unsafe :: Ptr MDB_txn -> MDB_dbi_t -> Ptr (Ptr MDB_cursor) -> IO CInt
c_mdb_cursor_get :: Ptr MDB_cursor -> Ptr MDB_val -> Ptr MDB_val -> MDB_cursor_op_t -> IO CInt
c_mdb_cursor_get_unsafe :: Ptr MDB_cursor -> Ptr MDB_val -> Ptr MDB_val -> MDB_cursor_op_t -> IO CInt
c_mdb_cursor_close :: Ptr MDB_cursor -> IO ()
c_mdb_cursor_close_unsafe :: Ptr MDB_cursor -> IO ()
c_mdb_dbi_close :: Ptr MDB_env -> MDB_dbi_t -> IO ()
c_mdb_env_close :: Ptr MDB_env -> IO ()
c_mdb_get :: Ptr MDB_txn -> MDB_dbi_t -> Ptr MDB_val -> Ptr MDB_val -> IO CInt
c_mdb_get_unsafe :: Ptr MDB_txn -> MDB_dbi_t -> Ptr MDB_val -> Ptr MDB_val -> IO CInt
c_mdb_put :: Ptr MDB_txn -> MDB_dbi_t -> Ptr MDB_val -> Ptr MDB_val -> CUInt -> IO CInt
c_mdb_put_ :: Ptr MDB_txn -> MDB_dbi_t -> Ptr CChar -> CSize -> Ptr CChar -> CSize -> CUInt -> IO CInt
c_mdb_put_unsafe_ :: Ptr MDB_txn -> MDB_dbi_t -> Ptr CChar -> CSize -> Ptr CChar -> CSize -> CUInt -> IO CInt
c_mdb_drop :: Ptr MDB_txn -> MDB_dbi_t -> CInt -> IO CInt
data LMDB_Error = LMDB_Error {
- e_context :: String
- e_description :: String
- e_code :: Either Int MDB_ErrCode
}
data MDB_ErrCode
- = MDB_KEYEXIST
- | MDB_NOTFOUND
- | MDB_PAGE_NOTFOUND
- | MDB_CORRUPTED
- | MDB_PANIC
- | MDB_VERSION_MISMATCH
- | MDB_INVALID
- | MDB_MAP_FULL
- | MDB_DBS_FULL
- | MDB_READERS_FULL
- | MDB_TLS_FULL
- | MDB_TXN_FULL
- | MDB_CURSOR_FULL
- | MDB_PAGE_FULL
- | MDB_MAP_RESIZED
- | MDB_INCOMPATIBLE
- | MDB_BAD_RSLOT
- | MDB_BAD_TXN
- | MDB_BAD_VALSIZE
- | MDB_BAD_DBI
errCodes :: [(MDB_ErrCode, Int)]
numToErrVal :: Int -> Either Int MDB_ErrCode
throwLMDBErrNum :: String -> CInt -> IO noReturn
mdb_notfound :: CInt
mdb_rdonly :: CUInt
mdb_notls :: CUInt
mdb_nosubdir :: CUInt
mdb_nooverwrite :: CUInt
mdb_append :: CUInt
mdb_create :: CUInt
combineOptions :: [CUInt] -> CUInt
mdb_first :: MDB_cursor_op_t
mdb_last :: MDB_cursor_op_t
mdb_next :: MDB_cursor_op_t
mdb_prev :: MDB_cursor_op_t
mdb_set_range :: MDB_cursor_op_t
mdb_env_create :: IO (Ptr MDB_env)
mdb_env_set_mapsize :: Ptr MDB_env -> Int -> IO ()
mdb_env_set_maxdbs :: Ptr MDB_env -> Int -> IO ()
mdb_env_set_maxreaders :: Ptr MDB_env -> Int -> IO ()
mdb_env_open :: Ptr MDB_env -> FilePath -> CUInt -> IO ()
mdb_txn_begin :: Ptr MDB_env -> Ptr MDB_txn -> CUInt -> IO (Ptr MDB_txn)
mdb_txn_begin_unsafe :: Ptr MDB_env -> Ptr MDB_txn -> CUInt -> IO (Ptr MDB_txn)
mdb_txn_commit :: Ptr MDB_txn -> IO ()
mdb_txn_commit_unsafe :: Ptr MDB_txn -> IO ()
mdb_cursor_open :: Ptr MDB_txn -> MDB_dbi_t -> IO (Ptr MDB_cursor)
mdb_cursor_open_unsafe :: Ptr MDB_txn -> MDB_dbi_t -> IO (Ptr MDB_cursor)
mdb_dbi_open :: Ptr MDB_txn -> Maybe String -> CUInt -> IO MDB_dbi_t
mdb_put :: Ptr MDB_txn -> MDB_dbi_t -> Ptr MDB_val -> Ptr MDB_val -> CUInt -> IO ()
mdb_put_ :: Ptr MDB_txn -> MDB_dbi_t -> Ptr CChar -> CSize -> Ptr CChar -> CSize -> CUInt -> IO ()
mdb_put_unsafe_ :: Ptr MDB_txn -> MDB_dbi_t -> Ptr CChar -> CSize -> Ptr CChar -> CSize -> CUInt -> IO ()
mdb_clear :: Ptr MDB_txn -> MDB_dbi_t -> IO ()
withCStringMaybe :: Maybe String -> (CString -> IO a) -> IO a

Documentation

type MDB_mode_t = Word32 Source #

type MDB_dbi_t = Word32 Source #

type MDB_cursor_op_t = Word32 Source #

data MDB_env Source #

data MDB_txn Source #

data MDB_cursor Source #

data MDB_val Source #

Constructors

MDB_val
Fields mv_size :: !CSize mv_data :: !(Ptr CChar)

Instances

Instances details

Storable MDB_val Source #

Instance details

Defined in Streamly.External.LMDB.Internal.Foreign

Methods

sizeOf :: MDB_val -> Int Source #

alignment :: MDB_val -> Int Source #

peekElemOff :: Ptr MDB_val -> Int -> IO MDB_val Source #

pokeElemOff :: Ptr MDB_val -> Int -> MDB_val -> IO () Source #

peekByteOff :: Ptr b -> Int -> IO MDB_val Source #

pokeByteOff :: Ptr b -> Int -> MDB_val -> IO () Source #

peek :: Ptr MDB_val -> IO MDB_val Source #

poke :: Ptr MDB_val -> MDB_val -> IO () Source #

c_mdb_strerror :: CInt -> IO CString Source #

c_mdb_env_create :: Ptr (Ptr MDB_env) -> IO CInt Source #

c_mdb_env_set_mapsize :: Ptr MDB_env -> CSize -> IO CInt Source #

c_mdb_env_set_maxreaders :: Ptr MDB_env -> CUInt -> IO CInt Source #

c_mdb_env_set_maxdbs :: Ptr MDB_env -> MDB_dbi_t -> IO CInt Source #

c_mdb_env_open :: Ptr MDB_env -> CString -> CUInt -> MDB_mode_t -> IO CInt Source #

c_mdb_txn_begin :: Ptr MDB_env -> Ptr MDB_txn -> CUInt -> Ptr (Ptr MDB_txn) -> IO CInt Source #

c_mdb_txn_begin_unsafe :: Ptr MDB_env -> Ptr MDB_txn -> CUInt -> Ptr (Ptr MDB_txn) -> IO CInt Source #

c_mdb_dbi_open :: Ptr MDB_txn -> CString -> CUInt -> Ptr MDB_dbi_t -> IO CInt Source #

c_mdb_txn_commit :: Ptr MDB_txn -> IO CInt Source #

c_mdb_txn_commit_unsafe :: Ptr MDB_txn -> IO CInt Source #

c_mdb_txn_abort :: Ptr MDB_txn -> IO () Source #

c_mdb_txn_abort_unsafe :: Ptr MDB_txn -> IO () Source #

c_mdb_cursor_open :: Ptr MDB_txn -> MDB_dbi_t -> Ptr (Ptr MDB_cursor) -> IO CInt Source #

c_mdb_cursor_open_unsafe :: Ptr MDB_txn -> MDB_dbi_t -> Ptr (Ptr MDB_cursor) -> IO CInt Source #

c_mdb_cursor_get :: Ptr MDB_cursor -> Ptr MDB_val -> Ptr MDB_val -> MDB_cursor_op_t -> IO CInt Source #

c_mdb_cursor_get_unsafe :: Ptr MDB_cursor -> Ptr MDB_val -> Ptr MDB_val -> MDB_cursor_op_t -> IO CInt Source #

c_mdb_cursor_close :: Ptr MDB_cursor -> IO () Source #

c_mdb_cursor_close_unsafe :: Ptr MDB_cursor -> IO () Source #

c_mdb_dbi_close :: Ptr MDB_env -> MDB_dbi_t -> IO () Source #

c_mdb_env_close :: Ptr MDB_env -> IO () Source #

c_mdb_get :: Ptr MDB_txn -> MDB_dbi_t -> Ptr MDB_val -> Ptr MDB_val -> IO CInt Source #

c_mdb_get_unsafe :: Ptr MDB_txn -> MDB_dbi_t -> Ptr MDB_val -> Ptr MDB_val -> IO CInt Source #

c_mdb_put :: Ptr MDB_txn -> MDB_dbi_t -> Ptr MDB_val -> Ptr MDB_val -> CUInt -> IO CInt Source #

c_mdb_put_ :: Ptr MDB_txn -> MDB_dbi_t -> Ptr CChar -> CSize -> Ptr CChar -> CSize -> CUInt -> IO CInt Source #

c_mdb_put_unsafe_ :: Ptr MDB_txn -> MDB_dbi_t -> Ptr CChar -> CSize -> Ptr CChar -> CSize -> CUInt -> IO CInt Source #

c_mdb_drop :: Ptr MDB_txn -> MDB_dbi_t -> CInt -> IO CInt Source #

data LMDB_Error Source #

Constructors

LMDB_Error
Fields e_context :: String e_description :: String e_code :: Either Int MDB_ErrCode

Instances

Instances details

Exception LMDB_Error Source #
Instance details Defined in Streamly.External.LMDB.Internal.Foreign Methods toException :: LMDB_Error -> SomeException Source # fromException :: SomeException -> Maybe LMDB_Error Source # displayException :: LMDB_Error -> String Source #
Show LMDB_Error Source #
Instance details Defined in Streamly.External.LMDB.Internal.Foreign Methods showsPrec :: Int -> LMDB_Error -> ShowS Source # show :: LMDB_Error -> String Source # showList :: [LMDB_Error] -> ShowS Source #

data MDB_ErrCode Source #

Instances

Instances details

Show MDB_ErrCode Source #
Instance details Defined in Streamly.External.LMDB.Internal.Foreign Methods showsPrec :: Int -> MDB_ErrCode -> ShowS Source # show :: MDB_ErrCode -> String Source # showList :: [MDB_ErrCode] -> ShowS Source #
Eq MDB_ErrCode Source #
Instance details Defined in Streamly.External.LMDB.Internal.Foreign Methods (==) :: MDB_ErrCode -> MDB_ErrCode -> Bool Source # (/=) :: MDB_ErrCode -> MDB_ErrCode -> Bool Source #

errCodes :: [(MDB_ErrCode, Int)] Source #

numToErrVal :: Int -> Either Int MDB_ErrCode Source #

throwLMDBErrNum :: String -> CInt -> IO noReturn Source #

mdb_notfound :: CInt Source #

mdb_rdonly :: CUInt Source #

mdb_notls :: CUInt Source #

mdb_nosubdir :: CUInt Source #

mdb_nooverwrite :: CUInt Source #

mdb_append :: CUInt Source #

mdb_create :: CUInt Source #

combineOptions :: [CUInt] -> CUInt Source #

mdb_first :: MDB_cursor_op_t Source #

mdb_last :: MDB_cursor_op_t Source #

mdb_next :: MDB_cursor_op_t Source #

mdb_prev :: MDB_cursor_op_t Source #

mdb_set_range :: MDB_cursor_op_t Source #

mdb_env_create :: IO (Ptr MDB_env) Source #

mdb_env_set_mapsize :: Ptr MDB_env -> Int -> IO () Source #

mdb_env_set_maxdbs :: Ptr MDB_env -> Int -> IO () Source #

mdb_env_set_maxreaders :: Ptr MDB_env -> Int -> IO () Source #

mdb_env_open :: Ptr MDB_env -> FilePath -> CUInt -> IO () Source #

mdb_txn_begin :: Ptr MDB_env -> Ptr MDB_txn -> CUInt -> IO (Ptr MDB_txn) Source #

mdb_txn_begin_unsafe :: Ptr MDB_env -> Ptr MDB_txn -> CUInt -> IO (Ptr MDB_txn) Source #

mdb_txn_commit :: Ptr MDB_txn -> IO () Source #

mdb_txn_commit_unsafe :: Ptr MDB_txn -> IO () Source #

mdb_cursor_open :: Ptr MDB_txn -> MDB_dbi_t -> IO (Ptr MDB_cursor) Source #

mdb_cursor_open_unsafe :: Ptr MDB_txn -> MDB_dbi_t -> IO (Ptr MDB_cursor) Source #

mdb_dbi_open :: Ptr MDB_txn -> Maybe String -> CUInt -> IO MDB_dbi_t Source #

mdb_put :: Ptr MDB_txn -> MDB_dbi_t -> Ptr MDB_val -> Ptr MDB_val -> CUInt -> IO () Source #

mdb_put_ :: Ptr MDB_txn -> MDB_dbi_t -> Ptr CChar -> CSize -> Ptr CChar -> CSize -> CUInt -> IO () Source #

mdb_put_unsafe_ :: Ptr MDB_txn -> MDB_dbi_t -> Ptr CChar -> CSize -> Ptr CChar -> CSize -> CUInt -> IO () Source #

mdb_clear :: Ptr MDB_txn -> MDB_dbi_t -> IO () Source #

withCStringMaybe :: Maybe String -> (CString -> IO a) -> IO a Source #

Use a nullable CString.