Module Generic_fun_show

module Generic_fun_show: sig .. end

Generic string conversion.

The function Generic_fun_show.show is extensible, the default case is generic, but one may override the generic behaviour for specific types.

val show_default : 'a Ty.T.ty -> 'a -> string

Generic function

val show : 'a Ty.T.ty -> 'a -> string

An extensible function whose default behaviour is given by Generic_fun_show.show_default

val show_ext : 'a Ty.T.ty -> string Consumer.ty_fun -> unit

Add a ad-hoc case for Generic_fun_show.show.