Felix Tutorial
latest
Hello
Felix 101: The Basics
Felix 102: More Detail
Felix 102a: Regular Expressions
Felix 102b: File I/O
Felix 103: Polymorphism
Felix 104: C bindings
C Bindings
Floating Insertions
Fixed Insertions
Binding Callbacks
Felix 105: Nominal Types
Felix 106: Uniqueness Typing
Felix 107: Polymorphic Variants
Felix 108: Row Polymorphism and Subtyping
Felix 109: Objects and Plugins
Felix 110: Coroutines
Felix 111: Generalised Algebraic Data types
Felix 112: Compact Linear Types
Felix 113: Serialisation
Felix 114: Kinds
Felix GUI
Felix Tutorial
Docs
»
Felix 104: C bindings
Edit on GitHub
Felix 104: C bindings
ΒΆ
C Bindings
Lifting Primitives
Lifting Class types
C function types
Lifting C structs and unions
Lifting functions and procedures
Lifting Constants and Expressions
Lifting enums
Lifting Flags
Floating Insertions
Insertion Locations
Polymorphic Insertions
Requires Clause
Tag names
Closure Formation
Order of Insertion
Global Insertions
Triggering Insertions
Fixed Insertions
Lifting Plain Statements
Lifting NonReturning Executable Statements
Lifts with arguments
Lifting Expressions
Lifting Variables
Binding Callbacks
Complete Example