1. Dmitry Grebeniuk
  2. parvel

Commits

Dmitry Grebeniuk  committed d8d7d53

Typeinfo: + {t,u}box_type_name

  • Participants
  • Parent commits 67d8cfe
  • Branches default

Comments (0)

Files changed (2)

File typeinfo.ml

View file
   | Some (to_json, _of_json) -> to_json tb.tb_val
   ]
 ;
+
+
+value uti_type_name : utypeinfo -> string
+= fun x -> (x : utypeinfo :> string)
+;
+
+
+(* взять имя типа данного [tbox 'a]: *)
+value tget_type_name : tbox 'a -> string
+= fun tb ->
+  uti_type_name tb.tb_tti.tti_uti
+;
+
+
+(* взять имя типа из данного [tbox 'a]: *)
+value tbox_type_name : tbox 'a -> string
+= fun tb ->
+  uti_type_name tb.tb_tti.tti_uti
+;
+
+
+(* взять имя типа из данного [ubox]: *)
+value ubox_type_name : ubox -> string
+= fun ub ->
+  uti_type_name ub.ub_uti
+;

File typeinfo.mli

View file
 
 (* взять json из данного [tbox 'a]: *)
 value tget_json : tbox 'a -> Json_type.t;
+
+
+(* взять имя типа из данного [tbox 'a]: *)
+value tbox_type_name : tbox 'a -> string;
+
+
+(* взять имя типа из данного [ubox]: *)
+value ubox_type_name : ubox -> string;