use http

Generated from crates/rellum-sema/src/stdlib/http/mod.rlm.

Declarations

pub enum HttpBody =
pub type HttpRequest = {
pub type HttpResponse = {
pub intrinsic fn url_decode(s: String) : String
pub parse(raw: [Int]) : Option[HttpRequest] = {
pub parse_text(raw: String) : Option[HttpRequest] = parse(string_to_bytes(raw))
pub format_bytes(resp: HttpResponse) : [Int] = {
pub format_text(resp: HttpResponse) : String = bytes_to_string(format_bytes(resp))
pub ok(body: String) : HttpResponse = response(200, body, text_headers())
pub ok_json(body: String) : HttpResponse = response(200, body, json_headers())
pub created(body: String) : HttpResponse = response(201, body, text_headers())
pub accepted() : HttpResponse = response(202, "", text_headers())
pub no_content() : HttpResponse = response(204, "", [])
pub unauthorized(msg: String) : HttpResponse = response(401, msg, text_headers())
pub forbidden(msg: String) : HttpResponse = response(403, msg, text_headers())
pub conflict(msg: String) : HttpResponse = response(409, msg, text_headers())
pub unprocessable(msg: String) : HttpResponse = response(422, msg, text_headers())
pub not_found() : HttpResponse = response(404, "not found", text_headers())
pub bad_request(msg: String) : HttpResponse = response(400, msg, text_headers())
pub internal_error(msg: String) : HttpResponse = response(500, msg, text_headers())
pub binary_ok(data: [Int], content_type: String) : HttpResponse = {
pub with_header(resp: HttpResponse, name: String, value: String) : HttpResponse = {
pub method(req: HttpRequest) : String = req.method
pub path(req: HttpRequest) : String = req.path
pub body_text(req: HttpRequest) : String = {
pub body_bytes(req: HttpRequest) : [Int] = {
pub is_binary_body(req: HttpRequest) : Bool = {
pub require_text_body(req: HttpRequest) : Result[String, String] = {
pub require_json_body(req: HttpRequest) : Result[json::JsonValue, String] = {
pub body(req: HttpRequest) : String = body_text(req)
pub header(req: HttpRequest, name: String) : Option[String] = header_value(req.headers, name)
pub path_segments(req: HttpRequest) : [String] = {
pub query_param(req: HttpRequest, name: String) : Option[String] = {
pub is_complete_request(raw: [Int]) : Bool = {