Module `Ctypes_memory`Source

Sourcemodule Stubs = Ctypes_memory_stubs

Sourcemodule Raw = Ctypes_ptr.Raw

Sourcemodule Fat = Ctypes_ptr.Fat

val castp : 
  'a Ctypes_static.typ ->
  ('b, [ `C ]) Ctypes_static.pointer ->
  ('a, [ `C ]) Ctypes_static.pointer

Sourceval make_unmanaged : reftyp:'a -> Ctypes_ptr.voidp -> ('b option, 'a) Fat.t

Source

val build : 
  'a 'b. 'a Ctypes_static.typ ->
  ('c, 'b Ctypes_static.typ) Fat.t ->
  'a

Sourceval write : 'a 'b. 'a Ctypes_static.typ -> 'a -> ('c, 'b) Fat.t -> unit

Sourceval null : unit Ctypes_static.ptr

Sourceval (!@) : 'a. 'a Ctypes_static.ptr -> 'a

Source

val ptr_diff : 
  'a 'b. ('a, 'b) Ctypes_static.pointer ->
  ('a, 'b) Ctypes_static.pointer ->
  int

Source

val (+@) : 
  'a 'b. ('a, 'b) Ctypes_static.pointer ->
  int ->
  ('a, 'b) Ctypes_static.pointer

Source

val (-@) : 
  ('a, 'b) Ctypes_static.pointer ->
  int ->
  ('a, 'b) Ctypes_static.pointer

Sourceval (<-@) : 'a. 'a Ctypes_static.ptr -> 'a -> unit

Source

val from_voidp : 
  'a Ctypes_static.typ ->
  ('b, [ `C ]) Ctypes_static.pointer ->
  ('a, [ `C ]) Ctypes_static.pointer

Source

val to_voidp : 
  ('a, [ `C ]) Ctypes_static.pointer ->
  (unit, [ `C ]) Ctypes_static.pointer

Source

val allocate_n : 
  'a. ?finalise:('a Ctypes_static.ptr -> unit) ->
  'a Ctypes_static.typ ->
  count:int ->
  'a Ctypes_static.ptr

Source

val allocate : 
  'a. ?finalise:('a Ctypes_static.ptr -> unit) ->
  'a Ctypes_static.typ ->
  'a ->
  'a Ctypes_static.ptr

Source

val ptr_compare : 
  ('a, [ `C ]) Ctypes_static.pointer ->
  ('a, [ `C ]) Ctypes_static.pointer ->
  int

Sourceval reference_type : ('a, [ `C ]) Ctypes_static.pointer -> 'a Ctypes_static.typ

Source

val ptr_of_raw_address : 
  Ctypes_ptr.voidp ->
  (unit, [ `C ]) Ctypes_static.pointer

Source

val funptr_of_raw_address : 
  Ctypes_ptr.voidp ->
  (unit -> unit) Ctypes_static.static_funptr

Sourceval raw_address_of_ptr : ('a, [ `C ]) Ctypes_static.pointer -> Ctypes_ptr.voidp

Sourcemodule CArray : sig ... end

Source

val make : 
  ?finalise:(('a, 'b) Ctypes_static.structured -> unit) ->
  ('a, 'b) Ctypes_static.structured Ctypes_static.typ ->
  ('a, 'b) Ctypes_static.structured

Source

val (|->) : 
  ('a, [ `C ]) Ctypes_static.pointer ->
  ('b, 'c) Ctypes_static.field ->
  ('b, [ `C ]) Ctypes_static.pointer

Source

val (@.) : 
  ('a, 'b) Ctypes_static.structured ->
  ('c, 'd) Ctypes_static.field ->
  ('c, [ `C ]) Ctypes_static.pointer

Source

val setf : 
  ('a, 'b) Ctypes_static.structured ->
  ('c, 'd) Ctypes_static.field ->
  'c ->
  unit

Source

val getf : 
  ('a, 'b) Ctypes_static.structured ->
  ('c, 'd) Ctypes_static.field ->
  'c

Source

val addr : 
  ('a, 'b) Ctypes_static.structured ->
  ('a, 'b) Ctypes_static.structured Ctypes_static.ptr

Source

val _bigarray_start : 
  ('a, 'b) Bigarray_compat.kind ->
  'c ->
  ('a, [ `C ]) Ctypes_static.pointer

Source

val bigarray_kind : 
  'a 'b 'c 'd 'f 'l. < ba_repr : 'f
                       ; bigarray : 'b
                       ; carray : 'c
                       ; dims : 'd
                       ; element : 'a
                       ; layout : 'l >
                       Ctypes_static.bigarray_class ->
  'b ->
  ('a, 'f) Bigarray.kind

Source

val bigarray_start : 
  < ba_repr : 'a
    ; bigarray : 'b
    ; carray : 'c
    ; dims : 'd
    ; element : 'e
    ; layout : 'f >
    Ctypes_static.bigarray_class ->
  'b ->
  ('e, [ `C ]) Ctypes_static.pointer

Source

val array_of_bigarray : 
  'a 'b 'c 'd 'e. < ba_repr : 'e
                    ; bigarray : 'b
                    ; carray : 'c
                    ; dims : 'd
                    ; element : 'a
                    ; layout : Bigarray.c_layout >
                    Ctypes_static.bigarray_class ->
  'b ->
  'c

Source

val bigarray_elements : 
  'a 'b 'c 'd 'f 'l. < ba_repr : 'f
                       ; bigarray : 'b
                       ; carray : 'c
                       ; dims : 'd
                       ; element : 'a
                       ; layout : 'l >
                       Ctypes_static.bigarray_class ->
  'd ->
  int

Source

val bigarray_of_ptr : 
  < ba_repr : 'a
    ; bigarray : 'b
    ; carray : 'c
    ; dims : 'd
    ; element : 'e
    ; layout : Bigarray_compat.c_layout >
    Ctypes_static.bigarray_class ->
  'd ->
  ('e, 'a) Bigarray_compat.kind ->
  ('f, [ `C ]) Ctypes_static.pointer ->
  'b

Source

val fortran_bigarray_of_ptr : 
  < ba_repr : 'a
    ; bigarray : 'b
    ; carray : 'c
    ; dims : 'd
    ; element : 'e
    ; layout : Bigarray_compat.fortran_layout >
    Ctypes_static.bigarray_class ->
  'd ->
  ('e, 'a) Bigarray_compat.kind ->
  ('f, [ `C ]) Ctypes_static.pointer ->
  'b

Source

val array_dims : 
  'a 'b 'c 'd 'f 'l. < ba_repr : 'f
                       ; bigarray : 'b
                       ; carray : 'c Ctypes_static.carray
                       ; dims : 'd
                       ; element : 'a
                       ; layout : 'l >
                       Ctypes_static.bigarray_class ->
  'c Ctypes_static.carray ->
  'd

Source

val bigarray_of_array : 
  < ba_repr : 'a
    ; bigarray : 'b
    ; carray : 'c Ctypes_static.carray
    ; dims : 'd
    ; element : 'e
    ; layout : Bigarray_compat.c_layout >
    Ctypes_static.bigarray_class ->
  ('e, 'a) Bigarray_compat.kind ->
  'c Ctypes_static.carray ->
  'b

Source

val genarray : 
  < ba_repr : 'a
    ; bigarray : ('b, 'a, 'c) Bigarray_compat.Genarray.t
    ; carray : 'b Ctypes_static.carray
    ; dims : int array
    ; element : 'b
    ; layout : 'c >
    Ctypes_static.bigarray_class

Source

val array1 : 
  < ba_repr : 'a
    ; bigarray : ('b, 'a, 'c) Bigarray_compat.Array1.t
    ; carray : 'b Ctypes_static.carray
    ; dims : int
    ; element : 'b
    ; layout : 'c >
    Ctypes_static.bigarray_class

Source

val array2 : 
  < ba_repr : 'a
    ; bigarray : ('b, 'a, 'c) Bigarray_compat.Array2.t
    ; carray : 'b Ctypes_static.carray Ctypes_static.carray
    ; dims : int * int
    ; element : 'b
    ; layout : 'c >
    Ctypes_static.bigarray_class

Source

val array3 : 
  < ba_repr : 'a
    ; bigarray : ('b, 'a, 'c) Bigarray_compat.Array3.t
    ; carray : 
      'b Ctypes_static.carray Ctypes_static.carray Ctypes_static.carray
    ; dims : int * int * int
    ; element : 'b
    ; layout : 'c >
    Ctypes_static.bigarray_class

Source

val typ_of_bigarray_kind : 
  ('a, 'b) Bigarray_compat.kind ->
  'a Ctypes_static.typ

Source

val string_from_ptr : 
  ('a, [ `C ]) Ctypes_static.pointer ->
  length:int ->
  string

Sourceval ocaml_string_start : string -> (string, [ `OCaml ]) Ctypes_static.pointer

Sourceval ocaml_bytes_start : bytes -> (bytes, [ `OCaml ]) Ctypes_static.pointer

Source

val ocaml_float_array_start : 
  float array ->
  (float array, [ `OCaml ]) Ctypes_static.pointer

Sourcemodule Root : sig ... end

Sourceval is_null : ('a, [ `C ]) Ctypes_static.pointer -> bool

package ctypes

Module Ctypes_memorySource

Module `Ctypes_memory`Source