▼ |  | The Racket Foreign Interface

1 | Overview
2 | Loading Foreign Libraries
3 | C Types
4 | Pointer Functions
5 | Derived Utilities
6 | Miscellaneous Support
7 | Unexported Primitive Functions
| Bibliography
| Index

On this page:

ffi-obj
ffi-obj?
ffi-obj-lib
ffi-obj-name
ctype-basetype
ctype-scheme->c
ctype-c->scheme
ffi-call
ffi-callback
ffi-callback?

top ← prev up next →

### 7`` Unexported Primitive Functions

Parts of the ffi/unsafe library are implemented by the Racket built-in '#%foreign module. The '#%foreign module is not intended for direct use, but it exports the following procedures (among others).

> procedure (ffi-obj objname lib) → ffi-obj?
> objname : (or/c string? bytes? symbol?)
> lib : (or/c ffi-lib? path-string? #f)

Pulls out a foreign object from a library, returning a value that can be used as a C pointer. If lib is a path or string, then ffi-lib is used to create a library object.

> procedure (ffi-obj? x) → boolean?
> x : any/c
> (ffi-obj-lib obj) → ffi-lib?
> obj : ffi-obj?
> (ffi-obj-name obj) → string?
> obj : ffi-obj?

A predicate for objects returned by ffi-obj, and accessor functions that return its corresponding library object and name. These values can also be used as C pointer objects.

> procedure (ctype-basetype type) → (or/c ctype? #f)
> type : ctype?
> (ctype-scheme->c type) → procedure?
> type : ctype?
> (ctype-c->scheme type) → procedure?
> type : ctype?

Accessors for the components of a C type object, made by make-ctype. The ctype-basetype selector returns a symbol for primitive types that names the type, a list of ctypes for cstructs, and another ctype for user-defined ctypes.

> > procedure
> > (ffi-call |  | ptr |  |  |  |
> > |  | in-types |  |  |  |
> > |  | out-type |  |  |  |
> > | [ | abi] |  |  |  |
> > |  | save-errno? |  |  |  |
> > |  | orig-place?) |  | → |  | procedure?
> ptr : cpointer?
> in-types : (listof ctype?)
> out-type : ctype?
> abi : (or/c #f 'default 'stdcall 'sysv) = #f
> save-errno? : any/c
> orig-place? : any/c

The primitive mechanism that creates Racket “callout” values for _cprocedure. The given ptr is wrapped in a Racket-callable primitive function that uses the types to specify how values are marshaled.

> > procedure
> > (ffi-callback |  | proc |  |  |  |
> > |  | in-types |  |  |  |
> > |  | out-type |  |  |  |
> > | [ | abi |  |  |  |
> > |  | atomic? |  |  |  |
> > |  | async-apply]) |  | → |  | ffi-callback?
> proc : any/c
> in-types : any/c
> out-type : any/c
> abi : (or/c #f 'default 'stdcall 'sysv) = #f
> atomic? : any/c = #f
> async-apply : (or/c #f ((-> any) . -> . any)) = #f

The symmetric counterpart of ffi-call. It receives a Racket procedure and creates a callback object, which can also be used as a C pointer.

> procedure (ffi-callback? x) → boolean?
> x : any/c

A predicate for callback values that are created by ffi-callback.
top ← prev up next →