package resto

  1. Overview
  2. Docs

Module Resto.PathSource

Parametrized path to services.

Sourcetype ('prefix, 'params) t
Sourcetype ('prefix, 'params) path = ('prefix, 'params) t
Sourcetype 'prefix context = ('prefix, 'prefix) path
Sourceval root : unit context
Sourceval open_root : 'a context
Sourceval add_suffix : ('prefix, 'params) path -> string -> ('prefix, 'params) path
Sourceval (/) : ('prefix, 'params) path -> string -> ('prefix, 'params) path
Sourceval add_arg : ('prefix, 'params) path -> 'a Arg.t -> ('prefix, 'params * 'a) path
Sourceval (/:) : ('prefix, 'params) path -> 'a Arg.t -> ('prefix, 'params * 'a) path
Sourceval add_final_args : ('prefix, 'params) path -> 'a Arg.t -> ('prefix, 'params * 'a list) path
Sourceval (/:*) : ('prefix, 'params) path -> 'a Arg.t -> ('prefix, 'params * 'a list) path
Sourceval prefix : ('prefix, 'a) path -> ('a, 'params) path -> ('prefix, 'params) path
Sourceval subst0 : ('p, 'p) path -> ('p2, 'p2) path
Sourceval subst1 : ('p, 'p * 'a) path -> ('p2, 'p2 * 'a) path
Sourceval subst2 : ('p, ('p * 'a) * 'b) path -> ('p2, ('p2 * 'a) * 'b) path
Sourceval subst3 : ('p, (('p * 'a) * 'b) * 'c) path -> ('p2, (('p2 * 'a) * 'b) * 'c) path