ctypes 0.6.2 · OCaml Package

type abstract_type = {

aname : string;
asize : int;
aalignment : int;

}

type _ ocaml_type =

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

type incomplete_size = {

mutable isize : int;

}

type structured_spec = {

size : int;
align : int;

}

type 'a structspec =

| Incomplete of incomplete_size
| Complete of structured_spec

type _ typ =

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

and 'a carray = {

astart : 'a ptr;
alength : int;

}

and ('a, 'kind) structured = {

structured : ('a, 'kind) structured ptr;

}

and 'a union = ('a, [ `Union ]) structured

and 'a structure = ('a, [ `Struct ]) structured

and 'a abstract = ('a, [ `Abstract ]) structured

and (_, _) 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 =

| Static_funptr of 'a fn Ctypes_ptr.Fat.t

and ('a, 'b) 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;

}

and ('a, 's) field = {

ftype : 'a typ;
foffset : int;
fname : string;

}

and 'a structure_type = {

tag : string;
mutable spec : 'a structspec;
mutable fields : 'a structure boxed_field list;

}

and 'a union_type = {

utag : string;
mutable uspec : structured_spec option;
mutable ufields : 'a union boxed_field list;

}

and 's boxed_field =

| BoxedField : ('a, 's) field -> 's boxed_field

and _ fn =

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

type _ bigarray_class =

| Genarray : < element : 'a ; dims : int array ; ba_repr : 'b ; bigarray : ('a, 'b, Bigarray.c_layout) Bigarray.Genarray.t ; carray : 'a carray > bigarray_class
| Array1 : < element : 'a ; dims : int ; ba_repr : 'b ; bigarray : ('a, 'b, Bigarray.c_layout) Bigarray.Array1.t ; carray : 'a carray > bigarray_class
| Array2 : < element : 'a ; dims : int * int ; ba_repr : 'b ; bigarray : ('a, 'b, Bigarray.c_layout) Bigarray.Array2.t ; carray : 'a carray carray > bigarray_class
| Array3 : < element : 'a ; dims : int * int * int ; ba_repr : 'b ; bigarray : ('a, 'b, Bigarray.c_layout) Bigarray.Array3.t ; carray : 'a carray carray carray > bigarray_class

type boxed_typ =

| BoxedType : 'a typ -> boxed_typ

val sizeof : 'a typ -> int

val alignment : 'a typ -> int

val passable : 'a typ -> bool

val void : unit typ

val char : char typ

val schar : int typ

val float : float typ

val double : float typ

val complex32 : Complex.t typ

val complex64 : Complex.t typ

val short : int typ

val int : int typ

val long : Signed.long typ

val llong : Signed.llong typ

val nativeint : nativeint typ

val int8_t : int typ

val int16_t : int typ

val int32_t : Signed.Int32.t typ

val int64_t : Signed.Int64.t typ

val camlint : int typ

val uchar : Unsigned.uchar typ

val bool : bool typ

val uint8_t : Unsigned.UInt8.t typ

val uint16_t : Unsigned.UInt16.t typ

val uint32_t : Unsigned.UInt32.t typ

val uint64_t : Unsigned.UInt64.t typ

val size_t : Unsigned.size_t typ

val ushort : Unsigned.ushort typ

val uint : Unsigned.uint typ

val ulong : Unsigned.ulong typ

val ullong : Unsigned.ullong typ

val array : int -> 'a typ -> 'a carray typ

val ocaml_string : string ocaml typ

val ocaml_bytes : Bytes.t ocaml typ

val ocaml_float_array : float array ocaml typ

val ptr : 'a typ -> 'a ptr typ

val (@->) : 'a typ -> 'b fn -> ('a -> 'b) fn

val abstract : name:string -> size:int -> alignment:int -> 'a abstract typ

val view : 
  ?format_typ:((Format.formatter -> unit) -> Format.formatter -> unit) ->
  ?format:(Format.formatter -> 'b -> unit) ->
  read:('a -> 'b) ->
  write:('b -> 'a) ->
  'a typ ->
  'b typ

val typedef : 'a typ -> string -> 'a typ

val bigarray : 
  < ba_repr : 'c
    ; bigarray : 'd
    ; carray : 'e
    ; dims : 'b
    ; element : 'a >
    bigarray_class ->
  'b ->
  ('a, 'c) Bigarray.kind ->
  'd typ

val returning : 'a typ -> 'a fn

val static_funptr : 'a fn -> 'a static_funptr typ

val structure : string -> 'a structure typ

val union : string -> 'a union typ

val offsetof : ('a, 'b) field -> int

val field_type : ('a, 'b) field -> 'a typ

val field_name : ('a, 'b) field -> string

exception IncompleteType

exception ModifyingSealedType of string

exception Unsupported of string

val unsupported : ('a, unit, string, _) Pervasives.format4 -> 'a

type arithmetic =

| Int8
| Int16
| Int32
| Int64
| Uint8
| Uint16
| Uint32
| Uint64
| Float
| Double

package ctypes