Idris2Doc : Web.Internal.UrlPrim
Definitions
prim__new : String -> UndefOr String -> PrimIO URLprim__createObjectURL : Union2 Blob MediaSource -> PrimIO Stringprim__createObjectURL1 : MediaSource -> PrimIO Stringprim__revokeObjectURL : String -> PrimIO ()prim__hash : URL -> PrimIO Stringprim__setHash : URL -> String -> PrimIO ()prim__host : URL -> PrimIO Stringprim__setHost : URL -> String -> PrimIO ()prim__hostname : URL -> PrimIO Stringprim__setHostname : URL -> String -> PrimIO ()prim__href : URL -> PrimIO Stringprim__setHref : URL -> String -> PrimIO ()prim__origin : URL -> PrimIO Stringprim__password : URL -> PrimIO Stringprim__setPassword : URL -> String -> PrimIO ()prim__pathname : URL -> PrimIO Stringprim__setPathname : URL -> String -> PrimIO ()prim__port : URL -> PrimIO Stringprim__setPort : URL -> String -> PrimIO ()prim__protocol : URL -> PrimIO Stringprim__setProtocol : URL -> String -> PrimIO ()prim__search : URL -> PrimIO Stringprim__setSearch : URL -> String -> PrimIO ()prim__searchParams : URL -> PrimIO URLSearchParamsprim__username : URL -> PrimIO Stringprim__setUsername : URL -> String -> PrimIO ()prim__toJSON : URL -> PrimIO Stringprim__new : UndefOr (Union3 (Array (Array String)) (Record String String) String) -> PrimIO URLSearchParamsprim__append : URLSearchParams -> String -> String -> PrimIO ()prim__delete : URLSearchParams -> String -> PrimIO ()prim__getAll : URLSearchParams -> String -> PrimIO (Array String)prim__get : URLSearchParams -> String -> PrimIO (Nullable String)prim__has : URLSearchParams -> String -> PrimIO Booleanprim__set : URLSearchParams -> String -> String -> PrimIO ()prim__sort : URLSearchParams -> PrimIO ()prim__toString : URLSearchParams -> PrimIO String