| |
Get : ('gp, [< `WithSuffix | `WithoutSuffix ], 'gn) params -> (get, 'gp, 'gn, unit, unit,
[< `WithSuffix | `WithoutSuffix ] as 'a, unit)
meth |
| |
Post : ('gp0, [< `WithSuffix | `WithoutSuffix ], 'gn0)
params
* ('pp, [ `WithoutSuffix ], 'pn) params -> (post, 'gp0, 'gn0, 'pp, 'pn,
[< `WithSuffix | `WithoutSuffix ] as 'b, 'gp0)
meth |
| |
Put : ('gp1, [< `WithSuffix | `WithoutSuffix ], 'gn1)
params -> (put, 'gp1, 'gn1, Eliom_parameter.raw_post_data,
Eliom_parameter.no_param_name, [< `WithSuffix | `WithoutSuffix ] as 'c,
unit)
meth |
| |
Delete : ('gp2, [< `WithSuffix | `WithoutSuffix ], 'gn2)
params -> (delete, 'gp2, 'gn2, Eliom_parameter.raw_post_data,
Eliom_parameter.no_param_name, [< `WithSuffix | `WithoutSuffix ] as 'd,
unit)
meth |
Method specification datatype
An Eliom service (see Eliom_service_sigs.S.t) can respond to
one of the following HTTP methods:
- GET (
Get g)
- POST (
Post (g, p))
- PUT (
Put g)
- DELETE (
Delete g)
In all cases, the service parameters need to be provided (see
Eliom_parameter_sigs.S). POST (Post (g, p)) services accept
both GET (g) and POST (p) parameters. For the other methods,
only GET (g) parameters apply.
The type parameters are used to impose various type constraints,
and are not necessarily of interest to the programmer. Their
technical meaning is as follows.
- 0-th param : method
- params 1-4 : GET and POST parameter types and names
- param 5 : suffix parameters permitted or not
- param 6 : non-unit only for the
Post (g, p) case when g is
not unit ; used to force unit GET parameters when
needed