module Engine.Window.Drop ( Callback , callback , 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 = [FilePath] -> StageRIO st () callback :: Callback st -> StageRIO st ReleaseKey callback :: forall st. 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 (RIO (App GlobalHandles st)) -> IO ()) -> StageRIO st () forall (m :: * -> *) a. MonadUnliftIO m => (UnliftIO m -> IO a) -> m a withUnliftIO \UnliftIO (RIO (App GlobalHandles st)) ul -> Window -> Maybe DropCallback -> IO () GLFW.setDropCallback Window window (Maybe DropCallback -> IO ()) -> (DropCallback -> Maybe DropCallback) -> DropCallback -> IO () forall b c a. (b -> c) -> (a -> b) -> a -> c . DropCallback -> Maybe DropCallback forall a. a -> Maybe a Just (DropCallback -> IO ()) -> DropCallback -> IO () forall a b. (a -> b) -> a -> b $ UnliftIO (RIO (App GlobalHandles st)) -> Callback st -> DropCallback forall st. UnliftIO (StageRIO st) -> Callback st -> DropCallback mkCallback UnliftIO (RIO (App GlobalHandles 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 DropCallback -> IO () GLFW.setDropCallback Window window Maybe DropCallback forall a. Maybe a Nothing mkCallback :: UnliftIO (StageRIO st) -> Callback st -> GLFW.DropCallback mkCallback :: forall st. UnliftIO (StageRIO st) -> Callback st -> DropCallback mkCallback (UnliftIO forall a. StageRIO st a -> IO a ul) Callback st action = \Window _window [String] files -> 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 [String] files