package webdav

  1. Overview
  2. Docs
type webdav_status = [
  1. | `Accepted
  2. | `Bad_gateway
  3. | `Bad_request
  4. | `Conflict
  5. | `Continue
  6. | `Created
  7. | `Expectation_failed
  8. | `Failed_dependency
  9. | `Forbidden
  10. | `Found
  11. | `Gateway_timeout
  12. | `Gone
  13. | `Http_version_not_supported
  14. | `Insufficient_storage
  15. | `Internal_server_error
  16. | `Length_required
  17. | `Locked
  18. | `Method_not_allowed
  19. | `Moved_permanently
  20. | `Multi_status
  21. | `Multiple_choices
  22. | `No_content
  23. | `Non_authoritative
  24. | `Not_acceptable
  25. | `Not_found
  26. | `Not_implemented
  27. | `Not_modified
  28. | `Ok
  29. | `Partial_content
  30. | `Payment_required
  31. | `Precondition_failed
  32. | `Proxy_auth_required
  33. | `Request_entity_too_large
  34. | `Request_timeout
  35. | `Request_uri_too_long
  36. | `Requested_range_not_satisfiable
  37. | `Reset_content
  38. | `See_other
  39. | `Service_unavailable
  40. | `Switching_protocols
  41. | `Temporary_redirect
  42. | `Unauthorized
  43. | `Unprocessable_entity
  44. | `Unsupported_media_type
  45. | `Use_proxy
]
val int_of_webdav_status : webdav_status -> int
val string_of_webdav_status : webdav_status -> string
val webdav_status_of_int : int -> webdav_status
val webdav_proto : string
type depth = [
  1. | `Infinity
  2. | `One
  3. | `Zero
]
type dav = [
  1. | `Class1
  2. | `Class2
  3. | `Class3
  4. | `Token of string
  5. | `URL of string
]
type if_condition = [
  1. | `Self_target of if_self_or_condition
  2. | `URL_target of if_url_or_condition
]
and if_self_or_condition = [
  1. | `Or of if_and_condition list
]
and if_url_or_condition = [
  1. | `Or of (string * if_and_condition) list
]
and if_and_condition = [
  1. | `And of if_atom list
]
and if_atom = [
  1. | `Etag of Nethttp.etag
  2. | `Not of if_atom
  3. | `State_token of string
]
module Header : sig ... end