IdleDeadline.hs

{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE ImplicitParams, ConstraintKinds, KindSignatures #-}
{-# OPTIONS_GHC -fno-warn-unused-imports #-}
-- | Generated by dom-gen from requestidlecallback (webref). Do not edit.
module JSDOM.Generated.IdleDeadline
       (timeRemaining, timeRemaining_, getDidTimeout, IdleDeadline(..), gTypeIdleDeadline)
       where
import Prelude ((.), (==), (>>=), (<$>), (++), Bool(..), Maybe(..), IO, Int, Word, Double, Float)
import qualified Prelude as P
import Control.Monad (void)
import Control.Lens.Operators ((^.))
import Language.Javascript.JSaddle (JSM, JSVal, JSString, toJSVal, valToBool, valToNumber, js, jss, jsf, jsg, new, function, asyncFunction, jsUndefined, jsNull)
import JSDOM.Types
import qualified JSDOM.Types as Types
import JSDOM.EventTargetClosures (EventName, unsafeEventName, unsafeEventNameAsync)
import JSDOM.Generated.Enums

-- | <https://developer.mozilla.org/docs/Web/API/IdleDeadline/timeRemaining MDN IdleDeadline.timeRemaining documentation>
timeRemaining :: (MonadDOM m) => IdleDeadline -> m Double
timeRemaining self = liftDOM (((self ^. jsf "timeRemaining" ()) >>= valToNumber))

-- | <https://developer.mozilla.org/docs/Web/API/IdleDeadline/timeRemaining MDN IdleDeadline.timeRemaining documentation>
timeRemaining_ :: (MonadDOM m) => IdleDeadline -> m ()
timeRemaining_ self = liftDOM (void (self ^. jsf "timeRemaining" ()))

-- | <https://developer.mozilla.org/docs/Web/API/IdleDeadline/didTimeout MDN IdleDeadline.didTimeout documentation>
getDidTimeout :: (MonadDOM m) => IdleDeadline -> m Bool
getDidTimeout self = liftDOM (((self ^. js "didTimeout") >>= valToBool))