Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /smlnj-lib/trunk/Util/path-util-sig.sml
ViewVC logotype

Annotation of /smlnj-lib/trunk/Util/path-util-sig.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3577 - (view) (download)

1 : monnier 7 (* path-util-sig.sml
2 :     *
3 :     * COPYRIGHT (c) 1997 Bell Labs, Lucent Technologies.
4 :     *
5 :     * Various higher-level pathname and searching utilities.
6 :     *)
7 :    
8 :     signature PATH_UTIL =
9 :     sig
10 :    
11 : jhr 3577 (* findFile paths name
12 :     * returns SOME(p/name), where p is the first path in paths such that p/name exists.
13 :     * If no such file exists, then NONE is returned.
14 :     *)
15 :     val findFile : string list -> string -> string option
16 :    
17 :     (* findFiles (paths, mode) name
18 :     * returns a list of p/name values, where p is in paths and p/name exists.
19 :     *)
20 : monnier 7 val findFiles : string list -> string -> string list
21 :    
22 : jhr 3577 (* existsFile pred paths name
23 :     * returns SOME(p/name), where p is the first path in paths such that p/name satisfies
24 :     * the given predicate. If no such file exists, then NONE is returned.
25 :     *)
26 : monnier 7 val existsFile : (string -> bool) -> string list -> string -> string option
27 :    
28 : jhr 3577 (* allFiles pred paths name
29 :     * returns a list of all p/name values, such that p is in paths and p/name satisfies
30 :     * the given predicate. The order of the path list is preserved in the result.
31 :     *)
32 :     val allFiles : (string -> bool) -> string list -> string -> string list
33 : monnier 7
34 : jhr 3577 (* findExe paths name
35 :     * returns SOME(p/name), where p is the first path in paths such that p/name exists and
36 :     * is executable. If no such file exists, then NONE is returned.
37 :     *)
38 :     val findExe : string list -> string -> string option
39 :    
40 :     end

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0