jsaddle-dom-0.10.0.0: src/JSDOM/Generated/NavigateEventInit.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.NavigateEventInit
       (newNavigateEventInit, setNavigationType, getNavigationType, getNavigationTypeUnsafe, getNavigationTypeUnchecked, setDestination, getDestination, setCanIntercept, getCanIntercept, getCanInterceptUnsafe, getCanInterceptUnchecked, setUserInitiated, getUserInitiated, getUserInitiatedUnsafe, getUserInitiatedUnchecked, setHashChange, getHashChange, getHashChangeUnsafe, getHashChangeUnchecked, setSignal, getSignal, setFormData, getFormData, getFormDataUnsafe, getFormDataUnchecked, setDownloadRequest, getDownloadRequest, getDownloadRequestUnsafe, getDownloadRequestUnchecked, setInfo, getInfo, setHasUAVisualTransition, getHasUAVisualTransition, getHasUAVisualTransitionUnsafe, getHasUAVisualTransitionUnchecked, setSourceElement, getSourceElement, getSourceElementUnsafe, getSourceElementUnchecked, NavigateEventInit(..), gTypeNavigateEventInit)
       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://html.spec.whatwg.org/multipage/nav-history-apis.html#navigateeventinit NavigateEventInit specification>
newNavigateEventInit :: (MonadDOM m, IsAbortSignal signal) => NavigationDestination -> signal -> m NavigateEventInit
newNavigateEventInit destination signal = liftDOM ((((new (jsg "Object") () >>= \o -> (o ^. jss "destination" (toJSVal destination)) P.>> (o ^. jss "signal" (toJSVal signal)) P.>> P.return o)) >>= fromJSValUnchecked))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-navigationtype NavigateEventInit.navigationType specification>
setNavigationType :: (MonadDOM m) => NavigateEventInit -> NavigationType -> m ()
setNavigationType self val = liftDOM (void (self ^. jss "navigationType" (toJSVal val)))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-navigationtype NavigateEventInit.navigationType specification>
getNavigationType :: (MonadDOM m) => NavigateEventInit -> m (Maybe NavigationType)
getNavigationType self = liftDOM (((self ^. js "navigationType") >>= fromJSValUnchecked))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-navigationtype NavigateEventInit.navigationType specification>
getNavigationTypeUnsafe :: (MonadDOM m, HasCallStack) => NavigateEventInit -> m NavigationType
getNavigationTypeUnsafe self = liftDOM ((((self ^. js "navigationType") >>= fromJSValUnchecked) >>= P.maybe (P.error "Nothing to return") P.return))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-navigationtype NavigateEventInit.navigationType specification>
getNavigationTypeUnchecked :: (MonadDOM m) => NavigateEventInit -> m NavigationType
getNavigationTypeUnchecked self = liftDOM (((self ^. js "navigationType") >>= fromJSValUnchecked))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-destination NavigateEventInit.destination specification>
setDestination :: (MonadDOM m) => NavigateEventInit -> NavigationDestination -> m ()
setDestination self val = liftDOM (void (self ^. jss "destination" (toJSVal val)))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-destination NavigateEventInit.destination specification>
getDestination :: (MonadDOM m) => NavigateEventInit -> m NavigationDestination
getDestination self = liftDOM (((self ^. js "destination") >>= fromJSValUnchecked))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-canintercept NavigateEventInit.canIntercept specification>
setCanIntercept :: (MonadDOM m) => NavigateEventInit -> Bool -> m ()
setCanIntercept self val = liftDOM (void (self ^. jss "canIntercept" (toJSVal val)))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-canintercept NavigateEventInit.canIntercept specification>
getCanIntercept :: (MonadDOM m) => NavigateEventInit -> m (Maybe Bool)
getCanIntercept self = liftDOM (((self ^. js "canIntercept") >>= fromJSValUnchecked))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-canintercept NavigateEventInit.canIntercept specification>
getCanInterceptUnsafe :: (MonadDOM m, HasCallStack) => NavigateEventInit -> m Bool
getCanInterceptUnsafe self = liftDOM ((((self ^. js "canIntercept") >>= fromJSValUnchecked) >>= P.maybe (P.error "Nothing to return") P.return))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-canintercept NavigateEventInit.canIntercept specification>
getCanInterceptUnchecked :: (MonadDOM m) => NavigateEventInit -> m Bool
getCanInterceptUnchecked self = liftDOM (((self ^. js "canIntercept") >>= valToBool))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-userinitiated NavigateEventInit.userInitiated specification>
setUserInitiated :: (MonadDOM m) => NavigateEventInit -> Bool -> m ()
setUserInitiated self val = liftDOM (void (self ^. jss "userInitiated" (toJSVal val)))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-userinitiated NavigateEventInit.userInitiated specification>
getUserInitiated :: (MonadDOM m) => NavigateEventInit -> m (Maybe Bool)
getUserInitiated self = liftDOM (((self ^. js "userInitiated") >>= fromJSValUnchecked))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-userinitiated NavigateEventInit.userInitiated specification>
getUserInitiatedUnsafe :: (MonadDOM m, HasCallStack) => NavigateEventInit -> m Bool
getUserInitiatedUnsafe self = liftDOM ((((self ^. js "userInitiated") >>= fromJSValUnchecked) >>= P.maybe (P.error "Nothing to return") P.return))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-userinitiated NavigateEventInit.userInitiated specification>
getUserInitiatedUnchecked :: (MonadDOM m) => NavigateEventInit -> m Bool
getUserInitiatedUnchecked self = liftDOM (((self ^. js "userInitiated") >>= valToBool))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-hashchange NavigateEventInit.hashChange specification>
setHashChange :: (MonadDOM m) => NavigateEventInit -> Bool -> m ()
setHashChange self val = liftDOM (void (self ^. jss "hashChange" (toJSVal val)))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-hashchange NavigateEventInit.hashChange specification>
getHashChange :: (MonadDOM m) => NavigateEventInit -> m (Maybe Bool)
getHashChange self = liftDOM (((self ^. js "hashChange") >>= fromJSValUnchecked))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-hashchange NavigateEventInit.hashChange specification>
getHashChangeUnsafe :: (MonadDOM m, HasCallStack) => NavigateEventInit -> m Bool
getHashChangeUnsafe self = liftDOM ((((self ^. js "hashChange") >>= fromJSValUnchecked) >>= P.maybe (P.error "Nothing to return") P.return))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-hashchange NavigateEventInit.hashChange specification>
getHashChangeUnchecked :: (MonadDOM m) => NavigateEventInit -> m Bool
getHashChangeUnchecked self = liftDOM (((self ^. js "hashChange") >>= valToBool))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-signal NavigateEventInit.signal specification>
setSignal :: (MonadDOM m, IsAbortSignal val) => NavigateEventInit -> val -> m ()
setSignal self val = liftDOM (void (self ^. jss "signal" (toJSVal val)))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-signal NavigateEventInit.signal specification>
getSignal :: (MonadDOM m) => NavigateEventInit -> m AbortSignal
getSignal self = liftDOM (((self ^. js "signal") >>= fromJSValUnchecked))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-formdata NavigateEventInit.formData specification>
setFormData :: (MonadDOM m) => NavigateEventInit -> Maybe FormData -> m ()
setFormData self val = liftDOM (void (self ^. jss "formData" (toJSVal val)))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-formdata NavigateEventInit.formData specification>
getFormData :: (MonadDOM m) => NavigateEventInit -> m (Maybe FormData)
getFormData self = liftDOM (((self ^. js "formData") >>= fromJSValUnchecked))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-formdata NavigateEventInit.formData specification>
getFormDataUnsafe :: (MonadDOM m, HasCallStack) => NavigateEventInit -> m FormData
getFormDataUnsafe self = liftDOM ((((self ^. js "formData") >>= fromJSValUnchecked) >>= P.maybe (P.error "Nothing to return") P.return))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-formdata NavigateEventInit.formData specification>
getFormDataUnchecked :: (MonadDOM m) => NavigateEventInit -> m FormData
getFormDataUnchecked self = liftDOM (((self ^. js "formData") >>= fromJSValUnchecked))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-downloadrequest NavigateEventInit.downloadRequest specification>
setDownloadRequest :: (MonadDOM m, ToJSString val) => NavigateEventInit -> Maybe val -> m ()
setDownloadRequest self val = liftDOM (void (self ^. jss "downloadRequest" (toJSVal val)))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-downloadrequest NavigateEventInit.downloadRequest specification>
getDownloadRequest :: (MonadDOM m, FromJSString result) => NavigateEventInit -> m (Maybe result)
getDownloadRequest self = liftDOM (((self ^. js "downloadRequest") >>= fromMaybeJSString))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-downloadrequest NavigateEventInit.downloadRequest specification>
getDownloadRequestUnsafe :: (MonadDOM m, HasCallStack, FromJSString result) => NavigateEventInit -> m result
getDownloadRequestUnsafe self = liftDOM ((((self ^. js "downloadRequest") >>= fromMaybeJSString) >>= P.maybe (P.error "Nothing to return") P.return))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-downloadrequest NavigateEventInit.downloadRequest specification>
getDownloadRequestUnchecked :: (MonadDOM m, FromJSString result) => NavigateEventInit -> m result
getDownloadRequestUnchecked self = liftDOM (((self ^. js "downloadRequest") >>= fromJSValUnchecked))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-info NavigateEventInit.info specification>
setInfo :: (MonadDOM m) => NavigateEventInit -> JSVal -> m ()
setInfo self val = liftDOM (void (self ^. jss "info" (toJSVal val)))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-info NavigateEventInit.info specification>
getInfo :: (MonadDOM m) => NavigateEventInit -> m JSVal
getInfo self = liftDOM (self ^. js "info")

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-hasuavisualtransition NavigateEventInit.hasUAVisualTransition specification>
setHasUAVisualTransition :: (MonadDOM m) => NavigateEventInit -> Bool -> m ()
setHasUAVisualTransition self val = liftDOM (void (self ^. jss "hasUAVisualTransition" (toJSVal val)))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-hasuavisualtransition NavigateEventInit.hasUAVisualTransition specification>
getHasUAVisualTransition :: (MonadDOM m) => NavigateEventInit -> m (Maybe Bool)
getHasUAVisualTransition self = liftDOM (((self ^. js "hasUAVisualTransition") >>= fromJSValUnchecked))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-hasuavisualtransition NavigateEventInit.hasUAVisualTransition specification>
getHasUAVisualTransitionUnsafe :: (MonadDOM m, HasCallStack) => NavigateEventInit -> m Bool
getHasUAVisualTransitionUnsafe self = liftDOM ((((self ^. js "hasUAVisualTransition") >>= fromJSValUnchecked) >>= P.maybe (P.error "Nothing to return") P.return))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-hasuavisualtransition NavigateEventInit.hasUAVisualTransition specification>
getHasUAVisualTransitionUnchecked :: (MonadDOM m) => NavigateEventInit -> m Bool
getHasUAVisualTransitionUnchecked self = liftDOM (((self ^. js "hasUAVisualTransition") >>= valToBool))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-sourceelement NavigateEventInit.sourceElement specification>
setSourceElement :: (MonadDOM m, IsElement val) => NavigateEventInit -> Maybe val -> m ()
setSourceElement self val = liftDOM (void (self ^. jss "sourceElement" (toJSVal val)))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-sourceelement NavigateEventInit.sourceElement specification>
getSourceElement :: (MonadDOM m) => NavigateEventInit -> m (Maybe Element)
getSourceElement self = liftDOM (((self ^. js "sourceElement") >>= fromJSValUnchecked))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-sourceelement NavigateEventInit.sourceElement specification>
getSourceElementUnsafe :: (MonadDOM m, HasCallStack) => NavigateEventInit -> m Element
getSourceElementUnsafe self = liftDOM ((((self ^. js "sourceElement") >>= fromJSValUnchecked) >>= P.maybe (P.error "Nothing to return") P.return))

-- | <https://html.spec.whatwg.org/multipage/nav-history-apis.html#dom-navigateeventinit-sourceelement NavigateEventInit.sourceElement specification>
getSourceElementUnchecked :: (MonadDOM m) => NavigateEventInit -> m Element
getSourceElementUnchecked self = liftDOM (((self ^. js "sourceElement") >>= fromJSValUnchecked))