Node.JS.Std.URI

Definitions

data URIError : Type

Totality: total
Visibility: public export
Constructor: 

MkURIError : String -> URIError

decodeURI : String -> Either URIError String

decodeURIComponent : String -> Either URIError String

encodeURI : String -> Either URIError String

encodeURIComponent : String -> Either URIError String