package eliom

  1. Overview
  2. Docs
package eliom
Legend:
Library
Module
Module type
Parameter
Class
Class type
type get =
  1. | Get_method
type put =
  1. | Put_method
type post =
  1. | Post_method
type delete =
  1. | Delete_method
type co =
  1. | Co
type non_co =
  1. | Non_co
type ext =
  1. | Ext
type non_ext =
  1. | Non_ext
type http =
  1. | Http_ret
type !'a ocaml =
  1. | Ocaml of 'a
type non_ocaml =
  1. | Non_ocaml
type reg =
  1. | Reg
type non_reg =
  1. | Non_reg
type ('get, 'a, 'gn) params = ('get, 'a, 'gn) Eliom_parameter.params_type constraint 'a = [< `WithSuffix | `WithoutSuffix ]
type (!'m, !_, !_, !_, !_, !_, !_) meth =
  1. | Get : ('gp, [< `WithSuffix | `WithoutSuffix ] as 'a, 'gn) params -> (get, 'gp, 'gn, unit, unit, 'a, unit) meth
  2. | Post : ('gp0, [< `WithSuffix | `WithoutSuffix ] as 'b, 'gn0) params * ('pp, [ `WithoutSuffix ], 'pn) params -> (post, 'gp0, 'gn0, 'pp, 'pn, 'b, 'gp0) meth
  3. | Put : ('gp1, [< `WithSuffix | `WithoutSuffix ] as 'c, 'gn1) params -> (put, 'gp1, 'gn1, Eliom_parameter.raw_post_data, Eliom_parameter.no_param_name, 'c, unit) meth
  4. | Delete : ('gp2, [< `WithSuffix | `WithoutSuffix ] as 'd, 'gn2) params -> (delete, 'gp2, 'gn2, Eliom_parameter.raw_post_data, Eliom_parameter.no_param_name, 'd, unit) meth
type !'m which_meth =
  1. | Get' : get which_meth
  2. | Post' : post which_meth
  3. | Put' : put which_meth
  4. | Delete' : delete which_meth
type att
type non_att
type !'a attached_info =
  1. | Attached : att -> att attached_info
  2. | Nonattached : non_att -> non_att attached_info
type ('get, 'post, 'meth, 'attached, 'co, 'ext, 'reg, +'a, 'gn, 'pn, 'ret) t constraint 'a = [< `WithSuffix | `WithoutSuffix ]
and result =
  1. | No_contents
  2. | Dom of Js_of_ocaml.Dom_html.element Js_of_ocaml.Js.t
  3. | Redirect : (unit, unit, get, 'a, 'b, 'c, 'd, [ `WithoutSuffix ], unit, unit, non_ocaml) t -> result
  4. | Reload_action of {
    1. hidden : bool;
    2. https : bool;
    }
type (!_, !_, !_) path_option =
  1. | Path : Eliom_lib.Url.path -> (att, non_co, 'a) path_option
  2. | No_path : (non_att, co, unit) path_option
val reload_action : (unit, unit, get, non_att, co, non_ext, non_reg, [ `WithoutSuffix ], unit, unit, non_ocaml) t
val reload_action_https : (unit, unit, get, non_att, co, non_ext, non_reg, [ `WithoutSuffix ], unit, unit, non_ocaml) t
val reload_action_hidden : (unit, unit, get, non_att, co, non_ext, non_reg, [ `WithoutSuffix ], unit, unit, non_ocaml) t
val reload_action_https_hidden : (unit, unit, get, non_att, co, non_ext, non_reg, [ `WithoutSuffix ], unit, unit, non_ocaml) t
val static_dir : unit -> (string list, unit, get, att, non_co, non_ext, non_reg, [ `WithSuffix ], [ `One of string list ] Eliom_parameter.param_name, unit, non_ocaml) t
val https_static_dir : unit -> (string list, unit, get, att, non_co, non_ext, non_reg, [ `WithSuffix ], [ `One of string list ] Eliom_parameter.param_name, unit, non_ocaml) t
val static_dir_with_params : ?keep_nl_params:[ `All | `None | `Persistent ] -> get_params:('a, [ `WithoutSuffix ], 'an) Eliom_parameter.params_type -> unit -> (string list * 'a, unit, get, att, non_co, non_ext, non_reg, [ `WithSuffix ], [ `One of string list ] Eliom_parameter.param_name * 'an, unit, non_ocaml) t
val https_static_dir_with_params : ?keep_nl_params:[ `All | `None | `Persistent ] -> get_params:('a, [ `WithoutSuffix ], 'an) Eliom_parameter.params_type -> unit -> (string list * 'a, unit, get, att, non_co, non_ext, non_reg, [ `WithSuffix ], [ `One of string list ] Eliom_parameter.param_name * 'an, unit, non_ocaml) t
val preapply : service: ('a, 'b, 'meth, att, 'co, 'ext, 'reg, [< `WithSuffix | `WithoutSuffix ], 'e, 'f, 'return) t -> 'a -> (unit, 'b, 'meth, att, 'co, 'ext, non_reg, [ `WithoutSuffix ], unit, 'f, 'return) t
val add_non_localized_get_parameters : params:('p, [ `WithoutSuffix ], 'pn) Eliom_parameter.non_localized_params -> service: ('a, 'b, 'meth, 'attach, 'co, 'ext, 'reg, [< `WithSuffix | `WithoutSuffix ] as 'c, 'e, 'f, 'return) t -> ('a * 'p, 'b, 'meth, 'attach, 'co, 'ext, 'reg, 'c, 'e * 'pn, 'f, 'return) t
val add_non_localized_post_parameters : params:('p, [ `WithoutSuffix ], 'pn) Eliom_parameter.non_localized_params -> service: ('a, 'b, 'meth, 'attach, 'co, 'ext, 'g, [< `WithSuffix | `WithoutSuffix ] as 'c, 'e, 'f, 'return) t -> ('a, 'b * 'p, 'meth, 'attach, 'co, 'ext, 'g, 'c, 'e, 'f * 'pn, 'return) t
val extern : ?keep_nl_params:[ `All | `None | `Persistent ] -> prefix:string -> path:Eliom_lib.Url.path -> meth: ('m, 'gp, 'gn, 'pp, 'pn, [< `WithSuffix | `WithoutSuffix ] as 'a, 'b) meth -> unit -> ('gp, 'pp, 'm, att, non_co, ext, non_reg, 'a, 'gn, 'pn, non_ocaml) t
val which_meth : ('a, 'b, 'm, 'c, 'd, 'e, 'f, [< `WithSuffix | `WithoutSuffix ], 'g, 'h, 'i) t -> 'm which_meth
val which_meth_untyped : ('a, 'b, 'c, 'd, 'e, 'f, 'g, [< `WithSuffix | `WithoutSuffix ], 'h, 'i, 'j) t -> [ `Delete | `Get | `Post | `Put ]
val info : ('a, 'b, 'c, 'att, 'd, 'e, 'f, [< `WithSuffix | `WithoutSuffix ], 'g, 'h, 'i) t -> 'att attached_info
val get_params_type : ('a, 'b, 'd, 'e, 'f, 'g, 'h, [< `WithSuffix | `WithoutSuffix ] as 'i, 'c, 'j, 'k) t -> ('a, 'i, 'c) Eliom_parameter.params_type
val post_params_type : ('c, 'a, 'd, 'e, 'f, 'g, 'h, [< `WithSuffix | `WithoutSuffix ], 'i, 'b, 'j) t -> ('a, [ `WithoutSuffix ], 'b) Eliom_parameter.params_type
val sub_path : att -> Eliom_lib.Url.path
val full_path : att -> Eliom_lib.Url.path
val prefix : att -> string
val get_name : att -> Eliom_common.att_key_serv
val post_name : att -> Eliom_common.att_key_serv
val redirect_suffix : att -> bool
val na_keep_get_na_params : non_att -> bool
val max_use : ('a, 'b, 'c, 'd, 'e, 'f, 'g, [< `WithSuffix | `WithoutSuffix ], 'h, 'i, 'j) t -> int option
val timeout : ('a, 'b, 'c, 'd, 'e, 'f, 'g, [< `WithSuffix | `WithoutSuffix ], 'h, 'i, 'j) t -> float option
val https : ('a, 'b, 'c, 'd, 'e, 'f, 'g, [< `WithSuffix | `WithoutSuffix ], 'h, 'i, 'j) t -> bool
val priority : att -> int
val client_fun : ('a, 'b, 'c, 'd, 'e, 'f, 'g, [< `WithSuffix | `WithoutSuffix ], 'h, 'i, 'j) t -> ('a -> 'b -> result Lwt.t) Eliom_client_value.t option
val has_client_fun : ('a, 'b, 'c, 'd, 'e, 'f, 'g, [< `WithSuffix | `WithoutSuffix ], 'h, 'i, 'j) t -> bool
val keep_nl_params : ('a, 'b, 'c, 'd, 'e, 'f, 'g, [< `WithSuffix | `WithoutSuffix ], 'h, 'i, 'j) t -> [ `All | `None | `Persistent ]
val change_get_num : ('a, 'b, 'meth, att, 'co, 'ext, 'c, [< `WithSuffix | `WithoutSuffix ] as 'd, 'e, 'f, 'return) t -> att -> Eliom_common.att_key_serv -> ('a, 'b, 'meth, att, 'co, 'ext, 'g, 'd, 'e, 'f, 'return) t
val register_delayed_get_or_na_coservice : sp:Eliom_common.server_params -> (int * [< Eliom_common.user_scope ] * bool option) -> string
val register_delayed_post_coservice : sp:Eliom_common.server_params -> (int * [< Eliom_common.user_scope ] * bool option) -> Eliom_common.att_key_serv -> string
type send_appl_content =
  1. | XNever
  2. | XAlways
  3. | XSame_appl of string * string option
val send_appl_content : ('a, 'b, 'c, 'd, 'e, 'f, 'g, [< `WithSuffix | `WithoutSuffix ], 'h, 'i, 'j) t -> send_appl_content
val xhr_with_cookies : ('a, 'b, 'c, 'd, 'e, 'f, 'g, [< `WithSuffix | `WithoutSuffix ], 'h, 'i, 'j) t -> string option option
val internal_set_client_fun : service: ('a, 'b, 'c, 'd, 'e, 'f, 'g, [< `WithSuffix | `WithoutSuffix ], 'h, 'i, 'j) t -> ('a -> 'b -> result Lwt.t) Eliom_client_value.t -> unit
val create : ?name:string -> ?csrf_safe:bool -> ?csrf_scope:[< Eliom_common.user_scope ] -> ?csrf_secure:bool -> ?max_use:int -> ?timeout:float -> ?https:bool -> ?keep_nl_params:[ `All | `None | `Persistent ] -> ?priority:int -> meth: ('m, 'gp, 'gn, 'pp, 'pn, [< `WithSuffix | `WithoutSuffix ] as 'a, 'gp_) meth -> path:('att, 'co, 'gp_) path_option -> unit -> ('gp, 'pp, 'm, 'att, 'co, non_ext, reg, 'a, 'gn, 'pn, non_ocaml) t
val create_attached_get : ?name:string -> ?csrf_safe:bool -> ?csrf_scope:[< Eliom_common.user_scope ] -> ?csrf_secure:bool -> ?max_use:int -> ?timeout:float -> ?https:bool -> ?keep_nl_params:[ `All | `None | `Persistent ] -> fallback: (unit, unit, get, att, non_co, non_ext, 'a, [ `WithoutSuffix ], unit, unit, non_ocaml) t -> get_params:('gp, [ `WithoutSuffix ], 'gn) Eliom_parameter.params_type -> unit -> ('gp, unit, get, att, co, non_ext, reg, [ `WithoutSuffix ], 'gn, unit, non_ocaml) t
val create_attached_post : ?name:string -> ?csrf_safe:bool -> ?csrf_scope:[< Eliom_common.user_scope ] -> ?csrf_secure:bool -> ?max_use:int -> ?timeout:float -> ?https:bool -> ?keep_nl_params:[ `All | `None | `Persistent ] -> fallback: ('gp, unit, get, att, non_co, non_ext, 'a, [< `WithSuffix | `WithoutSuffix ] as 'b, 'gn, unit, non_ocaml) t -> post_params:('pp, [ `WithoutSuffix ], 'pn) Eliom_parameter.params_type -> unit -> ('gp, 'pp, post, att, co, non_ext, reg, 'b, 'gn, 'pn, non_ocaml) t
val attach : fallback: (unit, unit, get, att, 'a, non_ext, 'b, [< `WithSuffix | `WithoutSuffix ], unit, unit, 'return1) t -> service: ('get, 'post, 'meth, non_att, co, non_ext, 'c, [< `WithoutSuffix ] as 'd, 'gn, 'pn, 'return) t -> unit -> ('get, 'post, 'meth, att, co, non_ext, non_reg, 'd, 'gn, 'pn, 'return) t
val register_eliom_module : string -> (unit -> unit) -> unit
val unregister : ?scope:[< Eliom_common.scope ] -> ?secure:bool -> ('a, 'b, 'c, 'd, 'e, non_ext, 'f, [< `WithSuffix | `WithoutSuffix ], 'g, 'h, 'i) t -> unit
val is_external : ('a, 'b, 'c, 'd, 'e, 'f, 'g, [< `WithSuffix | `WithoutSuffix ], 'h, 'i, 'j) t -> bool
val pre_applied_parameters : ('a, 'b, 'c, 'd, 'e, 'f, 'g, [< `WithSuffix | `WithoutSuffix ], 'h, 'i, 'j) t -> (string * string) list Eliom_lib.String.Table.t * (string * string) list
val new_state : unit -> string
val untype : ('a, 'b, 'meth, 'attached, 'co, 'ext, 'd, [< `WithSuffix | `WithoutSuffix ] as 'c, 'f, 'g, 'rr) t -> ('a, 'b, 'meth, 'attached, 'co, 'ext, 'd, 'c, 'f, 'g, 'return) t
val set_delayed_get_or_na_registration_function : Eliom_common.tables -> int -> (sp:Eliom_common.server_params -> string) -> unit
val set_delayed_post_registration_function : Eliom_common.tables -> int -> (sp:Eliom_common.server_params -> Eliom_common.att_key_serv -> string) -> unit
val set_send_appl_content : ('a, 'b, 'c, 'd, 'e, 'f, 'g, [< `WithSuffix | `WithoutSuffix ], 'h, 'i, 'j) t -> send_appl_content -> unit
exception Wrong_session_table_for_CSRF_safe_coservice
val eliom_appl_answer_content_type : string
val create_ocaml : ?name:string -> ?csrf_safe:bool -> ?csrf_scope:[< Eliom_common.user_scope ] -> ?csrf_secure:bool -> ?max_use:int -> ?timeout:float -> ?https:bool -> ?keep_nl_params:[ `All | `None | `Persistent ] -> ?priority:int -> meth: ('m, 'gp, 'gn, 'pp, 'pn, [< `WithSuffix | `WithoutSuffix ] as 'a, 'gp_) meth -> path:('att, 'co, 'gp_) path_option -> unit -> ('gp, 'pp, 'm, 'att, 'co, non_ext, reg, 'a, 'gn, 'pn, 'ret ocaml) t
val create_unsafe : ?name:string -> ?csrf_safe:bool -> ?csrf_scope:[< Eliom_common.user_scope ] -> ?csrf_secure:bool -> ?max_use:int -> ?timeout:float -> ?https:bool -> ?keep_nl_params:[ `All | `None | `Persistent ] -> ?priority:int -> meth: ('m, 'gp, 'gn, 'pp, 'pn, [< `WithSuffix | `WithoutSuffix ] as 'a, 'gp_) meth -> path:('att, 'co, 'gp_) path_option -> unit -> ('gp, 'pp, 'm, 'att, 'co, non_ext, reg, 'a, 'gn, 'pn, 'ret) t
val create_attached_get_unsafe : ?name:string -> ?csrf_safe:bool -> ?csrf_scope:[< Eliom_common.user_scope ] -> ?csrf_secure:bool -> ?max_use:int -> ?timeout:float -> ?https:bool -> ?keep_nl_params:[ `All | `None | `Persistent ] -> fallback: (unit, unit, get, att, non_co, non_ext, 'a, [< `WithSuffix | `WithoutSuffix ], unit, unit, 'b) t -> get_params: ('gp, [< `WithSuffix | `WithoutSuffix ] as 'c, 'gn) Eliom_parameter.params_type -> unit -> ('gp, unit, get, att, co, non_ext, reg, 'c, 'gn, unit, 'd) t
val create_attached_post_unsafe : ?name:string -> ?csrf_safe:bool -> ?csrf_scope:[< Eliom_common.user_scope ] -> ?csrf_secure:bool -> ?max_use:int -> ?timeout:float -> ?https:bool -> ?keep_nl_params:[ `All | `None | `Persistent ] -> fallback: ('gp, unit, get, att, non_co, non_ext, 'a, [< `WithSuffix | `WithoutSuffix ] as 'b, 'gn, unit, 'c) t -> post_params:('pp, [ `WithoutSuffix ], 'pn) Eliom_parameter.params_type -> unit -> ('gp, 'pp, post, att, co, non_ext, reg, 'b, 'gn, 'pn, 'd) t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct