The standard library Posix_Tty api is a sub-API of the Posixlib API.
The above information is manually maintained and may contain errors.
api {
eqtype Process_Id;
eqtype File_Descriptor;
package i
: 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;
brkint : Flags;
icrnl : Flags;
ignbrk : Flags;
igncr : Flags;
ignpar : Flags;
inlcr : Flags;
inpck : Flags;
istrip : Flags;
ixoff : Flags;
ixon : Flags;
parmrk : Flags;};;
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;
opost : Flags;};;
package c
: 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;
clocal : Flags;
cread : Flags;
csize : Flags;
cs5 : Flags;
cs6 : Flags;
cs7 : Flags;
cs8 : Flags;
cstopb : Flags;
hupcl : Flags;
parenb : Flags;
parodd : Flags;};;
package l
: 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;
echo : Flags;
echoe : Flags;
echok : Flags;
echonl : Flags;
icanon : Flags;
iexten : Flags;
isig : Flags;
noflsh : Flags;
tostop : Flags;};;
package v
: api {
eof : Int;
eol : Int;
erase : Int;
intr : Int;
kill : Int;
min : Int;
quit : Int;
susp : Int;
time : Int;
start : Int;
stop : Int;
nccs : Int;
Cc;
cc : List(((Int , Char)) ) -> Cc;
update : (Cc , List(((Int , Char)) )) -> Cc;
sub : (Cc , Int) -> Char;};;
eqtype Speed;
compare_speed : (Speed , Speed) -> Order;
speed_to_unt : Speed -> one_word_unt::Unt;
unt_to_speed : one_word_unt::Unt -> Speed;
b0 : Speed;
b50 : Speed;
b75 : Speed;
b110 : Speed;
b134 : Speed;
b150 : Speed;
b200 : Speed;
b300 : Speed;
b600 : Speed;
b1200 : Speed;
b1800 : Speed;
b2400 : Speed;
b4800 : Speed;
b9600 : Speed;
b19200 : Speed;
b38400 : Speed;
Termios;
termios :
{cc:v::Cc, cflag:c::Flags, iflag:i::Flags, ispeed:Speed, lflag:l::Flags, oflag:o::Flags,
ospeed:Speed}
->
Termios;
fields_of :
Termios
-> {cc:v::Cc, cflag:c::Flags, iflag:i::Flags, ispeed:Speed, lflag:l::Flags, oflag:o::Flags,
ospeed:Speed};
getiflag : Termios -> i::Flags;
getoflag : Termios -> o::Flags;
getcflag : Termios -> c::Flags;
getlflag : Termios -> l::Flags;
getcc : Termios -> v::Cc;
getospeed : Termios -> Speed;
setospeed : (Termios , Speed) -> Termios;
getispeed : Termios -> Speed;
setispeed : (Termios , Speed) -> Termios;
package tc
: api {
eqtype Set_Action;
sanow : Set_Action;
sadrain : Set_Action;
saflush : Set_Action;
eqtype Flow_Action;
ooff : Flow_Action;
oon : Flow_Action;
ioff : Flow_Action;
ion : Flow_Action;
eqtype Queue_Sel;
iflush : Queue_Sel;
oflush : Queue_Sel;
ioflush : Queue_Sel;};;
getattr : File_Descriptor -> Termios;
setattr : (File_Descriptor , tc::Set_Action , Termios) -> Void;
sendbreak : (File_Descriptor , Int) -> Void;
drain : File_Descriptor -> Void;
flush : (File_Descriptor , tc::Queue_Sel) -> Void;
flow : (File_Descriptor , tc::Flow_Action) -> Void;
getpgrp : File_Descriptor -> Process_Id;
setpgrp : (File_Descriptor , Process_Id) -> Void;
Sy_Int = Int;
osval4__syscall : String -> Sy_Int;
set__osval4__ref :
({fun_name:String, io_call:String -> Sy_Int, lib_name:String} -> String -> Sy_Int) -> Void;
Termio_Rep = ( one_word_unt::Unt , one_word_unt::Unt , one_word_unt::Unt , one_word_unt::Unt ,
vector_of_one_byte_unts::Vector , one_word_unt::Unt , one_word_unt::Unt
);
tcgetattr__syscall : Int -> Termio_Rep;
set__tcgetattr__ref :
({fun_name:String, io_call:Int -> Termio_Rep, lib_name:String} -> Int -> Termio_Rep) -> Void;
tcsetattr__syscall : (Int , Sy_Int , Termio_Rep) -> Void;
set__tcsetattr__ref :
(
{fun_name:String, io_call:(Int , Sy_Int , Termio_Rep) -> Void, lib_name:String}
->
(Int , Sy_Int , Termio_Rep) -> Void
)
->
Void;
tcsendbreak__syscall : (Int , Int) -> Void;
set__tcsendbreak__ref :
({fun_name:String, io_call:(Int , Int) -> Void, lib_name:String} -> (Int , Int) -> Void) -> Void;
tcdrain__syscall : Int -> Void;
set__tcdrain__ref :
({fun_name:String, io_call:Int -> Void, lib_name:String} -> Int -> Void) -> Void;
tcflush__syscall : (Int , Sy_Int) -> Void;
set__tcflush__ref :
({fun_name:String, io_call:(Int , Sy_Int) -> Void, lib_name:String} -> (Int , Sy_Int) -> Void)
->
Void;
tcflow__syscall : (Int , Sy_Int) -> Void;
set__tcflow__ref :
({fun_name:String, io_call:(Int , Sy_Int) -> Void, lib_name:String} -> (Int , Sy_Int) -> Void)
->
Void;
tcgetpgrp__syscall : Int -> Sy_Int;
set__tcgetpgrp__ref :
({fun_name:String, io_call:Int -> Sy_Int, lib_name:String} -> Int -> Sy_Int) -> Void;
tcsetpgrp__syscall : (Int , Sy_Int) -> Void;
set__tcsetpgrp__ref :
({fun_name:String, io_call:(Int , Sy_Int) -> Void, lib_name:String} -> (Int , Sy_Int) -> Void)
->
Void;};