GLFW Internal FFI Bindings #

Low-level FFI bindings to GLFW and WebGPU rendering functions.

Resources are automatically managed via Lean.External with C++ finalizers. No manual cleanup is required.

source

@[extern lean_glfw_init]

opaque Hesper.GLFW.Internal.glfwInit :

IO Unit

Initialize GLFW. Must be called before creating windows. Throws error on failure.

source

@[extern lean_glfw_terminate]

opaque Hesper.GLFW.Internal.glfwTerminate :

IO Unit

Terminate GLFW. Should be called when done with all windows.

source

@[extern lean_glfw_create_window]

opaque Hesper.GLFW.Internal.createWindow (width height : UInt32) (title : String) :

IO Window

Create a window with the given dimensions and title. Automatically cleaned up by GC.

source

@[extern lean_glfw_window_should_close]

opaque Hesper.GLFW.Internal.windowShouldClose (window : Window) :

IO Bool

Check if a window should close

source

@[extern lean_glfw_poll_events]

opaque Hesper.GLFW.Internal.pollEvents :

IO Unit

Poll for window events (must be called regularly in the render loop)

source

@[extern lean_glfw_window_get_key]

opaque Hesper.GLFW.Internal.windowGetKey (window : Window) (key : UInt32) :

IO UInt32

Get key state for a specific key

source

@[extern lean_glfw_create_surface]

opaque Hesper.GLFW.Internal.createSurface (device : WebGPU.Device) (window : Window) :

IO Surface

Create a WebGPU surface for the given window. Automatically cleaned up by GC.

source

@[extern lean_glfw_configure_surface]

opaque Hesper.GLFW.Internal.configureSurface (surface : Surface) (width height format : UInt32) :

IO Unit

Configure the surface with the given dimensions and format

source

@[extern lean_glfw_surface_get_preferred_format]

opaque Hesper.GLFW.Internal.getSurfacePreferredFormat (surface : Surface) :

IO UInt32

Get the preferred texture format for the surface

source

@[extern lean_glfw_surface_get_current_texture]

opaque Hesper.GLFW.Internal.getCurrentTexture (surface : Surface) :

IO Texture

Get the current texture from the surface for rendering. Automatically cleaned up by GC.

source

@[extern lean_glfw_surface_present]

opaque Hesper.GLFW.Internal.surfacePresent (surface : Surface) :

IO Unit

Present the surface (swap buffers)

source

@[extern lean_glfw_texture_create_view]

opaque Hesper.GLFW.Internal.createTextureView (texture : Texture) :

IO TextureView

Create a view of the texture for rendering. Automatically cleaned up by GC.

source

@[extern lean_glfw_create_command_encoder]

opaque Hesper.GLFW.Internal.createCommandEncoder (device : WebGPU.Device) :

IO CommandEncoder

Create a command encoder for recording commands. Automatically cleaned up by GC.

source

@[extern lean_glfw_begin_render_pass]

opaque Hesper.GLFW.Internal.beginRenderPass (encoder : CommandEncoder) (view : TextureView) :

IO RenderPassEncoder

Begin a render pass with the given texture view. Automatically cleaned up by GC.

source

@[extern lean_glfw_render_pass_set_pipeline]

opaque Hesper.GLFW.Internal.setRenderPipeline (pass : RenderPassEncoder) (pipeline : RenderPipeline) :

IO Unit

Set the render pipeline for the render pass

source

@[extern lean_glfw_render_pass_draw]

opaque Hesper.GLFW.Internal.draw (pass : RenderPassEncoder) (vertexCount : UInt32) :

IO Unit

Draw vertices

source

@[extern lean_glfw_render_pass_end]

opaque Hesper.GLFW.Internal.endRenderPass (pass : RenderPassEncoder) :

IO Unit

End the render pass

source

@[extern lean_glfw_encoder_finish]

opaque Hesper.GLFW.Internal.finishEncoder (encoder : CommandEncoder) :

IO CommandBuffer

Finish recording commands and create a command buffer. Automatically cleaned up by GC.

source

@[extern lean_glfw_queue_submit]

opaque Hesper.GLFW.Internal.submitCommand (device : WebGPU.Device) (cmd : CommandBuffer) :

IO Unit

Submit a command buffer to the GPU queue

source

@[extern lean_glfw_create_shader_module]

opaque Hesper.GLFW.Internal.createShaderModule (device : WebGPU.Device) (code : String) :

IO ShaderModule

Create a shader module from WGSL code. Automatically cleaned up by GC.

source

@[extern lean_glfw_create_render_pipeline]

opaque Hesper.GLFW.Internal.createRenderPipeline (device : WebGPU.Device) (shader : ShaderModule) (format : UInt32) :

IO RenderPipeline

Create a render pipeline from a shader module. Automatically cleaned up by GC.