package typerep_extended

  1. Overview
  2. Docs
package typerep_extended
Legend:
Library
Module
Module type
Parameter
Class
Class type
include module type of struct include Typerep_extended.Std end
module Traverse_map = Typerep_extended.Std.Traverse_map
module Typestructable = Typerep_extended.Std.Typestructable
module Tagged_generic = Typerep_extended.Std.Tagged_generic
include module type of struct include Typerep_lib.Std end
module Type_abstract = Typerep_extended.Std.Type_abstract
module Type_generic = Typerep_extended.Std.Type_generic
module Make_typename = Typerep_extended.Std.Make_typename
module Type_named_intf = Typerep_extended.Std.Type_named_intf
include module type of struct include Typerep_lib.Std_internal end

runtime type representations

val typerep_of_int : int Typerep.t
val typerep_of_int32 : int32 Typerep.t
val typerep_of_int64 : int64 Typerep.t
val typerep_of_nativeint : nativeint Typerep.t
val typerep_of_char : char Typerep.t
val typerep_of_float : float Typerep.t
val typerep_of_string : string Typerep.t
val typerep_of_bool : bool Typerep.t
val typerep_of_unit : unit Typerep.t
val value_tuple0 : tuple0
val typerep_of_option : 'a Typerep.t -> 'a option Typerep.t
val typerep_of_list : 'a Typerep.t -> 'a list Typerep.t
val typerep_of_array : 'a Typerep.t -> 'a array Typerep.t
val typerep_of_lazy_t : 'a Typerep.t -> 'a lazy_t Typerep.t
val typerep_of_ref : 'a Typerep.t -> 'a Pervasives.ref Typerep.t
val typerep_of_function : 'a Typerep.t -> 'b Typerep.t -> ('a -> 'b) Typerep.t
val typerep_of_tuple0 : tuple0 Typerep.t
val typerep_of_tuple2 : 'a Typerep.t -> 'b Typerep.t -> ('a * 'b) Typerep.t
val typerep_of_tuple3 : 'a Typerep.t -> 'b Typerep.t -> 'c Typerep.t -> ('a * 'b * 'c) Typerep.t
val typerep_of_tuple4 : 'a Typerep.t -> 'b Typerep.t -> 'c Typerep.t -> 'd Typerep.t -> ('a * 'b * 'c * 'd) Typerep.t
val typerep_of_tuple5 : 'a Typerep.t -> 'b Typerep.t -> 'c Typerep.t -> 'd Typerep.t -> 'e Typerep.t -> ('a * 'b * 'c * 'd * 'e) Typerep.t
val typename_of_int : int Typerep_lib.Typename.t
val typename_of_int32 : int32 Typerep_lib.Typename.t
val typename_of_int64 : int64 Typerep_lib.Typename.t
val typename_of_nativeint : nativeint Typerep_lib.Typename.t
val typename_of_char : char Typerep_lib.Typename.t
val typename_of_float : float Typerep_lib.Typename.t
val typename_of_string : string Typerep_lib.Typename.t
val typename_of_bool : bool Typerep_lib.Typename.t
val typename_of_unit : unit Typerep_lib.Typename.t
val typename_of_option : 'a Typerep_lib.Typename.t -> 'a option Typerep_lib.Typename.t
val typename_of_list : 'a Typerep_lib.Typename.t -> 'a list Typerep_lib.Typename.t
val typename_of_array : 'a Typerep_lib.Typename.t -> 'a array Typerep_lib.Typename.t
val typename_of_lazy_t : 'a Typerep_lib.Typename.t -> 'a lazy_t Typerep_lib.Typename.t
val typename_of_function : 'a Typerep_lib.Typename.t -> 'b Typerep_lib.Typename.t -> ('a -> 'b) Typerep_lib.Typename.t
val typename_of_tuple0 : tuple0 Typerep_lib.Typename.t
val typename_of_tuple2 : 'a Typerep_lib.Typename.t -> 'b Typerep_lib.Typename.t -> ('a * 'b) Typerep_lib.Typename.t
val typename_of_tuple3 : 'a Typerep_lib.Typename.t -> 'b Typerep_lib.Typename.t -> 'c Typerep_lib.Typename.t -> ('a * 'b * 'c) Typerep_lib.Typename.t
include module type of struct include Typerep_sexp.Std end
module Sexprep = Typerep_sexp.Std.Sexprep
include module type of struct include Typerep_bin_io.Std end
module Lib_customrep_intf = Customrep_intf
val s0_to_s0 : (module Lib_customrep_intf.S0) -> (module Customrep_intf.S0)
val s1_to_s1 : (module Lib_customrep_intf.S1) -> (module Customrep_intf.S1)
val s2_to_s2 : (module Lib_customrep_intf.S2) -> (module Customrep_intf.S2)
module Customrep_intf = Customrep_intf
module Customrep : sig ... end