Idris2Doc
: Network.URL.HTTP.Parser
Index
Default
Alternative
Black & White
Network.URL.HTTP.Parser
(
source
)
Definitions
parse
:
String
->
Maybe
HTTPURL
Visibility
:
public export
stringify
:
HTTPURL
->
String
Visibility
:
public export