module JSDOM.Generated.PerformanceNavigation
(pattern TYPE_NAVIGATE, pattern TYPE_RELOAD,
pattern TYPE_BACK_FORWARD, pattern TYPE_RESERVED, getType,
getRedirectCount, PerformanceNavigation(..),
gTypePerformanceNavigation)
where
import Prelude ((.), (==), (>>=), return, IO, Int, Float, Double, Bool(..), Maybe, maybe, fromIntegral, round, realToFrac, fmap, Show, Read, Eq, Ord, Maybe(..))
import qualified Prelude (error)
import Data.Typeable (Typeable)
import Data.Traversable (mapM)
import Language.Javascript.JSaddle (JSM(..), JSVal(..), JSString, strictEqual, toJSVal, valToStr, valToNumber, valToBool, js, jss, jsf, jsg, function, asyncFunction, new, array, jsUndefined, (!), (!!))
import Data.Int (Int64)
import Data.Word (Word, Word64)
import JSDOM.Types
import Control.Applicative ((<$>))
import Control.Monad (void)
import Control.Lens.Operators ((^.))
import JSDOM.EventTargetClosures (EventName, unsafeEventName)
import JSDOM.Enums
pattern TYPE_NAVIGATE = 0
pattern TYPE_RELOAD = 1
pattern TYPE_BACK_FORWARD = 2
pattern TYPE_RESERVED = 255
getType :: (MonadDOM m) => PerformanceNavigation -> m Word
getType self
= liftDOM (round <$> ((self ^. js "type") >>= valToNumber))
getRedirectCount :: (MonadDOM m) => PerformanceNavigation -> m Word
getRedirectCount self
= liftDOM
(round <$> ((self ^. js "redirectCount") >>= valToNumber))