Path (mavkit-libs.Mavryk

include module type of struct include Resto.Path end

type ('prefix, 'params) t = ('prefix, 'params) Resto.Path.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 Resto.Arg.t ->
  ('prefix, 'params * 'a) path

val (/:) : 
  ('prefix, 'params) path ->
  'a Resto.Arg.t ->
  ('prefix, 'params * 'a) path

val add_final_args : 
  ('prefix, 'params) path ->
  'a Resto.Arg.t ->
  ('prefix, 'params * 'a list) path

val (/:*) : 
  ('prefix, 'params) path ->
  'a Resto.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

val to_segments : ('a, 'b) path -> string list

val to_string : ('a, 'b) path -> string