aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Storage.ml
diff options
context:
space:
mode:
Diffstat (limited to 'lib/kernel/Storage.ml')
-rw-r--r--lib/kernel/Storage.ml36
1 files changed, 17 insertions, 19 deletions
diff --git a/lib/kernel/Storage.ml b/lib/kernel/Storage.ml
index d50735c..da438d2 100644
--- a/lib/kernel/Storage.ml
+++ b/lib/kernel/Storage.ml
@@ -1,14 +1,13 @@
module Make (S : Abstract.Storage.STORAGE) = struct
module Pointer = struct
- type 'a t = {
- addr : S.address;
- loader : S.transaction -> S.address -> ('a, Concepts.Condition.condition) result
- }
-
- let make loader addr = { addr; loader }
- let address_of { addr; _ } = addr
- let swap { loader; _ } addr = make loader addr
- let deref tx { addr; loader } = loader tx addr
+ type 'a t =
+ { addr: S.address;
+ loader: S.transaction -> S.address -> ('a, Concepts.Condition.condition) result }
+
+ let make loader addr = {addr; loader}
+ let address_of {addr; _} = addr
+ let swap {loader; _} addr = make loader addr
+ let deref tx {addr; loader} = loader tx addr
end
let as_hash = function
@@ -16,25 +15,26 @@ module Make (S : Abstract.Storage.STORAGE) = struct
| _ -> failwith "A label was provided where a hash was expected."
let to_hum_string = function
- | S.Hash h -> "Hash " ^ (Concepts.Hash.to_hum_string h)
+ | S.Hash h -> "Hash " ^ Concepts.Hash.to_hum_string h
| S.Label l -> "Label " ^ l
module Error = struct
open Concepts.Condition
let missing_data addr =
- condition "missing-data" "An expected value was not found on the underlying storage. Is your database corrupted?"
+ condition "missing-data"
+ "An expected value was not found on the underlying storage. Is your database corrupted?"
("address" |=| Concepts.Value.String (to_hum_string addr))
end
let finish tx = function
| Ok value ->
- let open Utilities.Result in
- let* () = S.commit tx in
- Ok value
+ let open Utilities.Result in
+ let* () = S.commit tx in
+ Ok value
| Error condition ->
- let _ = S.abort tx in
- Error condition
+ let _ = S.abort tx in
+ Error condition
let within start connection body =
let open Utilities.Result in
@@ -51,7 +51,5 @@ module Make (S : Abstract.Storage.STORAGE) = struct
Ok address
let get_req tx addr =
- S.get tx addr
- |> Utilities.Result.fmap (Option.to_result ~none:(Error.missing_data addr))
-
+ S.get tx addr |> Utilities.Result.fmap (Option.to_result ~none:(Error.missing_data addr))
end