Idris2Doc : Web.Raw.Url

Web.Raw.Url

(source)

Definitions

new' : String->OptionalString->JSIOURL
Totality: total
Visibility: export
new : String->JSIOURL
Totality: total
Visibility: export
createObjectURL : HSum [Blob, MediaSource] ->JSIOString
Totality: total
Visibility: export
createObjectURL1 : MediaSource->JSIOString
Totality: total
Visibility: export
revokeObjectURL : String->JSIO ()
Totality: total
Visibility: export
hash : URL->AttributeTrueidString
Totality: total
Visibility: export
host : URL->AttributeTrueidString
Totality: total
Visibility: export
hostname : URL->AttributeTrueidString
Totality: total
Visibility: export
href : URL->AttributeTrueidString
Totality: total
Visibility: export
origin : URL->JSIOString
Totality: total
Visibility: export
password : URL->AttributeTrueidString
Totality: total
Visibility: export
pathname : URL->AttributeTrueidString
Totality: total
Visibility: export
port : URL->AttributeTrueidString
Totality: total
Visibility: export
protocol : URL->AttributeTrueidString
Totality: total
Visibility: export
search : URL->AttributeTrueidString
Totality: total
Visibility: export
searchParams : URL->JSIOURLSearchParams
Totality: total
Visibility: export
username : URL->AttributeTrueidString
Totality: total
Visibility: export
toJSON : URL->JSIOString
Totality: total
Visibility: export
new' : Optional (HSum [Array (ArrayString), RecordStringString, String]) ->JSIOURLSearchParams
Totality: total
Visibility: export
new : JSIOURLSearchParams
Totality: total
Visibility: export
append : URLSearchParams->String->String->JSIO ()
Totality: total
Visibility: export
delete : URLSearchParams->String->JSIO ()
Totality: total
Visibility: export
getAll : URLSearchParams->String->JSIO (ArrayString)
Totality: total
Visibility: export
get : URLSearchParams->String->JSIO (MaybeString)
Totality: total
Visibility: export
has : URLSearchParams->String->JSIOBool
Totality: total
Visibility: export
set : URLSearchParams->String->String->JSIO ()
Totality: total
Visibility: export
sort : URLSearchParams->JSIO ()
Totality: total
Visibility: export
toString : URLSearchParams->JSIOString
Totality: total
Visibility: export