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

SCM Repository

[smlnj] View of /smlnj-lib/trunk/Doc/ML-Doc/Unix/unix-path.mldoc
ViewVC logotype

View of /smlnj-lib/trunk/Doc/ML-Doc/Unix/unix-path.mldoc

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2547 - (download) (annotate)
Tue May 15 15:11:04 2007 UTC (11 years, 10 months ago) by jhr
File size: 2353 byte(s)
  Made the UnixPath.path_list type concrete; also added ml-doc files for the Unix library.
<!-- unix-path.mldoc -->

<!DOCTYPE ML-DOC SYSTEM>

<COPYRIGHT OWNER="The Fellowship of SML/NJ" YEAR=2007>
<VERSION VERID="1.0" YEAR=2007 MONTH=5 DAY=15>
<TITLE>The UNIX_PATH signature</TITLE>

<INTERFACE>
<HEAD>The <CD/UNIX_PATH/ signature</HEAD>
<SEEALSO>
  <STRREF>UnixEnv</STRREF>
</SEEALSO>

<PP>
<!-- Some general introductory text -->

<STRUCTURE STRID="UnixPath">
  <OPAQUE>  <SIGBODY SIGID="UNIX_PATH" FILE=UNIX-PATH>
    <SPEC>
      <TYPE><ID>path_list<TY>string list
    <SPEC>
      <VAL>getPath<TY>unit -> path_list
        <COMMENT>
          <PROTOTY>
          getPath <ARG>()</ARG>
          </PROTOTY>
          <PP>
          get the user's PATH environment variable.
        </COMMENT>
    <SPEC>
      <DATATYPEDEF><ID>access_mode</ID>OS.FileSys.access_mode</DATATYPEDEF>
    <SPEC>
      <DATATYPE><ID>file_type
        <CONS>F_REGULAR
        <CONS>F_DIR
        <CONS>F_SYMLINK
        <CONS>F_SOCK
        <CONS>F_CHR
        <CONS>F_BLK
      </DATATYPE>
    <SPEC>
      <EXN>NoSuchFile
    <SPEC>
      <VAL>findFile<TY>(path_list * access_mode list) -> string -> string
        <COMMENT>
          <PROTOTY>
          findFile (<ARG>pl</ARG>, <ARG>l</ARG>) <ARG>s</ARG>
          </PROTOTY>
          <PP>
          explain the use and semantics of findFile HERE.
        </COMMENT>
    <SPEC>
      <VAL>findFiles<TY>(path_list * access_mode list) -> string -> string list
        <COMMENT>
          <PROTOTY>
          findFiles (<ARG>pl</ARG>, <ARG>l</ARG>) <ARG>s</ARG>
          </PROTOTY>
          <PP>
          explain the use and semantics of findFiles HERE.
        </COMMENT>
    <SPEC>
      <VAL>findFileOfType<TY>(path_list * file_type * access_mode list) -> string -> string
        <COMMENT>
          <PROTOTY>
          findFileOfType (<ARG>pl</ARG>, <ARG>ft</ARG>, <ARG>l</ARG>) <ARG>s</ARG>
          </PROTOTY>
          <PP>
          explain the use and semantics of findFileOfType HERE.
        </COMMENT>
    <SPEC>
      <VAL>findFilesOfType<TY>(path_list * file_type * access_mode list) -> string -> string list
        <COMMENT>
          <PROTOTY>
          findFilesOfType (<ARG>pl</ARG>, <ARG>ft</ARG>, <ARG>l</ARG>) <ARG>s</ARG>
          </PROTOTY>
          <PP>
          explain the use and semantics of findFilesOfType HERE.
        </COMMENT>
  </SIGBODY>
</STRUCTURE>

</INTERFACE>

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