nat | ! | array ** nat -> data |
nat | ! | bstree[data, <] ** nat -> bstree[data, <] |
nat | ! | bstree[data, <] ** nat -> data |
nat | ! | dArray ** nat -> data |
nat | ! | denotation ** nat -> char |
nat | ! | heap[data, <] ** nat -> data |
nat | ! | heap[data, <] ** nat -> heap[data, <] |
nat | ! | iseq[data] ** nat -> data |
nat | ! | natMap ** nat -> codom |
nat | ! | seq[data] ** nat -> data |
nat | ! | string ** nat -> char |
nat | ! | tree[data] ** nat -> data |
nat | ! | tree[data] ** nat -> tree[data] |
nat | !? | bstree[data, <] ** nat -> option[bstree[data, <]] |
nat | !? | bstree[data, <] ** nat -> option[data] |
nat | !? | dArray ** nat -> option[data] |
nat | !? | heap[data, <] ** nat -> option[data] |
nat | !? | heap[data, <] ** nat -> option[heap[data, <]] |
nat | !? | natMap ** nat -> option[codom] |
nat | !? | tree[data] ** nat -> option[data] |
nat | !? | tree[data] ** nat -> option[tree[data]] |
nat | % | nat ** nat ** nat ** nat ** nat ** nat ** nat ** nat -> set |
nat | % | nat ** nat ** nat ** nat ** nat ** nat ** nat -> set |
nat | % | nat ** nat ** nat ** nat ** nat ** nat -> set |
nat | % | nat ** nat ** nat ** nat ** nat -> set |
nat | % | nat ** nat ** nat ** nat -> set |
nat | % | nat ** nat ** nat -> set |
nat | % | nat ** nat -> nat |
nat | % | nat ** nat -> set |
nat | % | nat -> set |
nat | & | script ** nat -> script |
nat | * | (nat -> nat) ** set -> set |
nat | * | nat ** nat -> nat |
nat | + | nat ** nat -> nat |
nat | + | script ** nat -> script |
nat | - | nat ** nat -> nat |
nat | -- | nat -> denotation |
nat | ->! | nat -> fmt |
nat | . | nat ** nat -> real |
nat | .. | nat ** nat -> (nat -> char) -> string |
nat | .. | nat ** nat -> (nat -> codom) -> natMap |
nat | .. | nat ** nat -> (nat -> data) -> bag |
nat | .. | nat ** nat -> (nat -> data) -> seq |
nat | .. | nat ** nat -> (nat -> data) -> set : [1], [2] |
nat | .. | nat ** nat -> (nat -> dom) ** (dom -> codom) -> map : [1], [2], [3] |
nat | .. | nat ** nat -> (nat -> nat) -> set |
nat | .. | nat -> (nat -> data) -> iseq |
nat | / | (from ** nat ** to -> to) ** to ** bag[from, <] -> to |
nat | / | (from ** nat ** to -> to) ** to -> bag[from, <] -> to |
nat | / | (nat ** codom ** to -> to) ** to ** natMap[codom] -> to |
nat | / | (nat ** from ** to -> to) ** to ** array[from] -> to |
nat | / | (nat ** from ** to -> to) ** to ** dArray[from] -> to |
nat | / | (nat ** from ** to -> to) ** to -> array[from] -> to |
nat | / | (nat ** nat -> nat) ** set -> nat |
nat | / | (nat ** to -> to) ** to ** set -> to |
nat | / | nat ** nat -> nat |
nat | 0? | nat -> bool |
nat | := | array ** nat ** data -> array |
nat | := | dArray ** nat ** data -> dArray |
nat | := | denotation ** nat ** char -> denotation |
nat | := | string ** nat ** char -> string |
nat | :=_col | position ** nat -> position |
nat | :=_row | position ** nat -> position |
nat | < | nat ** nat -> bool |
nat | <- | denotation ** nat -> script : [1], [2] |
nat | <= | nat ** nat -> bool |
nat | <__> | nat -> fmt |
nat | = | nat ** nat -> bool |
nat | > | nat ** nat -> bool |
nat | >= | nat ** nat -> bool |
nat | \ | (nat ** from ** to -> to) ** to ** array[from] -> to |
nat | \ | (nat ** from ** to -> to) ** to ** dArray[from] -> to |
nat | \ | (nat ** from ** to -> to) ** to -> array[from] -> to |
nat | ^ | (data -> data) ** nat -> data -> data |
nat | ^ | nat ** nat -> nat |
nat | ^ | rel[dom, <, dom, <, data] ** nat -> rel[dom, <, dom, <, data] |
nat | ` | (nat -> denotation) ** (codom -> denotation) -> natMap[codom] -> denotation |
nat | ` | (nat -> string) ** (codom -> string) -> natMap[codom] -> string |
nat | ` | nat ** (data -> denotation) -> iseq[data] -> denotation |
nat | ` | nat ** (data -> string) -> iseq[data] -> string |
nat | ` | nat -> denotation |
nat | ` | real ** nat -> denotation |
nat | `` | real ** nat -> denotation |
nat | abs | array[data] ** set ** nat -> dArray |
nat | advanceCol | nat ** position -> position |
nat | advanceCol | nat -> () -> parser[void, char, position, error] |
nat | advanceRow | nat ** position -> position |
nat | advanceRow | nat -> () -> parser[void, char, position, error] |
nat | aEntry | data ** nat -> com[aEntry] |
nat | aEntry | nat -> com[aEntry] |
nat | aEntryLong | data ** nat -> com[aEntry] |
nat | aEntryLong | nat -> com[aEntry] |
nat | alarm | nat -> com[nat] |
nat | arg | nat -> com[denotation] : [1], [2] |
nat | asChar | nat -> char |
nat | asInt | nat -> int |
nat | asReal | nat -> real |
nat | beg | nat -> fmt |
nat | block | nat ** fmt -> fmt |
nat | box | nat -> char ** char ** char -> char ** char -> char ** char ** char -> denotation -> denotation |
nat | box | nat -> denotation -> denotation |
nat | button | nat -> event |
nat | button | nat -> modifier |
nat | buttonInfo | event ** point ** nat -> eventInfo |
nat | buttonPress | nat -> event |
nat | buttonRelease | nat -> event |
nat | center | nat -> char ** denotation -> denotation |
nat | center | nat -> denotation ** denotation -> denotation |
nat | center | nat -> denotation -> denotation |
nat | chr | nat -> char |
nat | chunk | nat ** denotation ** string -> string |
nat | chunk | nat -> parser[denotation] |
nat | chunk | nat -> parser[string] |
nat | colorPalette | nat ** nat ** nat -> iconfig |
nat | configMenu | (window ** widget ** nat -> com[void]) -> config |
nat | dec | nat -> fmt |
nat | def | nat ** codom ** natMap -> natMap |
nat | def? | nat ** dArray -> bool |
nat | def? | nat ** natMap -> bool |
nat | delete | array ** nat ** nat -> array |
nat | delete | bstree[data, <] ** nat -> bstree[data, <] |
nat | delete | denotation ** nat ** nat -> denotation |
nat | delete | heap[data, <] ** nat -> heap[data, <] |
nat | delete | iseq[data] ** nat ** nat -> iseq[data] |
nat | delete | seq[data] ** nat ** nat -> seq[data] |
nat | delete | string ** nat ** nat -> string |
nat | delete | tree[data] ** nat -> tree[data] |
nat | div | nat ** nat -> nat |
nat | double | nat -> nat |
nat | drop | nat ** iseq -> iseq |
nat | drop | nat ** seq -> seq |
nat | drop | nat ** string -> string |
nat | empty | nat -> dArray |
nat | even? | nat -> bool |
nat | excl | nat ** set -> set |
nat | exist? | (nat ** codom -> bool) ** natMap -> bool |
nat | exist? | (nat -> bool) ** set -> bool |
nat | exit | nat -> com |
nat | extend | array ** nat ** (nat -> data) -> array |
nat | extend | array ** nat ** data -> array |
nat | extend | dArray ** nat ** (nat -> data) -> dArray |
nat | extend | dArray ** nat ** data -> dArray |
nat | find? | (nat ** codom -> bool) ** natMap -> option[pair[nat, codom]] |
nat | find? | (nat -> bool) ** set -> option[nat] |
nat | fmtNat | nat -> fmt |
nat | for | nat ** nat ** (nat ** data -> data) -> data -> data |
nat | forall? | (nat ** codom -> bool) ** natMap -> bool |
nat | forall? | (nat -> bool) ** set -> bool |
nat | greyPalette | nat -> iconfig |
nat | half | nat -> nat |
nat | in | nat ** set -> bool |
nat | inc | nat -> fmt |
nat | incl | nat ** set -> set |
nat | inclCt | data ** nat ** bag -> bag |
nat | init | nat ** (nat -> char) -> denotation |
nat | init | nat ** (nat -> char) -> string |
nat | init | nat ** (nat -> data) -> array |
nat | init | nat ** (nat -> data) -> dArray |
nat | init | nat ** char -> denotation |
nat | init | nat ** char -> string |
nat | init | nat ** data -> array |
nat | init | nat ** data -> dArray |
nat | init | nat -> nat ** (nat -> data) -> dArray |
nat | init | nat -> nat ** data -> dArray |
nat | init | set[nat, <] ** (nat -> codom) -> natMap |
nat | insert | array ** nat ** array -> array |
nat | insert | bstree[data, <] ** nat ** bstree[data, <] -> bstree[data, <] |
nat | insert | denotation ** nat ** denotation -> denotation |
nat | insert | heap[data, <] ** nat ** heap[data, <] -> heap[data, <] |
nat | insert | iseq[data] ** nat ** seq[data] -> iseq[data] |
nat | insert | seq[data] ** nat ** seq[data] -> seq[data] |
nat | insert | string ** nat ** string -> string |
nat | insert | tree[data] ** nat ** tree[data] -> tree[data] |
nat | iter | nat ** (data -> data) -> data -> data |
nat | iter | nat ** (nat -> nat) ** (nat -> bool) -> (nat -> codom) -> natMap |
nat | iter | nat ** (nat -> nat) ** (nat -> bool) -> set |
nat | iter | rel[dom, <, dom, <, data] ** nat -> rel[dom, <, dom, <, data] |
nat | keyInfo | event ** point ** denotation ** nat ** char -> eventInfo |
nat | kill | process ** nat -> com[void] |
nat | left | nat -> nat |
nat | left? | nat -> bool |
nat | level | nat ** bstree -> seq[data] |
nat | level | nat ** heap -> seq[data] |
nat | level | nat ** tree -> seq[data] |
nat | mapEntry | map[data1, <, data2] ** nat ** nat -> com[mapEntry] |
nat | mapEntry | nat ** nat -> com[mapEntry] |
nat | max | nat ** nat -> nat |
nat | max | nat ** parser[data] -> parser[seq[data]] |
nat | menu | nat -> modifier |
nat | min | nat ** nat -> nat |
nat | min | nat ** parser[data] -> parser[seq[data]] |
nat | mod | nat ** nat -> nat |
nat | nat | nat -> union |
nat | nest | nat ** doc -> doc |
nat | num | nat -> doc |
nat | odd? | nat -> bool |
nat | partition | (nat ** codom -> bool) ** natMap[codom] -> natMap[codom] ** natMap[codom] |
nat | partition | (nat -> bool) ** set -> set ** set |
nat | pixelHeight | nat -> iconfig |
nat | pixelWidth | nat -> iconfig |
nat | pos | nat ** nat -> index |
nat | position | nat ** nat -> position |
nat | pow | nat ** nat -> nat |
nat | pred | nat -> nat |
nat | pretty | fmt ** nat ** fmt -> seq[string] |
nat | pretty | fmt ** nat ** fmt -> string |
nat | pretty | nat ** doc -> denotation |
nat | pretty | nat ** doc -> seq[denotation] |
nat | pretty | nat ** doc -> seq[string] |
nat | pretty | nat ** doc -> string |
nat | pretty | nat ** nat ** fmt -> seq[string] |
nat | pretty | nat ** nat ** fmt -> string |
nat | random | nat -> com[nat] |
nat | read | file ** nat -> com[string] |
nat | read | input ** nat -> com[string] |
nat | readLine | denotation ** (denotation ** denotation ** nat ** nat -> com[seq[denotation]]) -> com[denotation] |
nat | repeat | nat -> denotation -> denotation |
nat | repl | bstree[data, <] ** nat ** (bstree[data, <] -> bstree[data, <]) -> bstree[data, <] |
nat | repl | bstree[data, <] ** nat ** bstree[data, <] -> bstree[data, <] |
nat | repl | heap[data, <] ** nat ** (heap[data, <] -> heap[data, <]) -> heap[data, <] |
nat | repl | heap[data, <] ** nat ** heap[data, <] -> heap[data, <] |
nat | repl | iseq[data] ** nat ** seq[data] -> iseq[data] |
nat | repl | seq[data] ** nat ** seq[data] -> seq[data] |
nat | repl | string ** nat ** string -> string |
nat | repl | tree[data] ** nat ** (tree[data] -> tree[data]) -> tree[data] |
nat | repl | tree[data] ** nat ** tree[data] -> tree[data] |
nat | right | nat -> nat |
nat | right? | nat -> bool |
nat | root? | nat -> bool |
nat | seqEntry | nat ** nat -> com[seqEntry] |
nat | seqEntry | seq[data] ** nat ** nat -> com[seqEntry] |
nat | setEntry | nat ** nat -> com[setEntry] |
nat | setEntry | set[data, <] ** nat ** nat -> com[setEntry] |
nat | shift | nat -> com[void] |
nat | sleep | nat -> com[nat] |
nat | slice | denotation ** nat ** nat -> denotation |
nat | slice | iseq[data] ** nat ** nat -> seq[data] |
nat | slice | seq[data] ** nat ** nat -> seq[data] |
nat | slice | string ** nat ** nat -> string |
nat | spc | nat -> fmt |
nat | splineSteps | nat -> config |
nat | split | nat ** iseq -> seq[data] ** iseq |
nat | split | nat ** seq -> seq ** seq |
nat | split | nat ** string -> string ** string |
nat | step | bstree[data, <] ** nat -> bstree[data, <] ** nat |
nat | step | heap[data, <] ** nat -> heap[data, <] ** nat |
nat | step | tree[data] ** nat -> tree[data] ** nat |
nat | succ | nat -> nat |
nat | succ? | nat -> bool |
nat | surround | nat -> denotation ** denotation -> denotation -> denotation |
nat | swap | array ** nat ** nat -> array |
nat | swap | dArray ** nat ** nat -> dArray |
nat | swap | nat ** nat ** iseq[data] -> iseq[data] |
nat | swap | nat ** nat ** seq[data] -> seq[data] |
nat | swap | nat ** nat ** string -> string |
nat | take | nat ** iseq -> seq[data] |
nat | take | nat ** seq -> seq |
nat | take | nat ** string -> string |
nat | timeout | nat -> com[void] |
nat | u | nat ** seq[union] -> seq[union] |
nat | u | nat -> seq[union] |
nat | undef | nat ** natMap -> natMap |
nat | unitHeight | nat -> config |
nat | unitSize | nat ** nat -> config |
nat | unitWidth | nat -> config |
nat | unleft | nat -> nat |
nat | unright | nat -> nat |
nat | up | nat -> nat |
nat | upd | nat ** (char -> char) ** string -> string |
nat | upd | nat ** (codom -> codom) ** natMap -> natMap |
nat | upd | nat ** (data -> data) ** array -> array |
nat | upd | nat ** (data -> data) ** bstree[data, <] -> bstree[data, <] |
nat | upd | nat ** (data -> data) ** dArray -> dArray |
nat | upd | nat ** (data -> data) ** heap[data, <] -> heap[data, <] |
nat | upd | nat ** (data -> data) ** iseq[data] -> iseq[data] |
nat | upd | nat ** (data -> data) ** seq[data] -> seq[data] |
nat | upd | nat ** (data -> data) ** tree[data] -> tree[data] |
nat | upd | nat ** char ** denotation -> denotation |
nat | upd | nat ** char ** string -> string |
nat | upd | nat ** data ** array -> array |
nat | upd | nat ** data ** bstree[data, <] -> bstree[data, <] |
nat | upd | nat ** data ** dArray -> dArray |
nat | upd | nat ** data ** heap[data, <] -> heap[data, <] |
nat | upd | nat ** data ** iseq[data] -> iseq[data] |
nat | upd | nat ** data ** seq[data] -> seq[data] |
nat | upd | nat ** data ** tree[data] -> tree[data] |
nat | write | nat -> com[void] |
nat | writeLine | nat -> com[void] |
nat | x | fmt ** nat -> fmt |
nat | x | nat ** nat ** parser[data] -> parser[seq[data]] |
nat | x | nat ** parser[data] -> parser[seq[data]] |
nat | | | (nat ** codom -> bool) ** natMap[codom] -> natMap[codom] |
nat | | | (nat -> bool) ** set -> set |
nat | |= | nat ** nat -> bool |
natMap | ! | natMap ** nat -> codom |
natMap | !? | natMap ** nat -> option[codom] |
natMap | # | natMap -> nat |
natMap | <+ | natMap ** natMap -> natMap |
natMap | <- | natMap ** set[nat, <] -> natMap |
natMap | codom | natMap -> seq[codom] |
natMap | def | nat ** codom ** natMap -> natMap |
natMap | def? | nat ** natMap -> bool |
natMap | dom | natMap -> set[nat, <] |
natMap | exist? | (nat ** codom -> bool) ** natMap -> bool |
natMap | extend | natMap ** seq[nat] ** seq[codom] -> natMap |
natMap | find? | (nat ** codom -> bool) ** natMap -> option[pair[nat, codom]] |
natMap | forall? | (nat ** codom -> bool) ** natMap -> bool |
natMap | new | natMap -> nat |
natMap | undef | nat ** natMap -> natMap |
natMap | upd | nat ** (codom -> codom) ** natMap -> natMap |
natMap | {}? | natMap -> bool |
natMap[codom] | / | (codom ** to -> to) ** to ** natMap[codom] -> to |
natMap[codom] | / | (nat ** codom ** to -> to) ** to ** natMap[codom] -> to |
natMap[codom] | asSeq | natMap[codom] -> seq[pair[nat, codom]] |
natMap[codom] | partition | (nat ** codom -> bool) ** natMap[codom] -> natMap[codom] ** natMap[codom] |
natMap[codom] | rep | natMap[codom] -> array[map[nat, <, codom]] |
natMap[codom] | | | (nat ** codom -> bool) ** natMap[codom] -> natMap[codom] |
natMap[codomFrom] | * | (codomFrom -> codomTo) ** natMap[codomFrom] -> natMap[codomTo] |