linksem 0.8 · OCaml Package

show.lem exports the typeclass Show and associated functions for pretty * printing arbitrary values.

type 'a show_class = {

}

val string_of_unit : 'a -> string

string_of_unit u produces a string representation of unit u.

val instance_Show_Show_unit_dict : unit show_class

val string_of_bool : bool -> string

string_of_bool b produces a string representation of boolean b.

val instance_Show_Show_bool_dict : bool show_class

val string_of_string : string -> string

To give control over extraction as instances cannot be target specific, but * the functions they are bound to can be...

val instance_Show_Show_string_dict : string show_class

val string_of_pair : 'a show_class -> 'b show_class -> ('c * 'd) -> string

string_of_pair p produces a string representation of pair p.

val instance_Show_Show_tup2_dict : 
  'a show_class ->
  'b show_class ->
  ('a0 * 'b0) show_class

val string_of_triple : 
  'a show_class ->
  'b show_class ->
  'c show_class ->
  ('d * 'e * 'f) ->
  string

string_of_triple p produces a string representation of triple p.

val instance_Show_Show_tup3_dict : 
  'a show_class ->
  'b show_class ->
  'c show_class ->
  ('a0 * 'b0 * 'c0) show_class

val string_of_quad : 
  'a show_class ->
  'b show_class ->
  'c show_class ->
  'd show_class ->
  ('e * 'f * 'g * 'h) ->
  string

string_of_quad p produces a string representation of quad p.

val instance_Show_Show_tup4_dict : 
  'a show_class ->
  'b show_class ->
  'c show_class ->
  'd show_class ->
  ('a0 * 'b0 * 'c0 * 'd0) show_class

val string_of_maybe : 'a show_class -> 'b option -> string

string_of_maybe m produces a string representation of maybe value m.

val instance_Show_Show_Maybe_maybe_dict : 
  'a show_class ->
  'a0 option show_class

val show_else : 'a show_class -> string -> 'b option -> string

show_else s m produces a string representation of maybe m, using s * in the case m = Nothing.

string_of_nat m produces a string representation of nat value m.

val instance_Show_Show_nat_dict : int show_class

val instance_Show_Show_Num_natural_dict : Nat_big_num.num show_class

val instance_Show_Show_Num_integer_dict : Nat_big_num.num show_class

package linksem