X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/e0b80e65c8132f096ed5c92e42d4da7d33ff369b..b44d16e043c802069df09c5736c2480435e56b9c:/src/domain.sig diff --git a/src/domain.sig b/src/domain.sig index b3c06ce..a8de0de 100644 --- a/src/domain.sig +++ b/src/domain.sig @@ -92,7 +92,24 @@ signature DOMAIN = sig val hasPriv : string -> bool val rmdom : string list -> unit + val rmdom' : string -> string list -> unit val homedirOf : string -> string val homedir : unit -> string + + type subject = {node : string, domain : string} + + val registerDescriber : (subject -> string) -> unit + (* When a user runs [domtool-admin describe $DOM], every function passed to + * [registerDescriber] will be run on [$DOM]. *) + val describe : string -> string + (* Argument is domain to describe, over all nodes. *) + + datatype description = + Filename of { filename : string, heading : string, showEmpty : bool } + | Extension of { extension : string, heading : string -> string } + + val considerAll : description list -> subject -> string + (* Find files in a domain directory matching some patterns and generate + * headings and contents listings for them. *) end