Prelude: + Fresh.map{,2}

rr0gi · rr0gi · commit ff6002d9f46a · 2025-09-18T23:32:23.000-04:00
the name is somewhat meh
diff --git a/prelude.ml b/prelude.ml
@@ -35,6 +35,8 @@ struct
   let project_list = id
   let compare = T.compare
   let equal a b = T.compare a b = 0
+  let map f x = inject @@ f @@ project x
+  let map2 f x y = inject @@ f (project x) (project y)
 end
 
 let (+=) a b = a := !a + b
diff --git a/prelude.mli b/prelude.mli
@@ -61,6 +61,8 @@ sig
   val project_list : t list -> T.t list
   val compare : t -> t -> int
   val equal : t -> t -> bool
+  val map : (T.t -> T.t) -> t -> t
+  val map2 : (T.t -> T.t -> T.t) -> t -> t -> t
 end
 
 val tuck : 'a list ref -> 'a -> unit
