Module Eliom_parameter


module Eliom_parameter: sig .. end
See documentation in the server side version: .

type ('a, +'b, +'c) params_type 
type 'a param_name 
type no_param_name 
type 'a setoneradio = [ `One of 'a | `Radio of 'a | `Set of 'a ] 
type 'a oneradio = [ `One of 'a | `Radio of 'a ] 
type 'a setone = [ `One of 'a | `Set of 'a ] 

type ('a, 'b) binsum =
| Inj1 of 'a
| Inj2 of 'b

type 'a listnames = {
   it : 'b 'c. ('a -> 'b -> 'c -> 'c) -> 'b list -> 'c -> 'c;
}
val int : string ->
(int, [ `WithoutSuffix ], [ `One of int ] param_name)
params_type
val int32 : string ->
(int32, [ `WithoutSuffix ], [ `One of int32 ] param_name)
params_type
val int64 : string ->
(int64, [ `WithoutSuffix ], [ `One of int64 ] param_name)
params_type
val float : string ->
(float, [ `WithoutSuffix ], [ `One of float ] param_name)
params_type
val string : string ->
(string, [ `WithoutSuffix ], [ `One of string ] param_name)
params_type
val bool : string ->
(bool, [ `WithoutSuffix ], [ `One of bool ] param_name)
params_type
val file : string ->
(Eliom_lib.file_info, [ `WithoutSuffix ],
[ `One of Eliom_lib.file_info ] param_name)
params_type
val unit : (unit, [ `WithoutSuffix ], unit) params_type
val user_type : of_string:(string -> 'a) ->
to_string:('a -> string) ->
string ->
('a, [ `WithoutSuffix ], [ `One of 'a ] param_name)
params_type

type coordinates = {
   abscissa : int;
   ordinate : int;
}
val coordinates : string ->
(coordinates, [ `WithoutSuffix ],
[ `One of coordinates ] param_name)
params_type
val string_coordinates : string ->
(string * coordinates, [ `WithoutSuffix ],
[ `One of string * coordinates ] param_name)
params_type
val int_coordinates : string ->
(int * coordinates, [ `WithoutSuffix ],
[ `One of int * coordinates ] param_name)
params_type
val int32_coordinates : string ->
(int32 * coordinates, [ `WithoutSuffix ],
[ `One of int32 * coordinates ] param_name)
params_type
val int64_coordinates : string ->
(int64 * coordinates, [ `WithoutSuffix ],
[ `One of int64 * coordinates ] param_name)
params_type
val float_coordinates : string ->
(float * coordinates, [ `WithoutSuffix ],
[ `One of float * coordinates ] param_name)
params_type
val user_type_coordinates : of_string:(string -> 'a) ->
to_string:('a -> string) ->
string ->
('a * coordinates, [ `WithoutSuffix ],
[ `One of 'a * coordinates ] param_name)
params_type
val ( ** ) : ('a, [ `WithoutSuffix ], 'b) params_type ->
('c, [< `Endsuffix | `WithoutSuffix ] as 'd, 'e) params_type ->
('a * 'c, 'd, 'b * 'e) params_type
val prod : ('a, [ `WithoutSuffix ], 'b) params_type ->
('c, [< `Endsuffix | `WithoutSuffix ] as 'd, 'e) params_type ->
('a * 'c, 'd, 'b * 'e) params_type
val sum : ('a, [ `WithoutSuffix ], 'b) params_type ->
('c, [ `WithoutSuffix ], 'd) params_type ->
(('a, 'c) binsum, [ `WithoutSuffix ], 'b * 'd)
params_type
val opt : ('a, [ `WithoutSuffix ], 'b) params_type ->
('a option, [ `WithoutSuffix ], 'b) params_type
val radio : (string ->
('a, [ `WithoutSuffix ], [ `One of 'b ] param_name)
params_type) ->
string ->
('a option, [ `WithoutSuffix ], [ `Radio of 'b ] param_name)
params_type
val any : ((string * string) list, [ `WithoutSuffix ], unit)
params_type
val set : (string ->
('a, [ `WithoutSuffix ], [ `One of 'b ] param_name)
params_type) ->
string ->
('a list, [ `WithoutSuffix ], [ `Set of 'b ] param_name)
params_type
val list : string ->
('a, [ `WithoutSuffix ], 'b) params_type ->
('a list, [ `WithoutSuffix ], 'b listnames)
params_type
val guard : (string -> ('a, 'b, 'c) params_type) ->
string -> ('a -> bool) -> ('a, 'b, 'c) params_type
val suffix : ?redirect_if_not_suffix:bool ->
('a, [< `Endsuffix | `WithoutSuffix ], 'b) params_type ->
('a, [ `WithSuffix ], 'b) params_type
val all_suffix : string ->
(string list, [ `Endsuffix ],
[ `One of string list ] param_name)
params_type
val all_suffix_string : string ->
(string, [ `Endsuffix ], [ `One of string ] param_name)
params_type
val all_suffix_user : of_string:(string -> 'a) ->
to_string:('a -> string) ->
string ->
('a, [ `Endsuffix ], [ `One of 'a ] param_name)
params_type
val suffix_prod : ?redirect_if_not_suffix:bool ->
('a, [< `Endsuffix | `WithoutSuffix ], 'b) params_type ->
('c, [ `WithoutSuffix ], 'd) params_type ->
('a * 'c, [ `WithSuffix ], 'b * 'd) params_type
val suffix_const : string ->
(unit, [ `WithoutSuffix ], [ `One of unit ] param_name)
params_type
type 'a caml 
val caml : string ->
'a Deriving_Json.t ->
('a, [ `WithoutSuffix ],
[ `One of 'a caml ] param_name)
params_type
val raw_post_data : (((string * string) * (string * string) list) option *
string Ocsigen_stream.t option, [ `WithoutSuffix ],
no_param_name)
params_type
type ('a, +'b, +'c) non_localized_params 
val make_non_localized_parameters : prefix:string ->
name:string ->
?persistent:bool ->
('a, [ `WithoutSuffix ], 'b) params_type ->
('a, [ `WithoutSuffix ], 'b) non_localized_params
type nl_params_set 
val empty_nl_params_set : nl_params_set
val add_nl_parameter : nl_params_set ->
('a, [< `WithSuffix | `WithoutSuffix ], 'b)
non_localized_params -> 'a -> nl_params_set
val get_nl_params_names : ('a, [< `WithSuffix | `WithoutSuffix ], 'b)
non_localized_params -> 'b
val get_to_and_from : ('a, 'b, 'c) params_type -> (string -> 'a) * ('a -> string)
val walk_parameter_tree : [ `One of string ] param_name ->
('a, 'b, 'c) params_type ->
((string -> 'd) * ('d -> string)) option
val contains_suffix : ('a, 'b, 'c) params_type -> bool option
val add_pref_params : string ->
('a, 'b, 'c) params_type ->
('a, 'b, 'c) params_type
val construct_params : (string * string) list Eliom_lib.String.Table.t ->
('a, [< `WithSuffix | `WithoutSuffix ], 'b) params_type ->
'a -> string list option * string
val construct_params_string : (string * string) list -> string
val construct_params_list_raw : (string * string) list Eliom_lib.String.Table.t ->
('a, [< `WithSuffix | `WithoutSuffix ], 'b) params_type ->
'a ->
string list option * (string * string) list Eliom_lib.String.Table.t *
(string * string) list
val construct_params_list : (string * string) list Eliom_lib.String.Table.t ->
('a, [< `WithSuffix | `WithoutSuffix ], 'b) params_type ->
'a -> string list option * (string * string) list
val make_params_names : ('a, 'b, 'c) params_type -> bool * 'c
val string_of_param_name : 'a param_name -> string
val nl_prod : ('a, 'b, 'c) params_type ->
('d, [ `WithoutSuffix ], 'e) non_localized_params ->
('a * 'd, 'b, 'c * 'e) params_type
val remove_from_nlp : (string * string) list Eliom_lib.String.Table.t ->
('a, [< `WithSuffix | `WithoutSuffix ], 'b) params_type ->
(string * string) list Eliom_lib.String.Table.t
val table_of_nl_params_set : nl_params_set ->
(string * string) list Eliom_lib.String.Table.t
val list_of_nl_params_set : nl_params_set -> (string * string) list
val string_of_nl_params_set : nl_params_set -> string
val wrap_param_type : ('a, 'b, 'c) params_type ->
('a, 'b, 'c) params_type