packages feed

ghcjs-dom-javascript-0.10.0.0: src/GHCJS/DOM/JSFFI/Generated/NavigationPrecommitController.hs

{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE ForeignFunctionInterface, JavaScriptFFI #-}
{-# LANGUAGE ImplicitParams, ConstraintKinds, KindSignatures #-}
{-# OPTIONS_GHC -fno-warn-unused-imports #-}
-- | Generated by dom-gen from html (webref). Do not edit.
module GHCJS.DOM.JSFFI.Generated.NavigationPrecommitController
       (js_addHandler, js_redirect, addHandler, redirect, NavigationPrecommitController(..), gTypeNavigationPrecommitController)
       where
import Prelude ((.), (==), (>>=), (<$>), (++), Bool(..), Maybe(..), IO, Int, Word, Double, Float)
import qualified Prelude as P
import Control.Monad (void)
import GHCJS.Types (JSVal, JSString)
import GHCJS.Foreign (jsUndefined, jsNull)
import GHCJS.DOM.Types
import qualified GHCJS.DOM.Types as Types
import GHCJS.DOM.EventTargetClosures (EventName, unsafeEventName, unsafeEventNameAsync)
import GHCJS.DOM.JSFFI.Generated.Enums

foreign import javascript safe "(($1, $2) => { return $1[\"addHandler\"]($2); })"
        js_addHandler :: NavigationPrecommitController -> JSVal -> IO ()
-- | <https://developer.mozilla.org/docs/Web/API/NavigationPrecommitController/addHandler MDN NavigationPrecommitController.addHandler documentation>
addHandler :: (MonadDOM m) => NavigationPrecommitController -> NavigationInterceptHandler -> m ()
addHandler self handler = liftDOM (void (((toJSVal handler) >>= \a2' -> js_addHandler (self) a2')))

foreign import javascript safe "(($1, $2, $3) => { return $1[\"redirect\"]($2, $3); })"
        js_redirect :: NavigationPrecommitController -> JSString -> JSVal -> IO ()
-- | <https://developer.mozilla.org/docs/Web/API/NavigationPrecommitController/redirect MDN NavigationPrecommitController.redirect documentation>
redirect :: (MonadDOM m, ToJSString url) => NavigationPrecommitController -> url -> Maybe NavigationNavigateOptions -> m ()
redirect self url options = liftDOM (void (((P.maybe (P.return jsUndefined) toJSVal options) >>= \a3' -> js_redirect (self) (toJSString url) a3')))