Commits

camlspotter committed 0ee3627

comment

  • Participants
  • Parent commits 0756417

Comments (0)

Files changed (2)

           end
         
           module Decode : sig
-            val tuple : t -> t list
-            val variant : t -> string * t list
-            val record : t -> (string * t) list
+            (* Address.t = Meta_conv.Conv.Address.t *)
+            val tuple   : (t * Address.t) -> (t * Address.t) list
+            val variant : (t * Address.t) -> string * (t * Address.t) list
+            val record  : (t * Address.t) -> (string * (t * Address.t)) list
           end
         end
 

File lib/conv.mli

   ('target -> 'target list option) 
   -> ('a, 'target) decoder 
   -> ('a list, 'target) decoder
+(** typical list_of_<targe_type>. It takes a function to get a list from a target value *)
 
 val generic_array_of : 
   ('target -> 'target list option) 
   -> ('a, 'target) decoder 
   -> ('a array, 'target) decoder
+(** typical array_of_<targe_type>. It takes a function to get a list from a target value  *)
 
 val generic_option_of : 
   ('target -> bool) 
   -> ('a, 'target) decoder 
   -> ('a option, 'target) decoder
+(** typical option_of_<targe_type>. It takes predicate to check the arg is a null or not *)
 
 val generic_lazy_t_of : 
   ('a, 'target) decoder 
   -> ('a lazy_t, 'target) decoder
+(** typical lazy_t_of_<targe_type> *)