Module `Serlib.Ser_genarg`

type rlevel = Genarg.rlevel

type glevel = Genarg.glevel

type tlevel = Genarg.tlevel

val rlevel_of_sexp : Sexplib.Sexp.t -> rlevel

val sexp_of_rlevel : rlevel -> Sexplib.Sexp.t

val glevel_of_sexp : Sexplib.Sexp.t -> glevel

val sexp_of_glevel : glevel -> Sexplib.Sexp.t

val tlevel_of_sexp : Sexplib.Sexp.t -> tlevel

val sexp_of_tlevel : tlevel -> Sexplib.Sexp.t

type 'a generic_argument = 'a Genarg.generic_argument

val generic_argument_of_sexp : 
  (Sexplib.Sexp.t -> 'a) ->
  Sexplib.Sexp.t ->
  'a Genarg.generic_argument

val sexp_of_generic_argument : 
  ('a -> Sexplib.Sexp.t) ->
  'a Genarg.generic_argument ->
  Sexplib.Sexp.t

type glob_generic_argument = Genarg.glob_generic_argument

val glob_generic_argument_of_sexp : 
  Sexplib.Sexp.t ->
  Genarg.glob_generic_argument

val sexp_of_glob_generic_argument : 
  Genarg.glob_generic_argument ->
  Sexplib.Sexp.t

type raw_generic_argument = Genarg.raw_generic_argument

val raw_generic_argument_of_sexp : 
  Sexplib.Sexp.t ->
  Genarg.raw_generic_argument

val sexp_of_raw_generic_argument : 
  Genarg.raw_generic_argument ->
  Sexplib.Sexp.t

val raw_generic_argument_of_yojson : 
  Yojson.Safe.t ->
  (raw_generic_argument, string) Result.result

val raw_generic_argument_to_yojson : raw_generic_argument -> Yojson.Safe.t

type typed_generic_argument = Genarg.typed_generic_argument

val typed_generic_argument_of_sexp : 
  Sexplib.Sexp.t ->
  Genarg.typed_generic_argument

val sexp_of_typed_generic_argument : 
  Genarg.typed_generic_argument ->
  Sexplib.Sexp.t

type ('raw, 'glb, 'top) gen_ser = {

}

val register_genser : 
  ('raw, 'glb, 'top) Genarg.genarg_type ->
  ('raw, 'glb, 'top) gen_ser ->
  unit

val gen_ser_pair : 
  ('raw1, 'glb1, 'top1) gen_ser ->
  ('raw2, 'glb2, 'top2) gen_ser ->
  ('raw1 * 'raw2, 'glb1 * 'glb2, 'top1 * 'top2) gen_ser

val gen_ser_list : 
  ('raw, 'glb, 'top) gen_ser ->
  ('raw list, 'glb list, 'top list) gen_ser

val mk_uniform : 
  ('t -> Sexplib.Sexp.t) ->
  (Sexplib.Sexp.t -> 't) ->
  ('t, 't, 't) gen_ser

Install