package dream-pure

  1. Overview
  2. Docs

Module Dream_pure.MethodSource

Sourcetype method_ = [
  1. | `GET
  2. | `POST
  3. | `PUT
  4. | `DELETE
  5. | `HEAD
  6. | `CONNECT
  7. | `OPTIONS
  8. | `TRACE
  9. | `PATCH
  10. | `Method of string
]
Sourceval method_to_string : [< `CONNECT | `DELETE | `GET | `HEAD | `Method of string | `OPTIONS | `PATCH | `POST | `PUT | `TRACE ] -> string
Sourceval string_to_method : string -> [> `CONNECT | `DELETE | `GET | `HEAD | `Method of string | `OPTIONS | `PATCH | `POST | `PUT | `TRACE ]
Sourceval normalize_method : [< `CONNECT | `DELETE | `GET | `HEAD | `Method of string | `OPTIONS | `PATCH | `POST | `PUT | `TRACE ] -> method_
Sourceval methods_equal : [< `CONNECT | `DELETE | `GET | `HEAD | `Method of string | `OPTIONS | `PATCH | `POST | `PUT | `TRACE ] -> [< `CONNECT | `DELETE | `GET | `HEAD | `Method of string | `OPTIONS | `PATCH | `POST | `PUT | `TRACE ] -> bool