package ctypes

You can search for identifiers within the package.

in-package search v0.2.0

Combinators for binding to C libraries without writing any C

Install

Dune Dependency

github.com Edit opam file Versions (37)

Authors

Y

yallop@gmail.com

Maintainers

Y

yallop@gmail.com

Sources

sha256=8e31e87e21ab776de150a43a5047449243ac7632d27d1c0e9da0ca611a664d11

md5=1918e7e240547d3bc1bcb5f351085a20

doc/ctypes.stubs/Cstubs_internals/index.html

Module `Cstubs_internals`

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 =

| String : string ocaml_type
| Bytes : Bytes.t ocaml_type
| FloatArray : float array ocaml_type

type 'a typ = 'a Ctypes_static.typ =

| Void : unit typ
| Primitive : 'a Ctypes_primitive_types.prim -> 'a typ
| Pointer : 'a typ -> 'a ptr typ
| Funptr : 'a Ctypes.fn -> 'a static_funptr typ
| Struct : 'a Ctypes_static.structure_type -> 'a Ctypes_static.structure typ
| Union : 'a Ctypes_static.union_type -> 'a Ctypes_static.union typ
| Abstract : Ctypes_static.abstract_type -> 'a Ctypes_static.abstract typ
| View : ('a, 'b) view -> 'a typ
| Array : 'a typ * int -> 'a Ctypes_static.carray typ
| Bigarray : (_, 'a) Ctypes_bigarray.t -> 'a typ
| OCaml : 'a ocaml_type -> 'a ocaml typ

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

| CPointer : 'a typ Ctypes_ptr.Fat.t -> ('a, [ `C ]) pointer
| OCamlRef : int * 'a * 'a ocaml_type -> ('a, [ `OCaml ]) pointer

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

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

and 'a static_funptr = 'a Ctypes_static.static_funptr =

| Static_funptr of 'a Ctypes.fn Ctypes_ptr.Fat.t

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

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

}

type 'a fn = 'a Ctypes_static.fn =

| Returns : 'a typ -> 'a fn
| Function : 'a typ * 'b fn -> ('a -> 'b) fn

type 'a prim = 'a Ctypes_primitive_types.prim =

| Char : char prim
| Schar : int prim
| Uchar : Unsigned.uchar prim
| Bool : bool prim
| Short : int prim
| Int : int prim
| Long : Signed.long prim
| Llong : Signed.llong prim
| Ushort : Unsigned.ushort prim
| Sint : Signed.sint prim
| Uint : Unsigned.uint prim
| Ulong : Unsigned.ulong prim
| Ullong : Unsigned.ullong prim
| Size_t : Unsigned.size_t prim
| Int8_t : int prim
| Int16_t : int prim
| Int32_t : int32 prim
| Int64_t : int64 prim
| Uint8_t : Unsigned.uint8 prim
| Uint16_t : Unsigned.uint16 prim
| Uint32_t : Unsigned.uint32 prim
| Uint64_t : Unsigned.uint64 prim
| Camlint : int prim
| Nativeint : nativeint prim
| Float : float prim
| Double : float prim
| Complex32 : Complex.t prim
| Complex64 : Complex.t prim

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

val use_value : 'a -> unit