Oops, forgot to expose may_update

let-def · Dec 18, 2023 · 7bc9bb9 · 7bc9bb9
1 parent e5fd299
commit 7bc9bb9
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/lib/lwd/lwd.mli b/lib/lwd/lwd.mli
@@ -70,6 +70,9 @@ val peek : 'a var -> 'a
 val update : ('a -> 'a) -> 'a var -> unit
 (** Modify a variable based on its currently observed value. *)
 
+val may_update : ('a -> 'a option) -> 'a var -> unit
+(** Conditionnally modify a variable based on its currently observed value. *)
+
 type +'a prim
 (** A primitive document. It can correspond, for example, to
     a primitive UI element.