NavigationDestination.hs

{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE ImplicitParams, ConstraintKinds, KindSignatures #-}
{-# OPTIONS_GHC -fno-warn-unused-imports #-}
-- | Generated by dom-gen from html (webref). Do not edit.
module JSDOM.Generated.NavigationDestination
       (getState, getState_, getUrl, getKey, getId, getIndex, getSameDocument, NavigationDestination(..), gTypeNavigationDestination)
       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/NavigationDestination/getState MDN NavigationDestination.getState documentation>
getState :: (MonadDOM m) => NavigationDestination -> m JSVal
getState self = liftDOM (self ^. jsf "getState" ())

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

-- | <https://developer.mozilla.org/docs/Web/API/NavigationDestination/url MDN NavigationDestination.url documentation>
getUrl :: (MonadDOM m, FromJSString result) => NavigationDestination -> m result
getUrl self = liftDOM (((self ^. js "url") >>= fromJSValUnchecked))

-- | <https://developer.mozilla.org/docs/Web/API/NavigationDestination/key MDN NavigationDestination.key documentation>
getKey :: (MonadDOM m, FromJSString result) => NavigationDestination -> m result
getKey self = liftDOM (((self ^. js "key") >>= fromJSValUnchecked))

-- | <https://developer.mozilla.org/docs/Web/API/NavigationDestination/id MDN NavigationDestination.id documentation>
getId :: (MonadDOM m, FromJSString result) => NavigationDestination -> m result
getId self = liftDOM (((self ^. js "id") >>= fromJSValUnchecked))

-- | <https://developer.mozilla.org/docs/Web/API/NavigationDestination/index MDN NavigationDestination.index documentation>
getIndex :: (MonadDOM m) => NavigationDestination -> m Int53
getIndex self = liftDOM (((self ^. js "index") >>= fromJSValUnchecked))

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