Idris2Doc : Web.Internal.UrlPrim

Web.Internal.UrlPrim

(source)

Definitions

prim__new : String -> UndefOr String -> PrimIO URL
prim__createObjectURL : Union2 Blob MediaSource -> PrimIO String
prim__createObjectURL1 : MediaSource -> PrimIO String
prim__revokeObjectURL : String -> PrimIO ()
prim__hash : URL -> PrimIO String
prim__setHash : URL -> String -> PrimIO ()
prim__host : URL -> PrimIO String
prim__setHost : URL -> String -> PrimIO ()
prim__hostname : URL -> PrimIO String
prim__setHostname : URL -> String -> PrimIO ()
prim__href : URL -> PrimIO String
prim__setHref : URL -> String -> PrimIO ()
prim__origin : URL -> PrimIO String
prim__password : URL -> PrimIO String
prim__setPassword : URL -> String -> PrimIO ()
prim__pathname : URL -> PrimIO String
prim__setPathname : URL -> String -> PrimIO ()
prim__port : URL -> PrimIO String
prim__setPort : URL -> String -> PrimIO ()
prim__protocol : URL -> PrimIO String
prim__setProtocol : URL -> String -> PrimIO ()
prim__setSearch : URL -> String -> PrimIO ()
prim__searchParams : URL -> PrimIO URLSearchParams
prim__username : URL -> PrimIO String
prim__setUsername : URL -> String -> PrimIO ()
prim__toJSON : URL -> PrimIO String
prim__new : UndefOr (Union3 (Array (Array String)) (Record String String) String) -> PrimIO URLSearchParams
prim__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 Boolean
prim__set : URLSearchParams -> String -> String -> PrimIO ()
prim__sort : URLSearchParams -> PrimIO ()
prim__toString : URLSearchParams -> PrimIO String