| defaultPrio | application? | defaultPrio -> bool |
| defaultPrio | builtin? | defaultPrio -> bool |
| defaultPrio | interactive? | defaultPrio -> bool |
| defaultPrio | loadDefaults | defaultPrio ** denotation -> com[void] |
| defaultPrio | preference? | defaultPrio -> bool |
| defaultPrio | setDefault | defaultPrio ** denotation ** denotation -> com[void] |
| denotation | ! | denotation ** nat -> char |
| denotation | ! | denotation -> bool |
| denotation | ! | denotation -> char |
| denotation | ! | denotation -> denotation |
| denotation | ! | denotation -> fmt |
| denotation | ! | denotation -> int |
| denotation | ! | denotation -> nat |
| denotation | ! | denotation -> parser[void] |
| denotation | ! | denotation -> real |
| denotation | ! | denotation -> sreal |
| denotation | ! | denotation -> string |
| denotation | ! | interpreter ** denotation ** denotation -> com[string] |
| denotation | ! | interpreter ** denotation -> com[string] |
| denotation | !- | denotation -> fmt |
| denotation | !_ | denotation -> fmt |
| denotation | # | denotation -> nat |
| denotation | $ | denotation -> doc |
| denotation | & | script ** denotation -> script |
| denotation | + | script ** denotation -> script |
| denotation | +%+ | denotation -> denotation ** denotation -> denotation |
| denotation | +%+ | denotation -> string ** string -> string |
| denotation | ++ | denotation ** denotation -> denotation |
| denotation | +/+ | denotation -> denotation ** denotation -> denotation |
| denotation | +/+ | denotation -> string ** string -> string |
| denotation | -!-> | bool ** (() -> denotation) -> com[void] |
| denotation | .! | interpreter ** denotation ** denotation -> com[string] |
| denotation | .! | interpreter ** denotation -> com[string] |
| denotation | .:= | interpreter ** denotation ** denotation ** string -> com[void] |
| denotation | .:= | interpreter ** denotation ** string -> com[void] |
| denotation | := | denotation ** nat ** char -> denotation |
| denotation | := | interpreter ** denotation ** denotation ** string -> com[void] |
| denotation | := | interpreter ** denotation ** string -> com[void] |
| denotation | < | denotation ** denotation -> bool |
| denotation | <- | denotation ** callback -> script |
| denotation | <- | denotation ** denotation -> script : [1], [2] |
| denotation | <- | denotation ** int -> script |
| denotation | <- | denotation ** nat -> script : [1], [2] |
| denotation | <- | denotation ** real -> script : [1], [2] |
| denotation | <- | denotation ** string -> script : [1], [2] |
| denotation | <- | denotation ** widget -> script |
| denotation | <= | denotation ** denotation -> bool |
| denotation | <| | denotation ** denotation -> bool |
| denotation | = | denotation ** denotation -> bool |
| denotation | > | denotation ** denotation -> bool |
| denotation | >= | denotation ** denotation -> bool |
| denotation | @ | denotation ** denotation -> point |
| denotation | @ | interpreter ** denotation ** seq[union] -> com[string] |
| denotation | @ | interpreter ** denotation -> com[string] |
| denotation | ` | (a -> denotation) ** (b -> denotation) -> either[a, b] -> denotation |
| denotation | ` | (data -> denotation) -> ans[data] -> denotation |
| denotation | ` | (data -> denotation) -> array[data] -> denotation |
| denotation | ` | (data -> denotation) -> bag[data, <] -> denotation |
| denotation | ` | (data -> denotation) -> bstree[data, <] -> denotation |
| denotation | ` | (data -> denotation) -> dArray[data] -> denotation |
| denotation | ` | (data -> denotation) -> heap[data, <] -> denotation |
| denotation | ` | (data -> denotation) -> iseq[data] -> denotation |
| denotation | ` | (data -> denotation) -> option[data] -> denotation |
| denotation | ` | (data -> denotation) -> seq[data] -> denotation |
| denotation | ` | (data -> denotation) -> set[data, <] -> denotation : [1], [2] |
| denotation | ` | (data -> denotation) -> tree[data] -> denotation |
| denotation | ` | (data1 -> denotation) ** (data2 -> denotation) ** (data3 -> denotation) ** (data4 -> denotation) -> quad[data1, data2, data3, data4] -> denotation |
| denotation | ` | (data1 -> denotation) ** (data2 -> denotation) ** (data3 -> denotation) ** (data4 -> denotation) -> union[data1, data2, data3, data4] -> denotation |
| denotation | ` | (data1 -> denotation) ** (data2 -> denotation) ** (data3 -> denotation) -> triple[data1, data2, data3] -> denotation |
| denotation | ` | (data1 -> denotation) ** (data2 -> denotation) ** (data3 -> denotation) -> union[data1, data2, data3] -> denotation |
| denotation | ` | (data1 -> denotation) ** (data2 -> denotation) -> pair[data1, data2] -> denotation |
| denotation | ` | (data1 -> denotation) ** (data2 -> denotation) -> union[data1, data2] -> denotation |
| denotation | ` | (dom -> denotation) ** (codom -> denotation) ** (data -> denotation) -> rel[dom, <, codom, <, data] -> denotation |
| denotation | ` | (dom -> denotation) ** (codom -> denotation) -> map[dom, <, codom] -> denotation : [1], [2], [3] |
| denotation | ` | (from -> denotation) ** (to -> denotation) -> funct[from, to] -> denotation |
| denotation | ` | (nat -> denotation) ** (codom -> denotation) -> natMap[codom] -> denotation |
| denotation | ` | denotation ** denotation ** denotation -> (data -> denotation) -> iseq[data] -> denotation |
| denotation | ` | denotation ** denotation ** denotation -> (data -> denotation) -> seq[data] -> denotation |
| denotation | ` | denotation ** denotation ** denotation -> (data -> denotation) -> set[data, <] -> denotation : [1], [2] |
| denotation | ` | denotation ** denotation ** denotation -> (data -> string) -> iseq[data] -> string |
| denotation | ` | denotation ** denotation ** denotation -> (data -> string) -> seq[data] -> string |
| denotation | ` | denotation ** denotation ** denotation -> (data -> string) -> set[data, <] -> string : [1], [2] |
| denotation | ` | denotation ** denotation ** denotation -> (data1 -> denotation) ** (data2 -> denotation) ** (data3 -> denotation) ** (data4 -> denotation) -> quad[data1, data2, data3, data4] -> denotation |
| denotation | ` | denotation ** denotation ** denotation -> (data1 -> denotation) ** (data2 -> denotation) ** (data3 -> denotation) -> triple[data1, data2, data3] -> denotation |
| denotation | ` | denotation ** denotation ** denotation -> (data1 -> denotation) ** (data2 -> denotation) -> pair[data1, data2] -> denotation |
| denotation | ` | denotation ** denotation ** denotation -> (dom ** codom ** data -> denotation) -> rel[dom, <, codom, <, data] -> denotation |
| denotation | ` | denotation ** denotation ** denotation -> (dom ** codom ** data -> string) -> rel[dom, <, codom, <, data] -> string |
| denotation | ` | denotation ** denotation ** denotation -> (dom -> denotation) ** (codom -> denotation) ** (data -> denotation) -> rel[dom, <, codom, <, data] -> denotation |
| denotation | ` | denotation ** denotation ** denotation -> (dom -> string) ** (codom -> string) ** (data -> string) -> rel[dom, <, codom, <, data] -> string |
| denotation | ` | denotation ** denotation ** denotation -> nat ** (data -> denotation) -> iseq[data] -> denotation |
| denotation | ` | denotation ** denotation ** denotation -> nat ** (data -> string) -> iseq[data] -> string |
| denotation | ` | denotation -> denotation ** denotation ** denotation -> (dom -> denotation) ** (codom -> denotation) -> map[dom, <, codom] -> denotation : [1], [2], [3] |
| denotation | ` | denotation -> denotation ** denotation ** denotation -> (dom -> string) ** (codom -> string) -> map[dom, <, codom] -> string : [1], [2], [3] |
| denotation | ` | denotation -> denotation ** denotation ** denotation -> (nat -> denotation) ** (codom -> denotation) -> natMap[codom] -> denotation |
| denotation | ` | denotation -> denotation ** denotation ** denotation -> (nat -> string) ** (codom -> string) -> natMap[codom] -> string |
| denotation | ` | nat ** (data -> denotation) -> iseq[data] -> denotation |
| denotation | ABORT | denotation -> some |
| denotation | accelerator | denotation -> config |
| denotation | access | denotation ** filemode -> com[bool] |
| denotation | act | denotation -> com[void] |
| denotation | anchor | denotation -> anchor |
| denotation | append | denotation -> com[output] |
| denotation | appendBin | denotation -> com[output] |
| denotation | applEnv | denotation -> option[denotation] |
| denotation | ask | denotation -> com[bool] |
| denotation | ask | denotation -> com[char] |
| denotation | ask | denotation -> com[denotation] |
| denotation | ask | denotation -> com[int] |
| denotation | ask | denotation -> com[nat] |
| denotation | ask | denotation -> com[real] |
| denotation | asString | denotation -> string |
| denotation | baseName | denotation ** denotation -> denotation |
| denotation | baseName | denotation -> denotation |
| denotation | bitmap | denotation -> bitmap |
| denotation | box | denotation -> denotation |
| denotation | break | denotation -> com |
| denotation | button | denotation ** com[void] -> view |
| denotation | center | char ** denotation -> denotation |
| denotation | center | denotation ** denotation -> denotation |
| denotation | center | denotation -> denotation |
| denotation | chDir | denotation -> com[void] |
| denotation | check | (denotation -> denotation) ** com[data] -> com[data] : [1], [2] |
| denotation | check | (denotation -> denotation) ** com[void] -> com[void] |
| denotation | chgrp | denotation ** groupid -> com[void] |
| denotation | chmod | denotation ** filemode -> com[void] |
| denotation | chown | denotation ** userid -> com[void] |
| denotation | chunk | nat ** denotation ** string -> string |
| denotation | color | denotation -> color |
| denotation | config | denotation -> config |
| denotation | create | denotation -> com[output] |
| denotation | createApp | interpreter[state] ** option[denotation] ** denotation -> com[void] |
| denotation | createBin | denotation -> com[output] |
| denotation | cursor | denotation -> cursor |
| denotation | data | denotation -> iconfig |
| denotation | defaultPath | denotation ** denotation -> denotation |
| denotation | define | interpreter ** denotation ** (interpreter ** seq[string] -> ans[string]) -> com[void] |
| denotation | define | interpreter ** denotation ** (interpreter ** seq[string] -> com[string]) -> com[void] |
| denotation | delete | denotation ** nat ** nat -> denotation |
| denotation | denotation | denotation -> union |
| denotation | dirName1 | denotation -> denotation |
| denotation | dirName | denotation -> denotation |
| denotation | doConfig | window ** widget ** modifier ** denotation -> com[void] |
| denotation | empty? | denotation -> bool |
| denotation | env | denotation -> com[denotation] : [1], [2] |
| denotation | eval | denotation -> com[string] |
| denotation | exec | denotation ** seq[denotation] -> com[void] |
| denotation | execE | denotation ** seq[denotation] ** seq[denotation] -> com[void] |
| denotation | execP | denotation ** seq[denotation] -> com[void] |
| denotation | execve | denotation ** seq[string] ** option[seq[string]] -> com[void] |
| denotation | fail | denotation -> ans |
| denotation | FIELD? | denotation -> bool |
| denotation | file | denotation ** denotation -> cursor |
| denotation | file | denotation -> bitmap |
| denotation | file | denotation -> iconfig |
| denotation | fmtDenotation | denotation -> fmt |
| denotation | font | denotation -> font |
| denotation | format | denotation ** seq[union] -> string |
| denotation | format | denotation ** time -> denotation |
| denotation | getGroup | denotation -> com[option[group]] |
| denotation | getUser | denotation -> com[option[user]] |
| denotation | graphic | (data -> denotation) -> bstree[data, <] -> denotation |
| denotation | graphic | (data -> denotation) -> heap[data, <] -> denotation |
| denotation | graphic | (data -> denotation) -> tree[data] -> denotation |
| denotation | homeDir | denotation -> com[denotation] |
| denotation | iconName | denotation -> wconfig |
| denotation | image | denotation -> image |
| denotation | INLINE | denotation ** denotation ** denotation -> data |
| denotation | insert | denotation ** nat ** denotation -> denotation |
| denotation | key | denotation -> event |
| denotation | keyInfo | event ** point ** denotation ** nat ** char -> eventInfo |
| denotation | keyPress | denotation -> event |
| denotation | keyRelease | denotation -> event |
| denotation | label | denotation -> config |
| denotation | link | denotation ** denotation -> com[void] |
| denotation | lit | denotation -> fmt |
| denotation | load | denotation ** denotation -> com[data] |
| denotation | load | denotation -> com[seq[string]] |
| denotation | loadDefaults | defaultPrio ** denotation -> com[void] |
| denotation | ls_dlg | denotation -> com[denotation] |
| denotation | maskData | denotation -> iconfig |
| denotation | maskFile | denotation -> iconfig |
| denotation | menu | denotation ** seq[pair[denotation, com[void]]] -> com[void] |
| denotation | message | denotation -> sighandler |
| denotation | mkDir | denotation ** filemode -> com[void] |
| denotation | mkFifo | denotation ** filemode -> com[void] |
| denotation | monitor | (() -> denotation) -> com[void] |
| denotation | monitor | denotation -> com[void] |
| denotation | normPath | denotation -> denotation |
| denotation | notify | (denotation -> denotation) ** com[void] -> com[void] |
| denotation | open | denotation ** denotation -> com[file] |
| denotation | open | denotation ** role -> com[channel] |
| denotation | open | denotation -> com[input] |
| denotation | openBin | denotation -> com[input] |
| denotation | pack | data ** denotation -> dyn |
| denotation | popen | denotation ** denotation -> com[file] |
| denotation | PRINT | bool ** (() -> denotation) ** data -> data |
| denotation | PRINT | bool ** denotation ** data -> data |
| denotation | PRINT | denotation ** (() -> denotation) ** data -> data |
| denotation | PRINT | denotation ** (() -> string) ** data -> data |
| denotation | PRINT | denotation ** denotation ** data -> data |
| denotation | PRINT | denotation ** string ** data -> data |
| denotation | px | denotation -> real |
| denotation | read | file ** denotation -> com[data] |
| denotation | read | input ** denotation -> com[data] |
| denotation | readDir | denotation -> com[seq[denotation]] |
| denotation | readLine | denotation ** (denotation ** denotation ** nat ** nat -> com[seq[denotation]]) -> com[denotation] |
| denotation | readLine | denotation -> com[denotation] |
| denotation | readLink | denotation -> com[denotation] |
| denotation | relief | denotation -> relief |
| denotation | rename | denotation ** denotation -> com[void] |
| denotation | reopen | denotation ** denotation ** file -> com[void] |
| denotation | repeat | denotation -> denotation |
| denotation | repeatAsk | denotation ** com[void] -> com[void] |
| denotation | rgb | denotation ** denotation ** denotation -> color |
| denotation | rmDir | denotation -> com[void] |
| denotation | rmDir | denotation -> sighandler |
| denotation | scan | denotation ** string -> option[seq[union]] |
| denotation | scan | denotation ** string -> seq[union] |
| denotation | scan | denotation ** string -> seq[union] ** denotation ** string |
| denotation | scan | denotation ** string -> seq[union] ** string |
| denotation | search | textEditor ** denotation ** index ** seq[searchOpt] -> com[option[index]] |
| denotation | setDefault | defaultPrio ** denotation ** denotation -> com[void] |
| denotation | setEnv | denotation ** denotation -> com[void] |
| denotation | slice | denotation ** nat ** nat -> denotation |
| denotation | source | interpreter ** denotation -> com[string] |
| denotation | splitSuffix | denotation ** denotation -> denotation ** denotation |
| denotation | stat | denotation -> com[filestat] |
| denotation | store | denotation ** denotation ** data -> com[void] |
| denotation | store | denotation ** seq[string] -> com[void] |
| denotation | surround | denotation ** denotation -> denotation -> denotation |
| denotation | symLink | denotation ** denotation -> com[void] |
| denotation | tag | denotation -> tag |
| denotation | text | denotation ** seq[union] -> config |
| denotation | text | denotation -> config |
| denotation | text | denotation -> doc |
| denotation | titleName | denotation -> wconfig |
| denotation | tl | denotation -> denotation |
| denotation | touch | denotation -> com[void] |
| denotation | tryUnpack | dyn ** denotation -> option[data] |
| denotation | u | denotation ** seq[union] -> seq[union] |
| denotation | u | denotation -> seq[union] |
| denotation | undefine | interpreter ** denotation -> com[void] |
| denotation | unlink | denotation -> com[void] |
| denotation | unlink | denotation -> sighandler |
| denotation | unpack | dyn ** denotation -> data |
| denotation | upd | nat ** char ** denotation -> denotation |
| denotation | utime | denotation ** time ** time -> com[void] |
| denotation | window | denotation ** wconfig ** view -> com[window] |
| denotation | window | widget ** denotation -> com[window] |
| denotation | window | window ** denotation ** wconfig ** view -> com[window] |
| denotation | write | denotation -> com[void] |
| denotation | write | file ** denotation ** data -> com[void] |
| denotation | write | file ** denotation -> com[void] |
| denotation | write | output ** denotation ** data -> com[void] |
| denotation | write | output ** denotation -> com[void] |
| denotation | writeLine | denotation -> com[void] |
| denotation | writeLine | file ** denotation -> com[void] |
| denotation | writeLine | output ** denotation -> com[void] |
| denotation | x | denotation ** denotation -> size |
| denotation | |-> | denotation ** data -> parser |
| denotation | |= | denotation ** denotation -> bool |
| device | < | device ** device -> bool |
| device | = | device ** device -> bool |
| device | ` | device -> denotation |