Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data Mode
- class ModeBool x where
- newtype Environment x = Environment {}
- newtype Transaction t = Transaction {}
- data Cursor t k v = Cursor {
- cursorRef :: !CursorByFfi
- cursorDatabaseSettings :: !(DatabaseSettings k v)
- data MultiCursor t k v = MultiCursor {}
- data KeyValue k v = KeyValue {
- keyValueKey :: !k
- keyValueValue :: !v
- data CursorByFfi
- data DbiByFfi
- data Database k v = Database {
- databaseRef :: !DbiByFfi
- databaseTheSettings :: !(DatabaseSettings k v)
- data MultiDatabase k v = MultiDatabase {}
- data DatabaseSettings k v = DatabaseSettings {
- databaseSettingsSort :: !(Sort ks k)
- databaseSettingsEncodeKey :: !(Encoding ks k)
- databaseSettingsDecodeKey :: !(Decoding k)
- databaseSettingsEncodeValue :: !(Encoding vs v)
- databaseSettingsDecodeValue :: !(Decoding v)
- data MultiDatabaseSettings k v = MultiDatabaseSettings {
- multiDatabaseSettingsSortKey :: Sort ks k
- multiDatabaseSettingsSortValue :: Sort vs v
- multiDatabaseSettingsEncodeKey :: !(Encoding ks k)
- multiDatabaseSettingsDecodeKey :: !(Decoding k)
- multiDatabaseSettingsEncodeValue :: !(Encoding vs v)
- multiDatabaseSettingsDecodeValue :: !(Decoding v)
- data Codec s a = Codec {
- codecEncode :: !(Encoding s a)
- codecDecode :: !(Decoding a)
- newtype Decoding a = Decoding {
- getDecoding :: CSize -> Ptr Word8 -> IO a
- data Encoding s a where
- EncodingVariable :: (a -> SizedPoke) -> Encoding Variable a
- EncodingFixed :: CSize -> (a -> FixedPoke) -> Encoding Fixed a
- EncodingMachineWord :: (a -> FixedPoke) -> Encoding MachineWord a
- data SizedPoke = SizedPoke {
- sizedPokeSize :: !CSize
- sizedPokePoke :: !(Ptr Word8 -> IO ())
- newtype FixedPoke = FixedPoke {
- getFixedPoke :: Ptr Word8 -> IO ()
- data Size
- = Variable
- | Fixed
- | MachineWord
- data NativeSort s where
- data CustomSort a
- = CustomSortSafe (a -> a -> Ordering)
- | CustomSortUnsafe (FunPtr (Ptr MDB_val -> Ptr MDB_val -> IO CInt))
- data Sort s a where
- SortNative :: NativeSort s -> Sort s a
- SortCustom :: CustomSort a -> Sort Variable a
- data Movement k
Documentation
newtype Environment x Source #
newtype Transaction t Source #
Cursor | |
|
data MultiCursor t k v Source #
KeyValue | |
|
Database | |
|
data MultiDatabase k v Source #
data DatabaseSettings k v Source #
DatabaseSettings | |
|
data MultiDatabaseSettings k v Source #
MultiDatabaseSettings | |
|
Codec | |
|
data Encoding s a where Source #
EncodingVariable :: (a -> SizedPoke) -> Encoding Variable a | |
EncodingFixed :: CSize -> (a -> FixedPoke) -> Encoding Fixed a | |
EncodingMachineWord :: (a -> FixedPoke) -> Encoding MachineWord a |
SizedPoke | |
|
data NativeSort s where Source #
data CustomSort a Source #
CustomSortSafe (a -> a -> Ordering) | |
CustomSortUnsafe (FunPtr (Ptr MDB_val -> Ptr MDB_val -> IO CInt)) |
SortNative :: NativeSort s -> Sort s a | |
SortCustom :: CustomSort a -> Sort Variable a |