package trakeva
-
trakeva_of_uri
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package trakeva
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Implementation of Trakeva_interface.KEY_VALUE_STORE with a dynamically chosen backend among the ones available at compilation time
Implementation of the API
The function create takes a URI string:
- if the URI scheme is
"postgresql"thenTrakeva_postgresqlwill be used, - if the URI scheme is
"sqlite", or there is no scheme, thenTrakeva_sqlitewill be used, - an exception is raised for other schemes (reserved for future use).
include Trakeva.KEY_VALUE_STORE
val load :
string ->
(t, [> `Database of [> `Load of string ] * string ])
Pvem_lwt_unix.Deferred_result.tLoad a handle from the given database parameters.
val close :
t ->
(unit, [> `Database of [> `Close ] * string ])
Pvem_lwt_unix.Deferred_result.tClose the DB.
val get :
?collection:string ->
t ->
key:string ->
(string option,
[> `Database of [> `Get of Trakeva.Key_in_collection.t ] * string ])
Pvem_lwt_unix.Deferred_result.tGet a value in the DB.
val get_all :
t ->
collection:string ->
(string list, [> `Database of [> `Get_all of string ] * string ])
Pvem_lwt_unix.Deferred_result.tGet all the keys in a given collection as a list.
val iterator :
t ->
collection:string ->
unit ->
(string option, [> `Database of [> `Iter of string ] * string ])
Pvem_lwt_unix.Deferred_result.tGo through all the kets in a given collection (exact semantics versus concurrent writes still to be defined …).
val act :
t ->
action:Trakeva.Action.t ->
([ `Done | `Not_done ],
[> `Database of [> `Act of Trakeva.Action.t ] * string ])
Pvem_lwt_unix.Deferred_result.tProcess a transaction, which can be `Done is successful or `Not_done if one of the checks in the Action.t failed.