| 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 |
Back to the Syntax
Page