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 |