package ocaml-in-python

  1. Overview
  2. Docs

Module Ocaml_in_python_api.TypeSource

Sourcemodule Self : sig ... end
include module type of struct include Self end
Sourcetype t = Self.t =
  1. | Any
  2. | Var of int
  3. | Arrow of param * t
  4. | Tuple of t list
  5. | Constr of Path.t * t list
Sourceand param = Self.param = {
  1. label : Ppxlib.arg_label;
  2. ty : t;
}
Sourceval hash : int -> t -> int
Sourceval equal : t -> t -> bool
Sourceval subst : (int -> t) -> t -> t
Sourceval map_param : (t -> t) -> param -> param
Sourcetype arity = {
  1. params : param list;
  2. result : t;
}
Sourceval map_arity : (t -> t) -> arity -> arity
Sourceval wrap : t -> Py.Object.t
Sourceval unwrap : Py.Object.t -> t
Sourceval of_python : Py.Object.t -> t
Sourceval arity_of_type : t -> arity
Sourceval format : Format.formatter -> t -> unit
Sourceval to_string : t -> string
Sourceval to_core_type : t -> Ppxlib.Parsetree.core_type
Sourcemodule Hashtbl : sig ... end
Sourceval to_value_converter_ref : (?name:string -> Env.t -> Path.t Path.Map.t -> t -> value_converter) ref
Sourceval to_value_converter : ?name:string -> Env.t -> Path.t Path.Map.t -> t -> value_converter
Sourceval converters_of_arity_ref : (Env.t -> Path.t Path.Map.t -> arity -> converters_of_arity) ref
Sourceval converters_of_arity : Env.t -> Path.t Path.Map.t -> arity -> converters_of_arity
Sourceval value_converter_of_function_ref : (?name:string -> Env.t -> Path.t Path.Map.t -> arity -> value_converter) ref
Sourceval value_converter_of_function : ?name:string -> Env.t -> Path.t Path.Map.t -> arity -> value_converter
Sourceval type_table : int Hashtbl.t
Sourceval to_index : Hashtbl.key -> int
Sourceval of_index : int -> t