Module `Hyper`Source

Quick use

Sourceval get : ?headers:(string * string) list -> string -> string

Sourceval post : ?headers:(string * string) list -> string -> string -> string

Types

Sourcetype request = client message

Sourceand response = server message

Sourceand handler = request -> response promise

Sourceand middleware = handler -> handler

Helpers

Sourceand 'a message = 'a Dream_pure.Message.message

Sourceand client = Dream_pure.Message.client

Sourceand server = Dream_pure.Message.server

Sourceand 'a promise = 'a Lwt.t

Sourceexception Response of response

Methods

Sourcetype method_ = [

| `GET
| `POST
| `PUT
| `DELETE
| `HEAD
| `CONNECT
| `OPTIONS
| `TRACE
| `PATCH
| `Method of string

]

Sourceval method_to_string : [< method_ ] -> string

Sourceval string_to_method : string -> method_

Sourceval methods_equal : [< method_ ] -> [< method_ ] -> bool

Sourceval normalize_method : [< method_ ] -> method_

Status codes

Sourcetype informational = [

| `Continue
| `Switching_Protocols

]

Sourcetype successful = [

| `OK
| `Created
| `Accepted
| `Non_Authoritative_Information
| `No_Content
| `Reset_Content
| `Partial_Content

]

Sourcetype redirection = [

| `Multiple_Choices
| `Moved_Permanently
| `Found
| `See_Other
| `Not_Modified
| `Temporary_Redirect
| `Permanent_Redirect

]

Sourcetype client_error = [

| `Bad_Request
| `Unauthorized
| `Payment_Required
| `Forbidden
| `Not_Found
| `Method_Not_Allowed
| `Not_Acceptable
| `Proxy_Authentication_Required
| `Request_Timeout
| `Conflict
| `Gone
| `Length_Required
| `Precondition_Failed
| `Payload_Too_Large
| `URI_Too_Long
| `Unsupported_Media_Type
| `Range_Not_Satisfiable
| `Expectation_Failed
| `Misdirected_Request
| `Too_Early
| `Upgrade_Required
| `Precondition_Required
| `Too_Many_Requests
| `Request_Header_Fields_Too_Large
| `Unavailable_For_Legal_Reasons

]

Sourcetype server_error = [

| `Internal_Server_Error
| `Not_Implemented
| `Bad_Gateway
| `Service_Unavailable
| `Gateway_Timeout
| `HTTP_Version_Not_Supported

]

Sourcetype standard_status = [

| informational
| successful
| redirection
| client_error
| server_error

]

Sourcetype status = [

| standard_status
| `Status of int

]

Sourceval status_to_string : [< status ] -> string

Sourceval status_to_reason : [< status ] -> string option

Sourceval status_to_int : [< status ] -> int

Sourceval int_to_status : int -> status

Sourceval is_informational : [< status ] -> bool

Sourceval is_successful : [< status ] -> bool

Sourceval is_redirection : [< status ] -> bool

Sourceval is_client_error : [< status ] -> bool

Sourceval is_server_error : [< status ] -> bool

Sourceval status_codes_equal : [< status ] -> [< status ] -> bool

Sourceval normalize_status : [< status ] -> status

Requests

Source

val request : 
  ?method_:[< method_ ] ->
  ?headers:(string * string) list ->
  ?body:string ->
  string ->
  request

Sourceval run : ?redirect_limit:int -> ?server:handler -> request -> response promise

Responses

Sourceval status : response -> status

Sourceval body : 'a message -> string promise

Headers

Sourceval header : 'a message -> string -> string option

Sourceval headers : 'a message -> string -> string list

Sourceval all_headers : 'a message -> (string * string) list

Sourceval has_header : 'a message -> string -> bool

Sourceval add_header : 'a message -> string -> string -> unit

Sourceval drop_header : 'a message -> string -> unit

Sourceval set_header : 'a message -> string -> string -> unit

Streams

Sourcetype stream = Dream_pure.Stream.stream

Source

val stream : 
  ?method_:[< method_ ] ->
  ?headers:(string * string) list ->
  ?close:bool ->
  string ->
  (stream -> unit promise) ->
  request

Sourceval body_stream : response -> stream

Sourceval read : stream -> string option promise

Sourceval write : stream -> string -> unit promise

Sourceval flush : stream -> unit promise

Sourceval close : stream -> unit promise

WebSockets

Sourcetype websocket

Source

val websocket : 
  ?headers:(string * string) list ->
  ?redirect_limit:int ->
  ?server:handler ->
  string ->
  (websocket, response) result promise

Sourcetype text_or_binary = [

| `Text
| `Binary

]

Sourcetype end_of_message = [

| `End_of_message
| `Continues

]

Source

val send : 
  ?text_or_binary:[< text_or_binary ] ->
  ?end_of_message:[< end_of_message ] ->
  websocket ->
  string ->
  unit promise

Sourceval receive : websocket -> string option promise

Source

val receive_fragment : 
  websocket ->
  (string * text_or_binary * end_of_message) option promise

Sourceval close_websocket : ?code:int -> websocket -> unit promise

Web formats

Sourceval to_form_urlencoded : (string * string) list -> string

package hyper

Module HyperSource

Quick use

Types

Helpers

Methods

Status codes

Requests

Responses

Headers

Streams

WebSockets

Web formats

Module `Hyper`Source