-----------------------------------------------------------------------------
{-# LANGUAGE OverloadedStrings #-}
-----------------------------------------------------------------------------
-- |
-- Module      :  Miso.Lynx.FFI
-- Copyright   :  (C) 2016-2025 David M. Johnson
-- License     :  BSD3-style (see the file LICENSE)
-- Maintainer  :  David M. Johnson <code@dmj.io>
-- Stability   :  experimental
-- Portability :  non-portable
----------------------------------------------------------------------------
module Miso.Lynx.FFI
  ( -- *** Lynx specific FFI
    setInterval
  , clearInterval
  , setTimeout
  , clearTimeout
  , invokeExec
  ) where
----------------------------------------------------------------------------
import Control.Monad
-----------------------------------------------------------------------------
import Miso
-----------------------------------------------------------------------------
-- | <https://lynxjs.org/api/lynx-api/global/set-interval.html>
--
setInterval :: Double -> IO () -> IO Double
setInterval :: Double -> IO () -> IO Double
setInterval Double
delay IO ()
f = do
  cb <- JSVal -> IO JSVal
forall a. ToJSVal a => a -> IO JSVal
toJSVal (JSVal -> IO JSVal) -> IO JSVal -> IO JSVal
forall (m :: * -> *) a b. Monad m => (a -> m b) -> m a -> m b
=<< IO () -> IO JSVal
asyncCallback IO ()
f
  v <- toJSVal delay
  result <- jsg "lynx" # "setInterval" $ ([cb, v] :: [JSVal])
  fromJSValUnchecked result
-----------------------------------------------------------------------------
-- | <https://lynxjs.org/api/lynx-api/global/clear-interval.html>
--
clearInterval :: Double -> IO Double
clearInterval :: Double -> IO Double
clearInterval Double
intervalId = do
  result <- MisoString -> IO JSVal
jsg MisoString
"lynx" IO JSVal -> MisoString -> [Double] -> IO JSVal
forall object args.
(ToObject object, ToArgs args) =>
object -> MisoString -> args -> IO JSVal
# MisoString
"clearInterval" ([Double] -> IO JSVal) -> [Double] -> IO JSVal
forall a b. (a -> b) -> a -> b
$ [Double
intervalId]
  fromJSValUnchecked result
-----------------------------------------------------------------------------
-- | <https://lynxjs.org/api/lynx-api/global/set-timeout.html>
--
setTimeout :: Double -> IO () -> IO Double
setTimeout :: Double -> IO () -> IO Double
setTimeout Double
delay IO ()
f = do
  cb <- IO JSVal -> IO JSVal
forall a. ToJSVal a => a -> IO JSVal
toJSVal (IO () -> IO JSVal
asyncCallback IO ()
f)
  v <- toJSVal delay
  result <- jsg "lynx" # "setTimeout" $ [cb, v]
  fromJSValUnchecked result
-----------------------------------------------------------------------------
-- | <https://lynxjs.org/api/lynx-api/global/clear-timeout.html>
--
clearTimeout :: Double -> IO ()
clearTimeout :: Double -> IO ()
clearTimeout Double
timerId = IO JSVal -> IO ()
forall (f :: * -> *) a. Functor f => f a -> f ()
void (IO JSVal -> IO ()) -> IO JSVal -> IO ()
forall a b. (a -> b) -> a -> b
$ MisoString -> IO JSVal
jsg MisoString
"lynx" IO JSVal -> MisoString -> [Double] -> IO JSVal
forall object args.
(ToObject object, ToArgs args) =>
object -> MisoString -> args -> IO JSVal
# MisoString
"clearTimeout" ([Double] -> IO JSVal) -> [Double] -> IO JSVal
forall a b. (a -> b) -> a -> b
$ [Double
timerId]
-----------------------------------------------------------------------------
-- | <https://lynxjs.org/api/lynx-api/nodes-ref/nodes-ref-invoke.html>
--
-- Used to call methods on elements in 'view_', 'image_', etc.
-- We use this internally to implement the various 'Method' sections
-- per the lynx docs.
--
-- > invokeExec "gifs" "startAnimate" :: IO ()
--
-- @ 
-- lynx.createSelectorQuery()
--   .select('#gifs')
--   .invoke({
--    method: 'startAnimate'，
--  }).exec();
-- @
--
--
-- > invoke
--
invokeExec
  :: (ToJSVal params, FromJSVal argument)
  => MisoString
  -- ^ method
  -> MisoString
  -- ^ selector
  -> params
  -- ^ params
  -> (argument -> action)
  -- ^ successful
  -> (MisoString -> action)
  -- ^ errorful
  -> Effect parent model action
invokeExec :: forall params argument action parent model.
(ToJSVal params, FromJSVal argument) =>
MisoString
-> MisoString
-> params
-> (argument -> action)
-> (MisoString -> action)
-> Effect parent model action
invokeExec MisoString
method MisoString
selector params
params argument -> action
successful MisoString -> action
errorful = do
  (Sink action -> IO ()) -> Effect parent model action
forall action parent model.
(Sink action -> IO ()) -> Effect parent model action
withSink ((Sink action -> IO ()) -> Effect parent model action)
-> (Sink action -> IO ()) -> Effect parent model action
forall a b. (a -> b) -> a -> b
$ \Sink action
sink -> do
    selector_ <- MisoString -> IO JSVal
forall a. ToJSVal a => a -> IO JSVal
toJSVal MisoString
selector
    successful_ <- toJSVal =<< do
      asyncCallback1 $ \JSVal
arg -> do
        result <- JSVal -> IO argument
forall a. FromJSVal a => JSVal -> IO a
fromJSValUnchecked JSVal
arg
        sink (successful result)
    errorful_ <- toJSVal =<< do
      asyncCallback1 $ \JSVal
arg -> do
        rect <- JSVal -> IO MisoString
forall a. FromJSVal a => JSVal -> IO a
fromJSValUnchecked JSVal
arg
        sink (errorful rect)
    params_ <- toJSVal params
    method__ <- toJSVal method
    void $ do
      jsg "globalThis" # "invokeExec" $
        [ selector_
        , method__
        , params_
        , successful_
        , errorful_
        ]
-----------------------------------------------------------------------------