Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- newtype Window = Window {}
- stop :: MonadDOM m => Window -> m ()
- prompt :: (MonadDOM m, ToJSString message, ToJSString defaultValue, FromJSString result) => Window -> Maybe message -> Maybe defaultValue -> m (Maybe result)
- print :: MonadDOM m => Window -> m ()
- find :: (MonadDOM m, ToJSString string) => Window -> Maybe string -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> m Bool
- close :: MonadDOM m => Window -> m ()
- getName :: (MonadDOM m, FromJSString result) => Window -> m result
- getStatus :: (MonadDOM m, FromJSString result) => Window -> m result
- getLength :: MonadDOM m => Window -> m Word
- setName :: (MonadDOM m, ToJSString val) => Window -> val -> m ()
- moveTo :: MonadDOM m => Window -> Maybe Float -> Maybe Float -> m ()
- getTop :: MonadDOM m => Window -> m (Maybe Window)
- postMessage :: (MonadDOM m, ToJSVal message, ToJSString targetOrigin, IsGObject transfer) => Window -> message -> targetOrigin -> [transfer] -> m ()
- getSelection :: MonadDOM m => Window -> m (Maybe Selection)
- getSelection_ :: MonadDOM m => Window -> m ()
- getSelectionUnsafe :: (MonadDOM m, HasCallStack) => Window -> m Selection
- getSelectionUnchecked :: MonadDOM m => Window -> m Selection
- getLocation :: MonadDOM m => Window -> m Location
- scrollOpt :: MonadDOM m => Window -> Maybe ScrollToOptions -> m ()
- scroll :: MonadDOM m => Window -> Double -> Double -> m ()
- scrollToOpt :: MonadDOM m => Window -> Maybe ScrollToOptions -> m ()
- scrollTo :: MonadDOM m => Window -> Double -> Double -> m ()
- scrollByOpt :: MonadDOM m => Window -> Maybe ScrollToOptions -> m ()
- scrollBy :: MonadDOM m => Window -> Double -> Double -> m ()
- gestureChange :: EventName Window UIEvent
- gestureEnd :: EventName Window UIEvent
- gestureStart :: EventName Window UIEvent
- webKitAnimationEnd :: EventName Window AnimationEvent
- webKitAnimationIteration :: EventName Window AnimationEvent
- webKitAnimationStart :: EventName Window AnimationEvent
- webKitTransitionEnd :: EventName Window TransitionEvent
- open :: (MonadDOM m, ToJSString url, ToJSString target, ToJSString features) => Window -> Maybe url -> Maybe target -> Maybe features -> m (Maybe Window)
- blur :: MonadDOM m => Window -> m ()
- focus :: MonadDOM m => Window -> m ()
- captureEvents :: MonadDOM m => Window -> m ()
- releaseEvents :: MonadDOM m => Window -> m ()
- getEvent :: MonadDOM m => Window -> m Event
- open_ :: (MonadDOM m, ToJSString url, ToJSString target, ToJSString features) => Window -> Maybe url -> Maybe target -> Maybe features -> m ()
- getClosed :: MonadDOM m => Window -> m Bool
- getScreenX :: MonadDOM m => Window -> m Int
- getScreenY :: MonadDOM m => Window -> m Int
- decodeURI :: (MonadDOM m, ToJSString uri, FromJSString result) => Window -> uri -> m result
- decodeURI_ :: (MonadDOM m, ToJSString uri) => Window -> uri -> m ()
- decodeURIComponent :: (MonadDOM m, ToJSString uri, FromJSString result) => Window -> uri -> m result
- decodeURIComponent_ :: (MonadDOM m, ToJSString uri) => Window -> uri -> m ()
- encodeURI :: (MonadDOM m, ToJSString uri, FromJSString result) => Window -> uri -> m result
- encodeURI_ :: (MonadDOM m, ToJSString uri) => Window -> uri -> m ()
- encodeURIComponent :: (MonadDOM m, ToJSString uri, FromJSString result) => Window -> uri -> m result
- encodeURIComponent_ :: (MonadDOM m, ToJSString uri) => Window -> uri -> m ()
- fetch :: (MonadDOM m, ToJSVal input) => Window -> input -> Maybe RequestInit -> m Response
- fetch_ :: (MonadDOM m, ToJSVal input) => Window -> input -> Maybe RequestInit -> m ()
- openDatabase_ :: (MonadDOM m, ToJSString name, ToJSString version, ToJSString displayName) => Window -> name -> version -> displayName -> Word -> Maybe DatabaseCallback -> m ()
- openDatabaseUnsafe :: (MonadDOM m, ToJSString name, ToJSString version, ToJSString displayName, HasCallStack) => Window -> name -> version -> displayName -> Word -> Maybe DatabaseCallback -> m Database
- openDatabaseUnchecked :: (MonadDOM m, ToJSString name, ToJSString version, ToJSString displayName) => Window -> name -> version -> displayName -> Word -> Maybe DatabaseCallback -> m Database
- openUnsafe :: (MonadDOM m, ToJSString url, ToJSString target, ToJSString features, HasCallStack) => Window -> Maybe url -> Maybe target -> Maybe features -> m Window
- openUnchecked :: (MonadDOM m, ToJSString url, ToJSString target, ToJSString features) => Window -> Maybe url -> Maybe target -> Maybe features -> m Window
- alertNoMessage :: MonadDOM m => Window -> m ()
- alert :: (MonadDOM m, ToJSString message) => Window -> message -> m ()
- confirm :: (MonadDOM m, ToJSString message) => Window -> Maybe message -> m Bool
- confirm_ :: (MonadDOM m, ToJSString message) => Window -> Maybe message -> m ()
- prompt_ :: (MonadDOM m, ToJSString message, ToJSString defaultValue) => Window -> Maybe message -> Maybe defaultValue -> m ()
- promptUnsafe :: (MonadDOM m, ToJSString message, ToJSString defaultValue, HasCallStack, FromJSString result) => Window -> Maybe message -> Maybe defaultValue -> m result
- promptUnchecked :: (MonadDOM m, ToJSString message, ToJSString defaultValue, FromJSString result) => Window -> Maybe message -> Maybe defaultValue -> m result
- requestAnimationFrame :: MonadDOM m => Window -> RequestAnimationFrameCallback -> m Int
- requestAnimationFrame_ :: MonadDOM m => Window -> RequestAnimationFrameCallback -> m ()
- cancelAnimationFrame :: MonadDOM m => Window -> Int -> m ()
- getComputedStyle :: (MonadDOM m, IsElement element, ToJSString pseudoElement) => Window -> element -> Maybe pseudoElement -> m CSSStyleDeclaration
- getComputedStyle_ :: (MonadDOM m, IsElement element, ToJSString pseudoElement) => Window -> element -> Maybe pseudoElement -> m ()
- matchMedia :: (MonadDOM m, ToJSString query) => Window -> query -> m MediaQueryList
- matchMedia_ :: (MonadDOM m, ToJSString query) => Window -> query -> m ()
- moveBy :: MonadDOM m => Window -> Maybe Float -> Maybe Float -> m ()
- resizeTo :: MonadDOM m => Window -> Maybe Float -> Maybe Float -> m ()
- resizeBy :: MonadDOM m => Window -> Maybe Float -> Maybe Float -> m ()
- find_ :: (MonadDOM m, ToJSString string) => Window -> Maybe string -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> m ()
- webkitRequestAnimationFrame :: MonadDOM m => Window -> RequestAnimationFrameCallback -> m Int
- webkitRequestAnimationFrame_ :: MonadDOM m => Window -> RequestAnimationFrameCallback -> m ()
- webkitCancelAnimationFrame :: MonadDOM m => Window -> Int -> m ()
- webkitCancelRequestAnimationFrame :: MonadDOM m => Window -> Int -> m ()
- getMatchedCSSRules :: (MonadDOM m, IsElement element, ToJSString pseudoElement) => Window -> Maybe element -> Maybe pseudoElement -> m CSSRuleList
- getMatchedCSSRules_ :: (MonadDOM m, IsElement element, ToJSString pseudoElement) => Window -> Maybe element -> Maybe pseudoElement -> m ()
- showModalDialog :: (MonadDOM m, ToJSString url, ToJSVal dialogArgs, ToJSString featureArgs) => Window -> url -> Maybe dialogArgs -> Maybe featureArgs -> m JSVal
- showModalDialog_ :: (MonadDOM m, ToJSString url, ToJSVal dialogArgs, ToJSString featureArgs) => Window -> url -> Maybe dialogArgs -> Maybe featureArgs -> m ()
- webkitConvertPointFromPageToNode :: (MonadDOM m, IsNode node) => Window -> Maybe node -> Maybe WebKitPoint -> m WebKitPoint
- webkitConvertPointFromPageToNode_ :: (MonadDOM m, IsNode node) => Window -> Maybe node -> Maybe WebKitPoint -> m ()
- webkitConvertPointFromNodeToPage :: (MonadDOM m, IsNode node) => Window -> Maybe node -> Maybe WebKitPoint -> m WebKitPoint
- webkitConvertPointFromNodeToPage_ :: (MonadDOM m, IsNode node) => Window -> Maybe node -> Maybe WebKitPoint -> m ()
- collectMatchingElementsInFlatTree :: (MonadDOM m, IsNode scope, ToJSString selectors) => Window -> scope -> selectors -> m NodeList
- collectMatchingElementsInFlatTree_ :: (MonadDOM m, IsNode scope, ToJSString selectors) => Window -> scope -> selectors -> m ()
- matchingElementInFlatTree :: (MonadDOM m, IsNode scope, ToJSString selectors) => Window -> scope -> selectors -> m (Maybe Element)
- matchingElementInFlatTree_ :: (MonadDOM m, IsNode scope, ToJSString selectors) => Window -> scope -> selectors -> m ()
- matchingElementInFlatTreeUnsafe :: (MonadDOM m, IsNode scope, ToJSString selectors, HasCallStack) => Window -> scope -> selectors -> m Element
- matchingElementInFlatTreeUnchecked :: (MonadDOM m, IsNode scope, ToJSString selectors) => Window -> scope -> selectors -> m Element
- getIndexedDB :: MonadDOM m => Window -> m IDBFactory
- getWebkitIndexedDB :: MonadDOM m => Window -> m IDBFactory
- getWebkitStorageInfo :: MonadDOM m => Window -> m StorageInfo
- getSpeechSynthesis :: MonadDOM m => Window -> m SpeechSynthesis
- getWindow :: MonadDOM m => Window -> m Window
- getSelf :: MonadDOM m => Window -> m Window
- getDocument :: MonadDOM m => Window -> m Document
- getHistory :: MonadDOM m => Window -> m History
- getCustomElements :: MonadDOM m => Window -> m CustomElementRegistry
- getLocationbar :: MonadDOM m => Window -> m BarProp
- getMenubar :: MonadDOM m => Window -> m BarProp
- getPersonalbar :: MonadDOM m => Window -> m BarProp
- getScrollbars :: MonadDOM m => Window -> m BarProp
- getStatusbar :: MonadDOM m => Window -> m BarProp
- getToolbar :: MonadDOM m => Window -> m BarProp
- setStatus :: (MonadDOM m, ToJSString val) => Window -> val -> m ()
- getFrames :: MonadDOM m => Window -> m Window
- getTopUnsafe :: (MonadDOM m, HasCallStack) => Window -> m Window
- getTopUnchecked :: MonadDOM m => Window -> m Window
- getOpener :: MonadDOM m => Window -> m (Maybe Window)
- getOpenerUnsafe :: (MonadDOM m, HasCallStack) => Window -> m Window
- getOpenerUnchecked :: MonadDOM m => Window -> m Window
- getParent :: MonadDOM m => Window -> m (Maybe Window)
- getParentUnsafe :: (MonadDOM m, HasCallStack) => Window -> m Window
- getParentUnchecked :: MonadDOM m => Window -> m Window
- getFrameElement :: MonadDOM m => Window -> m (Maybe Element)
- getFrameElementUnsafe :: (MonadDOM m, HasCallStack) => Window -> m Element
- getFrameElementUnchecked :: MonadDOM m => Window -> m Element
- getNavigator :: MonadDOM m => Window -> m Navigator
- getApplicationCache :: MonadDOM m => Window -> m ApplicationCache
- getSessionStorage :: MonadDOM m => Window -> m Storage
- getLocalStorage :: MonadDOM m => Window -> m Storage
- getScreen :: MonadDOM m => Window -> m Screen
- getInnerHeight :: MonadDOM m => Window -> m Int
- getInnerWidth :: MonadDOM m => Window -> m Int
- getScrollX :: MonadDOM m => Window -> m Double
- getPageXOffset :: MonadDOM m => Window -> m Double
- getScrollY :: MonadDOM m => Window -> m Double
- getPageYOffset :: MonadDOM m => Window -> m Double
- getOuterWidth :: MonadDOM m => Window -> m Int
- getOuterHeight :: MonadDOM m => Window -> m Int
- getDevicePixelRatio :: MonadDOM m => Window -> m Double
- getOrientation :: MonadDOM m => Window -> m Int
- setDefaultStatus :: (MonadDOM m, ToJSString val) => Window -> val -> m ()
- getDefaultStatus :: (MonadDOM m, FromJSString result) => Window -> m result
- setDefaultstatus :: (MonadDOM m, ToJSString val) => Window -> val -> m ()
- getDefaultstatus :: (MonadDOM m, FromJSString result) => Window -> m result
- getOffscreenBuffering :: MonadDOM m => Window -> m Bool
- getScreenLeft :: MonadDOM m => Window -> m Int
- getScreenTop :: MonadDOM m => Window -> m Int
- getClientInformation :: MonadDOM m => Window -> m Navigator
- getStyleMedia :: MonadDOM m => Window -> m StyleMedia
- deviceMotion :: EventName Window DeviceMotionEvent
- deviceOrientation :: EventName Window DeviceOrientationEvent
- webKitDeviceProximity :: EventName Window DeviceProximityEvent
- gTypeWindow :: JSM GType
- openDatabase :: (MonadDOM m, ToJSString name, ToJSString version, ToJSString displayName) => Window -> name -> version -> displayName -> Word -> m Database
Documentation
Functions for this inteface are in JSDOM.Window. Base interface functions are in:
Instances
FromJSVal Window Source # | |
PFromJSVal Window Source # | |
Defined in JSDOM.Types pFromJSVal :: JSVal -> Window # | |
PToJSVal Window Source # | |
Defined in JSDOM.Types | |
ToJSVal Window Source # | |
MakeObject Window Source # | |
Defined in JSDOM.Types makeObject :: Window -> JSM Object # | |
IsEventTarget Window Source # | |
Defined in JSDOM.Types | |
IsGObject Window Source # | |
Defined in JSDOM.Types | |
IsGlobalCrypto Window Source # | |
Defined in JSDOM.Types | |
IsGlobalEventHandlers Window Source # | |
Defined in JSDOM.Types | |
IsGlobalPerformance Window Source # | |
Defined in JSDOM.Types | |
IsMessageEventSource Window Source # | |
Defined in JSDOM.Types | |
IsWindowEventHandlers Window Source # | |
Defined in JSDOM.Types | |
IsWindowOrWorkerGlobalScope Window Source # | |
Defined in JSDOM.Types |
prompt :: (MonadDOM m, ToJSString message, ToJSString defaultValue, FromJSString result) => Window -> Maybe message -> Maybe defaultValue -> m (Maybe result) Source #
find :: (MonadDOM m, ToJSString string) => Window -> Maybe string -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> m Bool Source #
postMessage :: (MonadDOM m, ToJSVal message, ToJSString targetOrigin, IsGObject transfer) => Window -> message -> targetOrigin -> [transfer] -> m () Source #
getSelection_ :: MonadDOM m => Window -> m () Source #
getSelectionUnsafe :: (MonadDOM m, HasCallStack) => Window -> m Selection Source #
scrollToOpt :: MonadDOM m => Window -> Maybe ScrollToOptions -> m () Source #
scrollByOpt :: MonadDOM m => Window -> Maybe ScrollToOptions -> m () Source #
open :: (MonadDOM m, ToJSString url, ToJSString target, ToJSString features) => Window -> Maybe url -> Maybe target -> Maybe features -> m (Maybe Window) Source #
captureEvents :: MonadDOM m => Window -> m () Source #
releaseEvents :: MonadDOM m => Window -> m () Source #
open_ :: (MonadDOM m, ToJSString url, ToJSString target, ToJSString features) => Window -> Maybe url -> Maybe target -> Maybe features -> m () Source #
decodeURI :: (MonadDOM m, ToJSString uri, FromJSString result) => Window -> uri -> m result Source #
decodeURI_ :: (MonadDOM m, ToJSString uri) => Window -> uri -> m () Source #
decodeURIComponent :: (MonadDOM m, ToJSString uri, FromJSString result) => Window -> uri -> m result Source #
decodeURIComponent_ :: (MonadDOM m, ToJSString uri) => Window -> uri -> m () Source #
encodeURI :: (MonadDOM m, ToJSString uri, FromJSString result) => Window -> uri -> m result Source #
encodeURI_ :: (MonadDOM m, ToJSString uri) => Window -> uri -> m () Source #
encodeURIComponent :: (MonadDOM m, ToJSString uri, FromJSString result) => Window -> uri -> m result Source #
encodeURIComponent_ :: (MonadDOM m, ToJSString uri) => Window -> uri -> m () Source #
openDatabase_ :: (MonadDOM m, ToJSString name, ToJSString version, ToJSString displayName) => Window -> name -> version -> displayName -> Word -> Maybe DatabaseCallback -> m () Source #
openDatabaseUnsafe :: (MonadDOM m, ToJSString name, ToJSString version, ToJSString displayName, HasCallStack) => Window -> name -> version -> displayName -> Word -> Maybe DatabaseCallback -> m Database Source #
openDatabaseUnchecked :: (MonadDOM m, ToJSString name, ToJSString version, ToJSString displayName) => Window -> name -> version -> displayName -> Word -> Maybe DatabaseCallback -> m Database Source #
openUnsafe :: (MonadDOM m, ToJSString url, ToJSString target, ToJSString features, HasCallStack) => Window -> Maybe url -> Maybe target -> Maybe features -> m Window Source #
openUnchecked :: (MonadDOM m, ToJSString url, ToJSString target, ToJSString features) => Window -> Maybe url -> Maybe target -> Maybe features -> m Window Source #
alertNoMessage :: MonadDOM m => Window -> m () Source #
prompt_ :: (MonadDOM m, ToJSString message, ToJSString defaultValue) => Window -> Maybe message -> Maybe defaultValue -> m () Source #
promptUnsafe :: (MonadDOM m, ToJSString message, ToJSString defaultValue, HasCallStack, FromJSString result) => Window -> Maybe message -> Maybe defaultValue -> m result Source #
promptUnchecked :: (MonadDOM m, ToJSString message, ToJSString defaultValue, FromJSString result) => Window -> Maybe message -> Maybe defaultValue -> m result Source #
requestAnimationFrame :: MonadDOM m => Window -> RequestAnimationFrameCallback -> m Int Source #
requestAnimationFrame_ :: MonadDOM m => Window -> RequestAnimationFrameCallback -> m () Source #
getComputedStyle :: (MonadDOM m, IsElement element, ToJSString pseudoElement) => Window -> element -> Maybe pseudoElement -> m CSSStyleDeclaration Source #
getComputedStyle_ :: (MonadDOM m, IsElement element, ToJSString pseudoElement) => Window -> element -> Maybe pseudoElement -> m () Source #
matchMedia :: (MonadDOM m, ToJSString query) => Window -> query -> m MediaQueryList Source #
matchMedia_ :: (MonadDOM m, ToJSString query) => Window -> query -> m () Source #
find_ :: (MonadDOM m, ToJSString string) => Window -> Maybe string -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> m () Source #
webkitRequestAnimationFrame :: MonadDOM m => Window -> RequestAnimationFrameCallback -> m Int Source #
webkitRequestAnimationFrame_ :: MonadDOM m => Window -> RequestAnimationFrameCallback -> m () Source #
getMatchedCSSRules :: (MonadDOM m, IsElement element, ToJSString pseudoElement) => Window -> Maybe element -> Maybe pseudoElement -> m CSSRuleList Source #
getMatchedCSSRules_ :: (MonadDOM m, IsElement element, ToJSString pseudoElement) => Window -> Maybe element -> Maybe pseudoElement -> m () Source #
showModalDialog :: (MonadDOM m, ToJSString url, ToJSVal dialogArgs, ToJSString featureArgs) => Window -> url -> Maybe dialogArgs -> Maybe featureArgs -> m JSVal Source #
showModalDialog_ :: (MonadDOM m, ToJSString url, ToJSVal dialogArgs, ToJSString featureArgs) => Window -> url -> Maybe dialogArgs -> Maybe featureArgs -> m () Source #
webkitConvertPointFromPageToNode :: (MonadDOM m, IsNode node) => Window -> Maybe node -> Maybe WebKitPoint -> m WebKitPoint Source #
webkitConvertPointFromPageToNode_ :: (MonadDOM m, IsNode node) => Window -> Maybe node -> Maybe WebKitPoint -> m () Source #
webkitConvertPointFromNodeToPage :: (MonadDOM m, IsNode node) => Window -> Maybe node -> Maybe WebKitPoint -> m WebKitPoint Source #
webkitConvertPointFromNodeToPage_ :: (MonadDOM m, IsNode node) => Window -> Maybe node -> Maybe WebKitPoint -> m () Source #
collectMatchingElementsInFlatTree :: (MonadDOM m, IsNode scope, ToJSString selectors) => Window -> scope -> selectors -> m NodeList Source #
collectMatchingElementsInFlatTree_ :: (MonadDOM m, IsNode scope, ToJSString selectors) => Window -> scope -> selectors -> m () Source #
matchingElementInFlatTree :: (MonadDOM m, IsNode scope, ToJSString selectors) => Window -> scope -> selectors -> m (Maybe Element) Source #
matchingElementInFlatTree_ :: (MonadDOM m, IsNode scope, ToJSString selectors) => Window -> scope -> selectors -> m () Source #
matchingElementInFlatTreeUnsafe :: (MonadDOM m, IsNode scope, ToJSString selectors, HasCallStack) => Window -> scope -> selectors -> m Element Source #
matchingElementInFlatTreeUnchecked :: (MonadDOM m, IsNode scope, ToJSString selectors) => Window -> scope -> selectors -> m Element Source #
getWebkitIndexedDB :: MonadDOM m => Window -> m IDBFactory Source #
getWebkitStorageInfo :: MonadDOM m => Window -> m StorageInfo Source #
getSpeechSynthesis :: MonadDOM m => Window -> m SpeechSynthesis Source #
getCustomElements :: MonadDOM m => Window -> m CustomElementRegistry Source #
getTopUnsafe :: (MonadDOM m, HasCallStack) => Window -> m Window Source #
getOpenerUnsafe :: (MonadDOM m, HasCallStack) => Window -> m Window Source #
getParentUnsafe :: (MonadDOM m, HasCallStack) => Window -> m Window Source #
getFrameElementUnsafe :: (MonadDOM m, HasCallStack) => Window -> m Element Source #
getApplicationCache :: MonadDOM m => Window -> m ApplicationCache Source #
setDefaultStatus :: (MonadDOM m, ToJSString val) => Window -> val -> m () Source #
getDefaultStatus :: (MonadDOM m, FromJSString result) => Window -> m result Source #
setDefaultstatus :: (MonadDOM m, ToJSString val) => Window -> val -> m () Source #
getDefaultstatus :: (MonadDOM m, FromJSString result) => Window -> m result Source #
getStyleMedia :: MonadDOM m => Window -> m StyleMedia Source #
gTypeWindow :: JSM GType Source #
openDatabase :: (MonadDOM m, ToJSString name, ToJSString version, ToJSString displayName) => Window -> name -> version -> displayName -> Word -> m Database Source #