| |
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