package resto

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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