From b462b7391f89cda71d8559cc6f0a49755fae6a99 Mon Sep 17 00:00:00 2001 From: Guillaume Bagan Date: Sat, 14 May 2022 20:41:17 +0200 Subject: [PATCH] Add support for pointer events (#30) Co-authored-by: Thomas Honeyman --- bower.json | 3 ++- src/DOM/HTML/Indexed.purs | 21 +++++++++++---------- 2 files changed, 13 insertions(+), 11 deletions(-) diff --git a/bower.json b/bower.json index 99e1fad..3f7e657 100644 --- a/bower.json +++ b/bower.json @@ -18,6 +18,7 @@ "purescript-media-types": "^6.0.0", "purescript-prelude": "^6.0.0", "purescript-web-clipboard": "^4.0.0", - "purescript-web-touchevents": "^4.0.0" + "purescript-web-touchevents": "^4.0.0", + "purescript-web-pointerevents": "https://github.com/purescript-web/purescript-web-pointerevents.git#^1.0.0" } } diff --git a/src/DOM/HTML/Indexed.purs b/src/DOM/HTML/Indexed.purs index e567ed6..da36cbc 100644 --- a/src/DOM/HTML/Indexed.purs +++ b/src/DOM/HTML/Indexed.purs @@ -24,6 +24,7 @@ import Web.TouchEvent (TouchEvent) import Web.UIEvent.FocusEvent (FocusEvent) import Web.UIEvent.KeyboardEvent (KeyboardEvent) import Web.UIEvent.MouseEvent (MouseEvent) +import Web.PointerEvent (PointerEvent) import Web.UIEvent.WheelEvent (WheelEvent) type CSSPixel = Int @@ -87,16 +88,16 @@ type TouchEvents r = ) type PointerEvents r = - ( onPointerOver :: Event - , onPointerEnter :: Event - , onPointerDown :: Event - , onPointerMove :: Event - , onPointerUp :: Event - , onPointerCancel :: Event - , onPointerOut :: Event - , onPointerLeave :: Event - , gotPointerCapture :: Event - , lostPointerCapture :: Event + ( onPointerOver :: PointerEvent + , onPointerEnter :: PointerEvent + , onPointerDown :: PointerEvent + , onPointerMove :: PointerEvent + , onPointerUp :: PointerEvent + , onPointerCancel :: PointerEvent + , onPointerOut :: PointerEvent + , onPointerLeave :: PointerEvent + , onGotPointerCapture :: PointerEvent + , onLostPointerCapture :: PointerEvent | r )