The standard library Posix_File api is a sub-API of the Posixlib api.
The above information is manually maintained and may contain errors.
api { eqtype User_Id ;
eqtype Group_Id ;
eqtype File_Descriptor ;
fd_to_int : File_Descriptor -> Int;
int_to_fd : Int -> File_Descriptor;
fd_to_iod : File_Descriptor -> Int;
iod_to_fd : Int -> File_Descriptor;
Directory_Stream ;
open_directory_stream : String -> Directory_Stream;
read_directory_entry : Directory_Stream -> Null_Or(String );
rewind_directory_stream : Directory_Stream -> Void;
close_directory_stream : Directory_Stream -> Void;
change_directory : String -> Void;
current_directory : Void -> String;
stdin : File_Descriptor;
stdout : File_Descriptor;
stderr : File_Descriptor;
package s : api {
Mode ;
Flags = Mode;
to_unt : Flags -> one_word_unt::Unt;
from_unt : one_word_unt::Unt -> Flags;
all : Flags;
flags : List(Flags ) -> Flags;
intersect : List(Flags ) -> Flags;
clear : (Flags , Flags) -> Flags;
all_set : (Flags , Flags) -> Bool;
any_set : (Flags , Flags) -> Bool;
irwxu : Mode;
irusr : Mode;
iwusr : Mode;
ixusr : Mode;
irwxg : Mode;
irgrp : Mode;
iwgrp : Mode;
ixgrp : Mode;
irwxo : Mode;
iroth : Mode;
iwoth : Mode;
ixoth : Mode;
isuid : Mode;
isgid : Mode;
};;
mode_0755 : s::Mode;
mode_0700 : s::Mode;
mode_0666 : s::Mode;
mode_0644 : s::Mode;
mode_0600 : s::Mode;
package o : api {
eqtype Flags ;
to_unt : Flags -> one_word_unt::Unt;
from_unt : one_word_unt::Unt -> Flags;
all : Flags;
flags : List(Flags ) -> Flags;
intersect : List(Flags ) -> Flags;
clear : (Flags , Flags) -> Flags;
all_set : (Flags , Flags) -> Bool;
any_set : (Flags , Flags) -> Bool;
append : Flags;
dsync : Flags;
excl : Flags;
noctty : Flags;
nonblock : Flags;
rsync : Flags;
sync : Flags;
trunc : Flags;
};;
Open_Mode = O_RDONLY | O_RDWR | O_WRONLY;
openf : (String , Open_Mode , o::Flags) -> File_Descriptor;
createf : (String , Open_Mode , o::Flags , s::Mode)
-> File_Descriptor;
creat : (String , s::Mode) -> File_Descriptor;
umask : s::Mode -> s::Mode;
link : {new:String, old:String} -> Void;
mkstemp : Void -> File_Descriptor;
mkdir : (String , s::Mode) -> Void;
make_named_pipe : (String , s::Mode) -> Void;
unlink : String -> Void;
rmdir : String -> Void;
rename : {from:String, to:String} -> Void;
symlink : {new:String, old:String} -> Void;
readlink : String -> String;
ftruncate : (File_Descriptor , Int) -> Void;
eqtype Device ;
unt_to_dev : one_word_unt::Unt -> Device;
dev_to_unt : Device -> one_word_unt::Unt;
eqtype Inode ;
unt_to_ino : one_word_unt::Unt -> Inode;
ino_to_unt : Inode -> one_word_unt::Unt;
package stat : api {
Stat = {atime:time::Time, ctime:time::Time, dev:Int,
ftype:Int, gid:one_word_unt::Unt, inode:Int,
mode:s::Flags, mtime:time::Time, nlink:Int,
size:Int, uid:one_word_unt::Unt};
is_directory : Stat -> Bool;
is_char_dev : Stat -> Bool;
is_block_dev : Stat -> Bool;
is_file : Stat -> Bool;
is_pipe : Stat -> Bool;
is_symlink : Stat -> Bool;
is_socket : Stat -> Bool;
mode : Stat -> s::Mode;
inode : Stat -> Int;
dev : Stat -> Int;
nlink : Stat -> Int;
uid : Stat -> User_Id;
gid : Stat -> Group_Id;
size : Stat -> Int;
atime : Stat -> time::Time;
mtime : Stat -> time::Time;
ctime : Stat -> time::Time;
};;
stat : String -> stat::Stat;
lstat : String -> stat::Stat;
fstat : File_Descriptor -> stat::Stat;
Access_Mode = MAY_EXECUTE | MAY_READ | MAY_WRITE;
access : (String , List(Access_Mode )) -> Bool;
chmod : (String , s::Mode) -> Void;
fchmod : (File_Descriptor , s::Mode) -> Void;
chown : (String , User_Id , Group_Id) -> Void;
fchown : (File_Descriptor , User_Id , Group_Id) -> Void;
utime : (String
, Null_Or({actime:time::Time, modtime:time::Time} ))
-> Void;
pathconf : (String , String) -> Null_Or(one_word_unt::Unt );
fpathconf : (File_Descriptor , String)
-> Null_Or(one_word_unt::Unt );
osval3__syscall : String -> Int;
set__osval3__ref : ({fun_name:String, io_call:String -> Int,
lib_name:String}
-> String -> Int) -> Void;
Ckit_Dirstream = ?.runtime::Chunk;
opendir__syscall : String -> Ckit_Dirstream;
set__opendir__ref : ({fun_name:String, io_call:String -> Ckit_Dirstream,
lib_name:String}
-> String -> Ckit_Dirstream) -> Void;
readdir__syscall : Ckit_Dirstream -> String;
set__readdir__ref : ({fun_name:String, io_call:Ckit_Dirstream -> String,
lib_name:String}
-> Ckit_Dirstream -> String) -> Void;
rewinddir__syscall : Ckit_Dirstream -> Void;
set__rewinddir__ref : ({fun_name:String, io_call:Ckit_Dirstream -> Void,
lib_name:String}
-> Ckit_Dirstream -> Void) -> Void;
closedir__syscall : Ckit_Dirstream -> Void;
set__closedir__ref : ({fun_name:String, io_call:Ckit_Dirstream -> Void,
lib_name:String}
-> Ckit_Dirstream -> Void) -> Void;
change_directory__syscall : String -> Void;
set__change_directory__ref : ({fun_name:String, io_call:String -> Void,
lib_name:String}
-> String -> Void) -> Void;
current_directory__syscall : Void -> String;
set__current_directory__ref : ({fun_name:String, io_call:Void -> String,
lib_name:String}
-> Void -> String) -> Void;
openf__syscall : (String , one_word_unt::Unt , one_word_unt::Unt)
-> Int;
set__openf__ref : ({fun_name:String, io_call:(String , one_word_unt::Unt , one_word_unt::Unt)
-> Int, lib_name:String}
-> (String , one_word_unt::Unt , one_word_unt::Unt)
-> Int) -> Void;
mkstemp__syscall : Void -> Int;
set__mkstemp__ref : ({fun_name:String, io_call:Void -> Int,
lib_name:String}
-> Void -> Int) -> Void;
umask__syscall : one_word_unt::Unt -> one_word_unt::Unt;
set__umask__ref : ({fun_name:String,
io_call:one_word_unt::Unt -> one_word_unt::Unt,
lib_name:String}
-> one_word_unt::Unt -> one_word_unt::Unt) -> Void;
link__syscall : (String , String) -> Void;
set__link__ref : ({fun_name:String,
io_call:(String , String) -> Void, lib_name:String}
-> (String , String) -> Void) -> Void;
rename__syscall : (String , String) -> Void;
set__rename__ref : ({fun_name:String,
io_call:(String , String) -> Void, lib_name:String}
-> (String , String) -> Void) -> Void;
symlink__syscall : (String , String) -> Void;
set__symlink__ref : ({fun_name:String,
io_call:(String , String) -> Void, lib_name:String}
-> (String , String) -> Void) -> Void;
mkdir__syscall : (String , one_word_unt::Unt) -> Void;
set__mkdir__ref : ({fun_name:String,
io_call:(String , one_word_unt::Unt) -> Void,
lib_name:String}
-> (String , one_word_unt::Unt) -> Void) -> Void;
make_named_pipe__syscall : (String , one_word_unt::Unt) -> Void;
set__make_named_pipe__ref : ({fun_name:String,
io_call:(String , one_word_unt::Unt) -> Void,
lib_name:String}
-> (String , one_word_unt::Unt) -> Void) -> Void;
unlink__syscall : String -> Void;
set__unlink__ref : ({fun_name:String, io_call:String -> Void,
lib_name:String}
-> String -> Void) -> Void;
rmdir__syscall : String -> Void;
set__rmdir__ref : ({fun_name:String, io_call:String -> Void,
lib_name:String}
-> String -> Void) -> Void;
readlink__syscall : String -> String;
set__readlink__ref : ({fun_name:String, io_call:String -> String,
lib_name:String}
-> String -> String) -> Void;
ftruncate__syscall : (Int , Int) -> Void;
set__ftruncate__ref : ({fun_name:String, io_call:(Int , Int) -> Void,
lib_name:String}
-> (Int , Int) -> Void) -> Void;
Statrep = (Int , one_word_unt::Unt , one_word_unt::Unt
, one_word_unt::Unt , one_word_unt::Unt
, one_word_unt::Unt , one_word_unt::Unt , Int
, one_word_int::Int , one_word_int::Int
, one_word_int::Int);
stat__syscall : String -> Statrep;
set__stat__ref : ({fun_name:String, io_call:String -> Statrep,
lib_name:String}
-> String -> Statrep) -> Void;
lstat__syscall : String -> Statrep;
set__lstat__ref : ({fun_name:String, io_call:String -> Statrep,
lib_name:String}
-> String -> Statrep) -> Void;
fstat__syscall : Int -> Statrep;
set__fstat__ref : ({fun_name:String, io_call:Int -> Statrep,
lib_name:String}
-> Int -> Statrep) -> Void;
access__syscall : (String , one_word_unt::Unt) -> Bool;
set__access__ref : ({fun_name:String,
io_call:(String , one_word_unt::Unt) -> Bool,
lib_name:String}
-> (String , one_word_unt::Unt) -> Bool) -> Void;
chmod__syscall : (String , one_word_unt::Unt) -> Void;
set__chmod__ref : ({fun_name:String,
io_call:(String , one_word_unt::Unt) -> Void,
lib_name:String}
-> (String , one_word_unt::Unt) -> Void) -> Void;
fchmod__syscall : (Int , one_word_unt::Unt) -> Void;
set__fchmod__ref : ({fun_name:String,
io_call:(Int , one_word_unt::Unt) -> Void,
lib_name:String}
-> (Int , one_word_unt::Unt) -> Void) -> Void;
chown__syscall : (String , one_word_unt::Unt , one_word_unt::Unt)
-> Void;
set__chown__ref : ({fun_name:String, io_call:(String , one_word_unt::Unt , one_word_unt::Unt)
-> Void, lib_name:String}
-> (String , one_word_unt::Unt , one_word_unt::Unt)
-> Void) -> Void;
fchown__syscall : (Int , one_word_unt::Unt , one_word_unt::Unt) -> Void;
set__fchown__ref : ({fun_name:String,
io_call:(Int , one_word_unt::Unt , one_word_unt::Unt) -> Void,
lib_name:String}
-> (Int , one_word_unt::Unt , one_word_unt::Unt) -> Void)
-> Void;
utime__syscall : (String , one_word_int::Int , one_word_int::Int)
-> Void;
set__utime__ref : ({fun_name:String, io_call:(String , one_word_int::Int , one_word_int::Int)
-> Void, lib_name:String}
-> (String , one_word_int::Int , one_word_int::Int)
-> Void) -> Void;
pathconf__syscall : (String , String) -> Null_Or(one_word_unt::Unt );
set__pathconf__ref : ({fun_name:String,
io_call:(String , String) -> Null_Or(one_word_unt::Unt ),
lib_name:String}
-> (String , String) -> Null_Or(one_word_unt::Unt ))
-> Void;
fpathconf__syscall : (Int , String) -> Null_Or(one_word_unt::Unt );
set__fpathconf__ref : ({fun_name:String,
io_call:(Int , String) -> Null_Or(one_word_unt::Unt ),
lib_name:String}
-> (Int , String) -> Null_Or(one_word_unt::Unt ))
-> Void;
};