lib/show.mli

   1 module type Show =
   2   sig
   3     type a
   4     val format : Format.formatter -> a -> unit
   5     val format_list : Format.formatter -> a list -> unit
   6     val show : a -> string
   7     val show_list : a list -> string
   8   end
   9
  10 module Defaults (S :
  11   sig
  12     type a
  13     val format : Format.formatter -> a -> unit
  14   end) : Show with type a = S.a
  15
  16 module Show_unprintable (S : sig type a end) : Show with type a = S.a
  17
  18 module Show_char      : Show with type a = char
  19 module Show_bool      : Show with type a = bool
  20 module Show_unit      : Show with type a = unit
  21 module Show_int       : Show with type a = int
  22 module Show_int32     : Show with type a = int32
  23 module Show_int64     : Show with type a = int64
  24 module Show_nativeint : Show with type a = nativeint
  25 module Show_num       : Show with type a = Num.num
  26 module Show_float     : Show with type a = float
  27 module Show_string    : Show with type a = string
  28
  29 module Show_list (S : Show)   : Show with type a = S.a list
  30 module Show_ref (S : Show)    : Show with type a = S.a ref
  31 module Show_option (S : Show) : Show with type a = S.a option
  32 module Show_array (S : Show)  : Show with type a = S.a array
  33
  34 module Show_map
  35   (O : Map.OrderedType)
  36   (K : Show with type a = O.t)
  37   (V : Show)
  38   : Show with type a = V.a Map.Make(O).t
  39
  40 module Show_set
  41   (O : Set.OrderedType)
  42   (K : Show with type a = O.t)
  43   : Show with type a = Set.Make(O).t