0 | module Web.Internal.XhrTypes
  1 |
  2 | import JS
  3 |
  4 | %default total
  5 |
  6 |
  7 | --------------------------------------------------------------------------------
  8 | --          Enums
  9 | --------------------------------------------------------------------------------
 10 |
 11 | namespace XMLHttpRequestResponseType
 12 |
 13 |   public export
 14 |   data XMLHttpRequestResponseType =
 15 |       Empty
 16 |     | Arraybuffer
 17 |     | Blob
 18 |     | Document
 19 |     | Json
 20 |     | Text
 21 |
 22 |   public export
 23 |   Show XMLHttpRequestResponseType where
 24 |     show Empty = ""
 25 |     show Arraybuffer = "arraybuffer"
 26 |     show Blob = "blob"
 27 |     show Document = "document"
 28 |     show Json = "json"
 29 |     show Text = "text"
 30 |
 31 |   public export
 32 |   Eq XMLHttpRequestResponseType where
 33 |     (==) = (==) `on` show
 34 |
 35 |   public export
 36 |   Ord XMLHttpRequestResponseType where
 37 |     compare = compare `on` show
 38 |
 39 |   public export
 40 |   read : String -> Maybe XMLHttpRequestResponseType
 41 |   read "" = Just Empty
 42 |   read "arraybuffer" = Just Arraybuffer
 43 |   read "blob" = Just Blob
 44 |   read "document" = Just Document
 45 |   read "json" = Just Json
 46 |   read "text" = Just Text
 47 |   read _ = Nothing
 48 |
 49 |   export
 50 |   ToFFI XMLHttpRequestResponseType String where
 51 |     toFFI = show
 52 |
 53 |   export
 54 |   FromFFI XMLHttpRequestResponseType String where
 55 |     fromFFI = read
 56 |
 57 |
 58 |
 59 | --------------------------------------------------------------------------------
 60 | --          Interfaces
 61 | --------------------------------------------------------------------------------
 62 |
 63 | export data FormData : Type where [external]
 64 |
 65 | export
 66 | ToFFI FormData FormData where toFFI = id
 67 |
 68 | export
 69 | FromFFI FormData FormData where fromFFI = Just
 70 |
 71 | export
 72 | SafeCast FormData where
 73 |   safeCast = unsafeCastOnPrototypeName "FormData"
 74 |
 75 | export data ProgressEvent : Type where [external]
 76 |
 77 | export
 78 | ToFFI ProgressEvent ProgressEvent where toFFI = id
 79 |
 80 | export
 81 | FromFFI ProgressEvent ProgressEvent where fromFFI = Just
 82 |
 83 | export
 84 | SafeCast ProgressEvent where
 85 |   safeCast = unsafeCastOnPrototypeName "ProgressEvent"
 86 |
 87 | export data XMLHttpRequest : Type where [external]
 88 |
 89 | export
 90 | ToFFI XMLHttpRequest XMLHttpRequest where toFFI = id
 91 |
 92 | export
 93 | FromFFI XMLHttpRequest XMLHttpRequest where fromFFI = Just
 94 |
 95 | export
 96 | SafeCast XMLHttpRequest where
 97 |   safeCast = unsafeCastOnPrototypeName "XMLHttpRequest"
 98 |
 99 | export data XMLHttpRequestEventTarget : Type where [external]
100 |
101 | export
102 | ToFFI XMLHttpRequestEventTarget XMLHttpRequestEventTarget where toFFI = id
103 |
104 | export
105 | FromFFI XMLHttpRequestEventTarget XMLHttpRequestEventTarget where fromFFI = Just
106 |
107 | export
108 | SafeCast XMLHttpRequestEventTarget where
109 |   safeCast = unsafeCastOnPrototypeName "XMLHttpRequestEventTarget"
110 |
111 | export data XMLHttpRequestUpload : Type where [external]
112 |
113 | export
114 | ToFFI XMLHttpRequestUpload XMLHttpRequestUpload where toFFI = id
115 |
116 | export
117 | FromFFI XMLHttpRequestUpload XMLHttpRequestUpload where fromFFI = Just
118 |
119 | export
120 | SafeCast XMLHttpRequestUpload where
121 |   safeCast = unsafeCastOnPrototypeName "XMLHttpRequestUpload"
122 |
123 |
124 | --------------------------------------------------------------------------------
125 | --          Dictionaries
126 | --------------------------------------------------------------------------------
127 |
128 | export data ProgressEventInit : Type where [external]
129 |
130 | export
131 | ToFFI ProgressEventInit ProgressEventInit where toFFI = id
132 |
133 | export
134 | FromFFI ProgressEventInit ProgressEventInit where fromFFI = Just
135 |