From 1252befa78ba553ce344a458dacbeb0c085be749 Mon Sep 17 00:00:00 2001 From: Konstantin Zudov Date: Thu, 10 Sep 2015 03:07:38 +0300 Subject: [PATCH] Parametrise EventListener --- docs/DOM/Event/EventTarget.md | 8 ++++---- src/DOM/Event/EventTarget.purs | 8 ++++---- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/docs/DOM/Event/EventTarget.md b/docs/DOM/Event/EventTarget.md index 7a859f0..2afd472 100644 --- a/docs/DOM/Event/EventTarget.md +++ b/docs/DOM/Event/EventTarget.md @@ -3,7 +3,7 @@ #### `EventListener` ``` purescript -data EventListener :: # ! -> * +data EventListener :: * -> # ! -> * ``` A boxed function that can be used as an event listener. This is necessary @@ -12,7 +12,7 @@ due to the underling implementation of Eff functions. #### `eventListener` ``` purescript -eventListener :: forall eff a. (Event -> Eff eff a) -> EventListener eff +eventListener :: forall eff a ev. (ev -> Eff eff a) -> EventListener ev eff ``` Creates an EventListener from a normal PureScript Eff function. @@ -20,7 +20,7 @@ Creates an EventListener from a normal PureScript Eff function. #### `addEventListener` ``` purescript -addEventListener :: forall eff. EventType -> EventListener (dom :: DOM | eff) -> Boolean -> EventTarget -> Eff (dom :: DOM | eff) Unit +addEventListener :: forall eff ev. EventType -> EventListener ev (dom :: DOM | eff) -> Boolean -> EventTarget -> Eff (dom :: DOM | eff) Unit ``` Adds a listener to an event target. The boolean argument indicates whether @@ -29,7 +29,7 @@ the listener should be added for the "capture" phase. #### `removeEventListener` ``` purescript -removeEventListener :: forall eff. EventType -> EventListener (dom :: DOM | eff) -> Boolean -> EventTarget -> Eff (dom :: DOM | eff) Unit +removeEventListener :: forall eff ev. EventType -> EventListener ev (dom :: DOM | eff) -> Boolean -> EventTarget -> Eff (dom :: DOM | eff) Unit ``` Removes a listener to an event target. The boolean argument indicates diff --git a/src/DOM/Event/EventTarget.purs b/src/DOM/Event/EventTarget.purs index c8e8193..609cbf0 100644 --- a/src/DOM/Event/EventTarget.purs +++ b/src/DOM/Event/EventTarget.purs @@ -10,18 +10,18 @@ import DOM.Event.Types -- | A boxed function that can be used as an event listener. This is necessary -- | due to the underling implementation of Eff functions. -foreign import data EventListener :: # ! -> * +foreign import data EventListener :: * -> # ! -> * -- | Creates an EventListener from a normal PureScript Eff function. -foreign import eventListener :: forall eff a. (Event -> Eff eff a) -> EventListener eff +foreign import eventListener :: forall eff a ev. (ev -> Eff eff a) -> EventListener ev eff -- | Adds a listener to an event target. The boolean argument indicates whether -- | the listener should be added for the "capture" phase. -foreign import addEventListener :: forall eff. EventType -> EventListener (dom :: DOM | eff) -> Boolean -> EventTarget -> Eff (dom :: DOM | eff) Unit +foreign import addEventListener :: forall eff ev. EventType -> EventListener ev (dom :: DOM | eff) -> Boolean -> EventTarget -> Eff (dom :: DOM | eff) Unit -- | Removes a listener to an event target. The boolean argument indicates -- | whether the listener should be removed for the "capture" phase. -foreign import removeEventListener :: forall eff. EventType -> EventListener (dom :: DOM | eff) -> Boolean -> EventTarget -> Eff (dom :: DOM | eff) Unit +foreign import removeEventListener :: forall eff ev. EventType -> EventListener ev (dom :: DOM | eff) -> Boolean -> EventTarget -> Eff (dom :: DOM | eff) Unit -- | Dispatches an event from an event target. foreign import dispatchEvent :: forall eff. Event -> EventTarget -> Eff (dom :: DOM, err :: EXCEPTION | eff) Boolean