Commit 302497ad authored by Michele Alberti's avatar Michele Alberti
Browse files

Setup Filepath_list module.

parent 355c53c4
......@@ -1207,6 +1207,24 @@ struct
let default = []
end)
module Filepath_list
(X: sig
include Parameter_sig.Input_with_arg
val existence : Fc_Filepath.existence
end) =
Make_list
(struct
include Datatype.Filepath
let of_string s = Datatype.Filepath.of_string ~existence:X.existence s
let to_string = Fc_Filepath.Normalized.to_pretty_string
let of_singleton_string = no_element_of_string
end)
(struct
include X
let dependencies = []
let default = []
end)
module Make_map
(K: Parameter_sig.String_datatype_with_collections)
(V: Parameter_sig.Value_datatype with type key = K.t)
......
......@@ -448,6 +448,9 @@ end
(** @modify Sodium-20150201 *)
module type String_list = List with type elt = string and type t = string list
module type Filepath_list =
List with type elt = Datatype.Filepath.t and type t = Datatype.Filepath.t list
(** Signature for maps as command line parameters.
@since Sodium-20150201 *)
module type Map = sig
......@@ -560,6 +563,12 @@ module type Builder = sig
module String_list(X: Input_with_arg): String_list
module Filepath_list
(X: sig
include Input_with_arg
val existence: Fc_Filepath.existence
end): Filepath_list
(** Parameter is a map where multibindings are **not** allowed. *)
module Make_map
(K: String_datatype_with_collections)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment