From b790c77c5e42a220a8419c69dbea3e392ee60fbe Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sun, 2 Aug 2026 23:38:05 -0300 Subject: Revert "format" This reverts commit fee14f4b29840357f87f02d51953f41ce90f7d9e. --- lib/concepts/Relation.ml | 18 +++++++++++++----- 1 file changed, 13 insertions(+), 5 deletions(-) (limited to 'lib/concepts/Relation.ml') diff --git a/lib/concepts/Relation.ml b/lib/concepts/Relation.ml index 1194804..a4fb341 100644 --- a/lib/concepts/Relation.ml +++ b/lib/concepts/Relation.ml @@ -1,6 +1,10 @@ type address = Hash.hash type schema = string BatMap.String.t -type t = {name: string; tuples: address; schema: schema} + +type t = + { name: string; + tuples: address; + schema: schema } module Field = struct let name = "name" @@ -21,27 +25,31 @@ module Error = struct end let make ~name ~tuples ~schema = {name; tuples; schema} + let name relation = relation.name let tuples relation = relation.tuples let schema relation = relation.schema + let schema_empty = BatMap.String.empty let schema_of_list fields = - List.fold_left (fun acc (name, domain) -> BatMap.String.add name domain acc) schema_empty fields + List.fold_left (fun acc (name, domain) -> BatMap.String.add name domain acc) schema_empty + fields let schema_to_list schema = BatMap.String.bindings schema let schema_to_bencode schema = Codec.Bencode.Dict - (schema_to_list schema |> List.map (fun (name, domain) -> name, Codec.Bencode.String domain)) + (schema_to_list schema + |> List.map (fun (name, domain) -> name, Codec.Bencode.String domain) ) let schema_of_bencode value = let open Utilities.Result in let* fields = Codec.Bencode.as_dict value in fields |> List.map (fun (name, domain) -> - let* domain = Codec.Bencode.as_string domain in - Ok (name, domain) ) + let* domain = Codec.Bencode.as_string domain in + Ok (name, domain) ) |> sequence |> Result.map schema_of_list -- cgit v1.2.3