Add Dyn.result (#9419)

As the result can now be considered a base type it seems to make sense to have it as a basic Dyn.builder shipped with the dyn library. This would prove quite convenient for `ppx_deriving_dyn` as well. Signed-off-by: Nathan Rebours <[email protected]>
ocaml · Dec 8, 2023 · c8fa675 · c8fa675
1 parent b3567f2
commit c8fa675
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/otherlibs/dyn/dyn.ml b/otherlibs/dyn/dyn.ml
@@ -150,3 +150,8 @@ let variant s args = Variant (s, args)
 let hash = Stdlib.Hashtbl.hash
 let compare x y = Ordering.of_int (compare x y)
 let equal x y = x = y
+
+let result ok err = function
+  | Ok e -> variant "Ok" [ ok e ]
+  | Error e -> variant "Error" [ err e ]
+;;
diff --git a/otherlibs/dyn/dyn.mli b/otherlibs/dyn/dyn.mli
@@ -50,3 +50,4 @@ val option : 'a builder -> 'a option builder
 val opaque : _ builder
 val record : (string * t) list -> t
 val variant : string -> t list -> t
+val result : 'a builder -> 'error builder -> ('a, 'error) result builder