montis/src/Montis/Base/Foreign/Runtime.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37

module Montis.Base.Foreign.Runtime where

import Data.Void
import Foreign.C (CInt (..), CString, CDouble (..))
import Foreign.Ptr

data ForeignMontisToplevel

foreign import ccall "montis_do_request_hot_reload" foreign_doRequestHotReload :: Ptr Void -> IO ()

foreign import ccall "montis_do_request_log" foreign_doRequestLog :: Ptr Void -> CString -> IO ()

foreign import ccall "montis_do_request_exit" foreign_doRequestExit :: Ptr Void -> CInt -> IO ()

foreign import ccall "arkworld_get_seat" foreign_getSeat :: Ptr Void -> IO (Ptr Void)

foreign import ccall "arkworld_toplevel_at"
  foreign_toplevelAt :: Ptr Void -> CDouble -> CDouble -> IO (Ptr ForeignMontisToplevel)

foreign import ccall "arkworld_get_toplevel_position"
  foreign_getToplevelPosition :: Ptr ForeignMontisToplevel -> Ptr CDouble -> Ptr CDouble -> IO ()

foreign import ccall "arkworld_set_toplevel_position"
  foreign_setToplevelPosition :: Ptr ForeignMontisToplevel -> CDouble -> CDouble -> IO ()

foreign import ccall "arkworld_get_toplevel_geometry"
  foreign_getToplevelGeometry ::
    Ptr ForeignMontisToplevel -> Ptr CDouble -> Ptr CDouble -> Ptr CDouble -> Ptr CDouble -> IO ()

foreign import ccall "arkworld_set_toplevel_geometry"
  foreign_setToplevelGeometry :: Ptr ForeignMontisToplevel -> CDouble -> CDouble -> CDouble -> CDouble -> IO ()

foreign import ccall "arkworld_focus_toplevel"
  foreign_focusToplevel :: Ptr ForeignMontisToplevel -> IO ()

foreign import ccall "arkworld_warp_cursor"
  foreign_warpCursor :: Ptr Void -> CDouble -> CDouble -> IO ()