package resto

  1. Overview
  2. Docs

Parametrized path to services.

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