0 | module Web.Raw.Url
  1 |
  2 | import JS
  3 | import Web.Internal.UrlPrim
  4 | import Web.Internal.Types
  5 |
  6 | %default total
  7 |
  8 |
  9 | --------------------------------------------------------------------------------
 10 | --          Interfaces
 11 | --------------------------------------------------------------------------------
 12 |
 13 | namespace URL
 14 |
 15 |   export
 16 |   new' : (url : String) -> (base : Optional String) -> JSIO URL
 17 |   new' a b = primJS $ URL.prim__new a (toFFI b)
 18 |
 19 |   export
 20 |   new : (url : String) -> JSIO URL
 21 |   new a = primJS $ URL.prim__new a undef
 22 |
 23 |
 24 |   export
 25 |   createObjectURL : (obj : HSum [Blob, MediaSource]) -> JSIO String
 26 |   createObjectURL a = primJS $ URL.prim__createObjectURL (toFFI a)
 27 |
 28 |
 29 |   export
 30 |   createObjectURL1 : (mediaSource : MediaSource) -> JSIO String
 31 |   createObjectURL1 a = primJS $ URL.prim__createObjectURL1 a
 32 |
 33 |
 34 |   export
 35 |   revokeObjectURL : (url : String) -> JSIO ()
 36 |   revokeObjectURL a = primJS $ URL.prim__revokeObjectURL a
 37 |
 38 |
 39 |   export
 40 |   hash : URL -> Attribute True Prelude.id String
 41 |   hash v = fromPrim "URL.gethash" prim__hash prim__setHash v
 42 |
 43 |
 44 |   export
 45 |   host : URL -> Attribute True Prelude.id String
 46 |   host v = fromPrim "URL.gethost" prim__host prim__setHost v
 47 |
 48 |
 49 |   export
 50 |   hostname : URL -> Attribute True Prelude.id String
 51 |   hostname v = fromPrim "URL.gethostname" prim__hostname prim__setHostname v
 52 |
 53 |
 54 |   export
 55 |   href : URL -> Attribute True Prelude.id String
 56 |   href v = fromPrim "URL.gethref" prim__href prim__setHref v
 57 |
 58 |
 59 |   export
 60 |   origin : (obj : URL) -> JSIO String
 61 |   origin a = primJS $ URL.prim__origin a
 62 |
 63 |
 64 |   export
 65 |   password : URL -> Attribute True Prelude.id String
 66 |   password v = fromPrim "URL.getpassword" prim__password prim__setPassword v
 67 |
 68 |
 69 |   export
 70 |   pathname : URL -> Attribute True Prelude.id String
 71 |   pathname v = fromPrim "URL.getpathname" prim__pathname prim__setPathname v
 72 |
 73 |
 74 |   export
 75 |   port : URL -> Attribute True Prelude.id String
 76 |   port v = fromPrim "URL.getport" prim__port prim__setPort v
 77 |
 78 |
 79 |   export
 80 |   protocol : URL -> Attribute True Prelude.id String
 81 |   protocol v = fromPrim "URL.getprotocol" prim__protocol prim__setProtocol v
 82 |
 83 |
 84 |   export
 85 |   search : URL -> Attribute True Prelude.id String
 86 |   search v = fromPrim "URL.getsearch" prim__search prim__setSearch v
 87 |
 88 |
 89 |   export
 90 |   searchParams : (obj : URL) -> JSIO URLSearchParams
 91 |   searchParams a = primJS $ URL.prim__searchParams a
 92 |
 93 |
 94 |   export
 95 |   username : URL -> Attribute True Prelude.id String
 96 |   username v = fromPrim "URL.getusername" prim__username prim__setUsername v
 97 |
 98 |
 99 |   export
100 |   toJSON : (obj : URL) -> JSIO String
101 |   toJSON a = primJS $ URL.prim__toJSON a
102 |
103 |
104 |
105 | namespace URLSearchParams
106 |
107 |   export
108 |   new' :
109 |        (init : Optional
110 |                  (HSum [Array (Array String), Record String String, String]))
111 |     -> JSIO URLSearchParams
112 |   new' a = primJS $ URLSearchParams.prim__new (toFFI a)
113 |
114 |   export
115 |   new : JSIO URLSearchParams
116 |   new = primJS $ URLSearchParams.prim__new undef
117 |
118 |
119 |   export
120 |   append :
121 |        (obj : URLSearchParams)
122 |     -> (name : String)
123 |     -> (value : String)
124 |     -> JSIO ()
125 |   append a b c = primJS $ URLSearchParams.prim__append a b c
126 |
127 |
128 |   export
129 |   delete : (obj : URLSearchParams) -> (name : String) -> JSIO ()
130 |   delete a b = primJS $ URLSearchParams.prim__delete a b
131 |
132 |
133 |   export
134 |   getAll : (obj : URLSearchParams) -> (name : String) -> JSIO (Array String)
135 |   getAll a b = primJS $ URLSearchParams.prim__getAll a b
136 |
137 |
138 |   export
139 |   get : (obj : URLSearchParams) -> (name : String) -> JSIO (Maybe String)
140 |   get a b = tryJS "URLSearchParams.get" $ URLSearchParams.prim__get a b
141 |
142 |
143 |   export
144 |   has : (obj : URLSearchParams) -> (name : String) -> JSIO Bool
145 |   has a b = tryJS "URLSearchParams.has" $ URLSearchParams.prim__has a b
146 |
147 |
148 |   export
149 |   set :
150 |        (obj : URLSearchParams)
151 |     -> (name : String)
152 |     -> (value : String)
153 |     -> JSIO ()
154 |   set a b c = primJS $ URLSearchParams.prim__set a b c
155 |
156 |
157 |   export
158 |   sort : (obj : URLSearchParams) -> JSIO ()
159 |   sort a = primJS $ URLSearchParams.prim__sort a
160 |
161 |
162 |   export
163 |   toString : (obj : URLSearchParams) -> JSIO String
164 |   toString a = primJS $ URLSearchParams.prim__toString a
165 |