0 | module Web.Internal.UrlPrim
  1 |
  2 | import JS
  3 | import Web.Internal.Types
  4 |
  5 | %default total
  6 |
  7 |
  8 | --------------------------------------------------------------------------------
  9 | --          Interfaces
 10 | --------------------------------------------------------------------------------
 11 |
 12 | namespace URL
 13 |
 14 |   export
 15 |   %foreign "browser:lambda:(a,b)=> new URL(a,b)"
 16 |   prim__new : String -> UndefOr String -> PrimIO URL
 17 |
 18 |
 19 |   export
 20 |   %foreign "browser:lambda:(a)=>URL.createObjectURL(a)"
 21 |   prim__createObjectURL : Union2 Blob MediaSource -> PrimIO String
 22 |
 23 |
 24 |   export
 25 |   %foreign "browser:lambda:(a)=>URL.createObjectURL(a)"
 26 |   prim__createObjectURL1 : MediaSource -> PrimIO String
 27 |
 28 |
 29 |   export
 30 |   %foreign "browser:lambda:(a)=>URL.revokeObjectURL(a)"
 31 |   prim__revokeObjectURL : String -> PrimIO ()
 32 |
 33 |
 34 |   export
 35 |   %foreign "browser:lambda:x=>x.hash"
 36 |   prim__hash : URL -> PrimIO String
 37 |
 38 |
 39 |
 40 |   export
 41 |   %foreign "browser:lambda:(x,v)=>{x.hash = v}"
 42 |   prim__setHash : URL -> String -> PrimIO ()
 43 |
 44 |
 45 |
 46 |   export
 47 |   %foreign "browser:lambda:x=>x.host"
 48 |   prim__host : URL -> PrimIO String
 49 |
 50 |
 51 |
 52 |   export
 53 |   %foreign "browser:lambda:(x,v)=>{x.host = v}"
 54 |   prim__setHost : URL -> String -> PrimIO ()
 55 |
 56 |
 57 |
 58 |   export
 59 |   %foreign "browser:lambda:x=>x.hostname"
 60 |   prim__hostname : URL -> PrimIO String
 61 |
 62 |
 63 |
 64 |   export
 65 |   %foreign "browser:lambda:(x,v)=>{x.hostname = v}"
 66 |   prim__setHostname : URL -> String -> PrimIO ()
 67 |
 68 |
 69 |
 70 |   export
 71 |   %foreign "browser:lambda:x=>x.href"
 72 |   prim__href : URL -> PrimIO String
 73 |
 74 |
 75 |
 76 |   export
 77 |   %foreign "browser:lambda:(x,v)=>{x.href = v}"
 78 |   prim__setHref : URL -> String -> PrimIO ()
 79 |
 80 |
 81 |
 82 |   export
 83 |   %foreign "browser:lambda:x=>x.origin"
 84 |   prim__origin : URL -> PrimIO String
 85 |
 86 |
 87 |   export
 88 |   %foreign "browser:lambda:x=>x.password"
 89 |   prim__password : URL -> PrimIO String
 90 |
 91 |
 92 |
 93 |   export
 94 |   %foreign "browser:lambda:(x,v)=>{x.password = v}"
 95 |   prim__setPassword : URL -> String -> PrimIO ()
 96 |
 97 |
 98 |
 99 |   export
100 |   %foreign "browser:lambda:x=>x.pathname"
101 |   prim__pathname : URL -> PrimIO String
102 |
103 |
104 |
105 |   export
106 |   %foreign "browser:lambda:(x,v)=>{x.pathname = v}"
107 |   prim__setPathname : URL -> String -> PrimIO ()
108 |
109 |
110 |
111 |   export
112 |   %foreign "browser:lambda:x=>x.port"
113 |   prim__port : URL -> PrimIO String
114 |
115 |
116 |
117 |   export
118 |   %foreign "browser:lambda:(x,v)=>{x.port = v}"
119 |   prim__setPort : URL -> String -> PrimIO ()
120 |
121 |
122 |
123 |   export
124 |   %foreign "browser:lambda:x=>x.protocol"
125 |   prim__protocol : URL -> PrimIO String
126 |
127 |
128 |
129 |   export
130 |   %foreign "browser:lambda:(x,v)=>{x.protocol = v}"
131 |   prim__setProtocol : URL -> String -> PrimIO ()
132 |
133 |
134 |
135 |   export
136 |   %foreign "browser:lambda:x=>x.search"
137 |   prim__search : URL -> PrimIO String
138 |
139 |
140 |
141 |   export
142 |   %foreign "browser:lambda:(x,v)=>{x.search = v}"
143 |   prim__setSearch : URL -> String -> PrimIO ()
144 |
145 |
146 |
147 |   export
148 |   %foreign "browser:lambda:x=>x.searchParams"
149 |   prim__searchParams : URL -> PrimIO URLSearchParams
150 |
151 |
152 |   export
153 |   %foreign "browser:lambda:x=>x.username"
154 |   prim__username : URL -> PrimIO String
155 |
156 |
157 |
158 |   export
159 |   %foreign "browser:lambda:(x,v)=>{x.username = v}"
160 |   prim__setUsername : URL -> String -> PrimIO ()
161 |
162 |
163 |
164 |   export
165 |   %foreign "browser:lambda:x=>x.toJSON()"
166 |   prim__toJSON : URL -> PrimIO String
167 |
168 |
169 |
170 | namespace URLSearchParams
171 |
172 |   export
173 |   %foreign "browser:lambda:(a)=> new URLSearchParams(a)"
174 |   prim__new :
175 |        UndefOr (Union3 (Array (Array String)) (Record String String) String)
176 |     -> PrimIO URLSearchParams
177 |
178 |
179 |   export
180 |   %foreign "browser:lambda:(x,a,b)=>x.append(a,b)"
181 |   prim__append : URLSearchParams -> String -> String -> PrimIO ()
182 |
183 |
184 |   export
185 |   %foreign "browser:lambda:(x,a)=>x.delete(a)"
186 |   prim__delete : URLSearchParams -> String -> PrimIO ()
187 |
188 |
189 |   export
190 |   %foreign "browser:lambda:(x,a)=>x.getAll(a)"
191 |   prim__getAll : URLSearchParams -> String -> PrimIO (Array String)
192 |
193 |
194 |   export
195 |   %foreign "browser:lambda:(x,a)=>x.get(a)"
196 |   prim__get : URLSearchParams -> String -> PrimIO (Nullable String)
197 |
198 |
199 |   export
200 |   %foreign "browser:lambda:(x,a)=>x.has(a)"
201 |   prim__has : URLSearchParams -> String -> PrimIO Boolean
202 |
203 |
204 |   export
205 |   %foreign "browser:lambda:(x,a,b)=>x.set(a,b)"
206 |   prim__set : URLSearchParams -> String -> String -> PrimIO ()
207 |
208 |
209 |   export
210 |   %foreign "browser:lambda:x=>x.sort()"
211 |   prim__sort : URLSearchParams -> PrimIO ()
212 |
213 |
214 |   export
215 |   %foreign "browser:lambda:x=>x.toString()"
216 |   prim__toString : URLSearchParams -> PrimIO String
217 |