package ctypes

You can search for identifiers within the package.

in-package search v0.2.0

ctypes
- Ctypes
  - CArray
  - Intptr
    
    Infix
  - Ptrdiff
    
    Infix
  - Root
  - Uintptr
    
    Infix
- Ctypes_primitive_types
- Ctypes_static
- Ctypes_structs
  - S
- PosixTypes
  - Dev
    
    Infix
  - Ino
    
    Infix
  - Mode
    
    Infix
  - Nlink
    
    Infix
  - Off
    
    Infix
  - Pid
    
    Infix
  - Ssize
    
    Infix
  - Time
    
    Infix
- Signed
  - Int
    
    Infix
  - Int32
    
    Infix
  - Int64
    
    Infix
  - LLong
    
    Infix
  - Long
    
    Infix
  - S
    
    Infix
- Unsigned
  - S
    
    Infix
  - Size_t
    
    Infix
  - UChar
    
    Infix
  - UInt
    
    Infix
  - UInt16
    
    Infix
  - UInt32
    
    Infix
  - UInt64
    
    Infix
  - UInt8
    
    Infix
  - ULLong
    
    Infix
  - ULong
    
    Infix
  - UShort
    
    Infix
ctypes.stubs
- Cstubs
  - BINDINGS
    
    F
  - FOREIGN
  - Types
    
    BINDINGS
    
    F
    
    Intptr
    
    Infix
    
    Ptrdiff
    
    Infix
    
    Uintptr
    
    Infix
    
    TYPE
    
    Intptr
    
    Infix
    
    Ptrdiff
    
    Infix
    
    Uintptr
    
    Infix
- Cstubs_internals
- Cstubs_inverted
  - BINDINGS
    
    F
  - INTERNAL
- Cstubs_structs
  - BINDINGS
    
    F
    
    Intptr
    
    Infix
    
    Ptrdiff
    
    Infix
    
    Uintptr
    
    Infix
  - TYPE
    
    Intptr
    
    Infix
    
    Ptrdiff
    
    Infix
    
    Uintptr
    
    Infix
ctypes.top
- Ctypes_printers

Legend:
Library
Module
Module type
Parameter
Class
Class type

Operations for generating C bindings stubs.

module Types : sig ... end

module type FOREIGN = sig ... end

module type BINDINGS =
  functor (F : FOREIGN with type 'a fn = unit) ->
  sig ... end

val write_c : Format.formatter -> prefix:string -> (module BINDINGS) -> unit

write_c fmt ~prefix bindings generates C stubs for the functions bound with foreign in bindings. The stubs are intended to be used in conjunction with the ML code generated by write_ml.

The generated code uses definitions exposed in the header file ctypes_cstubs_internals.h.

val write_ml : Format.formatter -> prefix:string -> (module BINDINGS) -> unit

write_ml fmt ~prefix bindings generates ML bindings for the functions bound with foreign in bindings. The generated code conforms to the FOREIGN interface.

The generated code uses definitions exposed in the module Cstubs_internals.