package ocplib-resto

  1. Overview
  2. Docs
type (_, _) rpath =
  1. | Root : ('rkey, 'rkey) rpath
  2. | Static : ('rkey, 'key) rpath * string -> ('rkey, 'key) rpath
  3. | Dynamic : ('rkey, 'key) rpath * 'a Arg.arg -> ('rkey, 'key * 'a) rpath
type (_, _) path =
  1. | Path : ('prefix, 'params) rpath -> ('prefix, 'params) path
  2. | MappedPath : ('prefix, 'key) rpath * ('key -> 'params) * ('params -> 'key) -> ('prefix, 'params) path
type 'prefix context = ('prefix, 'prefix) path
val root : ('a, 'a) path
val add_suffix : ('a, 'b) path -> string -> ('a, 'b) path
val add_arg : ('a, 'b) path -> 'c Arg.arg -> ('a, 'b * 'c) path
val add_context : 'a 'p. 'a Arg.arg -> 'p context -> ('p * 'a) context
val map : ('a -> 'b) -> ('b -> 'a) -> ('c, 'a) path -> ('c, 'b) path
val prefix : 'p 'pr 'a. ('pr, 'a) path -> ('a, 'p) path -> ('pr, 'p) path
val (/) : ('a, 'b) path -> string -> ('a, 'b) path
val (/:) : ('a, 'b) path -> 'c Arg.arg -> ('a, 'b * 'c) path
val (**/) : 'a Arg.arg -> 'b context -> ('b * 'a) context