| state | => | interpreter ** (state -> state) -> com[void] |
| state | => | stateId ** (state -> state) -> com[void] |
| state | => | stateId[state] ** (state -> state ** data) -> com[data] |
| state | ? | stateId[state] ** (state -> data) -> com[data] |
| state | active? | state -> bool |
| state | create | state -> com[interpreter] |
| state | disabled? | state -> bool |
| state | get | stateId[state] ** (state -> data) -> com[data] |
| state | iconic? | state -> bool |
| state | normal? | state -> bool : [1], [2] |
| state | parser | (seq[token] ** state -> either[option[error], a] ** seq[token] ** state) -> parser |
| state | run | seq[token] ** state ** (() -> parser) -> either[option[error], a] |
| state | set | state -> () -> parser[void, token, state, error] |
| state | state | state -> config |
| state | state | state -> wconfig |
| state | stateId | state -> com[stateId] |
| state | with | stateId ** (state -> state) -> com[void] |
| state | with | stateId[state] ** (state -> state ** data) -> com[data] |
| state | withdrawn? | state -> bool |
| stateId | => | stateId ** (state -> state) -> com[void] |
| stateId | ? | stateId -> com[state] |
| stateId | delete | stateId -> com[void] |
| stateId | get | stateId -> com[state] |
| stateId | with | stateId ** (state -> state) -> com[void] |
| stateId[state] | => | stateId[state] ** (state -> state ** data) -> com[data] |
| stateId[state] | ? | stateId[state] ** (state -> data) -> com[data] |
| stateId[state] | get | stateId[state] ** (state -> data) -> com[data] |
| stateId[state] | with | stateId[state] ** (state -> state ** data) -> com[data] |
| stateRequest | get | window ** stateRequest -> com[state] |
| stateRequest | state? | stateRequest -> bool |
| string | ! | string ** nat -> char |
| string | ! | string -> denotation |
| string | !! | string -> fmt |
| string | !!- | string -> fmt |
| string | !!_ | string -> fmt |
| string | # | string -> nat |
| string | & | script ** string -> script |
| string | * | (char -> char) ** string -> string |
| string | * | (char -> to) ** string -> seq[to] |
| string | + | script ** string -> script |
| string | +% | string ** char -> string |
| string | +%+ | string -> string ** string -> string |
| string | ++ | string ** string -> string |
| string | +/+ | string -> string ** string -> string |
| string | .:= | interpreter ** denotation ** denotation ** string -> com[void] |
| string | .:= | interpreter ** denotation ** string -> com[void] |
| string | / | (char ** char -> char) ** string -> char |
| string | / | (char ** to -> to) ** to ** string -> to |
| string | :: | char ** string -> string |
| string | ::? | string -> bool |
| string | := | interpreter ** denotation ** denotation ** string -> com[void] |
| string | := | interpreter ** denotation ** string -> com[void] |
| string | := | string ** nat ** char -> string |
| string | < | string ** string -> bool |
| string | <- | denotation ** string -> script : [1], [2] |
| string | <= | string ** string -> bool |
| string | <>? | string -> bool |
| string | = | string ** string -> bool |
| string | > | string ** string -> bool |
| string | >= | string ** string -> bool |
| string | @ | interpreter ** string -> com[string] |
| string | @ | parser ** string -> option[data] |
| string | @! | parser ** string -> data |
| string | \ | (char ** char -> char) ** string -> char |
| string | \ | (char ** to -> to) ** to ** string -> to |
| string | ` | (data -> string) -> array[data] -> string |
| string | ` | (data -> string) -> bag[data, <] -> string |
| string | ` | (data -> string) -> bstree[data, <] -> string |
| string | ` | (data -> string) -> dArray[data] -> string |
| string | ` | (data -> string) -> heap[data, <] -> string |
| string | ` | (data -> string) -> iseq[data] -> string |
| string | ` | (data -> string) -> seq[data] -> string |
| string | ` | (data -> string) -> set[data, <] -> string : [1], [2] |
| string | ` | (data -> string) -> tree[data] -> string |
| string | ` | (dom -> string) ** (codom -> string) ** (data -> string) -> rel[dom, <, codom, <, data] -> string |
| string | ` | (dom -> string) ** (codom -> string) -> map[dom, <, codom] -> string : [1], [2], [3] |
| string | ` | (nat -> string) ** (codom -> string) -> natMap[codom] -> string |
| string | ` | nat ** (data -> string) -> iseq[data] -> string |
| string | ` | string -> denotation |
| string | accelerator | string -> config |
| string | asBool | string -> ans[bool] |
| string | asInt | string -> ans[int] |
| string | asList | string -> ans[seq[string]] |
| string | asMM | string -> real |
| string | asNat | string -> ans[nat] |
| string | asParser | (string -> option[data] ** string) -> parser |
| string | asReal | string -> ans[real] |
| string | asSeq | string -> seq[char] |
| string | chunk | nat ** denotation ** string -> string |
| string | commandComplete? | string -> bool |
| string | configOther | (window ** widget ** string -> com[void]) -> config |
| string | cons | char ** string -> string |
| string | cons? | string -> bool |
| string | convList | string -> seq[string] |
| string | convNat | string -> nat |
| string | convReal | string -> real |
| string | data | string -> denotation |
| string | data | string -> iconfig |
| string | delete | string ** nat ** nat -> string |
| string | delete | string -> com[void] |
| string | displayChildren | window ** widget ** string ** seq[view] -> com[bool] |
| string | drop | (char -> bool) ** string -> string |
| string | drop | nat ** string -> string |
| string | empty? | string -> bool |
| string | exist? | (char -> bool) ** string -> bool |
| string | explode | string -> seq[char] |
| string | file | string -> iconfig |
| string | find? | (char -> bool) ** string -> option[char] |
| string | fmtString | string -> fmt |
| string | forall? | (char -> bool) ** string -> bool |
| string | format | string ** seq[union] -> string |
| string | front | string -> string |
| string | ft | string -> char |
| string | graphic | (data -> string) -> bstree[data, <] -> string |
| string | graphic | (data -> string) -> heap[data, <] -> string |
| string | graphic | (data -> string) -> tree[data] -> string |
| string | insert | string ** nat ** string -> string |
| string | insert | string -> parser[void] |
| string | insert | textEditor ** string ** index ** config -> com[tag] |
| string | insert | textEditor ** string ** index -> com[void] |
| string | insert | textEditor ** string -> com[void] |
| string | label | string -> config |
| string | last | string -> char |
| string | lit | string -> fmt |
| string | litString | string -> () -> parser[void, char, position, error] |
| string | maskData | string -> iconfig |
| string | maskFile | string -> iconfig |
| string | other | string -> modifier |
| string | partition | (char -> bool) ** string -> string ** string |
| string | pos | (char -> bool) ** string -> option[nat] |
| string | PRINT | bool ** (() -> string) ** data -> data |
| string | PRINT | bool ** string ** data -> data |
| string | PRINT | denotation ** (() -> string) ** data -> data |
| string | PRINT | denotation ** string ** data -> data |
| string | rename | string ** string -> com[void] |
| string | repl | string ** nat ** string -> string |
| string | rest | string -> string |
| string | revert | string -> string |
| string | rt | string -> string |
| string | scan | denotation ** string -> option[seq[union]] |
| string | scan | denotation ** string -> seq[union] |
| string | scan | denotation ** string -> seq[union] ** denotation ** string |
| string | scan | denotation ** string -> seq[union] ** string |
| string | scan | string -> option[bool] ** string |
| string | scan | string -> option[char] ** string |
| string | scan | string -> option[int] ** string |
| string | scan | string -> option[nat] ** string |
| string | scan | string -> option[real] ** string |
| string | slice | string ** nat ** nat -> string |
| string | split | (char -> bool) ** string -> seq[string] |
| string | split | (char -> bool) ** string -> string ** string |
| string | split | nat ** string -> string ** string |
| string | start | string -> nat |
| string | string | string -> union |
| string | swap | nat ** nat ** string -> string |
| string | switch | string -> parser[void] |
| string | take | (char -> bool) ** string -> string |
| string | take | nat ** string -> string |
| string | text | string -> config |
| string | text | string -> doc |
| string | u | string ** seq[union] -> seq[union] |
| string | u | string -> seq[union] |
| string | until | parser[data] ** (string -> bool) -> parser[seq[data]] |
| string | upd | (string -> string) -> parser[void] |
| string | upd | nat ** (char -> char) ** string -> string |
| string | upd | nat ** char ** string -> string |
| string | write | file ** string -> com[void] |
| string | write | output ** string -> com[void] |
| string | writeLine | file ** string -> com[void] |
| string | writeLine | output ** string -> com[void] |
| string | | | (char -> bool) ** string -> string |
| string | |= | string ** string -> bool |