append | sequence append |
avg | number sequence average |
blanks | blanks output |
caninput | test for input |
count | sequence length |
emptyseq | test for empty sequence |
explode | string explosion |
explodeascii | string to ASCII conversion |
first | sequence head |
fst | first element in a pair |
getchar | buffered char input |
getint | buffered integer input |
getline | buffered string input |
getreal | buffered real input |
implode | string implosion |
implodeascii | ASCII to string conversion |
inchar | unbuffered char input |
infile | to redirect input stream |
intofreal | real to int conversion |
intofstring | string to integer conversion |
isin | sequence membership |
isunknown | test for unknown |
min | number sequence minimum |
max | number sequence maximum |
newlines | lines output |
outfile | to redirect output stream |
printint | integer output |
printreal | real output |
printstring | string output |
realofstring | string to real conversion |
rest | sequence tail |
reverse | sequence reverse |
snd | second element in a pair |
sort | sequence sorting |
stringofint | integer tostring conversion |
stringofreal | real to string conversion |
sum | number sequence total |