caldav 0.1.0 · OCaml Package

module M : sig ... end

type namespace = string

val namespace_of_sexp : Sexplib0.Sexp.t -> namespace

val sexp_of_namespace : namespace -> Sexplib0.Sexp.t

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

val show_namespace : namespace -> Ppx_deriving_runtime.string

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

type name = string

val name_of_sexp : Sexplib0.Sexp.t -> name

val sexp_of_name : name -> Sexplib0.Sexp.t

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

val show_name : name -> Ppx_deriving_runtime.string

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

type fqname = namespace * name

val fqname_of_sexp : Sexplib0.Sexp.t -> fqname

val sexp_of_fqname : fqname -> Sexplib0.Sexp.t

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

val show_fqname : fqname -> Ppx_deriving_runtime.string

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

type attribute = fqname * string

val attribute_of_sexp : Sexplib0.Sexp.t -> attribute

val sexp_of_attribute : attribute -> Sexplib0.Sexp.t

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

val show_attribute : attribute -> Ppx_deriving_runtime.string

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

type tree =

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

val tree_of_sexp : Sexplib0.Sexp.t -> tree

val sexp_of_tree : tree -> Sexplib0.Sexp.t

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

val show_tree : tree -> Ppx_deriving_runtime.string

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

type propfind = [

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

]

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

val show_propfind : propfind -> Ppx_deriving_runtime.string

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

type propupdate = [

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

]

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

val show_propupdate : propupdate -> Ppx_deriving_runtime.string

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

type comp = [

| `Allcomp
| `Comp of component list

]

and prop = [

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

]

and component = string * prop * comp

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

val show_comp : comp -> Ppx_deriving_runtime.string

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

val show_prop : prop -> Ppx_deriving_runtime.string

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

val show_component : component -> Ppx_deriving_runtime.string

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

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

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

type timerange = Icalendar.timestamp_utc * Icalendar.timestamp_utc

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

val show_timerange : timerange -> Ppx_deriving_runtime.string

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

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

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

val show_calendar_data : calendar_data -> Ppx_deriving_runtime.string

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

type report_prop = [

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

]

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

val show_report_prop : report_prop -> Ppx_deriving_runtime.string

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

type param_filter = [

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

]

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

val show_param_filter : param_filter -> Ppx_deriving_runtime.string

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

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

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

val show_prop_filter : prop_filter -> Ppx_deriving_runtime.string

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

type comp_filter = [

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

]

and component_filter = string * comp_filter

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

val show_comp_filter : comp_filter -> Ppx_deriving_runtime.string

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

val show_component_filter : component_filter -> Ppx_deriving_runtime.string

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

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

type calendar_query = report_prop option * component_filter

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

val show_calendar_query : calendar_query -> Ppx_deriving_runtime.string

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

type calendar_multiget = report_prop option * string list

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

val show_calendar_multiget : calendar_multiget -> Ppx_deriving_runtime.string

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

module Uri : sig ... end

type principal = [

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

]

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

val show_principal : principal -> Ppx_deriving_runtime.string

type privilege = [

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

]

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

val show_privilege : privilege -> Ppx_deriving_runtime.string

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

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

val show_ace : ace -> Ppx_deriving_runtime.string

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

val pp_webdav_ace : 
  Ppx_deriving_runtime.Format.formatter ->
  webdav_ace ->
  Ppx_deriving_runtime.unit

val show_webdav_ace : webdav_ace -> Ppx_deriving_runtime.string

val caldav_ns : string

val dav_ns : string

val robur_ns : string

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

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

val pcdata : string -> tree

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

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

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

val attach_namespaces : tree -> tree

val tyxml_to_body : Tyxml.Xml.elt -> string

val apply_ns : string -> string -> string

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

val tree_to_tyxml : tree -> Tyxml.Xml.elt

val tree_to_string : tree -> string

val is_whitespace_node : tree -> bool

val string_to_tree : string -> tree option

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

val href_parser : tree -> (string, string) Rresult.result

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)
    Rresult.result

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)
    Rresult.result

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

val is_not_defined_parser : 
  tree ->
  ([> `Is_not_defined ], string) Rresult.result

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

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

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

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

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

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

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

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

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

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

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

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

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

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

val ptime_to_http_date : Ptime.t -> string

val rfc3339_date_to_http_date : string -> string

package caldav