Idris2Doc : HTTP.API.Client

HTTP.API.Client

(source)
Reexports
import public HTTP.API.Client.Content
import public HTTP.API.Client.Header
import public HTTP.API.Client.Interface
import public HTTP.API.Client.Method
import public HTTP.API.Client.Path
import public HTTP.API.Client.Query
import public HTTP.API.Client.Request
Definitions
data HTTPError : Type
  HTTP Errors

  Totality: total
  Visibility: public export
  Constructors:
  
Timeout : HTTPError
  
NetworkError : HTTPError
  
DecError : Bits16 -> DecodeErr -> HTTPError
  
ReqError : RequestErr -> HTTPError
send1 : Has HTTPError es => Decoder t -> (Result es t -> IO1 ()) -> HTTPRequest -> IO1 (IO1 ())
  Totality: total
  Visibility: export
sendEndpoint : Has HTTPError es => (endpoint : HList ts) -> {auto all : All Receive ts} -> HList (AllRecConstraints endpoint) => HList (AllRecTypes endpoint) -> JS es ()
  Totality: total
  Visibility: export
requestEndpoint : Has HTTPError es => (endpoint : HList ts) -> {auto all : All Receive ts} -> HList (AllRecConstraints endpoint) => HList (AllRecTypes endpoint) -> (0 f : Type) -> (0 t : Type) -> DecodeVia f t => JS es t
  Totality: total
  Visibility: export
requestJSONEndpoint : Has HTTPError es => (endpoint : HList ts) -> {auto all : All Receive ts} -> HList (AllRecConstraints endpoint) => HList (AllRecTypes endpoint) -> (0 t : Type) -> DecodeVia JSON t => JS es t
  Totality: total
  Visibility: export