Index of values


(//) [Main]

A
act [Trakeva.KEY_VALUE_STORE]
Process a transaction, which can be `Done is successful or `Not_done if one of the checks in the Action.t failed.
act [Main.In_memory.DB]
available_backends [Trakeva_of_uri]
The databases that are available via create

B
basic_test [Main]
benchmark_01 [Main]

C
check [Main.Test]
close [Trakeva.KEY_VALUE_STORE]
Close the DB.
close [Main.In_memory.DB]
contains [Trakeva.Action]
An action that checks that the key is set in the DB and has the given value.
create [Trakeva.Key_in_collection]

D
debug [Trakeva_postgresql]
Set dbug to true to print debug messages on stderr, this variable is also set when load is called while the environment variable "TRAKEVA_SQLITE_DEBUG" is set with the string "true".
debug [Trakeva_cache]
Enable over verbose debug priting.
debug [Trakeva_sqlite]
Set dbug to true to print debug messages on stderr, this variable is also set when load is called while the environment variable "TRAKEVA_SQLITE_DEBUG" is set with the string "true".
debug_mode [Main.TEST_DATABASE]
debug_mode [Main.Test_postgresql]
debug_mode [Main.Test_sqlite_with_greedy_cache]
debug_mode [Main.Test_sqlite]
debug_mode [Main.In_memory]

F
fail [Main.Test]
failed_tests [Main.Test]
find_arg [Main]

G
get [Trakeva.KEY_VALUE_STORE]
Get a value in the DB.
get [Main.In_memory.DB]
get_all [Trakeva.KEY_VALUE_STORE]
Get all the keys in a given collection as a list.
get_all [Main.In_memory.DB]
get_collection [Main.In_memory.DB]

H
has_arg [Main]

I
independent_pg_test [Main]
is_not_set [Trakeva.Action]
An action that checks that the key is not set in the DB.
iterator [Trakeva.KEY_VALUE_STORE]
Go through all the kets in a given collection (exact semantics versus concurrent writes still to be defined …).
iterator [Main.In_memory.DB]

L
load [Trakeva.KEY_VALUE_STORE]
Load a handle from the given database parameters.
load [Main.In_memory.DB]

M
max_failures [Main.Test]

N
new_tmp_dir [Main.Test]
now [Main.Test]

O
open_close_test [Main]

P
pg_server [Main]

R
run_monad [Main.Test]

S
say [Main]
seq [Trakeva.Action]
Put a sequence of actions into a transaction.
set [Trakeva.Action]
Create a “set” action: set ~key v will add or set the value v for the key key, optionally in the collection collection.

T
table_name [Trakeva_postgresql]
The SQL table that is used internally.
test_name [Main.TEST_DATABASE]
test_name [Main.Test_postgresql]
test_name [Main.Test_sqlite_with_greedy_cache]
test_name [Main.Test_sqlite]
test_name [Main.In_memory]
to_string [Trakeva.Error]
to_string [Trakeva.Action]
Convert the action to a display friendly string (the implementation is quite naive and not tail-recursive, hence avoid displaying huge transaction).
to_string [Trakeva.Key_in_collection]

U
unset [Trakeva.Action]
An actions that removes a value from the DB.