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 |