-
Notifications
You must be signed in to change notification settings - Fork 125
/
badop_wrapper_template.ml
59 lines (45 loc) · 1.83 KB
/
badop_wrapper_template.ml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
(*
Copyright © 2011 MLstate
This file is part of OPA.
OPA is free software: you can redistribute it and/or modify it under the
terms of the GNU Affero General Public License, version 3, as published by
the Free Software Foundation.
OPA is distributed in the hope that it will be useful, but WITHOUT ANY
WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License for
more details.
You should have received a copy of the GNU Affero General Public License
along with OPA. If not, see <http://www.gnu.org/licenses/>.
*)
(*
@author Louis Gesbert
**)
(*
Note: use OO to do this directly with inheritance ??
could give some interesting properties...
*)
open Cps.Ops
module F (Bk: Badop.S) = struct
type database = Bk.database
type transaction = Bk.transaction
type revision = Bk.revision
let open_database options k = Bk.open_database options @> k
let close_database db k = Bk.close_database db @> k
let status db k = Bk.status db @> fun st -> Badop.Layer("Wrapper_template", st) |> k
module Tr = struct
let start db errk k = Bk.Tr.start db errk @> k
let start_at_revision db rev errk k = Bk.Tr.start_at_revision db rev errk @> k
let prepare tr k = Bk.Tr.prepare tr @> k
let commit tr k = Bk.Tr.commit tr @> k
let abort tr k = Bk.Tr.abort tr @> k
end
type 'which read_op = 'which Bk.read_op
type 'which write_op = 'which Bk.write_op
let read tr path read_op k = Bk.read tr path read_op @> k
let write tr path write_op k = Bk.write tr path write_op @> k
let write_list tr l_path_write_op k = Bk.write_list tr l_path_write_op @> k
let node_properties db config k = Bk.node_properties db config @> k
module Debug = struct
let revision_to_string = Bk.Debug.revision_to_string
end
end