X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/ed9fda3a0e2edcf4ed546e0eb9ac128865538276..6ae327f88a6be8efd02cfe4b713444f9f3ac2672:/src/env.sig?ds=sidebyside diff --git a/src/env.sig b/src/env.sig index 9c26f00..c196158 100644 --- a/src/env.sig +++ b/src/env.sig @@ -45,14 +45,23 @@ signature ENV = sig val one : string -> string * 'a arg -> ('a -> unit) -> action val two : string -> string * 'a arg * string * 'b arg -> ('a * 'b -> unit) -> action + val oneV : string -> string * 'a arg -> (env_vars * 'a -> unit) -> action + + val env : 'a arg -> env_vars * string -> 'a + val type_one : string -> 'a arg -> ('a -> bool) -> unit val action_none : string -> (unit -> unit) -> unit val action_one : string -> string * 'a arg -> ('a -> unit) -> unit val action_two : string -> string * 'a arg * string * 'b arg -> ('a * 'b -> unit) -> unit + val actionV_one : string -> string * 'a arg -> (env_vars * 'a -> unit) -> unit + + val container_none : string -> (unit -> unit) * (unit -> unit) -> unit val container_one : string -> string * 'a arg -> ('a -> unit) * (unit -> unit) -> unit + val containerV_one : string -> string * 'a arg -> (env_vars * 'a -> unit) * (unit -> unit) -> unit + type env val empty : env