balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Vendors: export Resto.Path.subst*

Browse Source
This commit is contained in:
Grégoire Henry 2018-04-16 00:44:21 +02:00
parent 7adc0c90e7
commit 49ad5d585a
2 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
vendors/ocplib-resto/lib_resto/resto.ml vendored
View File

@ -265,6 +265,11 @@ module Path = struct
let (/:) = add_arg let (/:) = add_arg
let (/:*) = add_final_args let (/:*) = add_final_args
let subst0 = Internal.subst0
let subst1 = Internal.subst1
let subst2 = Internal.subst2
let subst3 = Internal.subst3
end end
module Query = struct module Query = struct

9
vendors/ocplib-resto/lib_resto/resto.mli vendored
View File

@ -75,6 +75,15 @@ module Path : sig
val prefix: val prefix:
('prefix, 'a) path -> ('a, 'params) path -> ('prefix, 'params) path ('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
end end
(** Service directory description *) (** Service directory description *)