ctypes 0.12.1 · OCaml Package

type voidp = Ctypes_ptr.voidp

type managed_buffer = Ctypes_memory_stubs.managed_buffer

type 'a fatptr = 'a Ctypes.typ Ctypes_ptr.Fat.t

type 'a fatfunptr = 'a Ctypes.fn Ctypes_ptr.Fat.t

val make_structured : 
  ('a, 's) Ctypes.structured Ctypes.typ ->
  managed_buffer ->
  ('a, 's) Ctypes.structured

val make_ptr : 'a Ctypes.typ -> voidp -> 'a Ctypes.ptr

val make_fun_ptr : 'a Ctypes.fn -> voidp -> 'a Ctypes_static.static_funptr

val cptr : 'a Ctypes.ptr -> 'a Ctypes.typ Ctypes_ptr.Fat.t

val fptr : 'a Ctypes_static.static_funptr -> 'a Ctypes.fn Ctypes_ptr.Fat.t

type !'a ocaml_type = 'a Ctypes_static.ocaml_type =

type !'a typ = 'a Ctypes_static.typ =

| Void : unit typ
| Primitive : 'a0 Ctypes_primitive_types.prim -> 'a0 typ
| Pointer : 'a1 typ -> 'a1 ptr typ
| Funptr : 'a2 Ctypes.fn -> 'a2 static_funptr typ
| Struct : 'a3 Ctypes_static.structure_type -> 'a3 Ctypes_static.structure typ
| Union : 'a4 Ctypes_static.union_type -> 'a4 Ctypes_static.union typ
| Abstract : Ctypes_static.abstract_type -> 'a5 Ctypes_static.abstract typ
| View : ('a6, 'b) view -> 'a6 typ
| Array : 'a7 typ * int -> 'a7 Ctypes_static.carray typ
| Bigarray : ('c, 'a8, 'd) Ctypes_bigarray.t -> 'a8 typ
| OCaml : 'a9 ocaml_type -> 'a9 ocaml typ

and (!'a, !'b) pointer = ('a, 'b) Ctypes_static.pointer =

and !'a ptr = ('a, [ `C ]) pointer

and !'a ocaml = ('a, [ `OCaml ]) pointer

and !'a static_funptr = 'a Ctypes_static.static_funptr =

and (!'a, !'b) view = ('a, 'b) Ctypes_static.view = {

read : 'b -> 'a;
write : 'a -> 'b;
format_typ : ((Stdlib.Format.formatter -> unit) -> Stdlib.Format.formatter -> unit) option;
format : (Stdlib.Format.formatter -> 'a -> unit) option;
ty : 'b typ;

}

type !'a fn = 'a Ctypes_static.fn =

type !'a prim = 'a Ctypes_primitive_types.prim =

val build_enum_type : 
  string ->
  Ctypes_static.arithmetic ->
  ?unexpected:(int64 -> 'a) ->
  ('a * int64) list ->
  'a typ

val use_value : 'a -> unit

package ctypes