Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Request method is used to indicate the purpose of a HTTP request.
See https://datatracker.ietf.org/doc/html/rfc7231#section-4.3 for more details.
val sexp_of_t : t -> Sexplib0.Sexp.t
val t_of_sexp : Sexplib0.Sexp.t -> t
val __t_of_sexp__ : Sexplib0.Sexp.t -> t
include Ppx_enumerate_lib.Enumerable.S with type t := t
val all : t list
include Ppx_quickcheck_runtime.Quickcheckable.S with type t := t
val quickcheck_generator : t Base_quickcheck.Generator.t
val quickcheck_observer : t Base_quickcheck.Observer.t
val quickcheck_shrinker : t Base_quickcheck.Shrinker.t
val of_string : string -> t option
val to_string : t -> string
val is_safe : t -> bool
is_safe t
returns true if the semantics for a HTTP method are essentially read-only, and the client does not expect any state change on the server as a result of the request.
See https://datatracker.ietf.org/doc/html/rfc7231#section-4.2.1 for more details.
val is_idempotent : t -> bool
is_idempotent t
returns true if multiple requests with a HTTP method are intended to have the same effect on the server as a single such request. This function returns true for PUT, DELETE and all safe methods.
See https://datatracker.ietf.org/doc/html/rfc7231#section-4.2.2 for more details.
val is_cacheable : t -> bool
is_cacheable t
indicates that responses to requests with an HTTP method are allowed to be strored for future reuse. This function returns true for GET, HEAD and POST.
See https://datatracker.ietf.org/doc/html/rfc7231#section-4.2.3 for more details.
include Core.Comparable.S with type t := t
include Base.Comparable.S with type t := t
val comparator : (t, comparator_witness) Base__Comparator.comparator
val validate_lbound : min:t Core.Maybe_bound.t -> t Validate.check
val validate_ubound : max:t Core.Maybe_bound.t -> t Validate.check
val validate_bound :
min:t Core.Maybe_bound.t ->
max:t Core.Maybe_bound.t ->
t Validate.check
module Map :
Core.Map.S
with type Key.t = t
with type Key.comparator_witness = comparator_witness
module Set :
Core.Set.S
with type Elt.t = t
with type Elt.comparator_witness = comparator_witness