JSDOM.Generated.DeviceProximityEvent

Documentation

newDeviceProximityEvent :: (MonadDOM m, ToJSString type') => type' -> Maybe DeviceProximityEventInit -> m DeviceProximityEvent

Mozilla DeviceProximityEvent documentation

getValue :: MonadDOM m => DeviceProximityEvent -> m Double

Mozilla DeviceProximityEvent.value documentation

getMin :: MonadDOM m => DeviceProximityEvent -> m Double

Mozilla DeviceProximityEvent.min documentation

getMax :: MonadDOM m => DeviceProximityEvent -> m Double

Mozilla DeviceProximityEvent.max documentation

newtype DeviceProximityEvent

Functions for this inteface are in JSDOM.DeviceProximityEvent. Base interface functions are in:

• JSDOM.Event

Mozilla DeviceProximityEvent documentation

Constructors

DeviceProximityEvent

Fields

• unDeviceProximityEvent :: JSVal

Instances

PToJSVal DeviceProximityEvent

Defined in JSDOM.Types

Methods

pToJSVal :: DeviceProximityEvent -> JSVal

PFromJSVal DeviceProximityEvent

Defined in JSDOM.Types

Methods

pFromJSVal :: JSVal -> DeviceProximityEvent

ToJSVal DeviceProximityEvent

Defined in JSDOM.Types

Methods

toJSVal :: DeviceProximityEvent -> JSM JSVal

toJSValListOf :: [DeviceProximityEvent] -> JSM JSVal

FromJSVal DeviceProximityEvent

Defined in JSDOM.Types

Methods

fromJSVal :: JSVal -> JSM (Maybe DeviceProximityEvent)

fromJSValUnchecked :: JSVal -> JSM DeviceProximityEvent

fromJSValListOf :: JSVal -> JSM (Maybe [DeviceProximityEvent])

fromJSValUncheckedListOf :: JSVal -> JSM [DeviceProximityEvent]

MakeObject DeviceProximityEvent

Defined in JSDOM.Types

Methods

makeObject :: DeviceProximityEvent -> JSM Object

IsEvent DeviceProximityEvent

Defined in JSDOM.Types

IsGObject DeviceProximityEvent

Defined in JSDOM.Types

Methods

typeGType :: DeviceProximityEvent -> JSM GType

gTypeDeviceProximityEvent :: JSM GType