From 566c4b560f31a7d40f4d076d9936d5c03a327180 Mon Sep 17 00:00:00 2001 From: Phil Freeman Date: Mon, 3 Apr 2017 19:36:04 -0700 Subject: [PATCH] Updates for 0.11 --- bower.json | 22 +- package.json | 8 +- src/DOM.purs | 4 +- src/DOM/CSS/Event/Types.purs | 6 +- src/DOM/Event/EventTarget.purs | 4 +- src/DOM/Event/Types.purs | 63 ++---- src/DOM/File/Types.purs | 16 +- src/DOM/HTML/Event/DataTransfer.purs | 2 +- src/DOM/HTML/Event/Types.purs | 16 +- src/DOM/HTML/Types.purs | 326 +++++++-------------------- src/DOM/Node/Types.purs | 32 +-- src/DOM/Websocket/Event/Types.purs | 11 +- src/DOM/XHR/Types.purs | 8 +- 13 files changed, 142 insertions(+), 376 deletions(-) diff --git a/bower.json b/bower.json index 2fa8536..19715e0 100644 --- a/bower.json +++ b/bower.json @@ -20,19 +20,19 @@ "package.json" ], "dependencies": { - "purescript-datetime": "^2.0.0", - "purescript-enums": "^2.0.0", - "purescript-exceptions": "^2.0.0", - "purescript-foldable-traversable": "^2.0.0", - "purescript-foreign": "^3.0.0", - "purescript-js-date": "^3.0.0", - "purescript-media-types": "^2.0.0", - "purescript-nullable": "^2.0.0", - "purescript-prelude": "^2.1.0", - "purescript-unsafe-coerce": "^2.0.0" + "purescript-datetime": "^3.0.0", + "purescript-enums": "^3.0.0", + "purescript-exceptions": "^3.0.0", + "purescript-foldable-traversable": "^3.0.0", + "purescript-foreign": "^4.0.0", + "purescript-js-date": "^4.0.0", + "purescript-media-types": "^3.0.0", + "purescript-nullable": "^3.0.0", + "purescript-prelude": "^3.0.0", + "purescript-unsafe-coerce": "^3.0.0" }, "devDependencies": { - "purescript-aff": "^2.0.0", + "purescript-aff": "^3.0.0", "purescript-test-unit": "^10.0.0", "purescript-exitcodes": "^2.0.0", "purescript-phantom": "^1.0.1" diff --git a/package.json b/package.json index 75c6eef..b8c078b 100644 --- a/package.json +++ b/package.json @@ -2,14 +2,14 @@ "private": true, "scripts": { "clean": "rimraf output && rimraf .pulp-cache", - "build": "eslint src && pulp build --censor-lib --strict" + "build": "eslint src && pulp build -- --censor-lib --strict" }, "devDependencies": { "eslint": "^3.8.1", "phantomjs-prebuilt": "^2.1.13", - "pulp": "^9.0.1", - "purescript-psa": "^0.3.9", - "purescript": "^0.10.6", + "pulp": "^11.0.0", + "purescript-psa": "^0.5.0", + "purescript": "^0.11.1", "rimraf": "^2.5.4" } } diff --git a/src/DOM.purs b/src/DOM.purs index 19570f2..f394681 100644 --- a/src/DOM.purs +++ b/src/DOM.purs @@ -1,5 +1,7 @@ module DOM where +import Control.Monad.Eff (kind Effect) + -- | Effect type for when the DOM is being manipulated or mutable values are -- | being read from the DOM. -foreign import data DOM :: ! +foreign import data DOM :: Effect diff --git a/src/DOM/CSS/Event/Types.purs b/src/DOM/CSS/Event/Types.purs index 317e59d..e11199d 100644 --- a/src/DOM/CSS/Event/Types.purs +++ b/src/DOM/CSS/Event/Types.purs @@ -5,17 +5,13 @@ module DOM.CSS.Event.Types ) where import Data.Foreign (Foreign, F, unsafeReadTagged) -import Data.Foreign.Class (class IsForeign) import DOM.Event.Types (Event) import Unsafe.Coerce as U -foreign import data TransitionEvent :: * +foreign import data TransitionEvent :: Type transitionEventToEvent :: TransitionEvent -> Event transitionEventToEvent = U.unsafeCoerce readTransitionEvent :: Foreign -> F TransitionEvent readTransitionEvent = unsafeReadTagged "TransitionEvent" - -instance isForeignTransitionEvent :: IsForeign TransitionEvent where - read = readTransitionEvent diff --git a/src/DOM/Event/EventTarget.purs b/src/DOM/Event/EventTarget.purs index db1dea1..b3494d4 100644 --- a/src/DOM/Event/EventTarget.purs +++ b/src/DOM/Event/EventTarget.purs @@ -1,14 +1,14 @@ module DOM.Event.EventTarget where import Prelude -import Control.Monad.Eff (Eff) +import Control.Monad.Eff (kind Effect, Eff) import Control.Monad.Eff.Exception (EXCEPTION) import DOM (DOM) import DOM.Event.Types (EventTarget, Event, EventType) -- | 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 :: # Effect -> Type -- | Creates an EventListener from a normal PureScript Eff function. foreign import eventListener diff --git a/src/DOM/Event/Types.purs b/src/DOM/Event/Types.purs index 48b6119..e001213 100644 --- a/src/DOM/Event/Types.purs +++ b/src/DOM/Event/Types.purs @@ -41,12 +41,11 @@ module DOM.Event.Types import Prelude import Data.Either (Either(..)) import Data.Foreign (F, Foreign, unsafeReadTagged) -import Data.Foreign.Class (class IsForeign) import Data.Newtype (class Newtype) import Unsafe.Coerce as U -- | Basic type for all DOM events. -foreign import data Event :: * +foreign import data Event :: Type -- | The type of strings used for event types. newtype EventType = EventType String @@ -56,7 +55,7 @@ derive newtype instance eqEventType :: Eq EventType derive newtype instance ordEventType :: Ord EventType -- | A DOM item that can emit events. -foreign import data EventTarget :: * +foreign import data EventTarget :: Type readEventTarget :: Foreign -> F EventTarget readEventTarget = _readEventTarget Left Right @@ -67,10 +66,7 @@ foreign import _readEventTarget -> Foreign -> F EventTarget -instance isForeignEventTarget :: IsForeign EventTarget where - read = readEventTarget - -foreign import data CustomEvent :: * +foreign import data CustomEvent :: Type customEventToEvent :: CustomEvent -> Event customEventToEvent = U.unsafeCoerce @@ -78,10 +74,7 @@ customEventToEvent = U.unsafeCoerce readCustomEvent :: Foreign -> F CustomEvent readCustomEvent = unsafeReadTagged "CustomEvent" -instance isForeignCustomEvent :: IsForeign CustomEvent where - read = readCustomEvent - -foreign import data UIEvent :: * +foreign import data UIEvent :: Type uiEventToEvent :: UIEvent -> Event uiEventToEvent = U.unsafeCoerce @@ -89,10 +82,7 @@ uiEventToEvent = U.unsafeCoerce readUIEvent :: Foreign -> F UIEvent readUIEvent = unsafeReadTagged "UIEvent" -instance isForeignUIEvent :: IsForeign UIEvent where - read = readUIEvent - -foreign import data FocusEvent :: * +foreign import data FocusEvent :: Type focusEventToEvent :: FocusEvent -> Event focusEventToEvent = U.unsafeCoerce @@ -100,10 +90,7 @@ focusEventToEvent = U.unsafeCoerce readFocusEvent :: Foreign -> F FocusEvent readFocusEvent = unsafeReadTagged "FocusEvent" -instance isForeignFocusEvent :: IsForeign FocusEvent where - read = readFocusEvent - -foreign import data MouseEvent :: * +foreign import data MouseEvent :: Type mouseEventToEvent :: MouseEvent -> Event mouseEventToEvent = U.unsafeCoerce @@ -111,10 +98,7 @@ mouseEventToEvent = U.unsafeCoerce readMouseEvent :: Foreign -> F MouseEvent readMouseEvent = unsafeReadTagged "MouseEvent" -instance isForeignMouseEvent :: IsForeign MouseEvent where - read = readMouseEvent - -foreign import data WheelEvent :: * +foreign import data WheelEvent :: Type wheelEventToEvent :: WheelEvent -> Event wheelEventToEvent = U.unsafeCoerce @@ -122,10 +106,7 @@ wheelEventToEvent = U.unsafeCoerce readWheelEvent :: Foreign -> F WheelEvent readWheelEvent = unsafeReadTagged "WheelEvent" -instance isForeignWheelEvent :: IsForeign WheelEvent where - read = readWheelEvent - -foreign import data TouchEvent :: * +foreign import data TouchEvent :: Type touchEventToEvent :: TouchEvent -> Event touchEventToEvent = U.unsafeCoerce @@ -133,10 +114,7 @@ touchEventToEvent = U.unsafeCoerce readTouchEvent :: Foreign -> F TouchEvent readTouchEvent = unsafeReadTagged "TouchEvent" -instance isForeignTouchEvent :: IsForeign TouchEvent where - read = readTouchEvent - -foreign import data InputEvent :: * +foreign import data InputEvent :: Type inputEventToEvent :: InputEvent -> Event inputEventToEvent = U.unsafeCoerce @@ -144,10 +122,7 @@ inputEventToEvent = U.unsafeCoerce readInputEvent :: Foreign -> F InputEvent readInputEvent = unsafeReadTagged "InputEvent" -instance isForeignInputEvent :: IsForeign InputEvent where - read = readInputEvent - -foreign import data KeyboardEvent :: * +foreign import data KeyboardEvent :: Type keyboardEventToEvent :: KeyboardEvent -> Event keyboardEventToEvent = U.unsafeCoerce @@ -155,10 +130,7 @@ keyboardEventToEvent = U.unsafeCoerce readKeyboardEvent :: Foreign -> F KeyboardEvent readKeyboardEvent = unsafeReadTagged "KeyboardEvent" -instance isForeignKeyboardEvent :: IsForeign KeyboardEvent where - read = readKeyboardEvent - -foreign import data CompositionEvent :: * +foreign import data CompositionEvent :: Type compositionEventToEvent :: CompositionEvent -> Event compositionEventToEvent = U.unsafeCoerce @@ -166,10 +138,7 @@ compositionEventToEvent = U.unsafeCoerce readCompositionEvent :: Foreign -> F CompositionEvent readCompositionEvent = unsafeReadTagged "CompositionEvent" -instance isForeignCompositionEvent :: IsForeign CompositionEvent where - read = readCompositionEvent - -foreign import data ProgressEvent :: * +foreign import data ProgressEvent :: Type progressEventToEvent :: ProgressEvent -> Event progressEventToEvent = U.unsafeCoerce @@ -177,16 +146,10 @@ progressEventToEvent = U.unsafeCoerce readProgressEvent :: Foreign -> F ProgressEvent readProgressEvent = unsafeReadTagged "ProgressEvent" -instance isForeignProgressEvent :: IsForeign ProgressEvent where - read = readProgressEvent - -foreign import data ClipboardEvent :: * +foreign import data ClipboardEvent :: Type clipboardEventToEvent :: ClipboardEvent -> Event clipboardEventToEvent = U.unsafeCoerce readClipboardEvent :: Foreign -> F ClipboardEvent readClipboardEvent = unsafeReadTagged "ClipboardEvent" - -instance isForeignClipboardEvent :: IsForeign ClipboardEvent where - read = readClipboardEvent diff --git a/src/DOM/File/Types.purs b/src/DOM/File/Types.purs index bb4c5e6..4ad97a4 100644 --- a/src/DOM/File/Types.purs +++ b/src/DOM/File/Types.purs @@ -2,15 +2,14 @@ module DOM.File.Types where import DOM.Event.Types (EventTarget) import Data.Foreign (Foreign, F, unsafeReadTagged) -import Data.Foreign.Class (class IsForeign) import Unsafe.Coerce (unsafeCoerce) -foreign import data Blob :: * -foreign import data BlobURL :: * -foreign import data File :: * -foreign import data FileList :: * -foreign import data FileReader :: * -foreign import data FileReaderSync :: * +foreign import data Blob :: Type +foreign import data BlobURL :: Type +foreign import data File :: Type +foreign import data FileList :: Type +foreign import data FileReader :: Type +foreign import data FileReaderSync :: Type fileToBlob :: File -> Blob fileToBlob = unsafeCoerce @@ -20,6 +19,3 @@ fileReaderToEventTarget = unsafeCoerce readFileList :: Foreign -> F FileList readFileList = unsafeReadTagged "FileList" - -instance isForeignFileList :: IsForeign FileList where - read = readFileList diff --git a/src/DOM/HTML/Event/DataTransfer.purs b/src/DOM/HTML/Event/DataTransfer.purs index 37231aa..3edf4d3 100644 --- a/src/DOM/HTML/Event/DataTransfer.purs +++ b/src/DOM/HTML/Event/DataTransfer.purs @@ -15,7 +15,7 @@ import Data.Maybe (Maybe) import Data.MediaType (MediaType(..)) import Data.Nullable (Nullable, toMaybe) -foreign import data DataTransfer :: * +foreign import data DataTransfer :: Type -- | Contains a list of all the local files available on the data transfer. -- | Empty if the drag operation doesn't involve dragging files. diff --git a/src/DOM/HTML/Event/Types.purs b/src/DOM/HTML/Event/Types.purs index 51b95f3..f2c6257 100644 --- a/src/DOM/HTML/Event/Types.purs +++ b/src/DOM/HTML/Event/Types.purs @@ -11,11 +11,10 @@ module DOM.HTML.Event.Types ) where import Data.Foreign (Foreign, F, unsafeReadTagged) -import Data.Foreign.Class (class IsForeign) import DOM.Event.Types (Event) import Unsafe.Coerce as U -foreign import data DragEvent :: * +foreign import data DragEvent :: Type dragEventToEvent :: DragEvent -> Event dragEventToEvent = U.unsafeCoerce @@ -23,10 +22,7 @@ dragEventToEvent = U.unsafeCoerce readDragEvent :: Foreign -> F DragEvent readDragEvent = unsafeReadTagged "DragEvent" -instance isForeignDragEvent :: IsForeign DragEvent where - read = readDragEvent - -foreign import data ErrorEvent :: * +foreign import data ErrorEvent :: Type errorEventToEvent :: ErrorEvent -> Event errorEventToEvent = U.unsafeCoerce @@ -34,16 +30,10 @@ errorEventToEvent = U.unsafeCoerce readErrorEvent :: Foreign -> F ErrorEvent readErrorEvent = unsafeReadTagged "ErrorEvent" -instance isForeignErrorEvent :: IsForeign ErrorEvent where - read = readErrorEvent - -foreign import data HashChangeEvent :: * +foreign import data HashChangeEvent :: Type hashChangeEventToEvent :: HashChangeEvent -> Event hashChangeEventToEvent = U.unsafeCoerce readHashChangeEvent :: Foreign -> F HashChangeEvent readHashChangeEvent = unsafeReadTagged "HashChangeEvent" - -instance isForeignHashChangeEvent :: IsForeign HashChangeEvent where - read = readHashChangeEvent diff --git a/src/DOM/HTML/Types.purs b/src/DOM/HTML/Types.purs index d1ab2aa..b7f8d04 100644 --- a/src/DOM/HTML/Types.purs +++ b/src/DOM/HTML/Types.purs @@ -215,39 +215,39 @@ module DOM.HTML.Types ) where import Prelude +import Control.Monad.Eff (kind Effect) import Control.Monad.Except.Trans (except) import Data.Either (Either(..)) import Data.Foreign (Foreign, F, ForeignError(..), unsafeReadTagged) -import Data.Foreign.Class (class IsForeign) import DOM.Event.Types (EventTarget) import DOM.Node.Types (Node, NonDocumentTypeChildNode, ParentNode, Element, NonElementParentNode, Document) import Unsafe.Coerce as U -foreign import data Navigator :: * +foreign import data Navigator :: Type -foreign import data Location :: * +foreign import data Location :: Type -foreign import data Window :: * +foreign import data Window :: Type -foreign import data History :: * +foreign import data History :: Type -foreign import data URL :: * +foreign import data URL :: Type -foreign import data ALERT :: ! +foreign import data ALERT :: Effect -foreign import data HISTORY :: ! +foreign import data HISTORY :: Effect -foreign import data PROMPT :: ! +foreign import data PROMPT :: Effect -foreign import data CONFIRM :: ! +foreign import data CONFIRM :: Effect -foreign import data WINDOW :: ! +foreign import data WINDOW :: Effect windowToEventTarget :: Window -> EventTarget windowToEventTarget = U.unsafeCoerce -foreign import data HTMLDocument :: * +foreign import data HTMLDocument :: Type htmlDocumentToDocument :: HTMLDocument -> Document htmlDocumentToDocument = U.unsafeCoerce @@ -267,12 +267,9 @@ htmlDocumentToEventTarget = U.unsafeCoerce readHTMLDocument :: Foreign -> F HTMLDocument readHTMLDocument = unsafeReadTagged "HTMLDocument" -instance isForeignHTMLDocument :: IsForeign HTMLDocument where - read = readHTMLDocument - -- The generic HTML element -foreign import data HTMLElement :: * +foreign import data HTMLElement :: Type htmlElementToElement :: HTMLElement -> Element htmlElementToElement = U.unsafeCoerce @@ -298,12 +295,9 @@ foreign import _readHTMLElement readHTMLElement :: Foreign -> F HTMLElement readHTMLElement = _readHTMLElement (except <<< Left <<< pure <<< TypeMismatch "HTMLElement") (except <<< Right) -instance isForeignHTMLElement :: IsForeign HTMLElement where - read = readHTMLElement - -- The root element -foreign import data HTMLHtmlElement :: * +foreign import data HTMLHtmlElement :: Type htmlHtmlElementToHTMLElement :: HTMLHtmlElement -> HTMLElement htmlHtmlElementToHTMLElement = U.unsafeCoerce @@ -311,12 +305,9 @@ htmlHtmlElementToHTMLElement = U.unsafeCoerce readHTMLHtmlElement :: Foreign -> F HTMLHtmlElement readHTMLHtmlElement = unsafeReadTagged "HTMLHtmlElement" -instance isForeignHTMLHtmlElement :: IsForeign HTMLHtmlElement where - read = readHTMLHtmlElement - -- Document metadata -foreign import data HTMLHeadElement :: * +foreign import data HTMLHeadElement :: Type htmlHeadElementToHTMLElement :: HTMLHeadElement -> HTMLElement htmlHeadElementToHTMLElement = U.unsafeCoerce @@ -324,10 +315,7 @@ htmlHeadElementToHTMLElement = U.unsafeCoerce readHTMLHeadElement :: Foreign -> F HTMLHeadElement readHTMLHeadElement = unsafeReadTagged "HTMLHeadElement" -instance isForeignHTMLHeadElement :: IsForeign HTMLHeadElement where - read = readHTMLHeadElement - -foreign import data HTMLTitleElement :: * +foreign import data HTMLTitleElement :: Type htmlTitleElementToHTMLElement :: HTMLTitleElement -> HTMLElement htmlTitleElementToHTMLElement = U.unsafeCoerce @@ -335,10 +323,7 @@ htmlTitleElementToHTMLElement = U.unsafeCoerce readHTMLTitleElement :: Foreign -> F HTMLTitleElement readHTMLTitleElement = unsafeReadTagged "HTMLTitleElement" -instance isForeignHTMLTitleElement :: IsForeign HTMLTitleElement where - read = readHTMLTitleElement - -foreign import data HTMLBaseElement :: * +foreign import data HTMLBaseElement :: Type htmlBaseElementToHTMLElement :: HTMLBaseElement -> HTMLElement htmlBaseElementToHTMLElement = U.unsafeCoerce @@ -346,10 +331,7 @@ htmlBaseElementToHTMLElement = U.unsafeCoerce readHTMLBaseElement :: Foreign -> F HTMLBaseElement readHTMLBaseElement = unsafeReadTagged "HTMLBaseElement" -instance isForeignHTMLBaseElement :: IsForeign HTMLBaseElement where - read = readHTMLBaseElement - -foreign import data HTMLLinkElement :: * +foreign import data HTMLLinkElement :: Type htmlLinkElementToHTMLElement :: HTMLLinkElement -> HTMLElement htmlLinkElementToHTMLElement = U.unsafeCoerce @@ -357,10 +339,7 @@ htmlLinkElementToHTMLElement = U.unsafeCoerce readHTMLLinkElement :: Foreign -> F HTMLLinkElement readHTMLLinkElement = unsafeReadTagged "HTMLLinkElement" -instance isForeignHTMLLinkElement :: IsForeign HTMLLinkElement where - read = readHTMLLinkElement - -foreign import data HTMLMetaElement :: * +foreign import data HTMLMetaElement :: Type htmlMetaElementToHTMLElement :: HTMLMetaElement -> HTMLElement htmlMetaElementToHTMLElement = U.unsafeCoerce @@ -368,10 +347,7 @@ htmlMetaElementToHTMLElement = U.unsafeCoerce readHTMLMetaElement :: Foreign -> F HTMLMetaElement readHTMLMetaElement = unsafeReadTagged "HTMLMetaElement" -instance isForeignHTMLMetaElement :: IsForeign HTMLMetaElement where - read = readHTMLMetaElement - -foreign import data HTMLStyleElement :: * +foreign import data HTMLStyleElement :: Type htmlStyleElementToHTMLElement :: HTMLStyleElement -> HTMLElement htmlStyleElementToHTMLElement = U.unsafeCoerce @@ -379,12 +355,9 @@ htmlStyleElementToHTMLElement = U.unsafeCoerce readHTMLStyleElement :: Foreign -> F HTMLStyleElement readHTMLStyleElement = unsafeReadTagged "HTMLStyleElement" -instance isForeignHTMLStyleElement :: IsForeign HTMLStyleElement where - read = readHTMLStyleElement - -- Sections -foreign import data HTMLBodyElement :: * +foreign import data HTMLBodyElement :: Type htmlBodyElementToHTMLElement :: HTMLBodyElement -> HTMLElement htmlBodyElementToHTMLElement = U.unsafeCoerce @@ -392,10 +365,7 @@ htmlBodyElementToHTMLElement = U.unsafeCoerce readHTMLBodyElement :: Foreign -> F HTMLBodyElement readHTMLBodyElement = unsafeReadTagged "HTMLBodyElement" -instance isForeignHTMLBodyElement :: IsForeign HTMLBodyElement where - read = readHTMLBodyElement - -foreign import data HTMLHeadingElement :: * +foreign import data HTMLHeadingElement :: Type htmlHeadingElementToHTMLElement :: HTMLHeadingElement -> HTMLElement htmlHeadingElementToHTMLElement = U.unsafeCoerce @@ -403,12 +373,9 @@ htmlHeadingElementToHTMLElement = U.unsafeCoerce readHTMLHeadingElement :: Foreign -> F HTMLHeadingElement readHTMLHeadingElement = unsafeReadTagged "HTMLHeadingElement" -instance isForeignHTMLHeadingElement :: IsForeign HTMLHeadingElement where - read = readHTMLHeadingElement - -- Grouping content -foreign import data HTMLParagraphElement :: * +foreign import data HTMLParagraphElement :: Type htmlParagraphElementToHTMLElement :: HTMLParagraphElement -> HTMLElement htmlParagraphElementToHTMLElement = U.unsafeCoerce @@ -416,10 +383,7 @@ htmlParagraphElementToHTMLElement = U.unsafeCoerce readHTMLParagraphElement :: Foreign -> F HTMLParagraphElement readHTMLParagraphElement = unsafeReadTagged "HTMLParagraphElement" -instance isForeignHTMLParagraphElement :: IsForeign HTMLParagraphElement where - read = readHTMLParagraphElement - -foreign import data HTMLHRElement :: * +foreign import data HTMLHRElement :: Type htmlHRElementToHTMLElement :: HTMLHRElement -> HTMLElement htmlHRElementToHTMLElement = U.unsafeCoerce @@ -427,10 +391,7 @@ htmlHRElementToHTMLElement = U.unsafeCoerce readHTMLHRElement :: Foreign -> F HTMLHRElement readHTMLHRElement = unsafeReadTagged "HTMLHRElement" -instance isForeignHTMLHRElement :: IsForeign HTMLHRElement where - read = readHTMLHRElement - -foreign import data HTMLPreElement :: * +foreign import data HTMLPreElement :: Type htmlPreElementToHTMLElement :: HTMLPreElement -> HTMLElement htmlPreElementToHTMLElement = U.unsafeCoerce @@ -438,10 +399,7 @@ htmlPreElementToHTMLElement = U.unsafeCoerce readHTMLPreElement :: Foreign -> F HTMLPreElement readHTMLPreElement = unsafeReadTagged "HTMLPreElement" -instance isForeignHTMLPreElement :: IsForeign HTMLPreElement where - read = readHTMLPreElement - -foreign import data HTMLQuoteElement :: * +foreign import data HTMLQuoteElement :: Type htmlQuoteElementToHTMLElement :: HTMLQuoteElement -> HTMLElement htmlQuoteElementToHTMLElement = U.unsafeCoerce @@ -449,10 +407,7 @@ htmlQuoteElementToHTMLElement = U.unsafeCoerce readHTMLQuoteElement :: Foreign -> F HTMLQuoteElement readHTMLQuoteElement = unsafeReadTagged "HTMLQuoteElement" -instance isForeignHTMLQuoteElement :: IsForeign HTMLQuoteElement where - read = readHTMLQuoteElement - -foreign import data HTMLOListElement :: * +foreign import data HTMLOListElement :: Type htmlOListElementToHTMLElement :: HTMLOListElement -> HTMLElement htmlOListElementToHTMLElement = U.unsafeCoerce @@ -460,10 +415,7 @@ htmlOListElementToHTMLElement = U.unsafeCoerce readHTMLOListElement :: Foreign -> F HTMLOListElement readHTMLOListElement = unsafeReadTagged "HTMLOListElement" -instance isForeignHTMLOListElement :: IsForeign HTMLOListElement where - read = readHTMLOListElement - -foreign import data HTMLUListElement :: * +foreign import data HTMLUListElement :: Type htmlUListElementToHTMLElement :: HTMLUListElement -> HTMLElement htmlUListElementToHTMLElement = U.unsafeCoerce @@ -471,10 +423,7 @@ htmlUListElementToHTMLElement = U.unsafeCoerce readHTMLUListElement :: Foreign -> F HTMLUListElement readHTMLUListElement = unsafeReadTagged "HTMLUListElement" -instance isForeignHTMLUListElement :: IsForeign HTMLUListElement where - read = readHTMLUListElement - -foreign import data HTMLLIElement :: * +foreign import data HTMLLIElement :: Type htmlLIElementToHTMLElement :: HTMLLIElement -> HTMLElement htmlLIElementToHTMLElement = U.unsafeCoerce @@ -482,10 +431,7 @@ htmlLIElementToHTMLElement = U.unsafeCoerce readHTMLLIElement :: Foreign -> F HTMLLIElement readHTMLLIElement = unsafeReadTagged "HTMLLIElement" -instance isForeignHTMLLIElement :: IsForeign HTMLLIElement where - read = readHTMLLIElement - -foreign import data HTMLDListElement :: * +foreign import data HTMLDListElement :: Type htmlDListElementToHTMLElement :: HTMLDListElement -> HTMLElement htmlDListElementToHTMLElement = U.unsafeCoerce @@ -493,10 +439,7 @@ htmlDListElementToHTMLElement = U.unsafeCoerce readHTMLDListElement :: Foreign -> F HTMLDListElement readHTMLDListElement = unsafeReadTagged "HTMLDListElement" -instance isForeignHTMLDListElement :: IsForeign HTMLDListElement where - read = readHTMLDListElement - -foreign import data HTMLDivElement :: * +foreign import data HTMLDivElement :: Type htmlDivElementToHTMLElement :: HTMLDivElement -> HTMLElement htmlDivElementToHTMLElement = U.unsafeCoerce @@ -504,12 +447,9 @@ htmlDivElementToHTMLElement = U.unsafeCoerce readHTMLDivElement :: Foreign -> F HTMLDivElement readHTMLDivElement = unsafeReadTagged "HTMLDivElement" -instance isForeignHTMLDivElement :: IsForeign HTMLDivElement where - read = readHTMLDivElement - -- Text -foreign import data HTMLAnchorElement :: * +foreign import data HTMLAnchorElement :: Type htmlAnchorElementToHTMLElement :: HTMLAnchorElement -> HTMLElement htmlAnchorElementToHTMLElement = U.unsafeCoerce @@ -517,10 +457,7 @@ htmlAnchorElementToHTMLElement = U.unsafeCoerce readHTMLAnchorElement :: Foreign -> F HTMLAnchorElement readHTMLAnchorElement = unsafeReadTagged "HTMLAnchorElement" -instance isForeignHTMLAnchorElement :: IsForeign HTMLAnchorElement where - read = readHTMLAnchorElement - -foreign import data HTMLDataElement :: * +foreign import data HTMLDataElement :: Type htmlDataElementToHTMLElement :: HTMLDataElement -> HTMLElement htmlDataElementToHTMLElement = U.unsafeCoerce @@ -528,10 +465,7 @@ htmlDataElementToHTMLElement = U.unsafeCoerce readHTMLDataElement :: Foreign -> F HTMLDataElement readHTMLDataElement = unsafeReadTagged "HTMLDataElement" -instance isForeignHTMLDataElement :: IsForeign HTMLDataElement where - read = readHTMLDataElement - -foreign import data HTMLTimeElement :: * +foreign import data HTMLTimeElement :: Type htmlTimeElementToHTMLElement :: HTMLTimeElement -> HTMLElement htmlTimeElementToHTMLElement = U.unsafeCoerce @@ -539,10 +473,7 @@ htmlTimeElementToHTMLElement = U.unsafeCoerce readHTMLTimeElement :: Foreign -> F HTMLTimeElement readHTMLTimeElement = unsafeReadTagged "HTMLTimeElement" -instance isForeignHTMLTimeElement :: IsForeign HTMLTimeElement where - read = readHTMLTimeElement - -foreign import data HTMLSpanElement :: * +foreign import data HTMLSpanElement :: Type htmlSpanElementToHTMLElement :: HTMLSpanElement -> HTMLElement htmlSpanElementToHTMLElement = U.unsafeCoerce @@ -550,10 +481,7 @@ htmlSpanElementToHTMLElement = U.unsafeCoerce readHTMLSpanElement :: Foreign -> F HTMLSpanElement readHTMLSpanElement = unsafeReadTagged "HTMLSpanElement" -instance isForeignHTMLSpanElement :: IsForeign HTMLSpanElement where - read = readHTMLSpanElement - -foreign import data HTMLBRElement :: * +foreign import data HTMLBRElement :: Type htmlBRElementToHTMLElement :: HTMLBRElement -> HTMLElement htmlBRElementToHTMLElement = U.unsafeCoerce @@ -561,10 +489,7 @@ htmlBRElementToHTMLElement = U.unsafeCoerce readHTMLBRElement :: Foreign -> F HTMLBRElement readHTMLBRElement = unsafeReadTagged "HTMLBRElement" -instance isForeignHTMLBRElement :: IsForeign HTMLBRElement where - read = readHTMLBRElement - -foreign import data HTMLModElement :: * +foreign import data HTMLModElement :: Type htmlModElementToHTMLElement :: HTMLModElement -> HTMLElement htmlModElementToHTMLElement = U.unsafeCoerce @@ -572,12 +497,9 @@ htmlModElementToHTMLElement = U.unsafeCoerce readHTMLModElement :: Foreign -> F HTMLModElement readHTMLModElement = unsafeReadTagged "HTMLModElement" -instance isForeignHTMLModElement :: IsForeign HTMLModElement where - read = readHTMLModElement - -- Embedded content -foreign import data HTMLImageElement :: * +foreign import data HTMLImageElement :: Type htmlImageElementToHTMLElement :: HTMLImageElement -> HTMLElement htmlImageElementToHTMLElement = U.unsafeCoerce @@ -585,10 +507,7 @@ htmlImageElementToHTMLElement = U.unsafeCoerce readHTMLImageElement :: Foreign -> F HTMLImageElement readHTMLImageElement = unsafeReadTagged "HTMLImageElement" -instance isForeignHTMLImageElement :: IsForeign HTMLImageElement where - read = readHTMLImageElement - -foreign import data HTMLIFrameElement :: * +foreign import data HTMLIFrameElement :: Type htmlIFrameElementToHTMLElement :: HTMLIFrameElement -> HTMLElement htmlIFrameElementToHTMLElement = U.unsafeCoerce @@ -596,10 +515,7 @@ htmlIFrameElementToHTMLElement = U.unsafeCoerce readHTMLIFrameElement :: Foreign -> F HTMLIFrameElement readHTMLIFrameElement = unsafeReadTagged "HTMLIFrameElement" -instance isForeignHTMLIFrameElement :: IsForeign HTMLIFrameElement where - read = readHTMLIFrameElement - -foreign import data HTMLEmbedElement :: * +foreign import data HTMLEmbedElement :: Type htmlEmbedElementToHTMLElement :: HTMLEmbedElement -> HTMLElement htmlEmbedElementToHTMLElement = U.unsafeCoerce @@ -607,10 +523,7 @@ htmlEmbedElementToHTMLElement = U.unsafeCoerce readHTMLEmbedElement :: Foreign -> F HTMLEmbedElement readHTMLEmbedElement = unsafeReadTagged "HTMLEmbedElement" -instance isForeignHTMLEmbedElement :: IsForeign HTMLEmbedElement where - read = readHTMLEmbedElement - -foreign import data HTMLObjectElement :: * +foreign import data HTMLObjectElement :: Type htmlObjectElementToHTMLElement :: HTMLObjectElement -> HTMLElement htmlObjectElementToHTMLElement = U.unsafeCoerce @@ -618,10 +531,7 @@ htmlObjectElementToHTMLElement = U.unsafeCoerce readHTMLObjectElement :: Foreign -> F HTMLObjectElement readHTMLObjectElement = unsafeReadTagged "HTMLObjectElement" -instance isForeignHTMLObjectElement :: IsForeign HTMLObjectElement where - read = readHTMLObjectElement - -foreign import data HTMLParamElement :: * +foreign import data HTMLParamElement :: Type htmlParamElementToHTMLElement :: HTMLParamElement -> HTMLElement htmlParamElementToHTMLElement = U.unsafeCoerce @@ -629,10 +539,7 @@ htmlParamElementToHTMLElement = U.unsafeCoerce readHTMLParamElement :: Foreign -> F HTMLParamElement readHTMLParamElement = unsafeReadTagged "HTMLParamElement" -instance isForeignHTMLParamElement :: IsForeign HTMLParamElement where - read = readHTMLParamElement - -foreign import data HTMLMediaElement :: * +foreign import data HTMLMediaElement :: Type htmlMediaElementToHTMLElement :: HTMLMediaElement -> HTMLElement htmlMediaElementToHTMLElement = U.unsafeCoerce @@ -640,7 +547,7 @@ htmlMediaElementToHTMLElement = U.unsafeCoerce readHTMLMediaElement :: Foreign -> F HTMLMediaElement readHTMLMediaElement = unsafeReadTagged "HTMLMediaElement" -foreign import data HTMLAudioElement :: * +foreign import data HTMLAudioElement :: Type htmlAudioElementToHTMLMediaElement :: HTMLAudioElement -> HTMLMediaElement htmlAudioElementToHTMLMediaElement = U.unsafeCoerce @@ -648,7 +555,7 @@ htmlAudioElementToHTMLMediaElement = U.unsafeCoerce readHTMLAudioElement :: Foreign -> F HTMLAudioElement readHTMLAudioElement = unsafeReadTagged "HTMLAudioElement" -foreign import data HTMLVideoElement :: * +foreign import data HTMLVideoElement :: Type htmlVideoElementToHTMLMediaElement :: HTMLVideoElement -> HTMLMediaElement htmlVideoElementToHTMLMediaElement = U.unsafeCoerce @@ -656,7 +563,7 @@ htmlVideoElementToHTMLMediaElement = U.unsafeCoerce readHTMLVideoElement :: Foreign -> F HTMLVideoElement readHTMLVideoElement = unsafeReadTagged "HTMLVideoElement" -foreign import data HTMLSourceElement :: * +foreign import data HTMLSourceElement :: Type htmlSourceElementToHTMLElement :: HTMLSourceElement -> HTMLElement htmlSourceElementToHTMLElement = U.unsafeCoerce @@ -664,10 +571,7 @@ htmlSourceElementToHTMLElement = U.unsafeCoerce readHTMLSourceElement :: Foreign -> F HTMLSourceElement readHTMLSourceElement = unsafeReadTagged "HTMLSourceElement" -instance isForeignHTMLSourceElement :: IsForeign HTMLSourceElement where - read = readHTMLSourceElement - -foreign import data HTMLTrackElement :: * +foreign import data HTMLTrackElement :: Type htmlTrackElementToHTMLElement :: HTMLTrackElement -> HTMLElement htmlTrackElementToHTMLElement = U.unsafeCoerce @@ -675,10 +579,7 @@ htmlTrackElementToHTMLElement = U.unsafeCoerce readHTMLTrackElement :: Foreign -> F HTMLTrackElement readHTMLTrackElement = unsafeReadTagged "HTMLTrackElement" -instance isForeignHTMLTrackElement :: IsForeign HTMLTrackElement where - read = readHTMLTrackElement - -foreign import data HTMLMapElement :: * +foreign import data HTMLMapElement :: Type htmlMapElementToHTMLElement :: HTMLMapElement -> HTMLElement htmlMapElementToHTMLElement = U.unsafeCoerce @@ -686,10 +587,7 @@ htmlMapElementToHTMLElement = U.unsafeCoerce readHTMLMapElement :: Foreign -> F HTMLMapElement readHTMLMapElement = unsafeReadTagged "HTMLMapElement" -instance isForeignHTMLMapElement :: IsForeign HTMLMapElement where - read = readHTMLMapElement - -foreign import data HTMLAreaElement :: * +foreign import data HTMLAreaElement :: Type htmlAreaElementToHTMLElement :: HTMLAreaElement -> HTMLElement htmlAreaElementToHTMLElement = U.unsafeCoerce @@ -697,12 +595,9 @@ htmlAreaElementToHTMLElement = U.unsafeCoerce readHTMLAreaElement :: Foreign -> F HTMLAreaElement readHTMLAreaElement = unsafeReadTagged "HTMLAreaElement" -instance isForeignHTMLAreaElement :: IsForeign HTMLAreaElement where - read = readHTMLAreaElement - -- Tabular data -foreign import data HTMLTableElement :: * +foreign import data HTMLTableElement :: Type htmlTableElementToHTMLElement :: HTMLTableElement -> HTMLElement htmlTableElementToHTMLElement = U.unsafeCoerce @@ -710,10 +605,7 @@ htmlTableElementToHTMLElement = U.unsafeCoerce readHTMLTableElement :: Foreign -> F HTMLTableElement readHTMLTableElement = unsafeReadTagged "HTMLTableElement" -instance isForeignHTMLTableElement :: IsForeign HTMLTableElement where - read = readHTMLTableElement - -foreign import data HTMLTableCaptionElement :: * +foreign import data HTMLTableCaptionElement :: Type htmlTableCaptionElementToHTMLElement :: HTMLTableCaptionElement -> HTMLElement htmlTableCaptionElementToHTMLElement = U.unsafeCoerce @@ -721,10 +613,7 @@ htmlTableCaptionElementToHTMLElement = U.unsafeCoerce readHTMLTableCaptionElement :: Foreign -> F HTMLTableCaptionElement readHTMLTableCaptionElement = unsafeReadTagged "HTMLTableCaptionElement" -instance isForeignHTMLTableCaptionElement :: IsForeign HTMLTableCaptionElement where - read = readHTMLTableCaptionElement - -foreign import data HTMLTableColElement :: * +foreign import data HTMLTableColElement :: Type htmlTableColElementToHTMLElement :: HTMLTableColElement -> HTMLElement htmlTableColElementToHTMLElement = U.unsafeCoerce @@ -732,10 +621,7 @@ htmlTableColElementToHTMLElement = U.unsafeCoerce readHTMLTableColElement :: Foreign -> F HTMLTableColElement readHTMLTableColElement = unsafeReadTagged "HTMLTableColElement" -instance isForeignHTMLTableColElement :: IsForeign HTMLTableColElement where - read = readHTMLTableColElement - -foreign import data HTMLTableSectionElement :: * +foreign import data HTMLTableSectionElement :: Type htmlTableSectionElementToHTMLElement :: HTMLTableSectionElement -> HTMLElement htmlTableSectionElementToHTMLElement = U.unsafeCoerce @@ -743,10 +629,7 @@ htmlTableSectionElementToHTMLElement = U.unsafeCoerce readHTMLTableSectionElement :: Foreign -> F HTMLTableSectionElement readHTMLTableSectionElement = unsafeReadTagged "HTMLTableSectionElement" -instance isForeignHTMLTableSectionElement :: IsForeign HTMLTableSectionElement where - read = readHTMLTableSectionElement - -foreign import data HTMLTableRowElement :: * +foreign import data HTMLTableRowElement :: Type htmlTableRowElementToHTMLElement :: HTMLTableRowElement -> HTMLElement htmlTableRowElementToHTMLElement = U.unsafeCoerce @@ -754,10 +637,7 @@ htmlTableRowElementToHTMLElement = U.unsafeCoerce readHTMLTableRowElement :: Foreign -> F HTMLTableRowElement readHTMLTableRowElement = unsafeReadTagged "HTMLTableRowElement" -instance isForeignHTMLTableRowElement :: IsForeign HTMLTableRowElement where - read = readHTMLTableRowElement - -foreign import data HTMLTableCellElement :: * +foreign import data HTMLTableCellElement :: Type htmlTableCellElementToHTMLElement :: HTMLTableCellElement -> HTMLElement htmlTableCellElementToHTMLElement = U.unsafeCoerce @@ -765,7 +645,7 @@ htmlTableCellElementToHTMLElement = U.unsafeCoerce readHTMLTableCellElement :: Foreign -> F HTMLTableCellElement readHTMLTableCellElement = unsafeReadTagged "HTMLTableCellElement" -foreign import data HTMLTableDataCellElement :: * +foreign import data HTMLTableDataCellElement :: Type htmlTableDataCellElementToHTMLTableCellElement :: HTMLTableDataCellElement -> HTMLTableCellElement htmlTableDataCellElementToHTMLTableCellElement = U.unsafeCoerce @@ -773,7 +653,7 @@ htmlTableDataCellElementToHTMLTableCellElement = U.unsafeCoerce readHTMLTableDataCellElement :: Foreign -> F HTMLTableDataCellElement readHTMLTableDataCellElement = unsafeReadTagged "HTMLTableDataCellElement" -foreign import data HTMLTableHeaderCellElement :: * +foreign import data HTMLTableHeaderCellElement :: Type htmlTableHeaderCellElementToHTMLTableCellElement :: HTMLTableHeaderCellElement -> HTMLTableCellElement htmlTableHeaderCellElementToHTMLTableCellElement = U.unsafeCoerce @@ -783,7 +663,7 @@ readHTMLTableHeaderCellElement = unsafeReadTagged "HTMLTableHeaderCellElement" -- Forms -foreign import data HTMLFormElement :: * +foreign import data HTMLFormElement :: Type htmlFormElementToHTMLElement :: HTMLFormElement -> HTMLElement htmlFormElementToHTMLElement = U.unsafeCoerce @@ -791,10 +671,7 @@ htmlFormElementToHTMLElement = U.unsafeCoerce readHTMLFormElement :: Foreign -> F HTMLFormElement readHTMLFormElement = unsafeReadTagged "HTMLFormElement" -instance isForeignHTMLFormElement :: IsForeign HTMLFormElement where - read = readHTMLFormElement - -foreign import data HTMLLabelElement :: * +foreign import data HTMLLabelElement :: Type htmlLabelElementToHTMLElement :: HTMLLabelElement -> HTMLElement htmlLabelElementToHTMLElement = U.unsafeCoerce @@ -802,10 +679,7 @@ htmlLabelElementToHTMLElement = U.unsafeCoerce readHTMLLabelElement :: Foreign -> F HTMLLabelElement readHTMLLabelElement = unsafeReadTagged "HTMLLabelElement" -instance isForeignHTMLLabelElement :: IsForeign HTMLLabelElement where - read = readHTMLLabelElement - -foreign import data HTMLInputElement :: * +foreign import data HTMLInputElement :: Type htmlInputElementToHTMLElement :: HTMLInputElement -> HTMLElement htmlInputElementToHTMLElement = U.unsafeCoerce @@ -813,10 +687,7 @@ htmlInputElementToHTMLElement = U.unsafeCoerce readHTMLInputElement :: Foreign -> F HTMLInputElement readHTMLInputElement = unsafeReadTagged "HTMLInputElement" -instance isForeignHTMLInputElement :: IsForeign HTMLInputElement where - read = readHTMLInputElement - -foreign import data HTMLButtonElement :: * +foreign import data HTMLButtonElement :: Type htmlButtonElementToHTMLElement :: HTMLButtonElement -> HTMLElement htmlButtonElementToHTMLElement = U.unsafeCoerce @@ -824,10 +695,7 @@ htmlButtonElementToHTMLElement = U.unsafeCoerce readHTMLButtonElement :: Foreign -> F HTMLButtonElement readHTMLButtonElement = unsafeReadTagged "HTMLButtonElement" -instance isForeignHTMLButtonElement :: IsForeign HTMLButtonElement where - read = readHTMLButtonElement - -foreign import data HTMLSelectElement :: * +foreign import data HTMLSelectElement :: Type htmlSelectElementToHTMLElement :: HTMLSelectElement -> HTMLElement htmlSelectElementToHTMLElement = U.unsafeCoerce @@ -835,10 +703,7 @@ htmlSelectElementToHTMLElement = U.unsafeCoerce readHTMLSelectElement :: Foreign -> F HTMLSelectElement readHTMLSelectElement = unsafeReadTagged "HTMLSelectElement" -instance isForeignHTMLSelectElement :: IsForeign HTMLSelectElement where - read = readHTMLSelectElement - -foreign import data HTMLDataListElement :: * +foreign import data HTMLDataListElement :: Type htmlDataListElementToHTMLElement :: HTMLDataListElement -> HTMLElement htmlDataListElementToHTMLElement = U.unsafeCoerce @@ -846,10 +711,7 @@ htmlDataListElementToHTMLElement = U.unsafeCoerce readHTMLDataListElement :: Foreign -> F HTMLDataListElement readHTMLDataListElement = unsafeReadTagged "HTMLDataListElement" -instance isForeignHTMLDataListElement :: IsForeign HTMLDataListElement where - read = readHTMLDataListElement - -foreign import data HTMLOptGroupElement :: * +foreign import data HTMLOptGroupElement :: Type htmlOptGroupElementToHTMLElement :: HTMLOptGroupElement -> HTMLElement htmlOptGroupElementToHTMLElement = U.unsafeCoerce @@ -857,10 +719,7 @@ htmlOptGroupElementToHTMLElement = U.unsafeCoerce readHTMLOptGroupElement :: Foreign -> F HTMLOptGroupElement readHTMLOptGroupElement = unsafeReadTagged "HTMLOptGroupElement" -instance isForeignHTMLOptGroupElement :: IsForeign HTMLOptGroupElement where - read = readHTMLOptGroupElement - -foreign import data HTMLOptionElement :: * +foreign import data HTMLOptionElement :: Type htmlOptionElementToHTMLElement :: HTMLOptionElement -> HTMLElement htmlOptionElementToHTMLElement = U.unsafeCoerce @@ -868,10 +727,7 @@ htmlOptionElementToHTMLElement = U.unsafeCoerce readHTMLOptionElement :: Foreign -> F HTMLOptionElement readHTMLOptionElement = unsafeReadTagged "HTMLOptionElement" -instance isForeignHTMLOptionElement :: IsForeign HTMLOptionElement where - read = readHTMLOptionElement - -foreign import data HTMLTextAreaElement :: * +foreign import data HTMLTextAreaElement :: Type htmlTextAreaElementToHTMLElement :: HTMLTextAreaElement -> HTMLElement htmlTextAreaElementToHTMLElement = U.unsafeCoerce @@ -879,10 +735,7 @@ htmlTextAreaElementToHTMLElement = U.unsafeCoerce readHTMLTextAreaElement :: Foreign -> F HTMLTextAreaElement readHTMLTextAreaElement = unsafeReadTagged "HTMLTextAreaElement" -instance isForeignHTMLTextAreaElement :: IsForeign HTMLTextAreaElement where - read = readHTMLTextAreaElement - -foreign import data HTMLKeygenElement :: * +foreign import data HTMLKeygenElement :: Type htmlKeygenElementToHTMLElement :: HTMLKeygenElement -> HTMLElement htmlKeygenElementToHTMLElement = U.unsafeCoerce @@ -890,10 +743,7 @@ htmlKeygenElementToHTMLElement = U.unsafeCoerce readHTMLKeygenElement :: Foreign -> F HTMLKeygenElement readHTMLKeygenElement = unsafeReadTagged "HTMLKeygenElement" -instance isForeignHTMLKeygenElement :: IsForeign HTMLKeygenElement where - read = readHTMLKeygenElement - -foreign import data HTMLOutputElement :: * +foreign import data HTMLOutputElement :: Type htmlOutputElementToHTMLElement :: HTMLOutputElement -> HTMLElement htmlOutputElementToHTMLElement = U.unsafeCoerce @@ -901,10 +751,7 @@ htmlOutputElementToHTMLElement = U.unsafeCoerce readHTMLOutputElement :: Foreign -> F HTMLOutputElement readHTMLOutputElement = unsafeReadTagged "HTMLOutputElement" -instance isForeignHTMLOutputElement :: IsForeign HTMLOutputElement where - read = readHTMLOutputElement - -foreign import data HTMLProgressElement :: * +foreign import data HTMLProgressElement :: Type htmlProgressElementToHTMLElement :: HTMLProgressElement -> HTMLElement htmlProgressElementToHTMLElement = U.unsafeCoerce @@ -912,10 +759,7 @@ htmlProgressElementToHTMLElement = U.unsafeCoerce readHTMLProgressElement :: Foreign -> F HTMLProgressElement readHTMLProgressElement = unsafeReadTagged "HTMLProgressElement" -instance isForeignHTMLProgressElement :: IsForeign HTMLProgressElement where - read = readHTMLProgressElement - -foreign import data HTMLMeterElement :: * +foreign import data HTMLMeterElement :: Type htmlMeterElementToHTMLElement :: HTMLMeterElement -> HTMLElement htmlMeterElementToHTMLElement = U.unsafeCoerce @@ -923,10 +767,7 @@ htmlMeterElementToHTMLElement = U.unsafeCoerce readHTMLMeterElement :: Foreign -> F HTMLMeterElement readHTMLMeterElement = unsafeReadTagged "HTMLMeterElement" -instance isForeignHTMLMeterElement :: IsForeign HTMLMeterElement where - read = readHTMLMeterElement - -foreign import data HTMLFieldSetElement :: * +foreign import data HTMLFieldSetElement :: Type htmlFieldSetElementToHTMLElement :: HTMLFieldSetElement -> HTMLElement htmlFieldSetElementToHTMLElement = U.unsafeCoerce @@ -934,10 +775,7 @@ htmlFieldSetElementToHTMLElement = U.unsafeCoerce readHTMLFieldSetElement :: Foreign -> F HTMLFieldSetElement readHTMLFieldSetElement = unsafeReadTagged "HTMLFieldSetElement" -instance isForeignHTMLFieldSetElement :: IsForeign HTMLFieldSetElement where - read = readHTMLFieldSetElement - -foreign import data HTMLLegendElement :: * +foreign import data HTMLLegendElement :: Type htmlLegendElementToHTMLElement :: HTMLLegendElement -> HTMLElement htmlLegendElementToHTMLElement = U.unsafeCoerce @@ -945,12 +783,9 @@ htmlLegendElementToHTMLElement = U.unsafeCoerce readHTMLLegendElement :: Foreign -> F HTMLLegendElement readHTMLLegendElement = unsafeReadTagged "HTMLLegendElement" -instance isForeignHTMLLegendElement :: IsForeign HTMLLegendElement where - read = readHTMLLegendElement - -- Scripting -foreign import data HTMLScriptElement :: * +foreign import data HTMLScriptElement :: Type htmlScriptElementToHTMLElement :: HTMLScriptElement -> HTMLElement htmlScriptElementToHTMLElement = U.unsafeCoerce @@ -958,10 +793,7 @@ htmlScriptElementToHTMLElement = U.unsafeCoerce readHTMLScriptElement :: Foreign -> F HTMLScriptElement readHTMLScriptElement = unsafeReadTagged "HTMLScriptElement" -instance isForeignHTMLScriptElement :: IsForeign HTMLScriptElement where - read = readHTMLScriptElement - -foreign import data HTMLTemplateElement :: * +foreign import data HTMLTemplateElement :: Type htmlTemplateElementToHTMLElement :: HTMLTemplateElement -> HTMLElement htmlTemplateElementToHTMLElement = U.unsafeCoerce @@ -969,10 +801,7 @@ htmlTemplateElementToHTMLElement = U.unsafeCoerce readHTMLTemplateElement :: Foreign -> F HTMLTemplateElement readHTMLTemplateElement = unsafeReadTagged "HTMLTemplateElement" -instance isForeignHTMLTemplateElement :: IsForeign HTMLTemplateElement where - read = readHTMLTemplateElement - -foreign import data HTMLCanvasElement :: * +foreign import data HTMLCanvasElement :: Type htmlCanvasElementToHTMLElement :: HTMLCanvasElement -> HTMLElement htmlCanvasElementToHTMLElement = U.unsafeCoerce @@ -980,7 +809,4 @@ htmlCanvasElementToHTMLElement = U.unsafeCoerce readHTMLCanvasElement :: Foreign -> F HTMLCanvasElement readHTMLCanvasElement = unsafeReadTagged "HTMLCanvasElement" -instance isForeignHTMLCanvasElement :: IsForeign HTMLCanvasElement where - read = readHTMLCanvasElement - -foreign import data ValidityState :: * +foreign import data ValidityState :: Type diff --git a/src/DOM/Node/Types.purs b/src/DOM/Node/Types.purs index 841e828..58dbc52 100644 --- a/src/DOM/Node/Types.purs +++ b/src/DOM/Node/Types.purs @@ -11,20 +11,20 @@ import DOM.Event.Types (EventTarget) import Unsafe.Coerce (unsafeCoerce) import DOM.Util.FFI (unsafeReadProtoTagged) -foreign import data Node :: * +foreign import data Node :: Type readNode :: Foreign -> F Node readNode = unsafeReadProtoTagged "Node" -foreign import data NonElementParentNode :: * -foreign import data ParentNode :: * -foreign import data NonDocumentTypeChildNode :: * -foreign import data ChildNode :: * -foreign import data NodeList :: * -foreign import data HTMLCollection :: * -foreign import data DOMTokenList :: * +foreign import data NonElementParentNode :: Type +foreign import data ParentNode :: Type +foreign import data NonDocumentTypeChildNode :: Type +foreign import data ChildNode :: Type +foreign import data NodeList :: Type +foreign import data HTMLCollection :: Type +foreign import data DOMTokenList :: Type -foreign import data Document :: * +foreign import data Document :: Type readDocument :: Foreign -> F Document readDocument = unsafeReadProtoTagged "Document" @@ -41,7 +41,7 @@ documentToNode = unsafeCoerce documentToEventTarget :: Document -> EventTarget documentToEventTarget = unsafeCoerce -foreign import data Element :: * +foreign import data Element :: Type newtype ElementId = ElementId String @@ -64,28 +64,28 @@ elementToNode = unsafeCoerce elementToEventTarget :: Element -> EventTarget elementToEventTarget = unsafeCoerce -foreign import data CharacterData :: * +foreign import data CharacterData :: Type characterDataToNonDocumentTypeChildNode :: CharacterData -> NonDocumentTypeChildNode characterDataToNonDocumentTypeChildNode = unsafeCoerce -foreign import data Text :: * +foreign import data Text :: Type textToNode :: Text -> Node textToNode = unsafeCoerce -foreign import data Comment :: * +foreign import data Comment :: Type commentToNode :: Comment -> Node commentToNode = unsafeCoerce -foreign import data ProcessingInstruction :: * +foreign import data ProcessingInstruction :: Type processingInstructionToNode :: ProcessingInstruction -> Node processingInstructionToNode = unsafeCoerce -foreign import data DocumentFragment :: * +foreign import data DocumentFragment :: Type documentFragmentToNonElementParentNode :: DocumentFragment -> NonElementParentNode @@ -97,7 +97,7 @@ documentFragmentToParentNode = unsafeCoerce documentFragmentToNode :: DocumentFragment -> Node documentFragmentToNode = unsafeCoerce -foreign import data DocumentType :: * +foreign import data DocumentType :: Type documentTypeToNode :: DocumentType -> Node documentTypeToNode = unsafeCoerce diff --git a/src/DOM/Websocket/Event/Types.purs b/src/DOM/Websocket/Event/Types.purs index 58cbfbc..0a3f920 100644 --- a/src/DOM/Websocket/Event/Types.purs +++ b/src/DOM/Websocket/Event/Types.purs @@ -1,11 +1,10 @@ module DOM.Websocket.Event.Types where import Data.Foreign (Foreign, F, unsafeReadTagged) -import Data.Foreign.Class (class IsForeign) import DOM.Event.Types (Event) import Unsafe.Coerce as U -foreign import data CloseEvent :: * +foreign import data CloseEvent :: Type closeEventToEvent :: CloseEvent -> Event closeEventToEvent = U.unsafeCoerce @@ -13,16 +12,10 @@ closeEventToEvent = U.unsafeCoerce readCloseEvent :: Foreign -> F CloseEvent readCloseEvent = unsafeReadTagged "CloseEvent" -instance isForeignCloseEvent :: IsForeign CloseEvent where - read = readCloseEvent - -foreign import data MessageEvent :: * +foreign import data MessageEvent :: Type messageEventToEvent :: MessageEvent -> Event messageEventToEvent = U.unsafeCoerce readMessageEvent :: Foreign -> F MessageEvent readMessageEvent = unsafeReadTagged "MessageEvent" - -instance isForeignMessageEvent :: IsForeign MessageEvent where - read = readMessageEvent diff --git a/src/DOM/XHR/Types.purs b/src/DOM/XHR/Types.purs index 05f8194..178442a 100644 --- a/src/DOM/XHR/Types.purs +++ b/src/DOM/XHR/Types.purs @@ -1,6 +1,6 @@ module DOM.XHR.Types where -foreign import data XMLHttpRequestEventTarget :: * -foreign import data XMLHttpRequestUpload :: * -foreign import data XMLHttpRequest :: * -foreign import data FormData :: * +foreign import data XMLHttpRequestEventTarget :: Type +foreign import data XMLHttpRequestUpload :: Type +foreign import data XMLHttpRequest :: Type +foreign import data FormData :: Type