From 56c5078463e5f9131dfa073b127e8a9c7c73e05f Mon Sep 17 00:00:00 2001 From: Hannes Schulze Date: Fri, 6 Mar 2026 18:35:58 +0100 Subject: clean up native api --- src/Waylean.lean | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) (limited to 'src/Waylean.lean') diff --git a/src/Waylean.lean b/src/Waylean.lean index 28c5f58..a13b867 100644 --- a/src/Waylean.lean +++ b/src/Waylean.lean @@ -1,15 +1,16 @@ import Wayland +open Wayland.Native -partial def mainLoop (loop : EventLoop) : IO Unit := do +partial def mainLoop (loop : EventLoop (IO Unit)) : IO Unit := do match (← loop.poll) with | .none => return | .some msg => msg; mainLoop loop partial def main : IO Unit := do - let disp ← Display.new .none - let loop ← EventLoop.new + let disp : Display ← Display.new .none + let loop : EventLoop (IO Unit) ← EventLoop.new _ ← loop.addDisplay disp - _ ← loop.addSignal 2 (do + _ ← loop.addSignal SIGINT (do IO.println "Received SIGINT" loop.quit) let rec setUpTimer := loop.addTimer 500 (do -- cgit v1.3.1