Idris2Doc : Web.Internal.UrlPrim

Web.Internal.UrlPrim

(source)

Definitions

prim__new : String->UndefOrString->PrimIOURL
prim__createObjectURL : Union2BlobMediaSource->PrimIOString
prim__createObjectURL1 : MediaSource->PrimIOString
prim__revokeObjectURL : String->PrimIO ()
prim__hash : URL->PrimIOString
prim__setHash : URL->String->PrimIO ()
prim__host : URL->PrimIOString
prim__setHost : URL->String->PrimIO ()
prim__hostname : URL->PrimIOString
prim__setHostname : URL->String->PrimIO ()
prim__href : URL->PrimIOString
prim__setHref : URL->String->PrimIO ()
prim__origin : URL->PrimIOString
prim__password : URL->PrimIOString
prim__setPassword : URL->String->PrimIO ()
prim__pathname : URL->PrimIOString
prim__setPathname : URL->String->PrimIO ()
prim__port : URL->PrimIOString
prim__setPort : URL->String->PrimIO ()
prim__protocol : URL->PrimIOString
prim__setProtocol : URL->String->PrimIO ()
prim__setSearch : URL->String->PrimIO ()
prim__searchParams : URL->PrimIOURLSearchParams
prim__username : URL->PrimIOString
prim__setUsername : URL->String->PrimIO ()
prim__toJSON : URL->PrimIOString
prim__new : UndefOr (Union3 (Array (ArrayString)) (RecordStringString) String) ->PrimIOURLSearchParams
prim__append : URLSearchParams->String->String->PrimIO ()
prim__delete : URLSearchParams->String->PrimIO ()
prim__getAll : URLSearchParams->String->PrimIO (ArrayString)
prim__get : URLSearchParams->String->PrimIO (NullableString)
prim__has : URLSearchParams->String->PrimIOBoolean
prim__set : URLSearchParams->String->String->PrimIO ()
prim__sort : URLSearchParams->PrimIO ()
prim__toString : URLSearchParams->PrimIOString