The Green Card Manual

The Green Card Team

1. Introduction

• 1.1 Goals and non-goals

2. Foreign language interfaces are harder than they look

3. Overview of Green Card

4. Green Card directives

5. Procedure specifications

• 5.1 Type signature
• 5.2 Parameter marshalling
• 5.3 The body
• 5.4 Result marshalling
• 5.5 Pure functions
• 5.6 Automatic fill-in
• 5.7 Constants
• 5.8 Enumerations
• 5.9 Prefixes
• 5.10 Including arbitrary C code

6. Data Interface Schemes

• 6.1 Forms of DISs
• 6.2 DIS macros
• 6.3 Marshalling complex structures
• 6.4 Semantics of DISs

7. Standard DISs

• 7.1 Haskell extensions
• 7.2 Maybe

8. Imports

9. Invoking Green Card

• 9.1 Green Card output
• 9.2 Debugging Green Card output

10. Related Work

11. Alternative design choices and avenues for improvement