Idris2Doc : Network.URL.HTTP

Network.URL.HTTP

(source)
HTTP URL 处理模块
提供 HTTP URL 相关的操作功能

Reexports

importpublic Network.URL.HTTP.Data

Definitions

insertParam : QueryParam->HTTPURL->HTTPURL
  向 HTTP URL 中插入或更新查询参数
@p 要插入的查询参数(键值对)
@url 目标 URL
@returns 更新后的 URL

Visibility: public export