Module `GObject_introspection.Type_info`

type t: Type_info represents a type. You can retrieve a type info from an argument (see Arg_info), a function return value (see Function_info), a field (see Field_info), a property (see Property_info), a constant (see Constant_info) or for a union discriminator (see Union_info). A type can either be a of a basic type which is a standard C primitive type or an interface type. For interface types you need to call Type_info.get_interface to get a reference to the base info for that interface.

val typeinfo : t Ctypes.structure Ctypes.typ
val to_string : t Ctypes.structure Ctypes.ptr -> string: Obtain a string representation of type.

val is_pointer : t Ctypes.structure Ctypes.ptr -> bool: Obtain if the type is passed as a reference. Note that the types of GI_DIRECTION_OUT and GI_DIRECTION_INOUT parameters will only be pointers if the underlying type being transferred is a pointer (i.e. only if the type of the C function’s formal parameter is a pointer to a pointer).

val get_tag : t Ctypes.structure Ctypes.ptr -> Bindings.Types.tag: Obtain the type tag for the type. See GITypeTag for a list of type tags.

val get_array_length : t Ctypes.structure Ctypes.ptr -> int: Obtain the array length of the type. The type tag must be a GIType.array or -1 will returned.

val get_array_fixed_size : t Ctypes.structure Ctypes.ptr -> int: Obtain the fixed array size of the type. The type tag must be a GIType.array or -1 will returned.

val is_zero_terminated : t Ctypes.structure Ctypes.ptr -> bool: Obtain if the last element of the array is NULL. The type tag must be a GIType.array or FALSE will returned.

val get_array_type : t Ctypes.structure Ctypes.ptr -> Bindings.Types.array_type option: Obtain the array type for this type. See GIArrayType for a list of possible values. If the type tag of this type is not array, None will be returned.

val unsafe_get_param_type : t Ctypes.structure Ctypes.ptr -> int -> t Ctypes.structure Ctypes.ptr: Obtain the parameter type n. It is used to get the parameter type of generic * container. For example if the current Type_info.t is an array, a GList, a * GSList or an Hash, you have to use this in order to get the Type_info.t of * the data of the container. * Basicaly it is done with Type_info.get_param_type type_info 0 . * https://github.com/GNOME/pygobject/blob/288bd2957916568666c3d5d27e8c868d67b7e8c9/gi/pygi-argument.c#L526 * https://github.com/ruby-gnome2/ruby-gnome2/blob/ec4160b4f4c5432c6ff8a9e962e7ffeacfd48869/gobject-introspection/ext/gobject-introspection/rb-gi-argument.c#L928 * This function is unsafe meanings that it is your responsability to not use * a number out of bounds.

val get_param_type : t Ctypes.structure Ctypes.ptr -> t Ctypes.structure Ctypes.ptr: This is just an alias to Type_info.unsage_get_param_type with the index set to 0.

val get_interface : t Ctypes.structure Ctypes.ptr -> Base_info.t Ctypes.structure Ctypes.ptr option: For types which have Types.Interface such as GObjects and boxed values, this function returns full information about the referenced type. You can then inspect the type of the returned Base_info to further query whether it is a concrete GObject, a GInterface, a structure, etc. using Base_info.get_type.

val cast_from_baseinfo : Base_info.t Ctypes.structure Ctypes.ptr -> t Ctypes.structure Ctypes.ptr: Just cast OCaml Ctypes base info to typeinfo.

val cast_to_baseinfo : t Ctypes.structure Ctypes.ptr -> Base_info.t Ctypes.structure Ctypes.ptr: Just cast OCaml Ctypes typeinfo to base info

val add_unref_finaliser : t Ctypes.structure Ctypes.ptr -> t Ctypes.structure Ctypes.ptr: Add unref of the C underlying structure whith Gc.finalise.

val from_baseinfo : Base_info.t Ctypes.structure Ctypes.ptr -> t Ctypes.structure Ctypes.ptr: Return a Type_info.t from a Base_info.t, the underlying C structure ref count is increased and the value is Gc.finalis"ed" with Base_info.baseinfo_unref.

val to_baseinfo : t Ctypes.structure Ctypes.ptr -> Base_info.t Ctypes.structure Ctypes.ptr: Return a Base_info.t form a Type_info, the underlying C structure ref count is increased and the value is Gc.finalis"ed" with Base_info.baseinfo_unref.