Module `Caldav.Webdav_xml`Source

Sourceval (let*) : ('a, 'b) result -> ('a -> ('c, 'b) result) -> ('c, 'b) result

Sourcemodule M : sig ... end

Sourcetype namespace = string

Sourceval namespace_of_sexp : Sexplib0.Sexp.t -> namespace

Sourceval sexp_of_namespace : namespace -> Sexplib0.Sexp.t

val pp_namespace : 
  Ppx_deriving_runtime.Format.formatter ->
  namespace ->
  Ppx_deriving_runtime.unit

Sourceval show_namespace : namespace -> Ppx_deriving_runtime.string

Sourceval equal_namespace : namespace -> namespace -> Ppx_deriving_runtime.bool

Sourcetype name = string

Sourceval name_of_sexp : Sexplib0.Sexp.t -> name

Sourceval sexp_of_name : name -> Sexplib0.Sexp.t

Source

val pp_name : 
  Ppx_deriving_runtime.Format.formatter ->
  name ->
  Ppx_deriving_runtime.unit

Sourceval show_name : name -> Ppx_deriving_runtime.string

Sourceval equal_name : name -> name -> Ppx_deriving_runtime.bool

Sourcetype fqname = namespace * name

Sourceval fqname_of_sexp : Sexplib0.Sexp.t -> fqname

Sourceval sexp_of_fqname : fqname -> Sexplib0.Sexp.t

Source

val pp_fqname : 
  Ppx_deriving_runtime.Format.formatter ->
  fqname ->
  Ppx_deriving_runtime.unit

Sourceval show_fqname : fqname -> Ppx_deriving_runtime.string

Sourceval equal_fqname : fqname -> fqname -> Ppx_deriving_runtime.bool

Sourcetype attribute = fqname * string

Sourceval attribute_of_sexp : Sexplib0.Sexp.t -> attribute

Sourceval sexp_of_attribute : attribute -> Sexplib0.Sexp.t

Source

val pp_attribute : 
  Ppx_deriving_runtime.Format.formatter ->
  attribute ->
  Ppx_deriving_runtime.unit

Sourceval show_attribute : attribute -> Ppx_deriving_runtime.string

Sourceval equal_attribute : attribute -> attribute -> Ppx_deriving_runtime.bool

Sourcetype tree =

| Pcdata of string
| Node of namespace * name * attribute list * tree list

Sourceval tree_of_sexp : Sexplib0.Sexp.t -> tree

Sourceval sexp_of_tree : tree -> Sexplib0.Sexp.t

Source

val pp_tree : 
  Ppx_deriving_runtime.Format.formatter ->
  tree ->
  Ppx_deriving_runtime.unit

Sourceval show_tree : tree -> Ppx_deriving_runtime.string

Sourceval equal_tree : tree -> tree -> Ppx_deriving_runtime.bool

Sourcetype propfind = [

| `All_prop of string list
| `Propname
| `Props of fqname list

]

Source

val pp_propfind : 
  Ppx_deriving_runtime.Format.formatter ->
  propfind ->
  Ppx_deriving_runtime.unit

Sourceval show_propfind : propfind -> Ppx_deriving_runtime.string

Sourceval equal_propfind : propfind -> propfind -> Ppx_deriving_runtime.bool

Sourcetype propupdate = [

| `Set of attribute list * fqname * tree list
| `Remove of fqname

]

Source

val pp_propupdate : 
  Ppx_deriving_runtime.Format.formatter ->
  propupdate ->
  Ppx_deriving_runtime.unit

Sourceval show_propupdate : propupdate -> Ppx_deriving_runtime.string

Sourceval equal_propupdate : propupdate -> propupdate -> Ppx_deriving_runtime.bool

Sourcetype comp = [

| `Allcomp
| `Comp of component list

]

Sourceand prop = [

| `Allprop
| `Prop of (string * bool) list

]

Sourceand component = string * prop * comp

Source

val pp_comp : 
  Ppx_deriving_runtime.Format.formatter ->
  comp ->
  Ppx_deriving_runtime.unit

Sourceval show_comp : comp -> Ppx_deriving_runtime.string

Source

val pp_prop : 
  Ppx_deriving_runtime.Format.formatter ->
  prop ->
  Ppx_deriving_runtime.unit

Sourceval show_prop : prop -> Ppx_deriving_runtime.string

Source

val pp_component : 
  Ppx_deriving_runtime.Format.formatter ->
  component ->
  Ppx_deriving_runtime.unit

Sourceval show_component : component -> Ppx_deriving_runtime.string

Sourceval equal_comp : comp -> comp -> Ppx_deriving_runtime.bool

Sourceval equal_prop : prop -> prop -> Ppx_deriving_runtime.bool

Sourceval equal_component : component -> component -> Ppx_deriving_runtime.bool

Sourcetype timerange = Icalendar.timestamp_utc * Icalendar.timestamp_utc

Source

val pp_timerange : 
  Ppx_deriving_runtime.Format.formatter ->
  timerange ->
  Ppx_deriving_runtime.unit

Sourceval show_timerange : timerange -> Ppx_deriving_runtime.string

Sourceval equal_timerange : timerange -> timerange -> Ppx_deriving_runtime.bool

Source

type calendar_data =
  component option
  * [ `Expand of timerange | `Limit_recurrence_set of timerange ] option
  * [ `Limit_freebusy_set of timerange ] option

Source

val pp_calendar_data : 
  Ppx_deriving_runtime.Format.formatter ->
  calendar_data ->
  Ppx_deriving_runtime.unit

Sourceval show_calendar_data : calendar_data -> Ppx_deriving_runtime.string

Source

val equal_calendar_data : 
  calendar_data ->
  calendar_data ->
  Ppx_deriving_runtime.bool

Sourcetype report_prop = [

| `All_props
| `Proplist of [ `Calendar_data of calendar_data | `Prop of fqname ] list
| `Propname

]

Source

val pp_report_prop : 
  Ppx_deriving_runtime.Format.formatter ->
  report_prop ->
  Ppx_deriving_runtime.unit

Sourceval show_report_prop : report_prop -> Ppx_deriving_runtime.string

Sourceval equal_report_prop : report_prop -> report_prop -> Ppx_deriving_runtime.bool

Sourcetype param_filter = [

| `Param_filter of string * [ `Is_defined | `Is_not_defined | `Text_match of string * string * bool ]

]

Source

val pp_param_filter : 
  Ppx_deriving_runtime.Format.formatter ->
  param_filter ->
  Ppx_deriving_runtime.unit

Sourceval show_param_filter : param_filter -> Ppx_deriving_runtime.string

Source

val equal_param_filter : 
  param_filter ->
  param_filter ->
  Ppx_deriving_runtime.bool

Source

type prop_filter =
  string
  * [ `Is_defined
    | `Is_not_defined
    | `Range of timerange * param_filter list
    | `Text of (string * string * bool) * param_filter list ]

Source

val pp_prop_filter : 
  Ppx_deriving_runtime.Format.formatter ->
  prop_filter ->
  Ppx_deriving_runtime.unit

Sourceval show_prop_filter : prop_filter -> Ppx_deriving_runtime.string

Sourceval equal_prop_filter : prop_filter -> prop_filter -> Ppx_deriving_runtime.bool

Sourcetype comp_filter = [

| `Is_defined
| `Is_not_defined
| `Comp_filter of timerange option * prop_filter list * component_filter list

]

Sourceand component_filter = string * comp_filter

Source

val pp_comp_filter : 
  Ppx_deriving_runtime.Format.formatter ->
  comp_filter ->
  Ppx_deriving_runtime.unit

Sourceval show_comp_filter : comp_filter -> Ppx_deriving_runtime.string

Source

val pp_component_filter : 
  Ppx_deriving_runtime.Format.formatter ->
  component_filter ->
  Ppx_deriving_runtime.unit

Sourceval show_component_filter : component_filter -> Ppx_deriving_runtime.string

Sourceval equal_comp_filter : comp_filter -> comp_filter -> Ppx_deriving_runtime.bool

Source

val equal_component_filter : 
  component_filter ->
  component_filter ->
  Ppx_deriving_runtime.bool

Sourcetype calendar_query = report_prop option * component_filter

Source

val pp_calendar_query : 
  Ppx_deriving_runtime.Format.formatter ->
  calendar_query ->
  Ppx_deriving_runtime.unit

Sourceval show_calendar_query : calendar_query -> Ppx_deriving_runtime.string

Source

val equal_calendar_query : 
  calendar_query ->
  calendar_query ->
  Ppx_deriving_runtime.bool

Sourcetype calendar_multiget = report_prop option * string list

Source

val pp_calendar_multiget : 
  Ppx_deriving_runtime.Format.formatter ->
  calendar_multiget ->
  Ppx_deriving_runtime.unit

Sourceval show_calendar_multiget : calendar_multiget -> Ppx_deriving_runtime.string

Source

val equal_calendar_multiget : 
  calendar_multiget ->
  calendar_multiget ->
  Ppx_deriving_runtime.bool

Sourcemodule Uri : sig ... end

Sourcetype principal = [

| `Href of Uri.t
| `All
| `Authenticated
| `Unauthenticated
| `Self

]

Source

val pp_principal : 
  Ppx_deriving_runtime.Format.formatter ->
  principal ->
  Ppx_deriving_runtime.unit

Sourceval show_principal : principal -> Ppx_deriving_runtime.string

Sourcetype privilege = [

| `Read
| `Write
| `Write_content
| `Write_properties
| `Unlock
| `Read_acl
| `Read_current_user_privilege_set
| `Write_acl
| `Bind
| `Unbind
| `All

]

Source

val pp_privilege : 
  Ppx_deriving_runtime.Format.formatter ->
  privilege ->
  Ppx_deriving_runtime.unit

Sourceval show_privilege : privilege -> Ppx_deriving_runtime.string

Source

type ace =
  principal
  * [ `Grant of privilege list
    | `Deny of privilege list
    | `Inherited of Uri.t ]

Source

val pp_ace : 
  Ppx_deriving_runtime.Format.formatter ->
  ace ->
  Ppx_deriving_runtime.unit

Sourceval show_ace : ace -> Ppx_deriving_runtime.string

Sourceval caldav_ns : string

Sourceval dav_ns : string

Sourceval robur_ns : string

Sourceval node : ?ns:namespace -> name -> ?a:attribute list -> tree list -> tree

Sourceval dav_node : name -> ?a:attribute list -> tree list -> tree

Sourceval pcdata : string -> tree

Sourceval tree_fold_right : (tree -> 'a -> 'a -> 'a) -> 'a -> tree list -> 'a

Sourceval new_identifier : String.t M.t -> string -> string

Source

val tree_unapply_namespaces : 
  ?ns_map:String.t M.t ->
  tree ->
  tree * String.t M.t

Sourceval attach_namespaces : tree -> tree

Sourceval tyxml_to_body : Tyxml.Xml.elt -> string

Sourceval apply_ns : string -> string -> string

Source

val attrib_to_tyxml : 
  ((string * Tyxml.Xml.aname) * string Tyxml.Xml.wrap) ->
  Tyxml.Xml.attrib

Sourceval tree_to_tyxml : tree -> Tyxml.Xml.elt

Sourceval tree_to_string : tree -> string

Sourceval for_all : (char -> bool) -> string -> bool

Sourceval is_whitespace_node : tree -> bool

Sourceval string_to_tree : string -> tree option

Sourceval filter_map : ('a -> ('b, 'c) result) -> 'a list -> 'b list

Source

val tree_lift : 
  ('a -> 'b list -> ('c, 'd) result) ->
  (tree -> ('a, 'd) result) ->
  (tree -> ('b, 'e) result) ->
  tree ->
  ('c, 'd) result

Sourceval name_ns : String.t -> String.t -> tree -> (tree, string) result

Sourceval any : 'a -> ('a, 'b) result

Source

val alternative : 
  ('a -> ('b, 'c) result) ->
  ('a -> ('b, 'd) result) ->
  'a ->
  ('b, 'd) result

Source

val (>>~) : 
  ('a -> ('b, 'c) result) ->
  ('b -> ('d, 'c) result) ->
  'a ->
  ('d, 'c) result

Sourceval extract_name : tree -> (name, string) result

Sourceval extract_ns_name : tree -> (namespace * name, string) result

Source

val extract_name_value : 
  tree ->
  (attribute list * (namespace * name) * tree list, string) result

Sourceval extract_pcdata : tree -> (string, string) result

Sourceval extract_attributes : tree -> (attribute list, string) result

Sourceval leaf_node : tree -> (tree, string) result

Source

val (|||) : 
  ('a -> ('b, 'c) result) ->
  ('a -> ('b, 'd) result) ->
  'a ->
  ('b, 'd) result

Sourceval is_empty : 'a list -> (unit, string) result

Sourceval non_empty : 'a list -> (unit, string) result

Sourceval run : ('a -> 'b) -> 'a -> 'b

Sourceval exactly_one : 'a list -> ('a, string) result

Sourceval href_parser : tree -> (string, string) result

Source

val privilege_children_parser : 
  tree ->
  ([> `All
   | `Bind
   | `Read
   | `Read_acl
   | `Read_current_user_privilege_set
   | `Unbind
   | `Unlock
   | `Write
   | `Write_acl
   | `Write_content
   | `Write_properties ],
    string)
    result

Source

val privilege_parser : 
  tree ->
  ([> `All
   | `Bind
   | `Read
   | `Read_acl
   | `Read_current_user_privilege_set
   | `Unbind
   | `Unlock
   | `Write
   | `Write_acl
   | `Write_content
   | `Write_properties ]
     list,
    string)
    result

Sourceval xml_to_ace : tree -> (ace, string) result

Source

val principal_to_xml : 
  [< `All | `Authenticated | `Href of Uri.t | `Self | `Unauthenticated ] ->
  tree

Source

val priv_to_xml : 
  [< `All
  | `Bind
  | `Read
  | `Read_acl
  | `Read_current_user_privilege_set
  | `Unbind
  | `Unlock
  | `Write
  | `Write_acl
  | `Write_content
  | `Write_properties ] ->
  tree

Source

val ace_to_xml : 
  ([< `All | `Authenticated | `Href of Uri.t | `Self | `Unauthenticated ]
   * [< `Deny of
          [< `All
          | `Bind
          | `Read
          | `Read_acl
          | `Read_current_user_privilege_set
          | `Unbind
          | `Unlock
          | `Write
          | `Write_acl
          | `Write_content
          | `Write_properties ]
            list
     | `Grant of
       [< `All
       | `Bind
       | `Read
       | `Read_acl
       | `Read_current_user_privilege_set
       | `Unbind
       | `Unlock
       | `Write
       | `Write_acl
       | `Write_content
       | `Write_properties ]
         list
     | `Inherited of Uri.t ]) ->
  tree

Source

val propfind_prop_parser : 
  tree ->
  ([ `All_prop of string list
   | `Include of string list
   | `Propname
   | `Props of fqname list ],
    string)
    result

Source

val parse_propfind_xml : 
  tree ->
  ([> `All_prop of string list | `Propname | `Props of fqname list ], string)
    result

Sourceval find_attribute : String.t -> (('a * String.t) * 'b) list -> 'b option

Sourceval take_drop_while : ('a -> 'b option) -> 'a list -> 'b list * 'a list

Sourceval comp_parser : tree -> (component, string) result

Sourceval range_parser : String.t -> tree -> (timerange, string) result

Source

val limit_recurrence_set_parser : 
  tree ->
  ([> `Limit_recurrence_set of timerange ], string) result

Sourceval expand_parser : tree -> ([> `Expand of timerange ], string) result

Source

val limit_freebusy_set_parser : 
  tree ->
  ([> `Limit_freebusy_set of timerange ], string) result

Sourceval calendar_data_parser : tree -> (calendar_data, string) result

Sourceval any_in_ns : String.t -> tree -> (tree, string) result

Source

val extract_and_tag_prop : 
  tree ->
  ([> `Prop of namespace * name ], string) result

Sourceval report_prop_parser : tree -> (report_prop, string) result

Sourceval is_not_defined_parser : tree -> ([> `Is_not_defined ], string) result

Source

val text_match_parser : 
  tree ->
  ([> `Text_match of string * string * bool ], string) result

Sourceval param_filter_parser : tree -> ([> param_filter ], string) result

Sourceval time_range_parser : tree -> ([> `Timerange of timerange ], string) result

Source

val all_param_filters : 
  [> `Param_filter of
       string
       * [ `Is_defined
         | `Is_not_defined
         | `Text_match of string * string * bool ] ]
    list ->
  (param_filter list, string) result

Sourceval prop_filter_parser : tree -> (prop_filter, string) result

Sourceval comp_filter_parser : tree -> (component_filter, string) result

Sourceval filter_parser : tree -> (component_filter, string) result

Sourceval parse_calendar_query_xml : tree -> (calendar_query, string) result

Sourceval parse_calendar_multiget_xml : tree -> (calendar_multiget, string) result

Source

val proppatch_prop_parser : 
  (tree -> ('a, 'b) result) ->
  tree ->
  ('a list, string) result

Source

val set_parser : 
  tree ->
  ([> `Set of attribute list * fqname * tree list ] list, string) result

Sourceval remove_parser : tree -> ([> `Remove of fqname ] list, string) result

Source

val parse_propupdate_xml : 
  tree ->
  ([> `Remove of fqname | `Set of attribute list * fqname * tree list ] list,
    string)
    result

Source

val parse_mkcol_xml : 
  tree ->
  ([> `Set of attribute list * fqname * tree list ] list, string) result

Sourceval ptime_to_http_date : Ptime.t -> string

Sourceval rfc3339_date_to_http_date : string -> string

package caldav

Module Caldav.Webdav_xmlSource

Module `Caldav.Webdav_xml`Source