Idris2Doc : Web.Raw.Url

Web.Raw.Url

(source)

Definitions

new' : String -> Optional String -> JSIO URL
Totality: total
Visibility: export
new : String -> JSIO URL
Totality: total
Visibility: export
createObjectURL : HSum [Blob, MediaSource] -> JSIO String
Totality: total
Visibility: export
createObjectURL1 : MediaSource -> JSIO String
Totality: total
Visibility: export
revokeObjectURL : String -> JSIO ()
Totality: total
Visibility: export
hash : URL -> Attribute True id String
Totality: total
Visibility: export
host : URL -> Attribute True id String
Totality: total
Visibility: export
hostname : URL -> Attribute True id String
Totality: total
Visibility: export
href : URL -> Attribute True id String
Totality: total
Visibility: export
origin : URL -> JSIO String
Totality: total
Visibility: export
password : URL -> Attribute True id String
Totality: total
Visibility: export
pathname : URL -> Attribute True id String
Totality: total
Visibility: export
port : URL -> Attribute True id String
Totality: total
Visibility: export
protocol : URL -> Attribute True id String
Totality: total
Visibility: export
search : URL -> Attribute True id String
Totality: total
Visibility: export
searchParams : URL -> JSIO URLSearchParams
Totality: total
Visibility: export
username : URL -> Attribute True id String
Totality: total
Visibility: export
toJSON : URL -> JSIO String
Totality: total
Visibility: export
new' : Optional (HSum [Array (Array String), Record String String, String]) -> JSIO URLSearchParams
Totality: total
Visibility: export
new : JSIO URLSearchParams
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 (Array String)
Totality: total
Visibility: export
get : URLSearchParams -> String -> JSIO (Maybe String)
Totality: total
Visibility: export
has : URLSearchParams -> String -> JSIO Bool
Totality: total
Visibility: export
set : URLSearchParams -> String -> String -> JSIO ()
Totality: total
Visibility: export
sort : URLSearchParams -> JSIO ()
Totality: total
Visibility: export
toString : URLSearchParams -> JSIO String
Totality: total
Visibility: export