X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/86e132be99dcdbf2271119267cea6b91eb8207c3..314ce7bdcb5f54a7d1763e8b6d405dc66cb65d2b:/src/domain.sig diff --git a/src/domain.sig b/src/domain.sig index b3c06ce..bdf92de 100644 --- a/src/domain.sig +++ b/src/domain.sig @@ -95,4 +95,20 @@ signature DOMAIN = sig 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 } + | 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