CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-08 07:51:43 +03:00
Code Issues Projects Releases Wiki Activity

Add map_info to UIds

Browse Source
This commit is contained in:
vbot 2024-09-24 17:37:46 +02:00
parent 7ccedafa13
commit a79f272fc5
No known key found for this signature in database
GPG Key ID: A2CE1BDBED95DA38
2 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/catala_utils/uid.ml
View File

@ -30,6 +30,7 @@ module type Id = sig
val fresh : info -> t
val get_info : t -> info
val map_info : (info -> info) -> t -> t
val compare : t -> t -> int
val equal : t -> t -> bool
val format : Format.formatter -> t -> unit
@ -70,6 +71,7 @@ module Make (X : Info) (S : Style) () : Id with type info = X.info = struct
{ id = !counter; info }
let get_info (uid : t) : X.info = uid.info
let map_info f { id; info } = { id; info = f info }
let id (x : t) : int = x.id
let to_string t = X.to_string t.info
let hash t = X.hash t.info

1
compiler/catala_utils/uid.mli
View File

@ -47,6 +47,7 @@ module type Id = sig
val fresh : info -> t
val get_info : t -> info
val map_info : (info -> info) -> t -> t
val compare : t -> t -> int
val equal : t -> t -> bool
val format : Format.formatter -> t -> unit