From 584fbca6d920e9a9f91d451667f9380714ac2175 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Fri, 25 Sep 2026 21:51:33 -0300 Subject: dune fmt --- lib/kernel/Storage.ml | 36 +++++++++++++++++------------------- 1 file changed, 17 insertions(+), 19 deletions(-) (limited to 'lib/kernel/Storage.ml') 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 -- cgit v1.2.3