midas

net/http

Types

HttpURI 

pub type HttpURI {
  AbsPath(String)
}

Constructors

  • AbsPath(String)

ListenSocket 

pub external type ListenSocket

Socket 

pub external type Socket

Functions

accept 

pub external fn accept(ListenSocket) -> Result(Socket, Nil)

listen 

pub external fn listen(Int) -> Result(ListenSocket, Nil)

read_body 

pub external fn read_body(
  socket,
  content_length,
  timeout,
) -> Result(String, Nil)

read_request_head 

pub fn read_request_head(
  socket: Socket,
  timeout: Int,
) -> Result(tuple(String, HttpURI, List(tuple(String, String))),
  Nil,
)

send 

pub external fn send(Socket, String) -> Result(Nil, Nil)