7.10 The C structure
7.10.5 The C.Function structure
c_structureType abbreviation
c_signatureType abbreviation
c_typeType abbreviation
c_objectType abbreviation
c_functionType abbreviation
- Specification:
type c_function- Description:
- This is an encapsulated abstract type used for representing foreign function data. It supports sufficient information to enable these functions to be called with appropriate arguments and for its results to be interpreted.
Function
- Signature:
val defineForeignFun : (c_structure * c_signature) -> (name -> c_function)- Description:
- This is the main function in which all the key elements of the C interface are combined. This function is used to extract named foreign code from a
c_structureand then combined with the type information associated with thec_signaturefor that name. The result is ac_functionobject which can then be supplied with arguments and called.
Function
- Signature:
val call : c_function -> (c_object list * c_object) -> unit- Description:
- This function takes a
c_functionobject and a list of objects representing the arguments, calls the associated foreign function and returns the result to the other given object. Of course, all the type information forc_function, argument objects and result object must match accordingly.