module Engine.Window.Key ( Callback , callback , GLFW.Key(..) , GLFW.KeyState(..) , GLFW.ModifierKeys(..) , mkCallback ) where import RIO import Graphics.UI.GLFW qualified as GLFW import RIO.App (appEnv) import UnliftIO.Resource (ReleaseKey) import UnliftIO.Resource qualified as Resource import Engine.Types (GlobalHandles(..), StageRIO) type Callback st = Int -> (GLFW.ModifierKeys, GLFW.KeyState, GLFW.Key) -> StageRIO st () callback :: Callback st -> StageRIO st ReleaseKey callback :: Callback st -> StageRIO st ReleaseKey callback Callback st handler = do Window window <- (App GlobalHandles st -> Window) -> RIO (App GlobalHandles st) Window forall r (m :: * -> *) a. MonadReader r m => (r -> a) -> m a asks ((App GlobalHandles st -> Window) -> RIO (App GlobalHandles st) Window) -> (App GlobalHandles st -> Window) -> RIO (App GlobalHandles st) Window forall a b. (a -> b) -> a -> b $ GlobalHandles -> Window ghWindow (GlobalHandles -> Window) -> (App GlobalHandles st -> GlobalHandles) -> App GlobalHandles st -> Window forall b c a. (b -> c) -> (a -> b) -> a -> c . App GlobalHandles st -> GlobalHandles forall env st. App env st -> env appEnv (UnliftIO (StageRIO st) -> IO ()) -> StageRIO st () forall (m :: * -> *) a. MonadUnliftIO m => (UnliftIO m -> IO a) -> m a withUnliftIO \UnliftIO (StageRIO st) ul -> Window -> Maybe KeyCallback -> IO () GLFW.setKeyCallback Window window (Maybe KeyCallback -> IO ()) -> (KeyCallback -> Maybe KeyCallback) -> KeyCallback -> IO () forall b c a. (b -> c) -> (a -> b) -> a -> c . KeyCallback -> Maybe KeyCallback forall a. a -> Maybe a Just (KeyCallback -> IO ()) -> KeyCallback -> IO () forall a b. (a -> b) -> a -> b $ UnliftIO (StageRIO st) -> Callback st -> KeyCallback forall st. UnliftIO (StageRIO st) -> Callback st -> KeyCallback mkCallback UnliftIO (StageRIO st) ul Callback st handler IO () -> StageRIO st ReleaseKey forall (m :: * -> *). MonadResource m => IO () -> m ReleaseKey Resource.register (IO () -> StageRIO st ReleaseKey) -> IO () -> StageRIO st ReleaseKey forall a b. (a -> b) -> a -> b $ Window -> Maybe KeyCallback -> IO () GLFW.setKeyCallback Window window Maybe KeyCallback forall a. Maybe a Nothing mkCallback :: UnliftIO (StageRIO st) -> Callback st -> GLFW.KeyCallback mkCallback :: UnliftIO (StageRIO st) -> Callback st -> KeyCallback mkCallback (UnliftIO forall a. StageRIO st a -> IO a ul) Callback st action = \Window _window Key key Int keyCode KeyState keyState ModifierKeys mods -> StageRIO st () -> IO () forall a. StageRIO st a -> IO a ul (StageRIO st () -> IO ()) -> StageRIO st () -> IO () forall a b. (a -> b) -> a -> b $ Callback st action Int keyCode (ModifierKeys mods, KeyState keyState, Key key)