dove

Types

pub type Body {
  JSON(String)
  PlainText(String)
}

Constructors

  • JSON(String)
  • PlainText(String)
pub type Method {
  GET
  PUT
  POST
  HEAD
  PATCH
  TRACE
  DELETE
  CONNECT
  OPTIONS
}

Constructors

  • GET
  • PUT
  • POST
  • HEAD
  • PATCH
  • TRACE
  • DELETE
  • CONNECT
  • OPTIONS
pub type RequestOption(a) {
  Body(Body)
  Headers(List(#(String, String)))
  QueryParams(List(#(String, String)))
  ResponseDecoder(
    fn(dynamic.Dynamic) -> Result(a, List(dynamic.DecodeError)),
  )
}

Constructors

  • Body(Body)
  • Headers(List(#(String, String)))
  • QueryParams(List(#(String, String)))
  • ResponseDecoder(
      fn(dynamic.Dynamic) -> Result(a, List(dynamic.DecodeError)),
    )

Functions

pub fn connect(
  host: String,
  port: Int,
  timeout: Int,
) -> Result(Connection(a), StartError)
pub fn request(
  conn: Connection(a),
  method: Method,
  path: String,
  options: List(RequestOption(a)),
  timeout: Int,
) -> Result(Subject(Result(Response(a), Error)), Error)
Search Document