NAME¶
Eliom_parameter - See documentation in the server side version: {% <<a_api
subproject="server"|module Eliom_parameter>> %}.
Module¶
Module Eliom_parameter
Documentation¶
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 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
val guard :
(string -> ('a, 'b, [ `One of string ]
param_name) params_type) -> string -> ('a ->
bool) -> ('a, 'b, [ `One of string ] 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