/
CharacterData.purs
52 lines (34 loc) · 1.63 KB
/
CharacterData.purs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
module Web.DOM.CharacterData where
import Prelude
import Data.Maybe (Maybe)
import Effect (Effect)
import Unsafe.Coerce (unsafeCoerce)
import Web.DOM.ChildNode (ChildNode)
import Web.DOM.Internal.Types (Node)
import Web.DOM.NonDocumentTypeChildNode (NonDocumentTypeChildNode)
import Web.Event.EventTarget (EventTarget)
import Web.Internal.FFI (unsafeReadProtoTagged)
foreign import data CharacterData :: Type
fromNode :: Node -> Maybe CharacterData
fromNode = unsafeReadProtoTagged "CharacterData"
fromChildNode :: ChildNode -> Maybe CharacterData
fromChildNode = unsafeReadProtoTagged "CharacterData"
fromNonDocumentTypeChildNode :: NonDocumentTypeChildNode -> Maybe CharacterData
fromNonDocumentTypeChildNode = unsafeReadProtoTagged "CharacterData"
fromEventTarget :: EventTarget -> Maybe CharacterData
fromEventTarget = unsafeReadProtoTagged "CharacterData"
toNode :: CharacterData -> Node
toNode = unsafeCoerce
toChildNode :: CharacterData -> ChildNode
toChildNode = unsafeCoerce
toNonDocumentTypeChildNode :: CharacterData -> NonDocumentTypeChildNode
toNonDocumentTypeChildNode = unsafeCoerce
toEventTarget :: CharacterData -> EventTarget
toEventTarget = unsafeCoerce
foreign import data_ :: CharacterData -> Effect String
foreign import length :: CharacterData -> Effect Int
foreign import substringData :: Int -> Int -> CharacterData -> Effect String
foreign import appendData :: String -> CharacterData -> Effect Unit
foreign import insertData :: Int -> String -> CharacterData -> Effect Unit
foreign import deleteData :: Int -> Int -> CharacterData -> Effect Unit
foreign import replaceData :: Int -> Int -> String -> CharacterData -> Effect Unit