viewcvs.cgi/misc/serialize.mli

module Put : sig
  type t
  type 'a f = t -> 'a -> unit
  val run: 'a f -> 'a -> string

  val bits: int -> int f
  val int: int f
  val string: string f
  val substring: t -> string -> int -> int -> unit
  val bool: bool f

  val list: 'a f -> 'a list f
  val pair: 'a f -> 'b f -> ('a * 'b) f

  type 'b property
  val mk_property: (t -> 'b) -> 'b property
  val get_property: 'b property -> t -> 'b

  val pos: t -> int
end

module Get : sig
  type t
  type 'a f = t -> 'a
  val run : 'a f -> string -> 'a

  val bits: int -> int f
  val int : int f
  val string: string f
  val bool: bool f

  val list: 'a f -> 'a list f
  val pair: 'a f -> 'b f -> ('a * 'b) f

  type 'b property
  val mk_property: (t -> 'b) -> 'b property
  val get_property: 'b property -> t -> 'b

  val pos: t -> int
end
1	abate	653	module Put : sig
2			type t
3			type 'a f = t -> 'a -> unit
4			val run: 'a f -> 'a -> string
5
6	abate	656	val bits: int -> int f
7	abate	653	val int: int f
8			val string: string f
9	abate	691	val substring: t -> string -> int -> int -> unit
10	abate	653	val bool: bool f
11
12			val list: 'a f -> 'a list f
13			val pair: 'a f -> 'b f -> ('a * 'b) f
14	abate	656
15			type 'b property
16			val mk_property: (t -> 'b) -> 'b property
17			val get_property: 'b property -> t -> 'b
18	abate	691
19			val pos: t -> int
20	abate	653	end
21
22			module Get : sig
23			type t
24			type 'a f = t -> 'a
25			val run : 'a f -> string -> 'a
26
27	abate	656	val bits: int -> int f
28	abate	653	val int : int f
29			val string: string f
30			val bool: bool f
31
32			val list: 'a f -> 'a list f
33			val pair: 'a f -> 'b f -> ('a * 'b) f
34	abate	691
35			type 'b property
36			val mk_property: (t -> 'b) -> 'b property
37			val get_property: 'b property -> t -> 'b
38
39			val pos: t -> int
40	abate	653	end