module Descr:Type description for safer unmarshalling.sig
..end
This module provides a safer API than the library "unmarshal" for
registering type description.
type 'a
t
type
packed
type
structure =
| |
Sum of |
|||
| |
Array of |
(* | Similar to Unmarshal.structure | *) |
val pack : 'a t -> packed
val abstract : 'a Type.t -> 'a t
Unmarshal.Abstract
constructor.val structure : 'a Type.t -> structure -> 'a t
Unmarshal.Structure
constructor.val transform : 'a Type.t -> 'a t -> ('a -> 'a) -> 'a t
Unmarshal.Transform
constructor with sanity check.val return : 'a Type.t -> 'a t -> (unit -> 'a) -> 'a t
Unmarshal.Return
constructor with sanity check.val dynamic : 'a Type.t -> (unit -> 'a t) -> 'a t
Unmarshal.Dynamic
constructor.val t_int : int t
val t_string : string t
val t_float : float t
val t_bool : bool t
val t_int32 : int32 t
val t_int64 : int64 t
val t_nativeint : nativeint t
val t_record : 'a Type.t -> packed array -> 'a t
val t_tuple : 'a Type.t -> packed array -> 'a t
val t_couple : 'a t -> 'b t -> ('a * 'b) t
val t_list : 'a t -> 'a list t
val t_ref : 'a t -> 'a Pervasives.ref t
val t_option : 'a t -> 'a option t