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

SCM Repository

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

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3576, Wed Mar 16 14:43:03 2011 UTC revision 3577, Wed Mar 16 15:13:36 2011 UTC
# Line 8  Line 8 
8  signature PATH_UTIL =  signature PATH_UTIL =
9    sig    sig
10    
11      (* 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      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      val findFiles : string list -> string -> string list      val findFiles : string list -> string -> string list
21    
22      (* 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      val existsFile : (string -> bool) -> string list -> string -> string option      val existsFile : (string -> bool) -> string list -> string -> string option
27    
28      (* 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      val allFiles   : (string -> bool) -> string list -> string -> string list
33    
34    end;    (* 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

Legend:
Removed from v.3576  
changed lines
  Added in v.3577

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