{-# LANGUAGE PatternSynonyms #-} {-# LANGUAGE ForeignFunctionInterface #-} {-# LANGUAGE JavaScriptFFI #-} -- For HasCallStack compatibility {-# LANGUAGE ImplicitParams, ConstraintKinds, KindSignatures #-} module GHCJS.DOM.JSFFI.Generated.History (js_back, back, js_forward, forward, js_go, go, js_pushState, pushState, js_replaceState, replaceState, js_getLength, getLength, js_getState, getState, getStateUnsafe, getStateUnchecked, History(..), gTypeHistory) where import Prelude ((.), (==), (>>=), return, IO, Int, Float, Double, Bool(..), Maybe, maybe, fromIntegral, round, fmap, Show, Read, Eq, Ord) import qualified Prelude (error) import Data.Typeable (Typeable) import GHCJS.Types (JSVal(..), JSString) import GHCJS.Foreign (jsNull) import GHCJS.Foreign.Callback (syncCallback, asyncCallback, syncCallback1, asyncCallback1, syncCallback2, asyncCallback2, OnBlocked(..)) import GHCJS.Marshal (ToJSVal(..), FromJSVal(..)) import GHCJS.Marshal.Pure (PToJSVal(..), PFromJSVal(..)) import Control.Monad (void) import Control.Monad.IO.Class (MonadIO(..)) import Data.Int (Int64) import Data.Word (Word, Word64) import Data.Maybe (fromJust) import GHCJS.DOM.Types import Control.Applicative ((<$>)) import GHCJS.DOM.EventTargetClosures (EventName, unsafeEventName) import GHCJS.DOM.JSFFI.Generated.Enums foreign import javascript unsafe "$1[\"back\"]()" js_back :: History -> IO () -- | back :: (MonadIO m) => History -> m () back self = liftIO (js_back (self)) foreign import javascript unsafe "$1[\"forward\"]()" js_forward :: History -> IO () -- | forward :: (MonadIO m) => History -> m () forward self = liftIO (js_forward (self)) foreign import javascript unsafe "$1[\"go\"]($2)" js_go :: History -> Int -> IO () -- | go :: (MonadIO m) => History -> Int -> m () go self distance = liftIO (js_go (self) distance) foreign import javascript unsafe "$1[\"pushState\"]($2, $3, $4)" js_pushState :: History -> JSVal -> JSString -> JSString -> IO () -- | pushState :: (MonadIO m, ToJSString title, ToJSString url) => History -> JSVal -> title -> url -> m () pushState self data' title url = liftIO (js_pushState (self) data' (toJSString title) (toJSString url)) foreign import javascript unsafe "$1[\"replaceState\"]($2, $3, $4)" js_replaceState :: History -> JSVal -> JSString -> JSString -> IO () -- | replaceState :: (MonadIO m, ToJSString title, ToJSString url) => History -> JSVal -> title -> url -> m () replaceState self data' title url = liftIO (js_replaceState (self) data' (toJSString title) (toJSString url)) foreign import javascript unsafe "$1[\"length\"]" js_getLength :: History -> IO Word -- | getLength :: (MonadIO m) => History -> m Word getLength self = liftIO (js_getLength (self)) foreign import javascript unsafe "$1[\"state\"]" js_getState :: History -> IO (Nullable SerializedScriptValue) -- | getState :: (MonadIO m) => History -> m (Maybe SerializedScriptValue) getState self = liftIO (nullableToMaybe <$> (js_getState (self))) -- | getStateUnsafe :: (MonadIO m, HasCallStack) => History -> m SerializedScriptValue getStateUnsafe self = liftIO ((nullableToMaybe <$> (js_getState (self))) >>= maybe (Prelude.error "Nothing to return") return) -- | getStateUnchecked :: (MonadIO m) => History -> m SerializedScriptValue getStateUnchecked self = liftIO (fromJust . nullableToMaybe <$> (js_getState (self)))