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 :: forall st. Callback st -> StageRIO st ReleaseKey
callback Callback st
handler = do
  Window
window <- forall r (m :: * -> *) a. MonadReader r m => (r -> a) -> m a
asks forall a b. (a -> b) -> a -> b
$ GlobalHandles -> Window
ghWindow forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall env st. App env st -> env
appEnv
  forall (m :: * -> *) a.
MonadUnliftIO m =>
(UnliftIO m -> IO a) -> m a
withUnliftIO \UnliftIO (RIO (App GlobalHandles st))
ul ->
    Window -> Maybe KeyCallback -> IO ()
GLFW.setKeyCallback Window
window forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ forall st. UnliftIO (StageRIO st) -> Callback st -> KeyCallback
mkCallback UnliftIO (RIO (App GlobalHandles st))
ul Callback st
handler
  forall (m :: * -> *). MonadResource m => IO () -> m ReleaseKey
Resource.register forall a b. (a -> b) -> a -> b
$
    Window -> Maybe KeyCallback -> IO ()
GLFW.setKeyCallback Window
window forall a. Maybe a
Nothing

mkCallback :: UnliftIO (StageRIO st) -> Callback st -> GLFW.KeyCallback
mkCallback :: forall st. 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 ->
    forall a. StageRIO st a -> IO a
ul forall a b. (a -> b) -> a -> b
$ Callback st
action Int
keyCode (ModifierKeys
mods, KeyState
keyState, Key
key)