Overview  Index  Help 
Standard ML Basis Library

OS_FileSys


structure OS_FileSys : OS_FILE_SYS =
struct
  open A
  structure P_FSys = Posix.FileSys
  structure P = OS_Path
  structure A : sig datatype access_mode = A_READ | A_WRITE | A_EXEC end =
  Posix.FileSys
  type dirstream = P_FSys.dirstream
  datatype file_id = FID of {dev : SysWord.word, ino : SysWord.word}
  val sysWordToWord
  val openDir : string -> dirstream
  val readDir : dirstream -> string option
  val rewindDir : dirstream -> unit
  val closeDir : dirstream -> unit
  val chDir : string -> unit
  val getDir : unit -> string
  val mkDir : string -> unit
  val rmDir : string -> unit
  val isDir : string -> bool
  val isLink : string -> bool
  val readLink : string -> string
  val maxLinks
  val fullPath : string -> string
  val realPath : string -> string
  val fileSize : string -> Position.int
  val modTime : string -> Time.time
  val setTime : string * Time.time option -> unit
  val remove : string -> unit
  val rename : {old : string, new : string} -> unit
  val access : string * access_mode list -> bool
  val tmpName : unit -> string
  val fileId : string -> file_id
  val hash : file_id -> word
  val compare : file_id * file_id -> order
end

 
Type detail

dirstream

type dirstream = P_FSys.dirstream

 
Datatype detail

file_id

datatype file_id = FID of {dev : SysWord.word, ino : SysWord.word}

 
DataConstructor detail

FID

constructor FID : {dev : SysWord.word, ino : SysWord.word} -> file_id

 
Value detail

sysWordToWord

val sysWordToWord


openDir

val openDir : string -> dirstream


readDir

val readDir : dirstream -> string option


rewindDir

val rewindDir : dirstream -> unit


closeDir

val closeDir : dirstream -> unit


chDir

val chDir : string -> unit


getDir

val getDir : unit -> string


mkDir

val mkDir : string -> unit


rmDir

val rmDir : string -> unit


isDir

val isDir : string -> bool


isLink

val isLink : string -> bool


readLink

val readLink : string -> string


maxLinks

val maxLinks


fullPath

val fullPath : string -> string


realPath

val realPath : string -> string


fileSize

val fileSize : string -> Position.int


modTime

val modTime : string -> Time.time


setTime

val setTime : string * Time.time option -> unit


remove

val remove : string -> unit


rename

val rename : {old : string, new : string} -> unit


access

val access : string * access_mode list -> bool


tmpName

val tmpName : unit -> string


fileId

val fileId : string -> file_id


hash

val hash : file_id -> word


compare

val compare : file_id * file_id -> order

 


Overview  Index  Help 
Standard ML Basis Library

This document may be distributed freely over the internet as long as the copyright notice and license terms below are prominently displayed within every machine-readable copy.

Copyright © 2003 AT&T and Lucent Technologies. All rights reserved.

Permission is granted for internet users to make one paper copy for their own personal use. Further hardcopy reproduction is strictly prohibited. Permission to distribute the HTML document electronically on any medium other than the internet must be requested from the copyright holders by contacting the editors. Printed versions of the SML Basis Manual are available from Cambridge University Press. To order, please visit www.cup.org (North America) or www.cup.cam.ac.uk (outside North America).