diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/Waylean.lean | 9 |
1 files changed, 5 insertions, 4 deletions
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 |