Module `Show`Source

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

Sourcetype 'a show_class = {

}

Sourceval string_of_unit : 'a -> string

string_of_unit u produces a string representation of unit u.

Sourceval instance_Show_Show_unit_dict : unit show_class

Sourceval string_of_bool : bool -> string

string_of_bool b produces a string representation of boolean b.

Sourceval instance_Show_Show_bool_dict : bool show_class

Sourceval 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...

Sourceval instance_Show_Show_string_dict : string show_class

Sourceval string_of_pair : 'a show_class -> 'b show_class -> ('a * 'b) -> string

string_of_pair p produces a string representation of pair p.

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

val string_of_triple : 
  'a show_class ->
  'b show_class ->
  'c show_class ->
  ('a * 'b * 'c) ->
  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 ->
  ('a * 'b * 'c) show_class

val string_of_quad : 
  'a show_class ->
  'b show_class ->
  'c show_class ->
  'd show_class ->
  ('a * 'b * 'c * 'd) ->
  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 ->
  ('a * 'b * 'c * 'd) show_class

Sourceval string_of_maybe : 'a show_class -> 'a option -> string

string_of_maybe m produces a string representation of maybe value m.

Sourceval instance_Show_Show_Maybe_maybe_dict : 'a show_class -> 'a option show_class

Sourceval show_else : 'a show_class -> string -> 'a 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.

Sourceval instance_Show_Show_nat_dict : int show_class

Sourceval instance_Show_Show_Num_natural_dict : Nat_big_num.num show_class

Sourceval instance_Show_Show_Num_integer_dict : Nat_big_num.num show_class

Install