Safe Haskell | None |
---|---|
Language | Haskell2010 |
- move :: Cursor e k v -> Movement k -> IO (Maybe (KeyValue k v))
- first :: Cursor e k v -> IO (Maybe (KeyValue k v))
- last :: Cursor e k v -> IO (Maybe (KeyValue k v))
- next :: Cursor e k v -> IO (Maybe (KeyValue k v))
- prev :: Cursor e k v -> IO (Maybe (KeyValue k v))
- lookup :: Cursor e k v -> k -> IO (Maybe (KeyValue k v))
- lookupGte :: Cursor e k v -> k -> IO (Maybe (KeyValue k v))
- current :: Cursor e k v -> IO (KeyValue k v)
- nextKey :: Cursor e k v -> IO (Maybe k)
- lookupGteKey :: Cursor e k v -> k -> IO (Maybe k)
- currentKey :: Cursor e k v -> IO k
- nextValue :: Cursor e k v -> IO (Maybe v)
- currentValue :: Cursor e k v -> IO v
- first_ :: Cursor e k v -> IO Bool
- next_ :: Cursor e k v -> IO Bool
- forward :: Cursor e k v -> Producer' (KeyValue k v) IO ()
- backward :: Cursor e k v -> Producer' (KeyValue k v) IO ()
- firstForward :: Cursor e k v -> Producer' (KeyValue k v) IO ()
- lastBackward :: Cursor e k v -> Producer' (KeyValue k v) IO ()
- lookupForward :: Cursor e k v -> k -> Producer' (KeyValue k v) IO ()
- lookupGteForward :: Cursor e k v -> k -> Producer' (KeyValue k v) IO ()
- serverRequired :: forall e k v. Cursor e k v -> Movement k -> Server' (Movement k) (KeyValue k v) IO ()
- serverOptional :: Cursor e k v -> Movement k -> Server' (Movement k) (Maybe (KeyValue k v)) IO a
- insert :: Cursor ReadWrite k v -> k -> v -> IO ()
- insertSuccess :: Cursor ReadWrite k v -> k -> v -> IO Bool
- repsert :: Cursor ReadWrite k v -> k -> v -> IO ()
- lookup' :: Transaction ReadOnly -> Database k v -> k -> IO (Maybe v)
- insert' :: Transaction ReadWrite -> Database k v -> k -> v -> IO ()
- insertSuccess' :: Transaction ReadWrite -> Database k v -> k -> v -> IO Bool
- repsert' :: Transaction ReadWrite -> Database k v -> k -> v -> IO ()
Cursor Operations
Movements
Key and Value
Only Key
currentKey :: Cursor e k v -> IO k Source #
Only Value
currentValue :: Cursor e k v -> IO v Source #
No Data
Streaming
serverRequired :: forall e k v. Cursor e k v -> Movement k -> Server' (Movement k) (KeyValue k v) IO () Source #
serverOptional :: Cursor e k v -> Movement k -> Server' (Movement k) (Maybe (KeyValue k v)) IO a Source #
Writing
Cursorless Operations
Reading
Writing
insert' :: Transaction ReadWrite -> Database k v -> k -> v -> IO () Source #
Insert a value at the given key, throwing an exception if a value already exists at this key.
insertSuccess' :: Transaction ReadWrite -> Database k v -> k -> v -> IO Bool Source #