bool | ! | (char -> bool) -> parser[char] |
bool | % | (data -> bool) -> data ** data -> bool |
bool | * | (char -> bool) -> parser[denotation] |
bool | * | (char -> bool) -> parser[string] |
bool | + | (char -> bool) -> parser[denotation] |
bool | + | (char -> bool) -> parser[string] |
bool | -!-> | bool ** (() -> denotation) -> com[void] |
bool | -?-> | bool ** (() -> com[void]) -> com[void] |
bool | /\ | bool ** bool -> bool |
bool | /~\ | bool ** bool -> bool |
bool | 1st | bool ** bool -> bool |
bool | 2nd | bool ** bool -> bool |
bool | :: | (data ** data -> bool) ** (data ** data -> bool) -> data ** data -> bool |
bool | :: | (data -> bool) ** (data ** data -> bool) -> data ** data -> bool |
bool | < | (data ** data -> bool) -> bstree ** bstree -> bool |
bool | < | (data ** data -> bool) -> heap ** heap -> bool |
bool | < | (data ** data -> bool) -> option ** option -> bool |
bool | < | (data ** data -> bool) -> seq ** seq -> bool |
bool | < | (data ** data -> bool) -> set ** set -> bool |
bool | < | (data ** data -> bool) -> tree ** tree -> bool |
bool | < | bool ** bool -> bool |
bool | <= | bool ** bool -> bool |
bool | = | (data ** data -> bool) -> bstree ** bstree -> bool |
bool | = | (data ** data -> bool) -> heap ** heap -> bool |
bool | = | (data ** data -> bool) -> option ** option -> bool |
bool | = | (data ** data -> bool) -> seq ** seq -> bool |
bool | = | (data ** data -> bool) -> tree ** tree -> bool |
bool | = | bool ** bool -> bool |
bool | => | bool ** bool -> bool |
bool | => | sap ** (in -> bool) ** (in -> com[out]) -> com[out] |
bool | > | bool ** bool -> bool |
bool | >= | bool ** bool -> bool |
bool | \/ | bool ** bool -> bool |
bool | \~/ | bool ** bool -> bool |
bool | ` | bool -> denotation |
bool | and | (data -> bool) ** (data -> bool) -> data -> bool |
bool | and | bool ** bool -> bool |
bool | asSet | (data -> bool) -> set |
bool | await | selector ** (data -> bool) -> com[data] |
bool | bool | bool -> doc |
bool | bool | bool -> union |
bool | cmp | (data ** data -> bool) -> option[data] ** option[data] -> rel |
bool | cmp | (data ** data -> bool) -> seq[data] ** seq[data] -> rel |
bool | cmp | (data1 ** data1 -> bool) ** (data2 ** data2 -> bool) -> pair[data1, data2] ** pair[data1, data2] -> rel |
bool | components | (char ** char -> bool) -> string -> seq[string] |
bool | components | (data ** data -> bool) -> seq[data] -> seq[seq[data]] |
bool | cond | (data -> bool) ** (data -> data) ** (data -> data) -> data -> data |
bool | confine | bool -> config |
bool | displayView | window ** widget ** view ** bool -> com[bool] |
bool | drop | (char -> bool) ** string -> string |
bool | drop | (data -> bool) ** array[data] -> array[data] |
bool | drop | (data -> bool) ** bstree[data, <] -> bstree[data, <] |
bool | drop | (data -> bool) ** dArray[data] -> dArray[data] |
bool | drop | (data -> bool) ** heap[data, <] -> heap[data, <] |
bool | drop | (data -> bool) ** iseq[data] -> iseq[data] |
bool | drop | (data -> bool) ** seq[data] -> seq[data] |
bool | drop | (data -> bool) ** tree[data] -> tree[data] |
bool | dropall | (data -> bool) ** bstree[data, <] -> bstree[data, <] |
bool | dropall | (data -> bool) ** heap[data, <] -> heap[data, <] |
bool | dropall | (data -> bool) ** tree[data] -> tree[data] |
bool | enable | selector ** (data -> bool) -> config |
bool | eq? | (data ** data -> bool) -> option[data] ** option[data] -> bool |
bool | eq? | (data ** data -> bool) -> seq[data] ** seq[data] -> bool |
bool | eq? | (data1 ** data1 -> bool) ** (data2 ** data2 -> bool) -> pair[data1, data2] ** pair[data1, data2] -> bool |
bool | equiv | bool ** bool -> bool |
bool | exist1? | (data -> bool) ** seq -> bool |
bool | exist? | (char -> bool) ** string -> bool |
bool | exist? | (data -> bool) ** bag -> bool |
bool | exist? | (data -> bool) ** bstree -> bool |
bool | exist? | (data -> bool) ** heap -> bool |
bool | exist? | (data -> bool) ** seq -> bool |
bool | exist? | (data -> bool) ** set -> bool : [1], [2] |
bool | exist? | (data -> bool) ** tree -> bool |
bool | exist? | (dom ** codom ** data -> bool) ** rel -> bool |
bool | exist? | (dom ** codom -> bool) ** map -> bool : [1], [2], [3] |
bool | exist? | (dom ** codom -> bool) ** rel -> bool |
bool | exist? | (nat ** codom -> bool) ** natMap -> bool |
bool | exist? | (nat -> bool) ** set -> bool |
bool | F | bool ** bool -> bool |
bool | F | bool -> bool |
bool | false | bool ** bool -> bool |
bool | false | bool -> bool |
bool | false? | bool -> bool |
bool | filter | (data -> bool) ** seq[data] -> seq[data] |
bool | filter | (data -> bool) -> seq[data] -> seq[data] |
bool | find? | (char -> bool) ** string -> option[char] |
bool | find? | (data -> bool) ** bag -> option[data] |
bool | find? | (data -> bool) ** bstree -> option[data] |
bool | find? | (data -> bool) ** heap -> option[data] |
bool | find? | (data -> bool) ** iseq -> data |
bool | find? | (data -> bool) ** iseq -> option[data] |
bool | find? | (data -> bool) ** seq -> option[data] |
bool | find? | (data -> bool) ** set -> option[data] : [1], [2] |
bool | find? | (data -> bool) ** tree -> option[data] |
bool | find? | (dom ** codom ** data -> bool) ** rel -> option[triple[dom, codom, data]] |
bool | find? | (dom ** codom -> bool) ** map -> option[pair[dom, codom]] : [1], [2], [3] |
bool | find? | (dom ** codom -> bool) ** rel -> option[pair[dom, codom]] |
bool | find? | (nat ** codom -> bool) ** natMap -> option[pair[nat, codom]] |
bool | find? | (nat -> bool) ** set -> option[nat] |
bool | forall? | (char -> bool) ** string -> bool |
bool | forall? | (data -> bool) ** bag -> bool |
bool | forall? | (data -> bool) ** bstree -> bool |
bool | forall? | (data -> bool) ** heap -> bool |
bool | forall? | (data -> bool) ** seq -> bool |
bool | forall? | (data -> bool) ** set -> bool : [1], [2] |
bool | forall? | (data -> bool) ** tree -> bool |
bool | forall? | (dom ** codom ** data -> bool) ** rel -> bool |
bool | forall? | (dom ** codom -> bool) ** map -> bool : [1], [2], [3] |
bool | forall? | (dom ** codom -> bool) ** rel -> bool |
bool | forall? | (nat ** codom -> bool) ** natMap -> bool |
bool | forall? | (nat -> bool) ** set -> bool |
bool | genMonitor | bool -> com[void] |
bool | id | bool -> bool |
bool | implies | bool ** bool -> bool |
bool | iter | char ** (char -> char) ** (char -> bool) -> string |
bool | iter | data ** (data -> data) ** (data -> bool) -> bag |
bool | iter | data ** (data -> data) ** (data -> bool) -> seq |
bool | iter | data ** (data -> data) ** (data -> bool) -> set : [1], [2] |
bool | iter | dom ** (dom -> dom) ** (dom -> bool) -> (dom -> codom) -> map : [1], [2], [3] |
bool | iter | nat ** (nat -> nat) ** (nat -> bool) -> (nat -> codom) -> natMap |
bool | iter | nat ** (nat -> nat) ** (nat -> bool) -> set |
bool | merge | (data ** data -> bool) -> iseq[data] ** iseq[data] -> iseq[data] |
bool | merge | (data ** data -> bool) -> seq[data] ** seq[data] -> seq[data] |
bool | msort | (data ** data -> bool) -> seq[data] -> seq[data] |
bool | n1st | bool ** bool -> bool |
bool | n2nd | bool ** bool -> bool |
bool | nand | bool ** bool -> bool |
bool | nor | bool ** bool -> bool |
bool | not | bool -> bool |
bool | or | (data -> bool) ** (data -> bool) -> data -> bool |
bool | or | bool ** bool -> bool |
bool | partition | (char -> bool) ** string -> string ** string |
bool | partition | (data ** data -> bool) -> seq[data] -> seq[seq[data]] |
bool | partition | (data ** data -> bool) -> set[data, <] -> set[set[data, <], {<}[data, <]] : [1], [2] |
bool | partition | (data -> bool) ** array[data] -> array[data] ** array[data] |
bool | partition | (data -> bool) ** bag[data, <] -> bag[data, <] ** bag[data, <] |
bool | partition | (data -> bool) ** dArray[data] -> dArray[data] ** dArray[data] |
bool | partition | (data -> bool) ** iseq[data] -> iseq[data] ** iseq[data] |
bool | partition | (data -> bool) ** seq[data] -> seq[data] ** seq[data] |
bool | partition | (data -> bool) ** set[data, <] -> set[data, <] ** set[data, <] : [1], [2] |
bool | partition | (data -> bool) ** set[data] -> set[data] ** set[data] |
bool | partition | (dom ** codom ** data -> bool) ** rel[dom, <, codom, <, data] -> rel[dom, <, codom, <, data] ** rel[dom, <, codom, <, data] |
bool | partition | (dom ** codom -> bool) ** map[dom, <, codom] -> map[dom, <, codom] ** map[dom, <, codom] : [1], [2], [3] |
bool | partition | (nat ** codom -> bool) ** natMap[codom] -> natMap[codom] ** natMap[codom] |
bool | partition | (nat -> bool) ** set -> set ** set |
bool | peek | (token -> bool) -> () -> parser[void, token, state, error] |
bool | pos | (char -> bool) ** string -> option[nat] |
bool | pos | (data -> bool) ** iseq[data] -> nat |
bool | pos | (data -> bool) ** iseq[data] -> option[nat] |
bool | pos | (data -> bool) ** seq[data] -> option[nat] |
bool | PRINT | bool ** (() -> denotation) ** data -> data |
bool | PRINT | bool ** (() -> fmt) ** data -> data |
bool | PRINT | bool ** (() -> string) ** data -> data |
bool | PRINT | bool ** denotation ** data -> data |
bool | PRINT | bool ** fmt ** data -> data |
bool | PRINT | bool ** string ** data -> data |
bool | read | file ** (char -> bool) -> com[string] |
bool | read | input ** (char -> bool) -> com[string] |
bool | select | selector ** (data -> bool) ** (data -> data) ** (data -> data) -> config |
bool | select | selector ** (data -> bool) ** data -> config |
bool | selectIndicator | bool -> config |
bool | shift | (token -> bool) -> () -> parser[token, token, state, error] |
bool | skip | (token -> bool) -> () -> parser[void, token, state, error] |
bool | smooth | bool -> config |
bool | split | (char -> bool) ** string -> seq[string] |
bool | split | (char -> bool) ** string -> string ** string |
bool | split | (data -> bool) ** array[data] -> array[data] ** array[data] |
bool | split | (data -> bool) ** dArray[data] -> dArray[data] ** dArray[data] |
bool | split | (data -> bool) ** iseq[data] -> seq[data] ** iseq[data] |
bool | split | (data -> bool) ** seq[data] -> seq[data] ** seq[data] |
bool | sync | selector ** (data -> bool) ** config ** config -> config |
bool | T | bool ** bool -> bool |
bool | T | bool -> bool |
bool | take | (char -> bool) ** string -> string |
bool | take | (data -> bool) ** array[data] -> array[data] |
bool | take | (data -> bool) ** bstree[data, <] -> bstree[data, <] |
bool | take | (data -> bool) ** dArray[data] -> dArray[data] |
bool | take | (data -> bool) ** heap[data, <] -> heap[data, <] |
bool | take | (data -> bool) ** iseq[data] -> seq[data] |
bool | take | (data -> bool) ** seq[data] -> seq[data] |
bool | take | (data -> bool) ** tree[data] -> tree[data] |
bool | tearOff | bool -> wconfig |
bool | true | bool ** bool -> bool |
bool | true | bool -> bool |
bool | true? | bool -> bool |
bool | u | bool ** seq[union] -> seq[union] |
bool | u | bool -> seq[union] |
bool | until | (data -> bool) ** (data -> data) -> data -> data |
bool | until | parser[data] ** (string -> bool) -> parser[seq[data]] |
bool | upto | (char -> bool) -> parser[denotation] |
bool | upto | (char -> bool) -> parser[string] |
bool | while | (data -> bool) ** (data -> data) -> data -> data |
bool | write | bool -> com[void] |
bool | writeLine | bool -> com[void] |
bool | xor | bool ** bool -> bool |
bool | | | (char -> bool) ** string -> string |
bool | | | (data -> bool) ** array[data] -> array[data] |
bool | | | (data -> bool) ** bag[data, <] -> bag[data, <] |
bool | | | (data -> bool) ** dArray[data] -> dArray[data] |
bool | | | (data -> bool) ** iseq[data] -> iseq[data] |
bool | | | (data -> bool) ** seq[data] -> seq[data] |
bool | | | (data -> bool) ** set[data, <] -> set[data, <] : [1], [2] |
bool | | | (data -> bool) ** set[data] -> set[data] |
bool | | | (dom ** codom ** data -> bool) ** rel[dom, <, codom, <, data] -> rel[dom, <, codom, <, data] |
bool | | | (dom ** codom -> bool) ** map[dom, <, codom] -> map[dom, <, codom] : [1], [2], [3] |
bool | | | (nat ** codom -> bool) ** natMap[codom] -> natMap[codom] |
bool | | | (nat -> bool) ** set -> set |
bool | |= | bool ** bool -> bool |
bool | ~ | (data -> bool) -> data -> bool |
bool | ~ | bool -> bool |